-
-
Autor*innen: Köhler, Michael; Rölke, Heiko
Titel: Dynamic transition refinement
In: Electronic Notes in Theoretical Computer Science, 175 (2007) 2, S. 119-134
URL: http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4NYD491-8-1&_cdi=13109&_user=10&_orig=browse&_coverDate=06%2F21%2F2007&_sk=998249997&view=c&wchp=dGLbVtb-zSkzk&md5=f41b12806ef766740e63f12a2188c188&ie=/sdarticle.pdf
Dokumenttyp: 3a. Beiträge in begutachteten Zeitschriften; Aufsatz (keine besondere Kategorie)
Sprache: Englisch
Schlagwörter: Informatik; Modell; Struktur; Netzarchitektur; Petri-Netz; Internet
Abstract (english): Refinement of Petri nets is well suited for the hierarchical design of system models. It is used to represent a model at different levels of abstraction. Usually, refinement is a static concept. For some inherent dynamic domains as for example the modeling of web services, we need a more flexible form of refinement, e.g. to bind web services at run-time. Run-time binding allows fora flexible orchestration of services. The requirement of dynamic refinement at run-time is quite strong. Since we would like to redefine the system structure by itself, transition refinement cannot be implemented by a model transformation. Instead, an approach is needed which allows for dynamic net structures that can evolve as an effect of transitions firing.In previous work we introduced nets-within-nets as a formalism for the dynamic refinement of tokens. Here we consider an extension of nets-within- nets that uses special net tokens describing the refinement structure of transitions. Using this formalism it is possible to update refinements, introduce alternative refinements, etc. We present some formal properties of the extended formalism and introduce an example implementation for the tool Renew. (DIPF/Author)
DIPF-Abteilung: Informationszentrum Bildung