A UML/OCL framework for the analysis of graph transformation rules
Entity
UAM. Departamento de Ingeniería InformáticaPublisher
Springer VerlagDate
2010-06Citation
10.1007/s10270-009-0129-0
Software & Systems Modeling 9.3 (2010): 335–357
ISSN
1619-1366 (print); 1619-1374 (online)DOI
10.1007/s10270-009-0129-0Funded by
Acknowledgements.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.Editor's Version
http://dx.doi.org/10.1007/s10270-009-0129-0Subjects
Domain Specific Visual Languages; Graph transformation; Meta-modelling; OCL; Verification and validation; InformáticaNote
The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-009-0129-0Rights
© Springer-Verlag Berlin Heidelberg 2010Abstract
In 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.
Files in this item
Google Scholar:Cabot, Jordi
-
Clarisó, Robert
-
Guerra Sánchez, Esther
-
Lara Jaramillo, Juan de
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.