Modelling Evolution of Communication Platforms and Scenarios based on Transformations of High-Level Nets and Processes

dc.contributor.authorGabriel, Karsten
dc.date.accessioned2020-06-15T06:31:04Z
dc.date.available2020-06-15T06:31:04Z
dc.date.issued2011
dc.description.abstractAlgebraic 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.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11343
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10230
dc.language.isoen
dc.relation.hasversion10.1016/j.tcs.2011.12.027
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.othercommunication platformsen
dc.subject.otherhigh-level petri netsen
dc.subject.otherprocessesen
dc.subject.othertransformationen
dc.titleModelling Evolution of Communication Platforms and Scenarios based on Transformations of High-Level Nets and Processesen
dc.title.subtitleExtended Versionen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2011-08
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Files
Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tr_2011-08.pdf
Size:
1.6 MB
Format:
Adobe Portable Document Format
Description:
Collections