Modeling distributed asynchronous processes using events and calculus of communicating systems.

Remote object invocation is one of the distributed communication approaches, which usually deals with the synchronous communication. However, this type of communication approach does not fully capture the decoupled communication behavior. As the need for decoupled communication between objects in distributed applications becomes critical, the request of asynchronous process notification is highly on demand. This thesis addresses the design of a distributed model for asynchronous communicating processes. This model is using the CORBA event services to enable decoupling of processes. It also supports event registration and notification features. Processes receive only the up-to-date notification in which they are interested. Our design allows an arbitrary number of producers and consumers to be specified in the system. The relationship between producer processes and consumer processes are defined by our prototype using embedded specification formalism. The semantics of the specification is based on Milner\u27s Calculus of Communicating Systems. Using our prototype, software designers do not need to know the implementation details of the system under development. Future directions of research are discussed highlighting the potential benefits of modeling distributed asynchronous processes using events and calculus of communicating systems. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis2000 .C341. Source: Masters Abstracts International, Volume: 40-03, page: 0720. Adviser: Indra Tjandra. Thesis (M.Sc.)--University of Windsor (Canada), 2000