A TRANSFORMATION-BASED COMPONENT FRAMEWORK FOR A GENERIC INTEGRATED MODELING TECHNIQUE

Issue title: COMPONENT-BASED SYSTEM DEVELOPMENT

Article type: Research Article

Authors: Ehrig, Hartmut | Orejas, Fernando | Braatz, Benjamin | Klein, Markus | Piirainen, Martti

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

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.

Journal: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 78-104, 2002