loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th Annual International Computer Software and Applications Conference (COMPSAC'04)
Consistency Check in Modelling Multi-Agent Systems
Hong Kong
September 28-September 30
ISBN: 0-7695-2209-2
ASCII Text
x 
 
Lijun Shan, Hong Zhu, "Consistency Check in Modelling Multi-Agent Systems," Computer Software and Applications Conference, Annual International, vol. 1, pp. 114-119, 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CMPSAC.2004.1342814,
author = {Lijun Shan and Hong Zhu},
title = {Consistency Check in Modelling Multi-Agent Systems},
journal ={Computer Software and Applications Conference, Annual International},
volume = {1},
year = {2004},
issn = {0730-3157},
pages = {114-119},
doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2004.1342814},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Consistency Check in Modelling Multi-Agent Systems
SN - 0730-3157
SP114
EP119
A1 - Lijun Shan,
A1 - Hong Zhu,
PY - 2004
KW - null
VL - 1
JA - Computer Software and Applications Conference, Annual International
ER -
 
Lijun Shan, National University of Defence Technology
Hong Zhu, Oxford Brookes University
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.
Citation:
Lijun Shan, Hong Zhu, "Consistency Check in Modelling Multi-Agent Systems," compsac, vol. 1, pp.114-119, 28th Annual International Computer Software and Applications Conference (COMPSAC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.