Paper Info
Title
Using GDT4MAS as a formal support for engineering multi-agents systems
Abstract
This paper focuses on multi-agent systems engineering process. An assessment of current needs in this domain, based on the analysis of systems already developed, is performed. This assessment shows that the formal verification of MAS is one of these needs. It is then shown how the formal approach GDT4MAS provides answer to many of the other needs. This approach is based on a MAS formal specification associated to a proof process allowing to establish the correctness of properties of the system. The main purpose of this paper is to show that, unlike most other formal approaches for MAS, GDT4MAS can at the same time propose formal aspects making a proof possible and contribute to different general aspects of agent-oriented software engineering, even when formal verification is not a concern.
Year
Venue
Keywords
2015
2015 10th International Joint Conference on Software Technologies (ICSOFT)
Agent-oriented Software Engineering,Formal Specification,Formal Verification
Field
DocType
Volume
Systems engineering,Software engineering,Computer science,Design by contract,Correctness,Formal specification,Grammar systems theory,Refinement,Formal methods,Software verification,Formal verification
Conference
1
ISBN
Citations 
PageRank 
978-1-4673-8531-2
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Bruno Mermet15110.12
G. Simon211.38