skip to main content
10.1007/978-3-540-89020-1_28guidebooksArticle/Chapter ViewAbstractPublication PagesBookacm-pubtype
chapter

Applying a Grouping Operator in Model Transformations

Published: 15 October 2008 Publication History

Abstract

The usability of model transformation languages depends on the level of abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel operator for our model transformation language GReAT that allows the concise specification of complex model (graph) rewriting operations that manipulate entire subgraphs. In this paper we show how the new operator can be used to implement non-trivial model manipulations with fewer and simpler rules, while maintaining efficiency. The examples were motivated by problems encountered in real-life model transformations.

References

[1]
Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The Design of a Language for Model Transformations. Journal on Software and System Modeling 5(3), 261-288 (2006)
[2]
ATL Project. An ECLIPSE GMT Subproject, http://www.eclipse.org/m2m/atl/
[3]
Balasubramanian, D., Karsai, G., Narayanan, A., Shi, F., Thibodeaux, R.: A Subgraph Operator for Graph Transformation Languages. In: GT-VMT 2007 Workshop at ETAPS (2007), http://www.cs.le.ac.uk/events/GTVMT07/
[4]
Bryant, R.E.: Graph Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677-691 (1986)
[5]
Drewes, F., Hoffmann, B., Plump, D.: Hierarchical Graph Transformation. Journal of Computer and System Sciences 64, 249-283 (2002)
[6]
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Series: Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
[7]
Farcas, E., Farcas, C., Pree, W., Templ, J.: Transparent distribution of real-time components based on logical execution time. In: Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools For Embedded Systems, LCTES 2005, Chicago, Illinois, USA, June 15-17, 2005, pp. 31-39. ACM Press, New York (2005)
[8]
Van Gorp, P., Schippers, H., Jannsens, D.: Copying Subgraphs within Model Repositories. In: 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Vienna, Austria (2006)
[9]
Huth, M., Ryan, M.: Logic in Computer Science: Modeling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)
[10]
Personal communications with developers and researchers from industrial labs
[11]
Schippers, H., Van Gorp, P.: Model Driven, Template Based, Model Transformer (MoTMoT) (2005), http://motmot.sourceforge.net/
[12]
Schürr, A., Winter, A., Zündorf, A.: Graph grammar engineering with PROGRES. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 219-234. Springer, Heidelberg (1995)
[13]
Silva, A.R., Rosa, F.A., Gonalves, T., Antunes, M.: Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol. 1999, pp. 165-181. Springer, Heidelberg (2001)
[14]
Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062. Springer, Heidelberg (2004)
[15]
VIATRA2 Framework. An ECLIPSE GMT Subproject, http://www.eclsipse.org/gmt

Cited By

View all
  1. Applying a Grouping Operator in Model Transformations

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image Guide books
    Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
    October 2008
    592 pages
    ISBN:9783540890195
    • Editors:
    • Andy Schürr,
    • Manfred Nagl,
    • Albert Zündorf

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 15 October 2008

    Author Tags

    1. Graph Transformation
    2. Model Transformation

    Qualifiers

    • Chapter

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 20 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media