A number of process algebras have been proposed to develop distributed mobile real-time systems: pi-Calculus, Mobile Ambients Calculus, Bigraph, etc. However, as the systems get large and complex, the algebras become less suitable for understanding the interactions and mobility of the processes of the systems due to the size and complexity. Therefore it is necessary to handle the size and complexity for systematic understanding of the systems. This paper handles the size and complexity with a method of abstraction on sequences of interactions and movements of processes in the systems, which can be further organized in the form of hierarchically structured lattices, namely, Prism. The theoretical principle of the abstraction is based on a new concept of Behavior Ontology, which is extended from Active ontology. Prism allows the systems to be analyzed in the perspective of the lattices in Prism, which are characterized by the hierarchically organized behavioral properties of the developing systems, for systematic understanding the systems. In this way, the complexity of the interactions and the movements can be handled systematically in the semantically and hierarchically organized structure of the behavior.■ keyword :|Algebra|Abstraction|Prism Analyzer|Behavioral Ontology|TAG(Timed Action Graph)|

No abstract

No abstract

There are a number of graphical languages for process algebras to specify distributed mobile real-time systems: Ambient calculus, KELL for MA, Bigraph for p -calculus, etc.However there are some limitations in representation of large and complex such systems in these languages, since only the most immediately available actions of processes are graphically represented. Further the temporal properties are represented numerically, not graphically. In order to overcome the limitations, this paper proposes a new graphical language, Onion, to represent visually all the actions of each process in the process. In Onion, the timed actions of each process are represented graphically by circularly layered leaves, like those of real onion, and their interactions and movements as edges among the leaves. Further the temporal properties of the actions are visually and quantitatively represented in a separate graph. Onion makes the understanding of the systems visually quantitative between the in-the-large and the in-the-small perspectives of the systems. Onion can be considered one of the most integrated graphical languages for process algebras.

No abstract