A Model-Driven CASE tool for developing and verifying regulated open MAS

descriptionPublicationkeyboard_double_arrow_right Article 01 Jun 2013 English Publisher:Elsevier BVJournal:Science of Computer Programming, volume 78, pages 695-704 (issn: 0167-6423,

Copyright policy )

Authors: Emilia Garcia; Adriana Giret; Vicente J. Botti;

doi: 10.1016/j.scico.2011.10.009

A Model-Driven CASE tool for developing and verifying regulated open MAS

- Summary
- Subjects
- Related research
  (13)
- Metrics

Abstract

[EN] 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

This work is partially supported by the TIN2008-04446, TIN2009-13839-C03-01, PROMETEO 2008/051 projects, CONSOLIDER INGENIO 2010 under grant CSD2007-00022 and FPU grant AP2007-01276 awarded to Emilia Garcia.

Related Organizations

Universitat Politècnica de València
Spain

Keywords

Model checking, Multi-agent systems, CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL, Contracts, Model-Driven software development, LENGUAJES Y SISTEMAS INFORMATICOS

13 Research products, page 1 of 2

Reaching Unanimous Agreements Within Agent-Based Negotiation Teams With Linear and Monotonic Utility Functions
2012IsAmongTopNSimilarDocuments
Distributed goal-oriented computing
2012IsAmongTopNSimilarDocuments
Some examples of detection of connected components in undirected graphs by using the Laplacian matrix and the RCM algorithm
2012IsAmongTopNSimilarDocuments
Open issues for normative multi-agent systems
2011IsAmongTopNSimilarDocuments
Argument-based agreements in agent societies
2012IsAmongTopNSimilarDocuments
RT-MOVICAB-IDS: Addressing real-time intrusion detection
2013IsAmongTopNSimilarDocuments
Convergence of Weighted-average consensus for undirected graphs
2014IsAmongTopNSimilarDocuments
Multidimensional Adaptation in MAS Organizations
2013IsAmongTopNSimilarDocuments
THOMAS: An agent platform for supporting normative multi-agent systems
2011IsAmongTopNSimilarDocuments
Supporting Dynamicity in Emergency Response Applications
2014IsAmongTopNSimilarDocuments

chevron_left
1
2
chevron_right

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	8
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%