Abstract
This paper deals with Workflow Web Services (W2S). By W2S, we mean services automating business processes, and whose description and execution are accessible through the Web. In a first step, we use the Petri Net with Objects (PNO) formalism to graphically and formally model W2S, and then, in a second step, we provide rules to derive OWL-S specifications from PNO specifications automatically. The two main advantages of our approach are, first, to ease the design, the simulation and the verification of a workflow service thanks to PNO, and second, to publish it thanks to OWL-S, which is a semantic Web service description language. Consequently, PNO can be seen as a formalism providing an operational semantic to OWL-S since it defines formal and executable specifications to analyze, simulate, check and validate OWL-S specifications.
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
Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing Web Services on the Semantic Web. Int. Journal on Very Large DataBases 12(4), 333–351 (2003)
World Wide Web Coalition: the Web Service Description Language, Documentation available at, http://xml.coverpages.org/wsdl.html
World Wide Web Coalition: the Simple Object Access Protocol, Documentation available at, http://xml.coverpages.org/ni2003-06-24-a.html
World Wide Web Coalition: Universal Description Discovery and Integration, Documentation available at, http://xml.coverpages.org/ni2005-02-02-a.html
McIlraith, S., Son, T., Zeng, H.: Semantic Web Services. Int. Journal on Intelligent Systems 16(2), 46–53 (2001)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American Magazine 284(5), 34–43 (2001)
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)
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)
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)
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
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, http://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)
Andonof, E., Bouzguenda, L., Hanachi, C.: Specifying Workflow Web Services using Petri Net with Objects and OWL-S. Technical Report IRIT/UT1/SOC (2004)
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 Wide Web Conference, Honolulu, Hawaii, pp. 77–88 (2002)
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 Workflow Web Services Using Petri Nets with Objects and Generating of Their OWL-S Specifications. In: Bauknecht, K., Pröll, B., Werthner, H. (eds) E-Commerce and Web Technologies. EC-Web 2005. Lecture Notes in Computer Science, vol 3590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11545163_5
Download citation
DOI: https://doi.org/10.1007/11545163_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28467-3
Online ISBN: 978-3-540-31736-4
eBook Packages: Computer ScienceComputer Science (R0)