Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)

8 years 11 months ago

Download www.cs.ucsb.edu

Abstract. Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is speciﬁed semantically as a state machine. In the service-oriented computing domain this type of message-based communication contracts are called “choreography” speciﬁcations. A choreography speciﬁcation identiﬁes allowable ordering of message exchanges in a distributed system. A fundamental question about a choreography speciﬁcation is determining its realizability, i.e., given a choreography speciﬁcation, is it possible to build a distributed system that communicates exactly as the choreography speciﬁes? In this short paper we give an overview of this problem, summarize some of the recent results and discuss its application to web ...

Tevfik Bultan

Real-time Traffic