Agent UML: a formalism for specifying multiagent software systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
More dynamic object reclassification: Fickle∥
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Specification of Agent Behaviour through Environment Scenarios
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Formal Specification of Evolutionary Software Agents
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The Role of Castes in Formal Specification of MAS
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Modelling and Specifying Scenarios and Agent Behaviour
IAT '03 Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Consistency Check in Modelling Multi-Agent Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Scenario Mechanism in Agent-Oriented Programming
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Agent-Oriented Modelling and Specification of Web Services
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
Caste-Centric Agent-Oriented Programming
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Developing Multi-Agent Systems with Dynamic Binding Mechanism
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An adaptive casteship mechanism for developing multi-agent systems
International Journal of Computer Applications in Technology
An object-process-based modeling language for multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
| Hi-index | 0.00 |
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.