Automated Choreographer Synthesis for Web Services Composition Using I/O Automata

Mitra, Saayan; Kumar, Ratnesh; Basu, Samik

doi:10.1109/icws.2007.47

Cited by 35 publications

(22 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In addition, the work in refs. [19,21] only limited in theoretical research without providing practice algorithm for composition.…”

Section: Related Workmentioning

confidence: 98%

“…Pathak [20] presented a framework MoSCoE in which the services and goal service were modeled as symbolic transition system, and an algorithm was given to realize the automated choreographer synthesis. Mitra [21] modeled services and goal service as I/O automata, and reduced the existence problem of choreography to the simulation of I/O automata.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

Huai

Deng

et al. 2009

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. freeness of deadlock and unspecified reception, and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design, which makes the composition process both complex and time-consuming. In this paper, we propose a novel approach, referred to as AutoSyn to compose web services, where the correctness is guaranteed in the synthesis process. For a given set of services, a composite service is automatically constructed based on L* algorithm, which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured. We show the soundness and completeness of our solution and give a set of optimization techniques for reducing the time consumption. We have implemented a prototype system of AutoSyn and evaluated the effectiveness and efficiency of AutoSyn through an experimental study.

show abstract

“…In addition, the work in refs. [19,21] only limited in theoretical research without providing practice algorithm for composition.…”

Section: Related Workmentioning

confidence: 98%

Section: Related Workmentioning

confidence: 99%

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

Huai

Deng

et al. 2009

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

show abstract

“…Many authors [33], [17], [30], [18], [13], and [12] have used automata to model services and their compositions. One group has used BPEL and another group has used WS-CDL.…”

Section: Related Composition Approachesmentioning

confidence: 99%

A Service-oriented Architecture for the Provision and Ranking of Student-Oriented Courses

Ibrahim¹

2016

EAI Endorsed Transactions on e-Learning

View full text Add to dashboard Cite

Research has long proved that student learn in different styles. Different students have different capabilities and needs. On the other hands, in the last few years the popularity of online degrees has dramatically increased. In current online learning elements including teaching method and assessments. But this contradicts the fact that different students have different capabilities and constraints. Most institutions provide the same courses. A student should be able to select the course that best matches his capabilities and constraints as long as it satisfies the required course outcomes. To achieve this goal, this paper proposes the use of Service-oriented Architecture (SOA). This paper introduces an extended service-oriented architecture and an extended service definition, which will enable the specification and provision of student-oriented courses. This paper also proposes a student-oriented course composition approach and a student-oriented course ranking approach.

show abstract

“…Nezhad et al [10] defined their own interfaces including sets of XML data and introduced an algorithm for solving interface mismatches. Mitra et al [11] used I/O automata with history to support the multiple uses of same messages in service composition. Compare to above work, our approach attempts to capture non-regular behavior in service composition and uses pushdown automata model for representing adaptors.…”

Section: Related Workmentioning

confidence: 99%

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking

Lin

Aoki

Katayama

2012

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

SUMMARYIn this paper, we introduce an approach of service adaptation for behavior mismatching services using pushdown model checking. This approach uses pushdown systems as model of adaptors so that capturing non-regular behavior in service interactions is possible. Also, the use of pushdown model checking integrates adaptation and verification. This guarantees that an adaptor generated by our approach not only solves behavior mismatches but also satisfies usual verification properties if specified. Unlike conventional approaches, we do not count on specifications of adaptor contracts but take only information from behavior interfaces of services and perform fully automated adaptor generation. Three requirements relating to behavior mismatches, unbounded messages, and branchings are retrieved from behavior interfaces and used to build LTL properties for pushdown model checking. Properties for unbounded messages, i.e., messages sent and received arbitrary multiple times, are especially addressed since it characterizes non-regular behavior in service composition. This paper also shows some experimental results from a prototype tool and provides directions for building BPEL adaptors from behavior interface of generated adaptor. The results show that our approach does solve behavior mismatches and successfully capture non-regular behavior in service composition under the scale of real service applications. key words: service adaptation, behavior mismatch, pushdown model checking, unbounded messages

show abstract

Automated Choreographer Synthesis for Web Services Composition Using I/O Automata

Abstract: We study the

Cited by 35 publications

References 13 publications

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

A Service-oriented Architecture for the Provision and Ranking of Student-Oriented Courses

Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking

Contact Info

Product

Resources

About