Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Run-time model checking of interaction and deontic models for multi-agent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Model Driven Engineering for Designing Adaptive Multi-Agents Systems
Engineering Societies in the Agents World VIII
Towards a Formalisation of Electronic Contracting Environments
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Automatic Conflict Detection on Contracts
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
mWater: a Sandbox for Agreement Technologies
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
A Modeling Tool for Service-Oriented Open Multiagent Systems
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Model checking contracts: a case study
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Tool-supported development with Tropos: the conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Automated negotiation based on contract net and petri net
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
An abstract architecture for virtual organizations: The THOMAS approach
Knowledge and Information Systems
| Hi-index | 0.00 |
This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. Model-Driven Technologies are used to integrate the design of systems of this kind with the verification of the models and with the generation of executable code from these models. The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case study.