- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

Garcia Marques, ME.; Giret Boggino, AS.; Botti, V. (2013). A Model-Driven CASE tool for developing and verifying regulated open MAS. Science of Computer Programming. 78(6):695-704. doi:10.1016/j.scico.2011.10.009

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/45032

Files in this item

Item Metadata

Title: A Model-Driven CASE tool for developing and verifying regulated open MAS
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
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 ...[+]
Subjects: Multi-agent systems , Contracts , Model-Driven software development , Model checking
Copyrigths: Reserva de todos los derechos
Source:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2011.10.009
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.scico.2011.10.009
Thanks:
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.
Type: Artículo

This item appears in the following Collection(s)

Show full item record