Show simple item record

dc.contributor.authorCabot, Jordi
dc.contributor.authorClarisó, Robert
dc.contributor.authorGuerra Sánchez, Esther 
dc.contributor.authorLara Jaramillo, Juan de 
dc.contributor.otherUAM. Departamento de Ingeniería Informáticaes_ES
dc.date.accessioned2015-05-29T15:38:32Z
dc.date.available2015-05-29T15:38:32Z
dc.date.issued2010-06
dc.identifier.citationSoftware & Systems Modeling 9.3 (2010): 335–357en_US
dc.identifier.issn1619-1366 (print)en_US
dc.identifier.issn1619-1374 (online)en_US
dc.identifier.urihttp://hdl.handle.net/10486/666492
dc.descriptionThe final publication is available at Springer via http://dx.doi.org/10.1007/s10270-009-0129-0en_US
dc.description.abstractIn this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, together with the properties of interest (like rule applicability, conflicts or independence). The intermediate representation serves three purposes: (1) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (2) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (3) it makes available a plethora of OCL tools to actually perform the rule analysis. This approach is especially useful to analyse the operational semantics of Domain Specific Visual Languages. We have automated these ideas by providing designers with tools for the graphical specification and analysis of graph transformation rules, including a back-annotation mechanism that presents the analysis results in terms of the original language notation.en_US
dc.description.sponsorshipAcknowledgements.We thank the referees for their useful comments, which helped us to improve the pa- per. This work is sponsored by the Spanish Ministry of Science and Innovation, under projects \MODUWEB" (TIN2006-09678), \METEORIC" (TIN2008-02081) and \Design and construction of a Conceptual Modeling As- sistant" (TIN208-00444/TIN - Grupo Consolidado), and UOC-IN3 research grant.en_US
dc.format.extent23 pág.es_ES
dc.format.mimetypeapplication/pdfen
dc.language.isoengen
dc.publisherSpringer Verlag
dc.relation.ispartofSoftware and Systems Modelingen_US
dc.rights© Springer-Verlag Berlin Heidelberg 2010
dc.subject.otherDomain Specific Visual Languagesen_US
dc.subject.otherGraph transformationen_US
dc.subject.otherMeta-modellingen_US
dc.subject.otherOCLen_US
dc.subject.otherVerification and validationen_US
dc.titleA UML/OCL framework for the analysis of graph transformation rulesen_US
dc.typearticleen_US
dc.typeconferenceObjecten
dc.subject.ecienciaInformáticaes_ES
dc.relation.publisherversionhttp://dx.doi.org/10.1007/s10270-009-0129-0
dc.identifier.doi10.1007/s10270-009-0129-0
dc.identifier.publicationfirstpage335
dc.identifier.publicationissue3
dc.identifier.publicationlastpage357
dc.identifier.publicationvolume9
dc.relation.eventdateJuly 1-2, 2008en_US
dc.relation.eventnumber1
dc.relation.eventplaceZurich (Switzerland)en_US
dc.relation.eventtitle1st International Conference on Model Transformations, ICMT08en_US
dc.type.versioninfo:eu-repo/semantics/acceptedVersionen
dc.contributor.groupHerramientas Interactivas Avanzadas (ING EPS-003)es_ES
dc.rights.accessRightsopenAccessen
dc.authorUAMLara Jaramillo, Juan De (259157)
dc.facultadUAMEscuela Politécnica Superior


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record