A Tool for Choreography Analysis Using …

← Back to document page

A Tool for Choreography Analysis Using Collaboration DiagramsTevfik BultanChris FergusonUniversity of California Santa FuHofstra interactions among peers that interact viamessages is a crucial problem due to increasingly dis-tributed nature of current software systems, especially theones built Using the service oriented computing service oriented computing, interactions among peersparticipating to a composite service involve message ex-changes across organizational boundaries in a distributedcomputing environment. In order to build such systems in areliable manner, it is necessary to develop techniques foranalysis and verification of interactions among diagrams provide a convenient visual modelfor modeling service interactions. In this paper, we presenta tool that 1) checks the realizability of interactions speci-fied by the given collaboration diagram, 2) verifies the LTLproperties of the interactions specified by the given collab-oration diagram by automatically converting it to a statemachine model, and 3) synthesizes peer state machines thatrealize the set of interactions specified by the given collab-oration IntroductionService oriented computing provides technologies thatenable multiple organizations

A Tool for Choreography Analysis Using Collaboration Diagrams Tevfik Bultan Chris Ferguson University of California Santa Barbara {bultan,fergy}@cs.ucsb.edu

  Analysis, Choreography, Choreography analysis