{"title":"Encoding abstract descriptions into executable Web services: towards a formal development","authors":"Antonella Chirichiello, Gwen Salaün","doi":"10.1109/WI.2005.59","DOIUrl":null,"url":null,"abstract":"It is now widely accepted that formal methods are helpful for many issues raised in the Web services area. In this paper, we advocate the use of process algebra as a first step in the design and development of executable Web services. From such formal descriptions, reasoning tools can be used to validate their correct execution. We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable Web services. As a back-end language, we consider the standard orchestration language BPEL. We illustrate our approach through the development of an e-business application.","PeriodicalId":213856,"journal":{"name":"The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05)","volume":"52 5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"34","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WI.2005.59","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 34
Abstract
It is now widely accepted that formal methods are helpful for many issues raised in the Web services area. In this paper, we advocate the use of process algebra as a first step in the design and development of executable Web services. From such formal descriptions, reasoning tools can be used to validate their correct execution. We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable Web services. As a back-end language, we consider the standard orchestration language BPEL. We illustrate our approach through the development of an e-business application.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
