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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
