Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System

  • GraBaTs 2008
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

In this paper, we focus on the Conference Scheduling System, a case study at the Tool Contest of Graph-Based Tools (GraBaTs) 2008. We took part in the contest with our graph transformation tool AGG and the Eclipse-based EMF model transformation tool EMF Tiger. We present the features of both tools and evaluate their abilities to model the Conference Scheduling System and to deal with additional contest assignments like model instance generation, property verification, and interoperability.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ATL: The Atlas Transformation Language Home Page. http://www.sciences.univ-nantes.fr/lina/atl (2006)

  2. Balogh, A., Németh, A., Schmidt, A., Rath, I., Vágó, D., Varró, D., Pataricza, A.: The VIATRA2 model transformation framework. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA’05) (2005)

  3. Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF Model Refactoring based on Graph Transformation Concepts. In: Proceedings of the Software Evolution through Transformations (SETra’06), vol. 3, Electronic Communications of the EASST (2006)

  4. Biermann E., Ehrig K., Köhler C., Kuhns G., Taentzer G., Weiss E.: Graphical definition of in-place transformations in the eclipse modeling framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Proceeding of the International Conference on Model Driven Engineering Languages and Systems (MoDELS’06). LNCS, vol. 4199, pp. 425–439. Springer, Berlin (2006)

    Chapter  Google Scholar 

  5. Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: Czarnecki, K. (ed.) Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS’08). LNCS, vol. 5301, pp. 53–67. Springer, Berlin (2008)

  6. Budapest University of Technology and Economics, HUN. Visual Modeling and Transformation System (VMTS) (2008). http://www.aut.bme.hu/Portal/Vmts.aspx?id=da39f049-9963-40d7-ba92-fdac9e0e479d

  7. Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The Fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: Proceedings of the International Conference on Software Engineering (ICSE’05), pp. 670–671. ACM Press, New York (2005)

  8. Culberson, J.C.: Iterated greedy graph coloring and the difficulty landscape. Technical Report TR 92-07, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada (1992)

  9. Culberson, J.C.: Graph Coloring Programs Manual. (2009). http://www.cs.ualberta.ca/~joe/Coloring/Colorsrc/manual.html

  10. Eclipse Consortium (2008) Eclipse Modeling Framework (EMF)—Version 2.4. http://www.eclipse.org/emf

  11. Eclipse Consortium (2009) Eclipse Modeling Framework Technology. http://www.eclipse.org/modeling/emft

  12. Ehrig H., Ehrig K., de Lara J., Taentzer G., Varró D., Varró- Gyapay S.: Termination criteria for model transformation. In: Wermelinger, M., Margaria-Steffen, T. (eds) Proceedings of the Fundamental Approaches to Software Engineering (FASE’05). LNCS, vol. 2984, pp. 214–228. Springer, Berlin (2005)

    Google Scholar 

  13. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer, Berlin (2006)

  14. Geis̈ R., Batz G., Grund D., Hack S., Szalkowski A.M.: Grgen: a fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds) Proceedings of the International Conference on. Graph Transformation (ICGT’06). LNCS, vol. 4178, pp. 383–397. Springer, Berlin (2006)

    Google Scholar 

  15. GRaphs for Object-Oriented VErification (GROOVE) (2008) http://groove.sourceforge.net/groove-index.html

  16. Jakumeit, E., Buchwald, S., Kroll, M.: Manual and automated performance optimization of model transformation systems. Int. J. Softw. Tools Technol. Transfer (2010). doi:10.1007/s10009-010-0148-8

  17. Lambers, L., Ehrig, H., Orejas, F.: Conflict detection for graph transformation with negative application conditions. In: Proceedings of the International Conference on Graph Transformation (ICGT’06). LNCS, vol. 4178, pp. 61–76. Springer, Berlin (2006)

  18. Lambers, L., Ehrig, H., Taentzer, G.: Sufficient criteria for applicability and non-applicability of rule sequences. In: de Lara, J., Ermel, C., Heckel, R. (eds.) Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’08). Electronic Communications of the EASST, vol. 10 (2008)

  19. Levendovszky, T., Lengyel, L., Mezei, G., Charaf, H.: A systematic approach to metamodeling environments and model transformation systems in VMTS. In: Proceedings of the Workshop on Graph-Based Tools (GraBaTs’04). ENTCS, vol. 127(1), pp. 65–75. Elsevier Science, Amsterdam (2005)

  20. Model To Model: The M2M subproject of the Eclipse Modeling Project, (2009) http://www.eclipse.org/m2m/

  21. Mens, T., Van Gorp, P., Varrò, D., and Karsai, G.: Applying a model transformation taxonomy to graph transformation technology. In: Proceedings of the Workshop on Graph and Model Transformation (GraMoT’05). ENTCS, vol. 152, pp. 143–159. Elsevier Science, Amsterdam (2005)

  22. Mészáros, T., Mezei, G., Levendovszky, T., Asztalos, M.: Manual and automated performance optimization of model transformation systems. Int. J. Softw. Tools Technol. Transfer (2010). doi:10.1007/s10009-010-0151-0

  23. OpenArchitectureWare: the leading platform for professional model-driven software development (2009) http://www.openarchitectureware.org/

  24. Rensink A.: The GROOVE simulator: a tool for state space generation. In: Pfalz, J., Nagl, M., Böhlen, B. (eds) Applications of Graph Transformations with Industrial Relevance (AGTIVE). LNCS, vol. 3062, pp. 479–485. Springer, Berlin (2004)

    Google Scholar 

  25. Rensink, A., Van Gorp, P.: Graph transformation tool contest 2008. Int. J. Softw. Tools Technol. Transfer (2010). doi:10.1007/s10009-010-0157-7

  26. Software Engineering Group, University of Paderborn. Fujaba Tool Suite (2007). http://wwwcs.uni-paderborn.de/cs/ag-schaefer/Lehre/PG/Fujaba/projects/tgg/index.html .

  27. Taentzer G.: AGG: a graph transformation environment for modeling and validation of software. In: Pfaltz, J., Nagl, M., Boehlen, B. (eds) Application of Graph Transformations with Industrial Relevance (AGTIVE’03). LNCS, vol. 3062, pp. 446–456. Springer, Berlin (2004)

    Google Scholar 

  28. Taentzer G., Biermann E., Bisztray D., Bohnet B., Boneva I., Boronat A., Geiger L., Geis̈ R., Horvath A., Kniemeyer O., Mens T., Ness B., Plump D., Vajk T.: Generation of sierpinski triangles: a case study for graph transformation tools. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Proceedings of International Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE’07) LNCS, vol. 5088, pp. 514–539. Springer, Berlin (2008)

    Chapter  Google Scholar 

  29. TFS-Group, Technische Universität Berlin. AGG (2009). http://tfs.cs.tu-berlin.de/agg

  30. TFS-Group, Technische Universität Berlin. Tiger: Generating Visual Environments in Eclipse (2005). http://tfs.cs.tu-berlin.de/tigerprj

  31. TFS Group, Technische Universität Berlin. EMF Tiger (2009). http://tfs.cs.tu-berlin.de/emftrans

  32. Universität Karlsruhe. Graph Rewrite GENerator (GrGen) (2006). http://www.info.uni-karlsruhe.de/software.php/id=7&lang=en

  33. VIATRA2 (VIsual Automated model TRAnsformations) framework (2006). http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/gmt-home/subprojects/VIATRA2/index.html

  34. WWW Consortium (W3C) XSL Transformations (XSLT) Version 2.0 (2007). http://www.w3.org/TR/xslt20/

Download references

Author information

Authors and Affiliations

  1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

    Enrico Biermann, Claudia Ermel, Ulrike Prange & Olga Runge

  2. Hasso-Plattner-Institut für Softwaresystemtechnik, GmbH, Potsdam, Germany

    Leen Lambers

  3. Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany

    Gabriele Taentzer

Authors
  1. Enrico Biermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudia Ermel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Leen Lambers
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ulrike Prange
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Olga Runge
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Gabriele Taentzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claudia Ermel.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Biermann, E., Ermel, C., Lambers, L. et al. Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. Int J Softw Tools Technol Transfer 12, 245–261 (2010). https://doi.org/10.1007/s10009-010-0154-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-010-0154-x

Keywords

Search

Navigation