Title :
Consistency check in modelling multi-agent systems
Author :
Shan, Lijun ; Zhu, Hong
Author_Institution :
Dept. of Comput., Nat. Univ. of Defense Technol.
Abstract :
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 (AMS). 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
Keywords :
multi-agent systems; program diagnostics; software engineering; CAMLE language; automatic consistency check; model-driven software development; multi-agent systems modelling; Collaboration; Collaborative software; Formal specifications; Internet; Multiagent systems; Programming; Runtime; Slabs; Specification languages; Testing;
Conference_Titel :
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2209-2
DOI :
10.1109/CMPSAC.2004.1342814
