面向代理的Web服务建模和规范

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems Pub Date : 2005-02-02 DOI:10.1109/WORDS.2005.14

Hong Zhu, L. Shan

{"title":"面向代理的Web服务建模和规范","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":"{\"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}","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

摘要

Web服务(WS)提供了一种通过Internet集成应用程序的技术。本文提出了一种多智能体WS概念模型和面向智能体的建模和形式化规范方法，以解决WS应用开发中的困难。本文用面向智能体的建模语言CAMLE对web服务的总体体系结构进行了图形化建模，并用形式化规范语言slab对web服务的抽象规范进行了描述。本文还通过一个在线拍卖WS及其请求者应用程序的示例，说明了如何将面向代理的建模和正式规范应用于WS应用程序的开发。模型和正式规范使软件工程师不仅可以指定服务提供者的功能和行为，还可以指定对服务请求者行为的要求和限制。这些语义信息对于WS动态集成的成功至关重要。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Agent-oriented modelling and specification of Web services

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

自引率

0.00%

发文量