Matchmaking for business processes based on choreographies

Abstract

Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where potential trading partners can find them. This can give rise to new business paradigms based on ad-hoc trading relations as companies, particularly small to medium scale, can cheaply and flexibly enter into fruitful contracts, e.g., through subcontracting from big companies by simply publishing their business processes and the services they offer. More business process support by the web service infrastructure is however needed before such a paradigm change can materialize. A service for searching and matchmaking of business processes does not yet exist in the current infrastructure. We believe that such a service is needed and will enable companies and organizations to be able to establish ad-hoc business relations without relying on manually negotiated interorganizational workflows. This paper gives a formal semantics to business process matchmaking based on finite state automata extended by logical expressions associated to states.

Petrifying Operating Guidelines for Services

“…Definition 3 (Annotated automaton [18]). An annotated automaton consists of a deterministic service automaton B and an annotation Φ that assigns a Boolean formula to every state q ∈ Q B .…”

Implementation Mechanism of Automated Reconciliation for Web Services Protocols

“…So, if the Web services can be implemented volunteerly by different agents or enterprises who design or possess the component element, regulation and key technology, web services will be more efficient. For example, changing the service scheduling of service proxy from the synchronous model to the pure asynchronous model or adopting NS2 simulator to test the performance of the engine under the circumstance above as well as test the performance of the engine with service proxy and without service proxy respectively, the simulation results conclude that the access flow of the engine with service proxy is more than the flow of the engine without service proxy on the condition of the same thread resources [2][3][4][5][6]. Moreover decoupling the process execution, the differentiated web service scheduling and the pure asynchronous scheduling model greatly enhance the utilization efficiency of the engine, increase the concurrence of the process execution and improve the throughput and the performance of the engine.…”

Diagnosing and Measuring Incompatibilities between Pairs of Services

“…In [21], the authors propose an approach to business process matchmaking based on automata extended with logical expressions associated to states. Their algorithm determines if the languages of two automata (which model two business processes) have a non-empty intersection.…”