Analysing Mailboxes of Asynchronous Communicating Components [chapter]

Jean-Claude Royer, Michael Xu
2003 Lecture Notes in Computer Science  
Asynchronous communications are prominent in distributed and mobile systems. Often concurrent systems consider an abstract point of view with synchronous communications. However it seems more realistic and finer to consider asynchronous communicating systems, since it provides a more primitive communication protocol and maximize the concurrency. Several languages and models have been defined using this communication mode: agent, actor, mobile computation, and so on. Here we reconsider a
more » ... component model with full data types and synchronous communications with an asynchronous flavour. The dynamic behaviour of a component is represented as a structured symbolic transition system with mailboxes. We also present an algorithm devoted to an analysis of the dynamic behaviour of the system. This algorithm decides if the system has bound mailboxes and computes the reachable mailbox contents of the system. The component model and the algorithm are illustrated on a flight system reservation.
doi:10.1007/978-3-540-39964-3_89 fatcat:msktwxqsxjg5lkrnrfyi5fjdxm