[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment

  • Conference paper
Software Engineering for Multi-Agent Systems III (SELMAS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3390))

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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Chapter  Google Scholar 

  2. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: the Gaia Methodology. ACM TOSEM 12(3), 317–370 (2003)

    Article  Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Zhu, H.: SLABS: A Formal Specification Language for Agent-Based Systems. Int. J. of Software Engineering and Knowledge Engineering 11(5), 529–558 (2001)

    Article  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Shan, L., Zhu, H.: Analysing and Specifying Scenarios and Agent Behaviours. In: Proc. of IAT 2003, Halifax, Canada (October 2003)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More dynamic object reclassification: FickleII. ACM TOPLAS 24(2), 153–191 (2002)

    Article  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. Odell, J., Parunak, H.V.D., Fleischer, M.: The Role of Roles. Journal of Object Technology 2(1), 39–51 (2002)

    Article  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Moukas, A.: Amalthaea: Information Discovery and Filtering Using a Multi-Agent Evolving Ecosystem. Journal of Applied Artificial Intelligence 11(5), 437–457 (1997)

    Article  Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. 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)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, National University of Defence Technology, Changsha, 410073, P. R. China

    Lijun Shan

  2. Department of Computing, Oxford Brookes University, Oxford, OX33 1HX, UK

    Hong Zhu

Authors
  1. Lijun Shan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hong Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SE-8, IME, Pca General Tiburcio 80, 22290-270, Rio de Janeiro, RJ, Brazil

    Ricardo Choren

  2. Lancaster University, Lancaster, UK

    Alessandro Garcia

  3. Computer Science Department, Pontifical Catholic University of Rio de Janeiro, Brazil

    Carlos Lucena

  4. Computer Science School, Newcastle University, UK

    Alexander Romanovsky

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics