Consistency check in modelling multi-agent systems

  title={Consistency check in modelling multi-agent systems},
  author={Lijun Shan and Hong Zhu},
  journal={Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.},
  pages={114-119 vol.1}
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… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
6 Extracted Citations
11 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.

Similar Papers

Loading similar papers…