A UML/OCL framework for the analysis of graph transformation rules |
| |
Authors: | Jordi Cabot Robert Clarisó Esther Guerra Juan de Lara |
| |
Affiliation: | 1. Universitat Oberta de Catalunya, Barcelona, Spain 4. Estudis d’Informàtica, Multimèdia i Telecomunicacions, Rbla. del Poblenou 156, 08018, Barcelona, Spain 2. Universidad Carlos III de Madrid, Madrid, Spain 3. Universidad Autónoma de Madrid, Madrid, Spain
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|