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.
My Menu
Saved Items

A Generic Component Framework for System Modeling

Hartmut EhrigContact Information, Fernando OrejasContact Information, Benjamin BraatzContact Information, Markus KleinContact Information and Martti PiirainenContact Information

(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.

Contact Information Hartmut Ehrig
Email: ehrig@cs.tu-berlin.de

Contact Information Fernando Orejas
Email: orejas@lsi.upc.es

Contact Information Benjamin Braatz
Email: bbraatz@cs.tu-berlin.de

Contact Information Markus Klein
Email: klein@cs.tu-berlin.de

Contact Information Martti Piirainen
Email: martti@cs.tu-berlin.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)