Please use this identifier to cite or link to this item:
For citation please use:
Main Title: Modelling Evolution of Communication Platforms and Scenarios based on Transformations of High-Level Nets and Processes
Subtitle: Extended Version
Author(s): Gabriel, Karsten
Type: Research Paper
Has Version: 10.1016/j.tcs.2011.12.027
Language Code: en
Abstract: Algebraic High-Level (AHL) nets are a well-known modelling technique based on Petri nets with algebraic data types, which allows to model the communication structure and the data flow within one modelling framework. Transformations of AHL-nets – inspired by the theory of graph transformations – allow in addition to modify the communication structure. Moreover, high-level processes of AHL-nets capture the concurrent semantics of AHL-nets in an adequate way. Altogether we obtain a powerful integrated formal specification technique to model and analyse all kinds of communication based systems, especially different kinds of communication platforms. In this paper we show how to model the evolution of communication platforms and scenarios based on transformations of Algebraic High-Level Nets and Processes. All constructions and results are illustrated by a running example showing the evolution of Apache Wave platforms and scenarios. The evolution of platforms is modelled by the transformation of AHL-nets and that of scenarios by the transformation of AHL-net processes. The first main result shows under which conditions AHL-net processes can be extended if the corresponding AHL-net is transformed. This result can be applied to show the extension of scenarios for a given platform evolution. The second main result shows how AHL-net processes can be transformed based on a special kind of transformation for AHL-nets, corresponding to action evolution of platforms. Finally, we briefly discuss the case of multiple action evolutions.
Issue Date: 2011
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): communication platforms
high-level petri nets
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2011-08
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
Format: Adobe PDF | Size: 1.64 MB
DownloadShow Preview

Item Export Bar

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