As current symptomatic treatments of constipation are still unsatisfactory, an increasing number of patients seek help from Chinese medicine (CM), particularly Chinese herbal medicine (CHM). This study aimed to review the most frequently used CHM herbs and formulae, proprietary CHMs, and herb–drug interactions for functional constipation using zheng (syndrome)-based differentiation, and to determine the current practice of zheng-based CHM treatments for functional constipation. We developed a search strategy to include all the related clinical studies of CHM for constipation and set inclusion and exclusion criteria as studies on subjects with constipation of all ages and both sexes, using objective measures from laboratory or imaging techniques. The interventions included single herbs, CM classical formulae, CM new formulae, and Chinese herb-derived products and combination products. The clinical study types included were quasi- or randomized controlled trials, observational clinical studies, case series or case reports, and other types of appropriate research methods. The data concerning study design, sample size, mode of recruitment, sampling and diagnostic procedure, inclusion and exclusion criteria, and participants’ characteristics (including age, sex, and duration of constipation). CM patterns, CM treatment principles, treatment regimen, and CM treatment outcomes were recorded. A total of 29,832 relevant records were found, of which 8541 were duplicate records and 20,639 were excluded for reasons of irrelevance. The full text of 965 articles was retrieved for detailed assessment, following which 480 articles were excluded for various reasons. From the included articles, we retrieved 190 different CM zheng diagnoses from 485 individual studies. The most common zheng was dual deficiency of qi and blood (N = 48), which was diagnosed in 948 out of 15,740 subjects. The most frequently used classical formula was Ma-Zi-Ren-Wan (MZRW) (N = 75) and the most frequently used proprietary CHM was Run-Chang-Wan (N = 87). The most frequently used combined medication was Da Huang with sodium bicarbonate tablets (frequency across all studies, n = 23), followed by Fan Xie Ye with lactulose oral solution (n = 8), Ma-Ren-Ruan-Jiao-Nang with lactulose oral solution (n = 6) and Liu-Wei-An-Xiao-Jiao-Nang (n = 6) with mosapride citrate tablets. This study examined the use of CHM for constipation and summarized the herbs, formulae, proprietary medicines, and herb–drug interactions application. These data indicated there were limited information about herb-drug interactions and adverse effects of CHM and further randomized controlled trials with strict design are necessary.

Background: One important concept in traditional Chinese medicine (TCM) is "treating different diseases with the same therapy". In TCM practice, some patients with Rheumatoid Arthritis (RA) and some other patients with Coronary Heart Disease (CHD) can be treated with similar therapies. This suggests that there might be something commonly existed between RA and CHD, for example, biological networks or biological basis. As the amount of biomedical data in leading databases (i.e., PubMed, SinoMed, etc.) is growing at an exponential rate, it might be possible to get something interesting and meaningful through the techniques developed in data mining.Results: Based on the large data sets of Western medicine literature (PubMed) and traditional Chinese medicine literature (SinoMed), by applying data slicing algorithm in text mining, we retrieved some simple and meaningful networks. The Chinese herbs used in treatment of both RA and CHD, might affect the commonly existed networks between RA and CHD. This might support the TCM concept of treating different diseases with the same therapy.Conclusions: First, the data mining results might show the positive answer that there are biological basis/networks commonly existed in both RA and CHD. Second, there are basic Chinese herbs used in the treatment of both RA and CHD. Third, these commonly existed networks might be affected by the basic Chinese herbs. Forth, discrete derivative, the data slicing algorithm is feasible in mining out useful data from literature of PubMed and SinoMed.

Process algebra provides essential tools for studying distributed and concurrent systems. Stochastic process algebra (i.e., $mathcal{YAWN}$) enhances the process algebra with stochastic extensions which is perfect to analyze phenomena of process with executing durations in the real world. What's more, in system runs, value passing is tightly bounded with their processes. However, stochastic process algebras lack value passing can limit their expressiveness. Based on this, we propose a process algebra of stochastic process algebra with value passing. This new process algebra can specify the behaviors of systems in a more clear and accurate way. In dealing with relationship of bisimulations, we introduce a new policy of weak time comparison between processes in bisimulation which is moreconvenient and doable in practice.