Show simple item record

dc.contributor.authorGiachetti, Giovanni
dc.contributor.authorMarín, Beatriz
dc.contributor.authorLópez Cuesta, Lidia
dc.contributor.authorFranch Gutiérrez, Javier
dc.contributor.authorLópez Pastor, Oscar
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2016-11-09T11:55:40Z
dc.date.available2018-10-05T00:30:47Z
dc.date.issued2017-03-01
dc.identifier.citationGiachetti, G., Marín, B., López, L., Franch, X., López, O. Verifying goal-oriented specifications used in model-driven development processes. "Information systems", 1 Març 2017, vol. 64, p. 41-62.
dc.identifier.issn0306-4379
dc.identifier.urihttp://hdl.handle.net/2117/95943
dc.description.abstractGoal-oriented requirements engineering promotes the use of goals to elicit, elaborate, structure, specify, analyze, negotiate, document, and modify requirements. Thus, goal-oriented specifications are essential for capturing the objectives that the system to be developed should achieve. However, the application of goaloriented specifications into model-driven development (MDD) processes is still handcrafted, not aligned in the automated flow from models to code. In other words, the experience of analysts and designers is necessary to manually transform the input goal-oriented models into system models for code generation (models compilation). Some authors have proposed guidelines to facilitate and partially automate this translation, but there is a lack of techniques to assess the adequacy of goal-oriented models as starting point of MDD processes. In this paper, we present and evaluate a verification approach that guarantees the automatic, correct, and complete transformation of goal-oriented models into design models used by specific MDD solutions. In particular, this approach has been put into practice by adopting a well-known goal-oriented modeling approach, the i* framework, and an industrial MDD solution called Integranova.
dc.format.extent22 p.
dc.language.isoeng
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshFormal methods (Computer science)
dc.subject.lcshRequirements engineering
dc.subject.otherModel-driven development
dc.subject.otherVerification approach
dc.subject.otherGoal-oriented requirements
dc.subject.otheri* framework
dc.titleVerifying goal-oriented specifications used in model-driven development processes
dc.typeArticle
dc.subject.lemacMètodes formals (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering
dc.identifier.doi10.1016/j.is.2016.06.011
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://www.sciencedirect.com/science/article/pii/S0306437915300478
dc.rights.accessOpen Access
local.identifier.drac19238898
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO//TIN2013-44641-P/ES/PRODUCCION DE SERVICIOS Y APPS PARA LOS CIUDADANOS CON TECNOLOGIAS OPEN SOURCE/
local.citation.authorGiachetti, G.; Marín, B.; López, L.; Franch, X.; López, O.
local.citation.publicationNameInformation systems
local.citation.volume64
local.citation.startingPage41
local.citation.endingPage62


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain