Model-driven development of reactive information systems: from graph transformation rules to JML contracts

Authors:
Reiko Heckel;Marc Lohmann
Affiliations:
University of Leicester, Department of Computer Science, Leicester, UK;University of Paderborn, Faculty of Computer Science, Electrical Engineering and Mathematics, Paderborn, Germany
Venue:
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Fundamental Approaches to Software Engineering
Year:
2007

Citing 0
Cited 4

Towards model-driven unit testing

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Using VCL as an aspect-oriented approach to requirements modelling

Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling

Transactions on aspect-oriented software development VII
Model-driven monitoring: an application of graph transformation for design by contract

ICGT'06 Proceedings of the Third international conference on Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

The model-driven architecture focuses on the evolution and integration of applications across heterogeneous platforms by means of generating implementations from platform-independent models. Most of the existing realizations of this idea are limited to static models. We propose a model-driven approach to the development of reactive information systems, like dynamic Web pages or Web services, modeling their typical request-query-update-response pattern by means of graph transformation rules. Rather than generating executable code from these models we focus on the verification of the consistency between different sub-models and an implementation that may have been produced manually. The main technical tool for achieving this goal is a mapping of graph transformation rules to contracts expressed in the Java Modeling Language.