TY - GEN
T1 - An abstraction method for mobility and interaction in process Algebra using behavior ontology
AU - Woo, Sujeong
AU - On, Jinho
AU - Lee, Moonkun
PY - 2011
Y1 - 2011
N2 - A number of process algebras have been proposed to develop distributed mobile systems: π-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]. Keywords-Process Algebra; Abstraction; Prism Analyzer; Behavioral Ontology; TAG(Timed Action Graph)
AB - A number of process algebras have been proposed to develop distributed mobile systems: π-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]. Keywords-Process Algebra; Abstraction; Prism Analyzer; Behavioral Ontology; TAG(Timed Action Graph)
UR - https://www.scopus.com/pages/publications/80055021603
U2 - 10.1109/COMPSAC.2011.24
DO - 10.1109/COMPSAC.2011.24
M3 - Conference paper
AN - SCOPUS:80055021603
SN - 9780769544397
T3 - Proceedings - International Computer Software and Applications Conference
SP - 128
EP - 133
BT - Proceedings - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
T2 - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
Y2 - 18 July 2011 through 21 July 2011
ER -