Suche

Wo soll gesucht werden?
Erweiterte Literatursuche

Ariadne Pfad:

Startseite

Literaturnachweis - Detailanzeige

 
AutorenKöhler, Michael; Rölke, Heiko
InstitutionICATPN International Conference on Applications and Theory of Petri Nets (Siedlce)
TitelWeb service orchestration with super-dual object nets.
QuelleAus: Kleijn, Jetty (Hrsg.); Yakovlev, Alex (Hrsg.): Petri nets and other models of concurrency. Proceedings of the 28th international conference on Applications and theory of Petri Nets and other models of concurrency. ICATPN 2007. June 25-29, Siedlce, Poland. Berlin; Heidelberg; New York: Springer (2007) S. 263-280
PDF als Volltext  Link als defekt melden    Verfügbarkeit 
ReiheLecture notes in computer science
BeigabenLiteraturangaben, Abbildungen
Spracheenglisch
Dokumenttypgedruckt; online; Sammelwerksbeitrag
ISSN0302-9743; 1611-3349
ISBN978-3-540-73093-4; 978-3-540-73094-1
DOI10.1007/978-3-540-73094-1_17
SchlagwörterInformatik; Mathematik; Computertechnologie; Abstraktion; Verbesserung; Website; Systematik; Modellbildung; Netz (Math); Netzwerk;
AbstractRefinement 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 modelling of web services, we need a more flexible form of refinement, e.g. to bind web services at run-time. Run-time binding allows for a 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 (Orig.).
Erfasst vonDIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Frankfurt am Main
UpdateNeueintrag 2019-07
Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen
 

Standortunabhängige Dienste
Die Wikipedia-ISBN-Suche verweist direkt auf eine Bezugsquelle Ihrer Wahl.
Tipps zum Auffinden elektronischer Volltexte im Video-Tutorial

Trefferlisten Einstellungen

Permalink als QR-Code

Permalink als QR-Code

Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)