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

Authors:
Enrico Biermann;Claudia Ermel;Leen Lambers;Ulrike Prange;Olga Runge;Gabriele Taentzer
Affiliations:
Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany;Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany;Hasso-Plattner-Institut für Softwaresystemtechnik, GmbH, Potsdam, Germany;Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany;Technische Universität Berlin, Institut für Softwaretechnik und Theoretische Informatik, Berlin, Germany;Philipps-Universität Marburg, Fachbereich Mathematik und Informatik, Marburg, Germany
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2010

Citing 0
Cited 6

Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
A visual token-based formalization of BPMN 2.0 based on in-place transformations

Information and Software Technology
Automatic conformance testing of optimized triple graph grammar implementations

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
An approach to supporting architecture evolution in Internetware

Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Graph and model transformation tools for model migration

Software and Systems Modeling (SoSyM)
A survey and comparison of transformation tools based on the transformation tool contest

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.