A Transformation-Based Component Framework For A Generic Integrated Modeling Technique

  • Authors:

  • Hartmut Ehrig;Fernando Orejas;Benjamin Braatz;Markus Klein;Martti Piirainen

  • Affiliations:

  • Technische Universität Berlin, Franklinstrasse 28/29, 10587 Berlin, Germany, ehrig,bbraatz,klein,martti@cs.tu-berlin.de;Universidad Politècnica de Catalunya, Campus Nord, Mòdul C6, Jordi Girona 1-3, 08034 Barcelona, Spain, orejas@lsi.upc.es;Technische Universität Berlin, Franklinstrasse 28/29, 10587 Berlin, Germany, ehrig,bbraatz,klein,martti@cs.tu-berlin.de;Technische Universität Berlin, Franklinstrasse 28/29, 10587 Berlin, Germany, ehrig,bbraatz,klein,martti@cs.tu-berlin.de;Technische Universität Berlin, Franklinstrasse 28/29, 10587 Berlin, Germany, ehrig,bbraatz,klein,martti@cs.tu-berlin.de

  • Venue:
  • Journal of Integrated Design & Process Science - Component-Based System Development
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper is based on two general ideas. The first one is the integration paradigm for data type and process modeling techniques developed by the first two authors within the last five years. The second one is a transformation-based component framework for system modeling presented at ETAPS 2002 in Grenoble. The aim of this paper is to join both ideas leading to a component framework for a generic integrated modeling technique. This component framework is based on transformations and is especially useful to be instantiated by graph- and net-based techniques. The main concepts are a self-contained semantics and internal correctness of components, based on a new idea of high-level constraints. Two main results concerning compositionality show that semantics and correctness for a system can be inferred from that of its components. The concepts are illustrated by a running example on modeling Java threads by high-level nets.