- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: mgarciaFile.pdf
Tamaño: 651.1Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: Garcia;Giret;Botti ...
Tamaño: 1.884Mb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Garcia Marques, Mª Emilia es_ES
dc.contributor.author Giret Boggino, Adriana Susana es_ES
dc.contributor.author Botti, V. es_ES
dc.date.accessioned 2014-12-01T13:54:20Z
dc.date.available 2014-12-01T13:54:20Z
dc.date.issued 2013-06
dc.identifier.issn 0167-6423
dc.identifier.uri http://hdl.handle.net/10251/45032
dc.description.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 es_ES
dc.description.sponsorship 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. en_EN
dc.language Inglés es_ES
dc.publisher Elsevier es_ES
dc.relation.ispartof Science of Computer Programming es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Multi-agent systems es_ES
dc.subject Contracts es_ES
dc.subject Model-Driven software development es_ES
dc.subject Model checking es_ES
dc.subject.classification CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title A Model-Driven CASE tool for developing and verifying regulated open MAS es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1016/j.scico.2011.10.009
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2008-04446/ES/UNA PLATAFORMA PARA SISTEMAS MULTIAGENTE ABIERTOS/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//PROMETEO08%2F2008%2F051/ES/Advances on Agreement Technologies for Computational Entities (atforce)/
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2009-13839-C03-01/ES/Organizaciones Virtuales Adaptativas: Arquitecturas Y Metodos De Desarrollo/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//CSD2007-00022/ES/Agreement Technologies/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//AP2007-01276/ES/AP2007-01276/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation 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. https://doi.org/10.1016/j.scico.2011.10.009 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion http://dx.doi.org/10.1016/j.scico.2011.10.009 es_ES
dc.description.upvformatpinicio 695 es_ES
dc.description.upvformatpfin 704 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 78 es_ES
dc.description.issue 6 es_ES
dc.relation.senia 201994
dc.contributor.funder Ministerio de Ciencia e Innovación
dc.contributor.funder Generalitat Valenciana
dc.contributor.funder Ministerio de Educación y Ciencia es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem