Agent-oriented formal specification of web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3252, Issue , 2004, Pages 633-641

  Zhu, Hong ^a   Zhou, Bin ^b   Mao, Xinjun ^b   Shan, Lijun ^b   Duce, David ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

^b NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; FORMAL SPECIFICATION; MULTI AGENT SYSTEMS; SECURITY OF DATA; SPECIFICATIONS; WEBSITES;

ABSTRACT SPECIFICATIONS; AGENT-BASED SYSTEMS; AGENT-ORIENTED; COMPUTATIONAL ENTITIES; GENERAL ARCHITECTURES; SOCIAL BEHAVIOUR;

WEB SERVICES;

EID: 35048877877     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30207-0_78     Document Type: Article

References (16)

1. Lau, C. and Ryman, A., Developing XML Web services with WebSphere Studio Application Developer. IBM SYSTEMS JOURNAL, 2002.41(2): pp178-197.
2. Gottschalk, K., et al., Introduction to Web services architecture. IBM SYSTEMS JOURNAL, 2002.41(2): pp170-177.
3. Leymann, F., Roller, D., and Schmidt, M.-T., Web services and business process management IBM SYSTEMS JOURNAL, 2002.41(2): pp198-211.
4. Lambros, P., Schmidt, M.-T., and Zentner, C., Combine Business Process Management Technology and Business Services to Implement Complex Web Services, IBM Corp, 2001.
5. Leymann, F., Web Services Flow Language, IBM Corporation, 2001.
6. Thatte, S., XLANG-Web Services for Business Process Design, Microsoft Corp., 2001.
7. Zhu, H., SLABS: A Formal Specification Language for Agent-Based Systems. Int. J. of Software Engineering and Knowledge Engineering, 2001. 11(5): pp529-558.
8. Zhu, H., A Formal Specification Language for Agent-Oriented Software Engineering, Department of Computing, Oxford Brookes University, 2002.
9. Jennings, N.R., On agent-based software engineering. Artificial Intelligence, 2000. 117: pp277-296.
10. 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.
11. Rao, A.S. and Georgreff, M.P. Modeling Rational Agents within A BDI-Architecture, in Proc. of the Int. Conf. on Principles of Knowledge Rep. and Reasoning, 1991, pp473-484.
12. Wooldrighe, M., Reasoning About Rational Agents, 2000: The MIT Press.
13. Shan, L. and Zhu, H. CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment, in Proc. of SELMAS'04 at ICSE94, Edinburgh, UK., 2004, IEE, pp66-73.
14. Zhu, H., The role of caste in formal specification of MAS, in Proc. of PRIMA'2001. LNCS, Vol. 2132, 2001: Springer: Taipei, Taiwan, ppl~15.
15. BPML.org, The BPML specification version 1.0, http://www.bpmi.org.
16. 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.