Abstract
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 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2003)
Busi, N.: Mobile nets. Formal Methods for Open Object-Based Distributed Systems, pp. 51–66 (1999)
Common object request broker architecture (1993 -2007) www.omg.org/corba
The Design CPN homepage http://www.daimi.au.dk/designCPN (2007)
Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae 37(3), 225–246 (1999)
Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 21–163. Springer, Heidelberg (1980)
Gottschalk, K.: Web services architecture overview. Whitepaper, IBM developerWorks (2000)
Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 268–288. Springer, Heidelberg (2005)
Haddad, S., Poitrenaud, D.: Theoretical aspects of recursive Petri nets. In: Donatelli, S., Kleijn, J. (eds.) Application and Theory of Petri Nets 1999. LNCS, vol. 1630, pp. 228–247. Springer, Heidelberg (1999)
Jensen, K.: Coloured Petri nets, Basic Methods, Analysis Methods and Practical Use. In: EATCS monographs on theoretical computer science, Springer, Heidelberg (1992)
Jacob, T., Kummer, O., Moldt, D., Ultes-Nitsche, U.: Implementation of workflow systems using reference nets – security and operability aspects. In: Jensen, K. (ed.) Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. University of Aarhus, Department of Computer Science (2002)
Köhler, M., Moldt, D., Ortmann, J.: Dynamic service composition: A petri-net based approach. In: Manolopoulos, Y., Filipe, J., Constantopoulos, P., Cordeiro, J. (ed.) Conference on Enterprise Information Systems: Databases and Information Systems Integration (ICEIS 2006), pp. 159–165 (2006)
Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121–140. Springer, Heidelberg (2003)
Köhler, M., Rölke, H.: Concurrency for mobile object-net systems. Fundamenta Informaticae, vol. 54(2-3) (2003)
Köhler, M., Rölke, H.: Properties of Object Petri Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 278–297. Springer, Heidelberg (2004)
Köhler, M., Rölke, H.: Properties of super-dual nets. Fundamenta Informaticae 72(1-3), 245–254 (2006)
Kummer, O.: Introduction to Petri nets and reference nets. Sozionik-aktuell, vol. 1 (2001)
Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484–493. Springer, Heidelberg (2004)
Lautenbach, K.: Duality of marked place/transition nets. Technical Report 18, Universität Koblenz-Landau (2003)
Lomazova, I.A.: Nested Petri nets – a formalism for specification of multi-agent distributed systems. Fundamenta Informaticae 43(1-4), 195–214 (2000)
Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Narayanan, S., McIlraith, S.: Analysis and simulation of web services. Computer Networks 42(5), 675–693 (2003)
Organization for the advancement of structured information standards (1993–2007) www.oasis-open.org
Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: Ausiello, G., Böhm, C. (eds.) Automata, Languages and Programming. LNCS, vol. 62, pp. 464–476. Springer, Heidelberg (1978)
Valk, R.: Modelling concurrency by task/flow EN systems. In: 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, Gesellschaft für Mathematik und Datenverarbeitung (1991)
Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Advanced Course on Petri Nets 2003. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2003)
van der Aalst, W., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science 270(1-2), 125–203 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Köhler, M., Rölke, H. (2007). Web Service Orchestration with Super-Dual Object Nets. In: Kleijn, J., Yakovlev, A. (eds) Petri Nets and Other Models of Concurrency – ICATPN 2007. ICATPN 2007. Lecture Notes in Computer Science, vol 4546. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73094-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-73094-1_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73093-4
Online ISBN: 978-3-540-73094-1
eBook Packages: Computer ScienceComputer Science (R0)