l14-15 - CS 290C: Formal Models for Web Software Lectures...

Info iconThis preview shows pages 1–12. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 290C: Formal Models for Web Software Lectures 14 and 15: Choreography and Orchestration Modeling with Process Algebras Instructor: Tevfik Bultan
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
A Choreography Example 1. First, Buyer asks Seller, through a specified channel, to offer a quote 2. Then Seller replies with a quote 3. Buyer then answers with either QuoteAcceptance or QuoteRejection. 1. If the answer is QuoteAcceptance, then Seller sends a confirmation to Buyer, and request delivery details from the Shipper. Then Shipper sends the deliver details to Seller and Seller sends them to the Buyer and the protocol terminates. 2. If the answer is QuoteRejection, then the interaction terminates.
Background image of page 2
Example Choreography as a Conversation Protocol Buyer→Seller: RequestforQuote Seller→Buyer: QuoteResponse Buyer→Seller: QuoteReject Seller→Buyer: OrderConfirmation Buyer→Seller: QuoteAcceptance Seller→Shipper: RequestDelDetails Shipper→Seller: DeliveryDetails Seller→Buyer: DeliveryDetails
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Example Choreography as an MSC Seller Shipper Buyer RequestForQuote QuoteResponse alt QuoteAcceptance QuoteReject OrderConfirmation RequestDelDetails DeliveryDetails DeliveryDetails
Background image of page 4
1:RequestForQuote 3:QuoteAcceptance Seller Buyer Shipper 2:QuoteResponse 4:OrderConfirmation 7: DeliveryDetails 5:RequestDelDetails 6:DeliveryDetails Example Choreography as Collaboration Diagrams
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
1:RequestForQuote 3:QuoteReject Seller Buyer Shipper 2:QuoteResponse Example Choreography as Collaboration Diagrams
Background image of page 6
Projections to Peers (Participants) ?RequestforQuote !QuoteResponse ?QuoteReject !OrderConfirmation ?QuoteAcceptance !RequestDelDetails ?DeliveryDetails !DeliveryDetails Seller
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Projections to Peers (Participants) ! RequestforQuote ?QuoteResponse !QuoteReject ?OrderConfirmation !QuoteAcceptance ?DeliveryDetails Buyer Shipper ?RequestDelDetails !DeliveryDetails
Background image of page 8
Another formalism for specifying choreography and orchestration Process algebras and process calculi are extensively used in specification and verification There are verification tools for analyzing process algebra specifications If we specify choreography and orchestration specifications in process algebra we can use these analysis tools
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
The following paper report propose process algebras for choreography and orchestration “A Theoretical Basis of Communication-Centred Concurrent Programming” by Marco Carbone, Kohei Honda, Nobuko Yoshida, Robin Milner, Gary Brown and Steve Ross-Talbot The proposed process algebras are based on pi-calculus The goal is to provide a theoretical foundation for the choreography specification languages such WS-CDL
Background image of page 10
There are two process algebras: 1. A process algebra for choreography specifications: This is used for specifying global ordering of interactions, i.e., it specifies the global ordering of messages exchanged among the participants
Background image of page 11

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 12
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/27/2011 for the course CMPSC 290h taught by Professor Chong during the Fall '09 term at UCSB.

Page1 / 53

l14-15 - CS 290C: Formal Models for Web Software Lectures...

This preview shows document pages 1 - 12. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online