Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal specification language for agent-oriented software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Static Consistency Checking for Distributed Specifications
Proceedings of the 16th IEEE international conference on Automated 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)
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
An adaptive casteship mechanism for developing multi-agent systems
International Journal of Computer Applications in Technology
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
CAMLE: a caste-centric agent-oriented modelling language and environment
Software Engineering for Multi-Agent Systems III
Hi-index | 0.00 |
In model-driven software development, inconsistency of a model must be detected and eliminated to ensure the quality of the model. This paper investigates the consistency check in the modelling of multi-agent systems (MAS). Consistency constraints are formally defined for the CAMLE language, which was proposed in our previous work for modelling MAS. Uses of the consistency constraints in the implementation of a modelling environment for automatic consistency check and model transformation are discussed.