{"title":"Agent-oriented modelling and specification of Web services","authors":"Hong Zhu, L. Shan","doi":"10.1109/WORDS.2005.14","DOIUrl":null,"url":null,"abstract":"Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and formal specification method to address the difficulties in developing WS applications. The paper presents a graphic model of the general architecture of WS in agent-oriented modelling language CAMLE and an abstract specification in the formal specification language SLABS. It also illustrates how agent-oriented modelling and formal specification can be applied to the development of WS applications by an example of online auction WS and its requester application. It is shown that models and formal specifications enable software engineers to specify not only the service provider's functionality and behaviour, but also the requirements and restrictions on service requesters' behaviour. Such semantic information is crucial for the success of dynamic integration of WS.","PeriodicalId":335355,"journal":{"name":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WORDS.2005.14","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 22
Abstract
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and formal specification method to address the difficulties in developing WS applications. The paper presents a graphic model of the general architecture of WS in agent-oriented modelling language CAMLE and an abstract specification in the formal specification language SLABS. It also illustrates how agent-oriented modelling and formal specification can be applied to the development of WS applications by an example of online auction WS and its requester application. It is shown that models and formal specifications enable software engineers to specify not only the service provider's functionality and behaviour, but also the requirements and restrictions on service requesters' behaviour. Such semantic information is crucial for the success of dynamic integration of WS.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
