A Petri net-based model for web service composition

ABSTRACT

The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their core business competencies on the Internet as a collection of Web services. An important challenge is to integrate them to create new value-added Web services in ways that could never be foreseen forming what is known as Business-to-Business (B2B) services. Therefore, there is a need for modeling techniques and tools for reliable Web service composition. In this paper, we propose a Petri net-based algebra, used to model control flows, as a necessary constituent of reliable Web service composition process. This algebra is expressive enough to capture the semantics of complex Web service combinations.

References

1. Aalst, W. v. d. (1997), Verification of Workflow Nets, in P. Azema & G. Balbo, eds, 'Proceedings of the Application and Theory of Petri Nets'97', Toulouse, France.]]
2. Aalst, W. v. d. (1998), 'The Application of Petri Nets to Workflow Management', The Journal of Circuits, Systems and Computers8(1), 21-66.]]
3. Aalst, W. v. d. (1999), 'Interorganizational Work-flows: An Approach based on Message Sequence Charts and Petri Nets', Systems Analysis - Modelling - Simulation34(3), 335-367.]]
4. Aalst, W. v. d., Hofstede, A. t., Kiepuszewski, B. & Barros, A. (2002), Workflow Patterns, Technical Report FIT-TR-2002-02, Queensland University of Technology, Brisbane, Australia.]]
5. Adam, N., Alturi, V. & Huang, W.-K. (1998), 'Modeling and Analysing of Workflows Using Petri Nets', Journal of Intelligent Information Systems 10(2), 131-158.]]
6. Benatallah, B., Dumas, M., Sheng, Q. & Ngu, A. (2002), Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services, in 'Proceedings of the 18th International Conference on Data Engineering (ICDE'02)', IEEE Computer Society, California, USA, pp. 297-308.]]
7. Benatallah, B., Medjahed, B., Bouguettaya, A., Elmagarmid, A. & Beard, J. (2000), Composing and Maintaining Web-based Virtual Enterprises, in 'Proceedings of the Workshop on Technologies for E-Services (in Cooperation with VLDB'00)', Cairo, Egypt.]]
8. Bergstra, J. & Klop, J. (1985), 'Algebra of Communicating Processes with Abstraction', TCS37, 77-121.]]
9. Casati, F., Ilnicki, S., Jin, L. & Shan, M.-C. (2000), An Open, Flexible, and Configurable System for E-Service Composition, Technical Report HPL- 2000-41, HP Labs.]]
10. Georgakopoulos, D., Hornick, M. & Sheth, A. (1995), 'An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure', Distributed and Parallel Databases3(2).]]
11. Georgakopoulos, D., Schuster, H., Cichocki, A. & Baker, D. (1999), 'Managing Process and Service Fusion in Virtual Enterprises', Information Systems, Special Issue on Information Systems Support for Electronic Commerce24(6), 429-456.]]
12. Hoffner, Y., Ludwig, H., Gulcu, C. & Grefen, P. (2000), Architecture for Cross-Organizational Business Processes, Research report, IBM, Zurich, Switzerland.]]
13. Jensen, K. (1997), Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts, EATCS Monographs on Theoretical Computer Science, Springer-Verlag.]]
14. Leymann, F. (2001), Web Services Flow Language (WSFL) version 1.0, IBM Software Group. http://ibm.com/software/solutions/webservices /pdf/WSFL.pdf/.]]
15. Ludwig, H. & Hoffner, Y. (1999), Contract-based Cross-Organisational Workflows - The Cross-Flow Project, in D. Georgakopoulos, W. Prinz & A. Wolf, eds, 'Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration (WACC'99)', San Fransisco, USA.]]
16. Milner, R. (1989), Communication and Concurrency, Prentice Hall Int.]]
17. Murata, T. (1989), Petri Nets: Properties, Analysis and Applications, in 'Proceedings of the IEEE', Vol. 77(4), pp. 541-580.]]
18. Park, D. (1981), Concurrency and Automata on Infinite Sequences, in P. Deussen, ed., 'Proceedings of the 5th GI Conference', LNCS 104, Springer Verlag.]]
19. Peterson, J. (1981), Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs.]]
20. Petri, C. (1962), Kommunikation mit Automaten, PhD thesis, University of Bonn, Germany. (In German).]]
21. Reisig, W. (1985), Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science Vol.4, Springer-Verlag, Berlin, Germany.]]
22. Schuster, H., Georgakopoulos, D., Cichocki, A. & Baker, D. (2000), Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes, in 'Proceedings of the 12th Conference on Advanced Information Systems Engineering (CAiSE'00)', Stockholm, Sweden.]]
23. Thatte, S. (2001), XLANG: Web Services for Business Process Design, Microsoft Corporation. http://www.gotdotnet.com/team/xml_wsspecs /xlang-c/default.htm/.]]
24. WfMC (1999), Workflow Management Coalition, Terminology and Glossary, Document Number WFMC-TC-1011. http://www.wfmc.org/standards/docs.htm/.]]

Index Terms

• Applied computing

  • Electronic commerce

• Information systems

  • World Wide Web

    • Online advertising

    • Web applications

      • Electronic commerce

    • Web services

• Software and its engineering

  • Software organization and properties

    • Software system structures

      • Software system models

        • Petri nets