|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Hong Zhu, Lijun Shan, "Agent-Oriented Modelling and Specification of Web Services," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 152-159, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/WORDS.2005.14, author = {Hong Zhu and Lijun Shan}, title = {Agent-Oriented Modelling and Specification of Web Services}, journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on}, volume = {0}, year = {2005}, issn = {1530-1443}, pages = {152-159}, doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.14}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on TI - Agent-Oriented Modelling and Specification of Web Services SN - 1530-1443 SP152 EP159 A1 - Hong Zhu, A1 - Lijun Shan, PY - 2005 KW - null VL - 0 JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on ER - | |||
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.