%0 Book Section %1 cabot_08_analysing %A Cabot, Jordi %A Claris'o, Robert %A Guerra, Esther %A de Lara, Juan %D 2008 %J Theory and Practice of Model Transformations %K 2008 graph_transformation %P 229--244 %R http://dx.doi.org/10.1007/978-3-540-69927-9_16 %T Analysing Graph Transformation Rules through OCL %U http://dx.doi.org/10.1007/978-3-540-69927-9_16 %X In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together with the properties of interest (like rule applicability, conflict or independence). The intermediate representation serves three purposes: (i) allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking into account meta-model and OCL constraints when verifying the correctness of the rules; (ii) permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) makes available a plethora of OCL tools to actually perform the rule analysis.

@incollection{cabot_08_analysing, abstract = {In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together with the properties of interest (like rule applicability, conflict or independence). The intermediate representation serves three purposes: (i) allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking into account meta-model and OCL constraints when verifying the correctness of the rules; (ii) permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) makes available a plethora of OCL tools to actually perform the rule analysis.}, added-at = {2009-02-11T20:12:33.000+0100}, author = {Cabot, Jordi and Claris'{o}, Robert and Guerra, Esther and de Lara, Juan}, biburl = {https://www.bibsonomy.org/bibtex/22ba172c961e5e5634d5392f21d1e1889/leonardo}, citeulike-article-id = {2964497}, doi = {http://dx.doi.org/10.1007/978-3-540-69927-9_16}, interhash = {a99dad6d2baeb79688f5731c1a894ea8}, intrahash = {2ba172c961e5e5634d5392f21d1e1889}, journal = {Theory and Practice of Model Transformations}, keywords = {2008 graph_transformation}, pages = {229--244}, posted-at = {2008-07-04 15:39:09}, priority = {2}, timestamp = {2009-02-11T20:12:33.000+0100}, title = {Analysing Graph Transformation Rules through OCL}, url = {http://dx.doi.org/10.1007/978-3-540-69927-9_16}, year = 2008 }