On Languages of Channels for Communicating ODP Engineering Objects.

The Reference Model for Open Distributed Processing (RM-ODP) defines a framework within which support of distribution, interoperability and portability can be integrated. An ODP system is defined in terms of five viewpoints. The ODP engineering specification consists of a set of engineering objects which communicate via a channel object. The engineering viewpoint defines the ODP transparencies and ODP functions. We focus in this paper on the language of the channel engineering object. We associate to each component state of a global state a set of words that may be contained in channels. We define, for each object, a grammar 'like' context free in which, each rule is of the form X→ u^-1Yv, where u^-1Yv stand for the residual of the language (L(Y)v) with regard to u. We use context-free grammar properties to make transformations and appear a symbol X in the right member of each X-production to express loop and cycle transitions in the CFSM. The algebraic property of context-free languages is then used to calculate these languages which are minimal solution of a system of equations. These languages can be used to verify some protocol properties such as reachability and deadlock problems. [ABSTRACT FROM AUTHOR]