Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
A Generic Component Framework for System Modeling
| |
|
A Generic Component Framework for System Modeling
Hartmut Ehrig5 , Fernando Orejas6 , Benjamin Braatz5 , Markus Klein5 and Martti Piirainen5 
| (5) |
Technische Universität Berlin, Franklinstrasse 28/29, 10587 Berlin, Germany |
| (6) |
Universidad Politècnica de Catalunya, Campus Nord, Mòdul C6, Jordi Girona 1-3, 08034 Barcelona, Spain |
Abstract
The aim of this paper is to present a generic component framework for system modeling which is especially useful for a large
class of graph- and net-based modeling techniques. Moreover, the framework is also flexible with respect to a hierarchical
connection of components, providing a compositional semantics of components. This means more precisely that the semantics
and internal correctness of a system can be inferred from the semantics of its components. In contrast to constructorbased
component concepts for data type specification techniques, our component framework is based on a generic notion of transformations.
Re.nements and transformations are used to express intradependencies, between the export interface and the body of a component,
and interdependencies, between the import and the export interfaces of different components. This is shown by a small case
study on modeling Java threads by high-level Petri nets in this paper.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|