Sang Bum Lee

The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 7, No. 5, pp. 1426-1433, May. 2000
10.3745/KIPSTE.2000.7.5.1426,   PDF Download:

Abstract

As distributed computing systems become popular, many modeling techniques and methods have been developed to specify the specification formally and verify the distributed/concurrent systems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern in distributed object-oriented systems is more serious than the required message passing method in the design phase, specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enables to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

Statistics
Cite this article