Transcription of A Tool for Choreography Analysis Using …
{{id}} {{{paragraph}}}
Example: air traffic controller
A Tool for Choreography Analysis Using …
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
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
Thoughts on Choreography, Choreography, Dance choreography, Creative Cognition in Choreography Final, Creative Cognition in Choreography, JUST FOR KIX CUSTOM CHOREOGRAPHY, Just For Kix, Custom choreography, Dance: Choreography Assignment, Shorthand, Copyright and Choreography: What Constitutes, Choreography skills manual3, Choreography: A Pattern Language