Automated reasoning for derivation of model-driven SPLs

Model-Driven SPL approaches use metamodels and transformation rules to obtain concrete software artifacts departing from models. Most of such approaches use also feature models to express variability. Because of the variability, to derive products, they have to adapt the transformation rules accordi...

Full description

Autores:
Arboleda Jimenez, Hugo Fernando
Royer, Jean Claude
Díaz, Juan Francisco;
Vargas, Víctor;
Tipo de recurso:
http://purl.org/coar/resource_type/c_c94f
Fecha de publicación:
2010
Institución:
Universidad ICESI
Repositorio:
Repositorio ICESI
Idioma:
eng
OAI Identifier:
oai:repository.icesi.edu.co:10906/83099
Acceso en línea:
https://hal.inria.fr/hal-00536845/en
http://repository.icesi.edu.co/biblioteca_digital/handle/10906/83099
Palabra clave:
Modelos de sistemas
Arquitectura de software
Programación orientada a objetos (Computadores)
Ingeniería de sistemas y comunicaciones
Systems engineering
Systems Application Architecture
Hardware y arquitectura de computadores
Rights
openAccess
License
https://creativecommons.org/licenses/by-nc-nd/4.0/
id ICESI2_326909245d25d2550f9b57001dac2c53
oai_identifier_str oai:repository.icesi.edu.co:10906/83099
network_acronym_str ICESI2
network_name_str Repositorio ICESI
repository_id_str
spelling Arboleda Jimenez, Hugo FernandoRoyer, Jean ClaudeDíaz, Juan Francisco;Vargas, Víctor;hfarboleda@icesi.edu.coSouth Korea de Lat: 37 00 00 N degrees minutes Lat: 37.0000 decimal degrees Long: 127 30 00 E degrees minutes Long: 127.5000 decimal degrees2018-03-08T19:56:48Z2018-03-08T19:56:48Z2010-09-019781862202740https://hal.inria.fr/hal-00536845/enhttp://repository.icesi.edu.co/biblioteca_digital/handle/10906/83099instname: Universidad Icesireponame: Biblioteca Digitalrepourl: https://repository.icesi.edu.co/Model-Driven SPL approaches use metamodels and transformation rules to obtain concrete software artifacts departing from models. Most of such approaches use also feature models to express variability. Because of the variability, to derive products, they have to adapt the transformation rules according to user choices captured in feature configurations. In this paper we propose an approach based on Constraint Programming to derive Model-Driven SPLs. Our contribution is twofold. First, we assist product line architects when relating transformation rules and features in order to derive prod- ucts based on feature configurations; the novelty is that we facilitate the management of feature interactions to architects. Second, current approaches to reason on feature models in SPL Engineering only deal with problems related to product configuration. We improve such approaches adding facilities for product derivation.181-188 páginasDigitalapplication/pdfengLancaster UniversityFacultad de IngenieríaIngeniería TelemáticaDepartamento Académico de Tecnologías de Información y Comunicaciones (TICs)South Korea2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC - 2010EL AUTOR, expresa que la obra objeto de la presente autorización es original y la elaboró sin quebrantar ni suplantar los derechos de autor de terceros, y de tal forma, la obra es de su exclusiva autoría y tiene la titularidad sobre éste. PARÁGRAFO: en caso de queja o acción por parte de un tercero referente a los derechos de autor sobre el artículo, folleto o libro en cuestión, EL AUTOR, asumirá la responsabilidad total, y saldrá en defensa de los derechos aquí autorizados; para todos los efectos, la Universidad Icesi actúa como un tercero de buena fe. Esta autorización, permite a la Universidad Icesi, de forma indefinida, para que en los términos establecidos en la Ley 23 de 1982, la Ley 44 de 1993, leyes y jurisprudencia vigente al respecto, haga publicación de este con fines educativos Todo persona que consulte ya sea la biblioteca o en medio electrónico podrá copiar apartes del texto citando siempre la fuentes, es decir el título del trabajo y el autor.https://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessAtribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)http://purl.org/coar/access_right/c_abf2Modelos de sistemasArquitectura de softwareProgramación orientada a objetos (Computadores)Ingeniería de sistemas y comunicacionesSystems engineeringSystems Application ArchitectureHardware y arquitectura de computadoresAutomated reasoning for derivation of model-driven SPLsinfo:eu-repo/semantics/conferenceObjecthttp://purl.org/coar/resource_type/c_c94fDocumento de conferenciainfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/version/c_970fb48d4fbd8a85Comunidad Universidad Icesi - InvestigadoresORIGINALdocumento.htmldocumento.htmltext/html281http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/83099/1/documento.html3174ed875b1e0534961303d70131def1MD5110906/83099oai:repository.icesi.edu.co:10906/830992018-10-16 11:21:09.626Biblioteca Digital - Universidad icesicdcriollo@icesi.edu.co
dc.title.eng.fl_str_mv Automated reasoning for derivation of model-driven SPLs
title Automated reasoning for derivation of model-driven SPLs
spellingShingle Automated reasoning for derivation of model-driven SPLs
Modelos de sistemas
Arquitectura de software
Programación orientada a objetos (Computadores)
Ingeniería de sistemas y comunicaciones
Systems engineering
Systems Application Architecture
Hardware y arquitectura de computadores
title_short Automated reasoning for derivation of model-driven SPLs
title_full Automated reasoning for derivation of model-driven SPLs
title_fullStr Automated reasoning for derivation of model-driven SPLs
title_full_unstemmed Automated reasoning for derivation of model-driven SPLs
title_sort Automated reasoning for derivation of model-driven SPLs
dc.creator.fl_str_mv Arboleda Jimenez, Hugo Fernando
Royer, Jean Claude
Díaz, Juan Francisco;
Vargas, Víctor;
dc.contributor.author.spa.fl_str_mv Arboleda Jimenez, Hugo Fernando
Royer, Jean Claude
Díaz, Juan Francisco;
Vargas, Víctor;
dc.subject.spa.fl_str_mv Modelos de sistemas
Arquitectura de software
Programación orientada a objetos (Computadores)
Ingeniería de sistemas y comunicaciones
topic Modelos de sistemas
Arquitectura de software
Programación orientada a objetos (Computadores)
Ingeniería de sistemas y comunicaciones
Systems engineering
Systems Application Architecture
Hardware y arquitectura de computadores
dc.subject.eng.fl_str_mv Systems engineering
Systems Application Architecture
dc.subject.none.fl_str_mv Hardware y arquitectura de computadores
description Model-Driven SPL approaches use metamodels and transformation rules to obtain concrete software artifacts departing from models. Most of such approaches use also feature models to express variability. Because of the variability, to derive products, they have to adapt the transformation rules according to user choices captured in feature configurations. In this paper we propose an approach based on Constraint Programming to derive Model-Driven SPLs. Our contribution is twofold. First, we assist product line architects when relating transformation rules and features in order to derive prod- ucts based on feature configurations; the novelty is that we facilitate the management of feature interactions to architects. Second, current approaches to reason on feature models in SPL Engineering only deal with problems related to product configuration. We improve such approaches adding facilities for product derivation.
publishDate 2010
dc.date.issued.none.fl_str_mv 2010-09-01
dc.date.accessioned.none.fl_str_mv 2018-03-08T19:56:48Z
dc.date.available.none.fl_str_mv 2018-03-08T19:56:48Z
dc.type.eng.fl_str_mv info:eu-repo/semantics/conferenceObject
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_c94f
dc.type.local.spa.fl_str_mv Documento de conferencia
dc.type.version.eng.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coarversion.none.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
format http://purl.org/coar/resource_type/c_c94f
status_str publishedVersion
dc.identifier.isbn.none.fl_str_mv 9781862202740
dc.identifier.other.none.fl_str_mv https://hal.inria.fr/hal-00536845/en
dc.identifier.uri.none.fl_str_mv http://repository.icesi.edu.co/biblioteca_digital/handle/10906/83099
dc.identifier.instname.none.fl_str_mv instname: Universidad Icesi
dc.identifier.reponame.none.fl_str_mv reponame: Biblioteca Digital
dc.identifier.repourl.none.fl_str_mv repourl: https://repository.icesi.edu.co/
identifier_str_mv 9781862202740
instname: Universidad Icesi
reponame: Biblioteca Digital
repourl: https://repository.icesi.edu.co/
url https://hal.inria.fr/hal-00536845/en
http://repository.icesi.edu.co/biblioteca_digital/handle/10906/83099
dc.language.iso.eng.fl_str_mv eng
language eng
dc.relation.ispartof.eng.fl_str_mv 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC - 2010
dc.rights.uri.none.fl_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.rights.accessrights.eng.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.license.none.fl_str_mv Atribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
dc.rights.coar.none.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-nd/4.0/
Atribuci�n-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.none.fl_str_mv 181-188 páginas
dc.format.medium.spa.fl_str_mv Digital
dc.format.mimetype.eng.fl_str_mv application/pdf
dc.coverage.spatial.eng.fl_str_mv South Korea de Lat: 37 00 00 N degrees minutes Lat: 37.0000 decimal degrees Long: 127 30 00 E degrees minutes Long: 127.5000 decimal degrees
dc.publisher.eng.fl_str_mv Lancaster University
dc.publisher.faculty.spa.fl_str_mv Facultad de Ingeniería
dc.publisher.program.spa.fl_str_mv Ingeniería Telemática
dc.publisher.department.spa.fl_str_mv Departamento Académico de Tecnologías de Información y Comunicaciones (TICs)
dc.publisher.place.none.fl_str_mv South Korea
institution Universidad ICESI
bitstream.url.fl_str_mv http://repository.icesi.edu.co/biblioteca_digital/bitstream/10906/83099/1/documento.html
bitstream.checksum.fl_str_mv 3174ed875b1e0534961303d70131def1
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Biblioteca Digital - Universidad icesi
repository.mail.fl_str_mv cdcriollo@icesi.edu.co
_version_ 1814094902855729152