Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques

D́ıaz, Gregorio; Cambronero, M. Emilia; Pardo, José E.; Valero, Valentín; Cuartero, Fernando

doi:10.1109/aict-iciw.2006.53

Cited by 25 publications

(13 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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

“…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

show abstract

“…This translation process is part of a methodology which aims at obtaining correct Web Services from RT-UML diagrams. This methodology has, as intermediate steps, the generation of WS-CDL, WS-BPEL and Timed Automata XML documents, as shown in [14,15,16], where WS-CDL and WS-BPEL languages are used by the Web Service architecture to generate Web Services, and Timed Automata XML documents are used as a formal model by the model checker of UPPAAL [13] to perform the verification of Web Services properties like liveness properties, etc. This methodology is illustrated in Fig.…”

Section: Translation Of Sequence Rt-uml Diagrams Into Ws-cdlmentioning

confidence: 99%

RT-UML for modeling Real-Time Web Services

Cambronero

D́ıaz

Pardo

et al. 2006

2006 IEEE Services Computing Workshops

View full text Add to dashboard Cite

In this paper we show how we can use the UML Profile for modeling Real Time Systems, which allows us to describe Web Services Choreographies with time constraints. More specifically, we see how by using the diagrams of this profile, we can capture the main elements of a Real-time Web Services Choreography Description Language specification (WS-CDL), which we can then translate into Web Services Choreographies.

show abstract

“…This article focuses on the important category of protocols that include time-related constraints (called timed protocols in the following). Time is a crucial abstraction that has been studied in several works in research fields such as workflow systems [Tiplea and Macovei 2006;De Maria et al 2006;Bettini et al 2002] and even web services [Berardi et al 2004;Kazhamiakin et al 2006;Díaz et al 2006]. There are countless examples of behavior that involves timing issues in any kind of protocol [Benatallah et al 2004b], from business protocol for Web services (e.g., see the RosettaNet PIPs [RosettaNet 2008]), to interactions between traditional Webbased services and users (see E-Commerce Web sites such as Travelocity or Amazon), to lower level protocols such as TCP.…”

Section: Introductionmentioning

confidence: 99%

Analysis and applications of timed service protocols

Ponge

Benatallah

Casati

et al. 2010

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

Web services are increasingly gaining acceptance as a framework for facilitating application-toapplication interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but also the business protocol supported by the service. The present work focuses on the formalization of an important category of protocols that includes time-related constraints (called timed protocols), and the impact of time on compatibility and replaceability analysis. We formalized the following timing constraints: C-Invoke constraints define time windows within which a service operation can be invoked while M-Invoke constraints define expiration deadlines. We extended techniques for compatibility and replaceability analysis between timed protocols by using a semantic-preserving mapping between timed protocols and timed automata, leading to the identification of a novel class of timed automata, called protocol timed automata (PTA). PTA exhibit a particular kind of silent transition that strictly increase the expressiveness of the model, yet they are closed under complementation, making every type of compatibility or replaceability analysis decidable. Finally, we implemented our approach in the context of a larger project called ServiceMosaic, a model-driven framework for Web service life-cycle management.

show abstract

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques

Cited by 25 publications

References 5 publications

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

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

RT-UML for modeling Real-Time Web Services

Analysis and applications of timed service protocols

Contact Info

Product

Resources

About