Skip to main content
SpringerLink
Log in

On the Verification of Web Services Compatibility: A Petri Net Approach

  • Conference paper
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops (OTM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3292))

Abstract

The evolution of the internet from an information provider to a service provider drives the need for more and better verification and validation mechanisms, especially in a Web services context, where services will be integrated and linked at runtime. The use of a formal semantics, like Petri Nets, enables us to create automatic verification procedures. In this paper, we discuss two types of conformance verification. First of all, we look at the conformance of a business process with the domain model of the information systems that are used to support business process activities. Secondly, we look at the similar problem of compatibility between two Web services. For these two problems algorithms will be created based on the Petri Net language theory.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The petri nets bibliography, http://www.informatik.uni-hamburg.de/TGI/pnbib/

  2. Andersson, J.: Business process development and information technology in small and medium-sized companies. In: Perspectives on Business Modelling, pp. 117–130. Springer, Heidelberg (1999)

    Google Scholar 

  3. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services (2003), http://www-106.ibm.com/developerworks/library/ws-bpel/

  4. Bock, C.: Uml 2 activity and action models. Journal of Object Technology 2(4), 43–53 (2003)

    Article  Google Scholar 

  5. Bock, C.: Uml 2 activity and action models part 2: Actions. Journal of Object Technology 2(5), 41–56 (2003)

    Article  Google Scholar 

  6. Bock, C.: Uml 2 activity and action models part 3: Control nodes. Journal of Object Technology 2(6), 7–23 (2003)

    Article  MathSciNet  Google Scholar 

  7. Bock, C.: Uml 2 activity and action models part 4: Object nodes. Journal of Object Technology 3(1), 27–41 (2004)

    Article  Google Scholar 

  8. Bock, C.: Uml 2 activity and action models part 5: Partitions. Journal of Object Technology 3(7), 37–56 (2004)

    Article  Google Scholar 

  9. BPMI.org. Business process management initiative, http://www.bpmi.org/

  10. Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)

    MATH  Google Scholar 

  11. D’Souza, D., Wils, A.C.: Components, and Frameworks with UML, the Catalysis approach. Addison Wesley, Reading MA (1999)

    Google Scholar 

  12. Esparza, J.: Decidability and complexity of petri net problems - an introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 374–428. Springer, Heidelberg (1998)

    Google Scholar 

  13. Esparza, J., Nielsen, M.: Decidability issues for petri nets. Petri Net Newsletter (47), 5–23 (1994)

    Google Scholar 

  14. Object Management Group. Unified modeling language, http://www.uml.org/

  15. Leymann, F.: Web services flow language (2001), http://www-306.ibm.com/software/solutions/webservices/pdf/WSFL.pdf

  16. Lindström, C.G.: Lessons learned from applying business modelling: Exploring opportunities and avoiding pitfalls. In: Perspectives on Business Modelling, pp. 151–164. Springer, Heidelberg (1999)

    Google Scholar 

  17. Mortensen, K.H., Rölke, H.: Petri nets world, http://www.daimi.au.dk/PetriNets/

  18. Nellborn, C.: Business and systems development: Opportunities for an integrated way-of-working. In: Perspectives on Business Modelling, pp. 195–213. Springer, Heidelberg (1999)

    Google Scholar 

  19. OASIS. Organization for the advancement of structured information standards, http://www.oasis-open.org

  20. OMG. Object management group, http://www.omg.org/

  21. Pelz, E.: Closure properties of deterministic petri nets. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 371–382. Springer, Heidelberg (1987); NewsletterInfo: 25,26

    Chapter  Google Scholar 

  22. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)

    Google Scholar 

  23. Reisig, W.: Petri Nets - An introduction. Springer, Heidelberg (1982)

    Google Scholar 

  24. Rolland, C., Richard, C.: The REMORA Methodology for Information System Design and Management. In: Information Systems Design Methodologies: A Comparative Review, pp. 369–426 (1982)

    Google Scholar 

  25. Snoeck, M., Dedene, G., Verhelst, M., Depuydt, A.M.: Object-oriented Enterprise Modeling with MERODE. Leuven University Press (1999)

    Google Scholar 

  26. Snoeck, M., Poelmans, S., Dedene, G.: A layered software specification architecture. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol. 1920, pp. 454–469. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  27. Thatte, S.: Xlang (2001), http://www.gotdotnet.com/team/xml~wsspecs/xlang-c/default.htm

  28. van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  29. van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable business-to-business E-commerce. Electronic Commerce Research 2(3), 195–231 (2002)

    Article  MATH  Google Scholar 

  30. van der Aalst, W.M.P.: Making work flow: On the application of petri nets to business process management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1–22. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  31. van der Aalst, W.M.P.: Making work flow: On the application of petri nets to business process management. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1–22. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  32. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow patterns: On the expressive power of (petri-net-based) workflow languages. In: Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002 / Kurt Jensen (Ed.), pp. 1–20. Technical Report DAIMI PB-560 (August. 2002)

    Google Scholar 

  33. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. QUT Technical report, FIT-TR-2002-02 (2002), Also see http://www.tm.tue.nl/it/research/patterns

  34. van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling workflow management systems with high-level petri nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pp. 31–50 (1994)

    Google Scholar 

  35. W3C. The world wide web consortium, http://www.w3.org/

  36. WfMC. The workflow management coalition, http://www.wfmc.org/

Download references

Author information

Authors and Affiliations

  1. Department of Applied Economic Sciences, K.U.Leuven, Naamsestraat 69, B-3000, Leuven, Belgium

    Manu De Backer

Authors
  1. Manu De Backer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vrije Universiteit Brussel (VUB), STARLab, Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

  3. PrismTech, 4, Rue Angiboust, 91460, Marcoussis, France

    Angelo Corsaro

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Backer, M. (2004). On the Verification of Web Services Compatibility: A Petri Net Approach. In: Meersman, R., Tari, Z., Corsaro, A. (eds) On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops. OTM 2004. Lecture Notes in Computer Science, vol 3292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30470-8_95

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30470-8_95

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23664-1

  • Online ISBN: 978-3-540-30470-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation