A UML/OCL framework for the analysis of fraph transformation rules

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 representat...

ver descrição completa

Detalhes bibliográficos
Autores: Cabot, Jordi, Clarisó, Robert, Lara Jaramillo, Juan de, Guerra, Esther
Formato: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2009
País:España
Recursos:Universitat Oberta de Catalunya (UOC)
Repositorio:O2, repositorio institucional de la UOC
OAI Identifier:oai:openaccess.uoc.edu:10609/109798
Acesso em linha:https://hdl.handle.net/10609/109798
Access Level:acceso abierto
Palavra-chave:graph transformation
OCL
meta-modelling
domain specific visual languages
verification and validation
transformación de grafos
metamodelado
lenguajes visuales específicos de dominio
verificación y validación
transformació de grafs
metamodel
llenguatges visuals específics de domini
verificació i validació
UML (Computer science)
UML (Informàtica)
UML (Informática)
id ES_e24996feb4e6ca7c61b5ff3c33845b08
oai_identifier_str oai:openaccess.uoc.edu:10609/109798
network_acronym_str ES
network_name_str España
repository_id_str
spelling A UML/OCL framework for the analysis of fraph transformation rulesCabot, JordiClarisó, RobertLara Jaramillo, Juan deGuerra, Esthergraph transformationOCLmeta-modellingdomain specific visual languagesverification and validationtransformación de grafosOCLmetamodeladolenguajes visuales específicos de dominioverificación y validacióntransformació de grafsOCLmetamodelllenguatges visuals específics de dominiverificació i validacióUML (Computer science)UML (Informàtica)UML (Informática)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: (i) 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; (ii) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) 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 backannotation mechanism that presents the analysis results in terms of the original language notation.Software and Systems ModelingUniversitat Oberta de Catalunya (UOC)Universidad Carlos III de MadridUniversidad Autónoma de Madrid202020202009info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/10609/109798reponame:O2, repositorio institucional de la UOCinstname:Universitat Oberta de Catalunya (UOC)InglésSoftware and Systems Modeling, 2010, 9(3)https://doi.org/10.1007/s10270-009-0129-0CC BY-NC-NDhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:openaccess.uoc.edu:10609/1097982026-05-28T12:42:01Z
dc.title.none.fl_str_mv A UML/OCL framework for the analysis of fraph transformation rules
title A UML/OCL framework for the analysis of fraph transformation rules
spellingShingle A UML/OCL framework for the analysis of fraph transformation rules
Cabot, Jordi
graph transformation
OCL
meta-modelling
domain specific visual languages
verification and validation
transformación de grafos
OCL
metamodelado
lenguajes visuales específicos de dominio
verificación y validación
transformació de grafs
OCL
metamodel
llenguatges visuals específics de domini
verificació i validació
UML (Computer science)
UML (Informàtica)
UML (Informática)
title_short A UML/OCL framework for the analysis of fraph transformation rules
title_full A UML/OCL framework for the analysis of fraph transformation rules
title_fullStr A UML/OCL framework for the analysis of fraph transformation rules
title_full_unstemmed A UML/OCL framework for the analysis of fraph transformation rules
title_sort A UML/OCL framework for the analysis of fraph transformation rules
dc.creator.none.fl_str_mv Cabot, Jordi
Clarisó, Robert
Lara Jaramillo, Juan de
Guerra, Esther
author Cabot, Jordi
author_facet Cabot, Jordi
Clarisó, Robert
Lara Jaramillo, Juan de
Guerra, Esther
author_role author
author2 Clarisó, Robert
Lara Jaramillo, Juan de
Guerra, Esther
author2_role author
author
author
dc.contributor.none.fl_str_mv Universitat Oberta de Catalunya (UOC)
Universidad Carlos III de Madrid
Universidad Autónoma de Madrid
dc.subject.none.fl_str_mv graph transformation
OCL
meta-modelling
domain specific visual languages
verification and validation
transformación de grafos
OCL
metamodelado
lenguajes visuales específicos de dominio
verificación y validación
transformació de grafs
OCL
metamodel
llenguatges visuals específics de domini
verificació i validació
UML (Computer science)
UML (Informàtica)
UML (Informática)
topic graph transformation
OCL
meta-modelling
domain specific visual languages
verification and validation
transformación de grafos
OCL
metamodelado
lenguajes visuales específicos de dominio
verificación y validación
transformació de grafs
OCL
metamodel
llenguatges visuals específics de domini
verificació i validació
UML (Computer science)
UML (Informàtica)
UML (Informática)
description 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: (i) 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; (ii) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) 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 backannotation mechanism that presents the analysis results in terms of the original language notation.
publishDate 2009
dc.date.none.fl_str_mv 2009
2020
2020
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/10609/109798
url https://hdl.handle.net/10609/109798
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Software and Systems Modeling, 2010, 9(3)
https://doi.org/10.1007/s10270-009-0129-0
dc.rights.none.fl_str_mv CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Software and Systems Modeling
publisher.none.fl_str_mv Software and Systems Modeling
dc.source.none.fl_str_mv reponame:O2, repositorio institucional de la UOC
instname:Universitat Oberta de Catalunya (UOC)
instname_str Universitat Oberta de Catalunya (UOC)
reponame_str O2, repositorio institucional de la UOC
collection O2, repositorio institucional de la UOC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869422372198547456
score 15,300724

Registos relacionados