Abstraction Method for Analysis of Mobility and Interaction in Process Algebra Using Behavioral Ontology
프로세스 대수에서 이동성과 상호작용을 분석하기 위한 행위 온톨로지를 이용한 추상화 방법

Su-Jeong Woo, Jin-Ho On, Moon-Kun Lee
2011 The Journal of the Korea Contents Association  
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
more » ... 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)|
doi:10.5392/jkca.2011.11.9.063 fatcat:7ymsg2rchng6jkc2ihiq5hetti