direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Towards Component Verification in the Generic Component Framework
Zitatschlüssel PEO09
Autor Padberg, J. and Ehrig, H. and Orejas, F.
Buchtitel Proc. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 07), Satellite Event of the European Joint Conferences on Theory and Practice of Software (ETAPS)
Seiten 37 – 53
Jahr 2009
Adresse Amsterdam
Jahrgang 203
Nummer 7
Herausgeber Kuester-Filipe, J. and Poernorno, I. and Reussner, R.
Verlag Elsevier Science
Serie Electronic Notes in Theoretical Computer Science
Zusammenfassung The intention of this paper is to extend the generic component framework presented at FASE 2002 to allow component verification based on export-import implications. In the generic component framework components with explicit import, export interfaces and a body specification connected by embeddings and transformations provide hierarchical composition of components with a compositional transformation semantics. We introduce implications that relate sentences of the import stating what the component requires to sentences of the export stating what the component guarantees. The main result of this paper is that these import-export implications are compatible with the hierarchical composition. The second part illustrates how this abstract concept can be instantiated to Petri net systems.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe