An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology

A number of process algebras have been proposed to develop distributed mobile systems: Pi-Calculus[1,2], Mobile Ambients Calculus[3], Bigraph[4,5], etc. However the algebras are not well suitable for understanding the interactions and mobility of the processes in the large and complex systems due to the lack of abstraction to handle the size and complexity. This paper handles the size and complexity with a method of abstraction on the sequences of the interactions and movements, 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 [9]. Prism makes the analysis of the systems systematic in the hierarchically organized semantic structure. Consequently the understanding of the systems becomes more meaningful. To demonstrate the feasibility of the approach, Prism is partially realized in SAVE Tool [6,7,8].