Abstract
This paper deals with Web Workflow Services (W2S) description languages that help organizations to find partners in the context of loose Inter-Organizational Workflow (IOW). Loose IOW refers to occasional cooperation between organizations, free of structural constraints, where the partners involved and their number are not pre-defined. Such a dynamic and heterogeneous context requires the definition of a W2S description language allowing workflow service providers to publish their capabilities and workflow service requesters to express their needs. Current Web services languages do not permit to describe adequately workflow services (structure and behavior) by lack of expressive power and/or formal semantics. In this paper, we show how the appropriate combination of Petri Nets with Objects (PNO) and OWL-S allows the specification, validation and publication of workflow services. On the one hand, PNOs permit the formal and graphical specification of workflow services, their simulation and validation. On the other hand, OWL-S permits the publication of workflow services on the Web. OWL-S has also the advantage to include the ontology concept which can be used to solve semantic problems between IOW partners. Moreover, we provide rules and algorithms which automatically derive OWL-S specifications from PNOs ones. This work has been implemented.
This is a preview of subscription content, log in via an institution to check access.
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
van der Aalst, W.: Inter-Organizational Workflows: An Approach Based on Message Sequence Charts and Petri Nets. Int. Journal on Systems Analysis, Modeling and Simulation 34(3), 335–367 (1999)
Divitini, M., Hanachi, C., Sibertin-Blanc, C.: Inter Organizational Workflows for Enterprise Coordination. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents, pp. 46–77. Springer, Heidelberg (2001)
Andonoff, E., Bouzguenda, L., Hanachi, C., Sibertin-Blanc, C.: Finding Partners in the Coordination of Loose Inter-Organizational Workflow. In: 6th Int. Conference on the Design of Cooperative Systems, Hyères (France), pp. 147–162 (2004)
World Wilde Web Coalition: the Web Service Description Language. Documentation available at, http://xml.coverpages.org/wsdl.html
BEA, IBM, Microsoft: Business Process Execution Language for Web Services. Documentation available at, http://xml.coverpages.org/bpel4ws.html
IBM: Web Services Flow Language. Documentation available at, http://xml.coverpages.org/wsfl.html
van der Aalst, W., Alderd, L., Dumas, M., ter Hofstede, A.: Design and Implementation of the YAWL System. In: 16th Int. Conference on Advanced Information System Engineering, Riga (Latvia), pp. 142–159 (2004)
Workflow Management Coalition: XML Process Definition Language. Documentation available at, http://xml.coverpages.org/XPDL20010522.pdf
McIlraith, S., Son, T., Zeng, H.: Semantic Web Services. Int. Journal on Intelligent Systems 16(2), 46–53 (2001)
OWL Services Coalition: Ontology Web Language for Services Version 1.0. Documentation available at, http://xml.coverpages.org/ni2004-01-08-a.html
Sibertin-Blanc, C.: High Level Petri Nets with Data Structure. In: 6th Int. Workshop on Petri Nets and Applications, Espoo, Finland (1985)
van der Aalst, W.: The application of Petri Nets to Workflow Management. Int. Journal on Circuits, Systems and Computers 8(1), 21–66 (1998)
Berardi, D., Gruninger, M., Hull, R., McIlraith, S.: Flows: A First-Order Logic Ontology for Web Services. Available at, www.wsmo.org/papers/presentations/FLOWS-WSMO-06-30-04.ppt
Lara, R., Roman, D., Polleres, A., Fensel, D.: A Conceptual Comparison of WSMO and OWL-S. In: 2nd International Conference on Web Services Europe, Erfurt (Germany), pp. 254–269 (2004)
Ferber, J., Gutknecht, O.: TheMadKit Project: a Multi-Agent Development Kit, Documentation available at, http://www.madkit.org
Scicluna, J., Abela, C., Montebello, M.: Visual Modeling of OWL-S Services. Available at, http://www.daml.org/services/owl-s/pub-archive.html
Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: 11th Int. World Wild Web Conference (2002), Honolulu (Hawaii), pp. 77–88 (2002)
Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., Sycara, K.: DAML-S: Web Service Description for the Semantic Web. In: 6th Int. Semantic Web Conference, Sardinia (Italy), pp. 348–363 (2002)
Vidal, J., Buhler, P., Stahl, C.: Multi Agent Systems with Workflows. Int. Journal on Internet Computing 8(1), 76–82 (2004)
Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concept, Technology and Tools. In: 23rd Int. Conference on Applications and Theory of Petri Nets, Eindhoven (The Netherlands), pp. 483–505 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andonoff, E., Bouzguenda, L., Hanachi, C. (2005). Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds) Business Process Management. BPM 2005. Lecture Notes in Computer Science, vol 3649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11538394_9
Download citation
DOI: https://doi.org/10.1007/11538394_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28238-9
Online ISBN: 978-3-540-31929-0
eBook Packages: Computer ScienceComputer Science (R0)