{"title":"将WS-CDL和BPEL映射到CSP中，用于Web服务的行为规范和验证","authors":"W. Yeung","doi":"10.1109/ECOWS.2006.26","DOIUrl":null,"url":null,"abstract":"The Web service Business Process Execution Language (WS-BPEL) and the Web service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of communicating sequential processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services","PeriodicalId":365520,"journal":{"name":"2006 European Conference on Web Services (ECOWS'06)","volume":"208 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"39","resultStr":"{\"title\":\"Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services\",\"authors\":\"W. Yeung\",\"doi\":\"10.1109/ECOWS.2006.26\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Web service Business Process Execution Language (WS-BPEL) and the Web service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of communicating sequential processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services\",\"PeriodicalId\":365520,\"journal\":{\"name\":\"2006 European Conference on Web Services (ECOWS'06)\",\"volume\":\"208 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"39\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 European Conference on Web Services (ECOWS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECOWS.2006.26\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 European Conference on Web Services (ECOWS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECOWS.2006.26","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services
The Web service Business Process Execution Language (WS-BPEL) and the Web service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of communicating sequential processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
