Abstract
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous and social behaviours. The paper investigates the formal specification of WS architecture and applications within a caste-centric framework of multi-agent systems. An abstract specification of the general architecture of WS and an example of WS application are given in the SLABS language, which was designed for developing agent-based systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lau, C., Ryman, A., Developing, X.M.L.: Web services with WebSphere Studio Application Developer. Ibm Systems Journal 41(2), 178–197 (2002)
Gottschalk, K., et al.: Introduction to Web services architecture. Ibm Systems Journal 41(2), 170–177 (2002)
Leymann, F., Roller, D., Schmidt, M.-T.: Web services and business process management. Ibm Systems Journal 41(2), 198–211 (2002)
Lambros, P., Schmidt, M.-T., Zentner, C.: Combine Business Process Management Technology and Business Services to Implement Complex Web Services, IBM Corp (2001)
Leymann, F.: Web Services Flow Language, IBM Corporation (2001)
Thatte, S.: XLANG-Web Services for Business Process Design, Microsoft Corp. (2001)
Zhu, H.: SLABS: A Formal Specification Language for Agent-Based Systems. Int. J. of Software Engineering and Knowledge Engineering, 11(5), 529–558 (2001)
Zhu, H.: A Formal Specification Language for Agent-Oriented Software Engineering, Department of Computing, Oxford Brookes University (2002)
Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117, 277–296 (2000)
Lange, D.B.: Mobile Objects and mobile agents: The future of distributed computing? In: Proc. of Proceedings of The European Conference on Object-Oriented Programming (1998)
Rao, A.S., Georgreff, M.P.: Modeling Rational Agents within A BDI-Architecture. In: Proc. of the Int. Conf. on Principles of Knowledge Rep. and Reasoning, pp. 473–484 (1991)
Wooldrighe, M.: Reasoning About Rational Agents. The MIT Press, Cambridge (2000)
Shan, L., Zhu, H.: CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. In: Proc. of SELMAS 2004 at ICSE 1994, Edinburgh, UK, pp. 66–73. IEEE, Los Alamitos (2004)
Zhu, H.: The role of caste in formal specification of MAS. In: Yuan, S.-T., Yokoo, M. (eds.) PRIMA 2001. LNCS (LNAI), vol. 2132, pp. 1–15. Springer, Heidelberg (2001)
BPML.org, The BPML specification version 1.0, http://www.bpmi.org
Daml.org, The DAML Services Coalition. DAML-S: A Semantic Markup For Web Services, http://www.daml.org/services/daml-s/2001/10/daml-s.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, H., Zhou, B., Mao, X., Shan, L., Duce, D. (2004). Agent-Oriented Formal Specification of Web Services. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds) Grid and Cooperative Computing - GCC 2004 Workshops. GCC 2004. Lecture Notes in Computer Science, vol 3252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30207-0_78
Download citation
DOI: https://doi.org/10.1007/978-3-540-30207-0_78
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23578-1
Online ISBN: 978-3-540-30207-0
eBook Packages: Springer Book Archive