DocumentCode
1567412
Title
Consistency check in modelling multi-agent systems
Author
Shan, Lijun ; Zhu, Hong
Author_Institution
Dept. of Comput., Nat. Univ. of Defense Technol.
fYear
2004
Firstpage
114
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
Conference_Location
Hong Kong
ISSN
0730-3157
Print_ISBN
0-7695-2209-2
Type
conf
DOI
10.1109/CMPSAC.2004.1342814
Filename
1342814
Link To Document