Semantic Web Service Choreography: Contracting and Enactment

Roman, Dumitru; Kifer, Michael

doi:10.1007/978-3-540-88564-1_35

Cited by 20 publications

(21 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Projection and contract refinement achieve composition of choreography. The authors in [73] state support for automated service contracting and enactment is crucial for any large scale service environment, where large numbers of clients and service providers interact. Concurrent Transaction Logic is instrumental to model and reason about service contracts to allow iterative processes in the specification of service contracts and enable reasoning about such contracts.…”

Section: Related Workmentioning

confidence: 99%

eContractual choreography-language properties towards cross-organizational business collaboration

Norta

Duan

et al. 2015

J Internet Serv Appl

View full text Add to dashboard Cite

Meaningfully automating sociotechnical business collaboration promises efficiency-, effectiveness-, and quality increases for realizing next-generation decentralized autonomous organizations. For automating business-process aware cross-organizational operations, the development of existing choreography languages is technology driven and focuses less on sociotechnical suitability and expressiveness concepts and properties that recognize the interaction between people in organizations and technology in workplaces. This gap our suitability-and expressiveness exploration fills by means of a cross-organizational collaboration ontology that we map as a proof-of-concept evaluation to the eSourcing Markup Language (eSML). The latter we test in a feasibility case study to meaningfully support the automation of business collaboration. The developed eSourcing ontology and eSML is replicable for exploring strengths and weaknesses of other choreography languages.

show abstract

Section: Related Workmentioning

confidence: 99%

eContractual choreography-language properties towards cross-organizational business collaboration

Norta

Duan

et al. 2015

J Internet Serv Appl

View full text Add to dashboard Cite

show abstract

“…Brambilla et al [2] proposed a process model aiming to achieve an effective high-level specification of web applications featuring business processes and remote services invocations. Roman et al [18] proposed a semantic model for web service choreography. Our techniques aim at testing the functional correctness of service choreography and do not require a full semantic model of services.…”

Section: Related Workmentioning

confidence: 99%

“…A set of such coordinated components are called a service composition. To synthesize a service composition, one may coordinate services via two general strategies [13] [17], namely orchestration [14] and choreography [18]. Testing, analysis, and formal verification techniques should address the challenges presented by these strategies.…”

Section: Introductionmentioning

confidence: 99%

“…Choreography (see [23] [25], for example) defines the rules of interactions, common message types, and exchange agreements among a set of services [18]. For instance, instead of using implicit collaboration sequences embedded in the parallel composition of processes [27], choreography explicitly defines the interactions among services by such means as Message Sequence Charts (MSCs) [19] [20], UML sequence diagrams, or the Web Services Choreography Description Language (WS-CDL) [22].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Data flow testing of service choreography

Mei

Chan

Tse

2009

Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Found

View full text Add to dashboard Cite

Service computing has increasingly been adopted by the industry, developing business applications by means of orchestration and choreography. Choreography specifies how services collaborate with one another by defining, say, the message exchange, rather than via the process flow as in the case of orchestration. Messages sent from one service to another may require the use of different XPaths to manipulate or extract message contents. Mismatches in XML manipulations through XPaths (such as to relate incoming and outgoing messages in choreography specifications) may result in failures. In this paper, we propose to associate XPath Rewriting Graphs (XRGs), a structure that relates XPath and XML schema, with actions of choreography applications that are skeletally modeled as labeled transition systems. We develop the notion of XRG patterns to capture how different XRGs are related even though they may refer to different XML schemas or their tags. By applying XRG patterns, we successfully identify new data flow associations in choreography applications and develop new data flow testing criteria. Finally, we report an empirical case study that evaluates our techniques. The result shows our techniques are promising in detecting failures in choreography applications.

show abstract

“…T R has been shown to be a powerful tool for reasoning about actions ( [4,10]), knowledge representation ( [6]), event processing ( [1]), workflow management and Semantic Web services ( [15,16,27,28]), AI planning ( [3,18]), security policy frameworks [2], and general knowledge base programming ( [11]). In logic programming, T R provides a clean, logical alternative to the assert and retract operators of Prolog.…”

Section: Introductionmentioning

confidence: 99%

Tabling for transaction logic

Fodor

Kifer

2010

Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Self Cite

View full text Add to dashboard Cite

Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows and Web services, security policies, AI planning, reasoning about actions, and more. Although a number of implementations of Transaction Logic exist, none is logically complete due to the inherent difficulty and time/space complexity of such implementations. In this paper we attack this problem by first introducing a logically complete tabling evaluation strategy for Transaction Logic and then describing a series of optimizations, which make this algorithm practical. In support of our arguments, we present a performance evaluation study of six different implementations of this algorithm, each successively adopting our optimizations. The study suggest that the tabling algorithm can scale well both in time and space. We also discuss ideas that could improve the performance further.

show abstract

Semantic Web Service Choreography: Contracting and Enactment

Cited by 20 publications

References 9 publications

eContractual choreography-language properties towards cross-organizational business collaboration

eContractual choreography-language properties towards cross-organizational business collaboration

Data flow testing of service choreography

Tabling for transaction logic

Contact Info

Product

Resources

About