Agent-oriented formal specification of web services

5Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

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. © Springer-Verlag 2004.

Cite

CITATION STYLE

APA

Zhu, H., Zhou, B., Mao, X., Shan, L., & Duce, D. (2004). Agent-oriented formal specification of web services. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3252, 633–641. https://doi.org/10.1007/978-3-540-30207-0_78

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free