Fuzzy Petri Net for Web Service Composition (FPN4WSC) aims to compose the individual web services into more complex one. It is a workflow model which is hybridization between Petri net, SHOP2, and fuzzy logic. Petri net allows user to specify his request as a workflow. SHOP2 is used as an Artificial Intelligence (AI) planning system to get a plan for the user request. However, SHOP2 fails to ca...

Web services need to be orchestrated to achieve complex demand. However, existing approaches on Web service composition are mainly based on syntax match. It is very difficult to compose heterogeneous Web services with syntax in accord with function. Gradually, Petri net becomes a powerful system modeling and analysis tools research discrete event dynamic system. In order to solve this problem, ...

Web service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirement...

Ontologies are being used for construction of semantically rich service descriptions. In case of Web service composition, techniques for planning, composing, editing, reasoning and analyzing of these descriptions are required. It’s necessary to resolve semantic interoperability between services to achieve Web services coordination and collaboration. Matchmaking and merging of service descriptio...

The paper presents a monitoring framework for WS-BPEL processes. It proposes WS-CoL (Web Service Constraint Language) as a domain-independent language, compliant with the WS-Policy framework, for specifying user requirements (constraints) on the execution of Web service compositions. WSPolicy and WS-CoL provide a uniform framework to accommodate both functional and non-functional constraints, e...

The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L Context-free language. This language may not be modeled using standard Petri Nets [1]. The Venn graph and diagram that the author modified [1], show the interrelation between languages of Colored Petri Nets and some T...

Industry and government are spending extensively to transition their business processes and governance to Service Oriented Architecture (SOA) implementations for efficient information reuse, integration, collaboration and cost-sharing. SOA enables orchestrating web services to execute such processes using Business Process Execution Language (BPEL). Business Process Modeling Notation (BPMN) is a...

In this paper we present a framework for describing a series of pattern variants encountered in the context of Service Interaction. The original Service Interaction Patterns [9] only covered 13 interactions scenarios. Moreover, some important aspects of service interaction of a bilateral and multilateral nature are not addressed in [9]. Furthermore, these patterns allow for ambiguous interpreta...

Web service composition allows developers to create applications rapidly. But due to the tremendous growth in the number of Web services available, the Web service composition problem is still a challenging research issue. This paper introduces an automatic Web service composition method which considers both services’ input/output type compatibility and behavioral constraint compatibility. The ...