By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Sujeong Woo ; Dept. of Comput. Eng., Chonbuk Univ., Jeonju, South Korea ; Jinho On ; Moonkun Lee

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].

Published in:

Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual

Date of Conference:

18-22 July 2011