research-article

On formalizing EMF modeling operations with graph transformations

Authors:

Sebastian Gabmeyer,

Martina SeidlAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 37, Issue 4

Pages 1 - 8

https://doi.org/10.1145/2237796.2237810

Published: 16 July 2012 Publication History

Abstract

The development of software in accordance with the model-driven engineering paradigm places model transformations at a central position. Desirable yet contradicting properties of model transformations are user-friendliness as offered by-demonstration approaches and formal conciseness as provided by algebraic graph transformations which is indispensable for verification tasks.

In this paper, we show how to unite the properties of the two different approaches. We employ the state-of-the-art by-demonstration environment Emo to prototype graph transformations by embedding the operations obtained from Emo in the formal framework of graph transformation theory.

References

[1]

T. Arendt, E. Biermann, S. Jurack, C. Krause, and G. Taentzer. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In Proc. of MODELS 2010.

Digital Library

[2]

E. Biermann, C. Ermel, and G. Taentzer. Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software and Systems Modeling, pages 1--24, 2011.

Digital Library

[3]

D. Bisztray, R. Heckel, and H. Ehrig. Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST, 16, 2008.

Digital Library

[4]

P. Brosch, P. Langer, M. Seidl, K. Wieland, M. Wimmer, G. Kappel, W. Retschitzegger, and W. Schwinger. An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. In Proc. of MODELS 2009, 2009.

Digital Library

[5]

R. Bardohl, M. Minas, G. Taentzer, and A. Schürr. Application of Graph Transformation to Visual Languages. In Handb. of Graph Gram. and Comp. by Graph Trans. 1999.

Digital Library

[6]

Z. Balogh and D. Varró. Model transformation by example using inductive logic programming. SoSym, 8(3):347--364, 2009.

[7]

T. Baar and J. Whittle. On the Usage of Concrete Syntax in Model Transformation Rules. In Perspectives of Systems Informatics, volume 4378 of LNCS, pages 84--97. Springer, 2007.

Digital Library

[8]

K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621--645, 2006.

Digital Library

[9]

J. de Lara, R. Bardohl, H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Attributed graph transformation with node type inheritance. The-oret. Comp. Science, 376(3):139--163, 2007.

Digital Library

[10]

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fund. of Alg. Graph Trans. Springer, 2006.

[11]

L. Geiger and A. Zündorf. Graph Based Debugging with Fujaba. ENTCS, 72(2):112, 2002.

[12]

R. Heckel. Graph Transformation in a Nutshell. ENTCS, 148(1):187--198, 2006.

Digital Library

[13]

T. Levendovszky, L. Lengyel, G. Mezei, and H. Charaf. A Systematic Approach to Metamodeling Env. and Model Transformation Systems in VMTS. ENTCS, 127(1):65--75, 2005.

Digital Library

[14]

T. Mens, G. Taentzer, and O. Runge. Detecting Structural Refactoring Conicts Using Critical Pair Analysis. ENTCS, 127(3):113--128, 2005.

[15]

T. Mens and P. Van Gorp. A taxonomy of model transformation. ENTCS, 152:125--142, 2006.

Digital Library

[16]

G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Volume I . World Scientific Pub., 1997.

Digital Library

[17]

D. C. Smith, A. Cypher, and J. Spohrer. Kid-Sim: Programming Agents without a Programming Language. Com. ACM, 37(7):54--67, 1994.

Digital Library

[18]

Y. Sun, J. White, and J. Gray. Model Transformation by Demonstration. In Proc. MoDELS 2008.

Digital Library

[19]

G. Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Proc. of AGTIVE, 2004.

[20]

G. Taentzer, K. Ehrig, E. Guerra, J. De Lara, L. Lengyel, T. Levendovszky, U. Prange, D. Varro, and S. Varro-Gyapay. Model transformation by graph transformation: A comparative study. In Proc. Workshop Model Transformation in Practice at MODELS'05, 2005.

[21]

G. Taentzer and A. Rensink. Ensuring Structural Constraints in Graph-Based Models with Type Inh. In Fund. App. Soft. Eng. 2005.

Digital Library

[22]

D. Varró and A. Balogh. The model transformation language of the VIATRA2 framework. Sci. Comput. Program., 68(3):214--234, 2007.

Digital Library

[23]

M. Wimmer, M. Strommer, H. Kargl, and G. Kramler. Towards Model Transformation Generation By-Example. Hawaii International Conference on System Sciences, 2007.

Digital Library

Cited By

Gabmeyer SGoedicke MMenzies TSaeki M(2012)Formal verification techniques for model transformations specified by-demonstrationProceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering10.1145/2351676.2351756(390-393)Online publication date: 3-Sep-2012
https://dl.acm.org/doi/10.1145/2351676.2351756

On formalizing EMF modeling operations with graph transformations
1. Mathematics of computing
  1. Discrete mathematics
    1. Graph theory
2. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms

Recommendations

Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems

Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have ...
Formal foundation of consistent EMF model transformations by algebraic graph transformation

Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have ...
EMF-DEVS modeling
TMS/DEVS '12: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium

This paper introduces EMF-DEVS, a meta-modeling approach based on the Eclipse Modeling Framework (EMF) and system-theoretic Discrete Event System Specification (DEVS). Generic atomic and coupled EMF-DEVS meta-models are conceptualized and developed. ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 37, Issue 4

July 2012

182 pages

ISSN:0163-5948

DOI:10.1145/2237796

Issue’s Table of Contents

Copyright © 2012 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 July 2012

Published in SIGSOFT Volume 37, Issue 4

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
95
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gabmeyer SGoedicke MMenzies TSaeki M(2012)Formal verification techniques for model transformations specified by-demonstrationProceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering10.1145/2351676.2351756(390-393)Online publication date: 3-Sep-2012
https://dl.acm.org/doi/10.1145/2351676.2351756

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents