direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Modeling Multicasting in Dynamic Communication-based Systems by Reconfigurable High-level Petri Nets
Zitatschlüssel BEE+09
Autor Enrico Biermann and Hartmut Ehrig and Claudia Ermel and Kathrin Hoffmann and Tony Modica
Buchtitel IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings
Seiten 47-50
Jahr 2009
Ort Corvallis, Oregon, USA
Verlag IEEE
Zusammenfassung In mobile and adaptive communication systems, communicating entities (actors) can transmit content (via channels), which is contextually interpreted. Actors may join, move in or leave so-called communication spaces, where the actors� preferences, access rights and roles are respected and define a temporary set of communicating partners and a context of interpretation for communicated data. An adequate modeling technique for such dynamic communication-based systems (DCS) should take into account the changing communication relations between DCS actors. Conventional modeling techniques for communicationbased systems like Petri nets or UML are restricted to model communication based on a static, immutable network topology. In our research project �Formal modeling and analysis of flexible processes in mobile ad-hoc networks�, we have proposed an appropriate integration of Petri nets and Petri net transformation rules, based on graph transformation (reconfigurable Petri nets). In this paper, we extend this previous work on reconfigurable Petri nets on the one hand by marking-changing Petri net transformations, and on the other hand by a technique parallelizing the application of net transformation rules at several matches at once. Both extensions together allow for a flexible modeling of communication concepts in DCS, like e.g. multicasting, where one actor transmits contents to a group of selected actors. We apply our extended technique to model multicasting group communication.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe