Abstract
This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally defined in the formal specification language SLABS. It is caste-centric because the notion of caste plays the central role in its methodology. Caste is the classifier of agents in our language. It allows multiple and dynamic classifications of agents. It serves as the template of agents and can be used to model a wide variety of MAS concepts, such as roles, agent societies, etc. The language supports modelling MAS at both macro-level for the global properties and behaviours of the system and micro-level for properties and behaviours of the agents. The environment provides tools for constructing graphic MAS models in CAMLE, automatically checking consistency between various views and models at different levels of abstraction, and automatically transforming models into formal specifications in SLABS. The uses of the CAMLE modelling language and environment are illustrated by an example.
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.
References
Dam, K.H., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2003. LNCS (LNAI), vol. 3030, pp. 78–93. Springer, Heidelberg (2004)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: the Gaia Methodology. ACM TOSEM 12(3), 317–370 (2003)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)
Zhu, H.: Formal Specification of Agent Behaviour through Environment Scenarios. In: Rash, J.L., et al. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 263–277. Springer, Heidelberg (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.: 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)
Zhu, H.: Formal Specification of Evolutionary Software Agents. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 249–261. Springer, Heidelberg (2002)
Shan, L., Zhu, H.: Analysing and Specifying Scenarios and Agent Behaviours. In: Proc. of IAT 2003, Halifax, Canada (October 2003)
Shan, L., Zhu, H.: Modelling Cooperative Multi-Agent Systems. In: Proc. of the 2nd Int. Workshop on Grid and Cooperative Computing, Shanghai, China (December 2003)
Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More dynamic object reclassification: FickleII. ACM TOPLAS 24(2), 153–191 (2002)
Zhu, H., Lightfoot, D.: Caste: A step beyond object orientation. In: Böszörményi, L., Schojer, P. (eds.) JMLC 2003. LNCS, vol. 2789, pp. 59–62. Springer, Heidelberg (2003)
Shen, R., Wang, J., Zhu, H.: Scenario Mechanism in Agent-Oriented Programming. In: Proc. of APSEC 2004, Busan, Korea, October 30-December 3 (2004) (in press)
Odell, J., Parunak, H.V.D., Fleischer, M.: The Role of Roles. Journal of Object Technology 2(1), 39–51 (2002)
Barbier, F., Henderson-Sellers, B., Le Parc, A., Bruel, J.-M.: Formalization of the Whole-Part Relationship in the Unified Modelling Language. IEEE TSE 29(5), 459–470 (2003)
Shan, L., Zhu, H.: Consistency Check in Modeling Multi-Agent Systems. In: Proc. of COMPSAC 2004, Hong Kong, September 2004. IEEE CS, Los Alamitos (2004)
Moukas, A.: Amalthaea: Information Discovery and Filtering Using a Multi-Agent Evolving Ecosystem. Journal of Applied Artificial Intelligence 11(5), 437–457 (1997)
Zhu, H., Bin Zhou, B., Mao, X., Shan, L., Duce, D.: Agent-Oriented Formal Specification of Web Services. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3252, pp. 633–641. Springer, Heidelberg (2004)
Burrafato, P., Cossentino, M.: Designing a Multi-Agent Solution for a Bookstore With the PASSI Methodology. In: Proc. of AOIS 2002 at CAiSE 2002 (May 2002)
Bauer, B., Muller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)
Shan, L., Zhu, H.: CAMLE: A Caste-Centric Agent Modelling Language and Environment. In: Proc. of SELMAS 2004 at ICSE 2004, Edinburgh, Scotland, UK (May 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shan, L., Zhu, H. (2005). CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds) Software Engineering for Multi-Agent Systems III. SELMAS 2004. Lecture Notes in Computer Science, vol 3390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31846-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-31846-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24843-9
Online ISBN: 978-3-540-31846-0
eBook Packages: Computer ScienceComputer Science (R0)