In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
To assess the relationship between serum levels of insulin-like growth factor-1 (IGF1)/IGF-binding protein-3 (IGFBP3) and the risk of esophageal carcinoma.METHODSWe assessed the relationship between the serum levels o...To assess the relationship between serum levels of insulin-like growth factor-1 (IGF1)/IGF-binding protein-3 (IGFBP3) and the risk of esophageal carcinoma.METHODSWe assessed the relationship between the serum levels of these molecules and the risk of esophageal cancer in a prospective, nested case-control study of participants from the Japan Collaborative Cohort Study. A baseline survey was conducted from 1988 to 1990. Of the 110585 enrolled participants, 35% donated blood samples. Those who had been diagnosed with esophageal cancer were considered cases for nested case-control studies. A conditional logistic model was used to estimate odds ratios for the incidence of esophageal cancer associated with serum IGF1 and IGFBP3 levels.RESULTSThirty-one cases and 86 controls were eligible for the present assessment. The molar ratio of IGF1/IGFBP3, which represents the free and active form of IGF1, was not correlated with the risk of esophageal carcinoma. A higher molar difference between IGFBP3 and IGF1, which estimates the free form of IGFBP3, was associated with a decreased risk of esophageal carcinoma (P = 0.0146), and people in the highest tertile had the lowest risk (OR = 0.107, 95%CI: 0.017-0.669). After adjustment for body mass index, tobacco use, and alcohol intake, the molar difference of IGFBP3-IGF1 was inversely correlated with the risk of esophageal carcinoma (P = 0.0150).CONCLUSIONThe free form of IGFBP3, which is estimated by this molar difference, may be inversely associated with esophageal cancer incidence.展开更多
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
基金Supported by the Ministry of Education,Culture,Sports,Science,and Technology and from the Ministry of Health,Labour and Welfare,Japan
文摘To assess the relationship between serum levels of insulin-like growth factor-1 (IGF1)/IGF-binding protein-3 (IGFBP3) and the risk of esophageal carcinoma.METHODSWe assessed the relationship between the serum levels of these molecules and the risk of esophageal cancer in a prospective, nested case-control study of participants from the Japan Collaborative Cohort Study. A baseline survey was conducted from 1988 to 1990. Of the 110585 enrolled participants, 35% donated blood samples. Those who had been diagnosed with esophageal cancer were considered cases for nested case-control studies. A conditional logistic model was used to estimate odds ratios for the incidence of esophageal cancer associated with serum IGF1 and IGFBP3 levels.RESULTSThirty-one cases and 86 controls were eligible for the present assessment. The molar ratio of IGF1/IGFBP3, which represents the free and active form of IGF1, was not correlated with the risk of esophageal carcinoma. A higher molar difference between IGFBP3 and IGF1, which estimates the free form of IGFBP3, was associated with a decreased risk of esophageal carcinoma (P = 0.0146), and people in the highest tertile had the lowest risk (OR = 0.107, 95%CI: 0.017-0.669). After adjustment for body mass index, tobacco use, and alcohol intake, the molar difference of IGFBP3-IGF1 was inversely correlated with the risk of esophageal carcinoma (P = 0.0150).CONCLUSIONThe free form of IGFBP3, which is estimated by this molar difference, may be inversely associated with esophageal cancer incidence.
