Consistency check in modelling multi-agent systems

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 114-119

  Shan, Lijun ^a   Zhu, Hong ^b  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^b OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; ENCAPSULATION; INTERNET; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

AUTOMATIC TRANSFORMATIONS; CAMLE LANGUAGE; CAMLE MODELS; DOCUMENT MANAGEMENT;

MULTI AGENT SYSTEMS;

EID: 18744390035     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Jennings, N.& Wooldridge,M. (Eds.), Agent Technology: Foundations, Applications And Markets, Springer, 1998.
2. Zambonelli, F., Jennings, NR & Wooldridge, M. Developing multiagent systems: the Gaia Methodology. ACM Trans on Software Eng. and Meth. 12(3): 317-370, 2003.
3. Shan, L. & Zhu, H. Analysing and specifying scenarios and agent behaviours. Proc. of IEEE/WIC Int. Conf. on Intelligent Agent Technology. Halifax, Canada. 2003.
4. Shan, L. & Zhu, H. CAMLE: A Caste-Centric Agent Modelling Language and Environment. Proc. of the 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2004) at ICSE 2004, Edinburgh, Scotland (UK), May 2004.
5. Zhu, H. SLABS: A Formal Specification Language for Agent-Based Systems, Journal of Software Engineering and Knowledge Engineering 11(5), 529-558, 2001.
6. Zhu, H., A formal specification language for agent-oriented software engineering, Proc. of AAMAS'2003, Melbourne, Australia, July 2003.
7. Wooldridge, M. J. & Jennings, N. R. Agent theories, architectures, and languages: a survey. Intelligent Agents: Theories, Architectures, and Languages, LNAI 890, 1-32, Springer-Verlag, 1995.
8. FIPA. http://www.fipa.org
9. AUML. http://www.auml.org
10. Xu, J., Jin, L., & Zhu, H. Tool support of orderly transition from informal to formal descriptions in requirements engineering. Proc. of IFIP'96: Advanced IT Tools, Terashima, N. & Altman, E. (Eds.), Chapman & Hall, 199-206, 1996.
11. Kuzniarz, L., Reggio, G., Sourrouille, J. L., & Huzar, Z. (eds.) Consistency Problems in UML-based Software Development, Workshop Materials at UML'2002, Research Report. Blekinge Institute of Technology, 2002.
12. Pap, Z. S., Majzikl, I., Pataricza, A, & Szegi, A. Completeness and Consistency Analysis of UML Statechart Specifications. Proc. of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop, 83-90. 2001.
13. rd Rigorous Object-Oriented Methods Workshop, Clark T., (ed.), BCS, 2000.
14. th Workshop on Rigorous Object-Oriented Methods, London, British Computer Society, 2002.
15. th Int. Workshop WADT'02, LNCS, Springer Verlag, 2003.
16. th Int. Conf. on Automated Software Engineering, Coronado Island, CA., 115-124. 2001.
17. Nentwich, C., Emmerich, W., & Finkelstein, A. Flexible Consistency Check. ACM Transactions on Software Engineering and Methodology 12 (1), 28-63, 2003.
18. th IEEE Int. Conf. on Automated Software Engineering, San Diego, California, p.346, 2001.
19. Schafer, T., Rnapp, A., & Merz, S. Model Check UML State Machines and Collaborations. Workshop on Software Model Check, Paris, July 2001.