Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10279
For citation please use:
Main Title: Towards Partial Composition of Components: Formal Foundation for Component Verification
Author(s): Padberg, Julia
Type: Research Paper
Language Code: en
Abstract: The intention of this paper is to extend the generic component framework to partial composition. Basic Ideas of partial composition were introduced in [EM90] but we additionally want to allow component verification based on export-import implications. Import-Export implications 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 the compatibility of import-export implications are compatible with the partial composition. The second part illustrates how this abstract concept can be instantiated to Petri net systems.
URI: https://depositonce.tu-berlin.de/handle/11303/11395
http://dx.doi.org/10.14279/depositonce-10279
Issue Date: 2008
Date Available: 17-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): petri net
component verification
import-export implication
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2008-06
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr-2008-06.pdf
Format: Adobe PDF | Size: 638.61 kB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.