- -

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 completo del ítem

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

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

Ficheros en el ítem

Thumbnail
Nombre: mgarciaFile.pdf
Tamaño: 651.1Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: Garcia;Giret;Botti ...
Tamaño: 1.884Mb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: A Model-Driven CASE tool for developing and verifying regulated open MAS
Autor: Garcia Marques, Mª Emilia Giret Boggino, Adriana Susana Botti, V.
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
[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 ...[+]
Palabras clave: Multi-agent systems , Contracts , Model-Driven software development , Model checking
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2011.10.009
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2011.10.009
Código del Proyecto:
info:eu-repo/grantAgreement/MICINN//TIN2008-04446/ES/UNA PLATAFORMA PARA SISTEMAS MULTIAGENTE ABIERTOS/
info:eu-repo/grantAgreement/GVA//PROMETEO08%2F2008%2F051/ES/Advances on Agreement Technologies for Computational Entities (atforce)/
info:eu-repo/grantAgreement/MICINN//TIN2009-13839-C03-01/ES/Organizaciones Virtuales Adaptativas: Arquitecturas Y Metodos De Desarrollo/
info:eu-repo/grantAgreement/MEC//CSD2007-00022/ES/Agreement Technologies/
info:eu-repo/grantAgreement/MEC//AP2007-01276/ES/AP2007-01276/
Agradecimientos:
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.
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem