Browse > Article
http://dx.doi.org/10.5392/JKCA.2011.11.9.063

Abstraction Method for Analysis of Mobility and Interaction in Process Algebra Using Behavioral Ontology  

Woo, Su-Jeong (전북대학교 컴퓨터공학과)
On, Jin-Ho (전북대학교 컴퓨터공학과)
Lee, Moon-Kun (전북대학교 컴퓨터공학과)
Publication Information
The Journal of the Korea Contents Association / v.11, no.9, 2011 , pp. 63-75 More about this Journal
Abstract
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.
Keywords
Algebra; Abstraction; Prism Analyzer; Behavioral Ontology; TAG(Timed Action Graph);
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 J. A. Bergstra, and J. W. Klop, "Process Algebra for Synchronous Communication," Information and Control, Vol.60, pp.109-137, 1984.   DOI   ScienceOn
2 F. S. De Boer, J. W. Klop, C. Palamidessi, "Asynchronous communication in process algebra," LICS, pp.137-147, 1992.   DOI
3 L. Logrippo, T. Melanchuck, and R. J. D. Wors, "The Algebraic Specification Language LOTOS: An Industrial Experience," ACM SIGSOFT Software Engineering Notes, Vol.15, pp.59-66, 1990.   DOI
4 P. L. Takecian, J. E. Ferreira, S. Malkowski, C. Pu, "Using LOTOS for rigorous specifications of workflow patterns," CollaborateCom, pp.1-7, 2010.
5 R. Milner, "Bigraphical Reactive Systems," In Proc of the 121h International Conference on Concurrency Theory, Lecture Node in Computer Science, No.2154, pp.16-35, 2001.
6 J. Choi, A Calculus for Equivalence Analysis and Verification of Distributed Mobile System Based on Abstraction, phD Dissertation, Chonbuk National Univ, 2007.
7 J. H. On, A Formal Method for Specification and Analysis of Timing Properties in a Process Algebra, Master Thesis, Chonbuk National Univ, 2007.
8 J. H. On, "Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra," KIPS Transactions. Vol.16-D, No.3, 2009.   과학기술학회마을   DOI   ScienceOn
9 Y. Zhu, Z. Q. Huang, Guangquan Zhang, "Modeling and Analysis of Real-Time Software Based on Resource Communication Sequential Process," ICIECS, pp.1-5, 2009.   DOI
10 R. Milner, A Calculus of Communicating Systems, LNCS 90, 1980.
11 R. Milner, Communication and Concurrency, Prentice-Hall International Series in Computer Science, 1989.
12 Li Bao, Weishi Zhang, Xiuguo Zhang, "Describing and Verifying Web Service by CCS on a Case Study," ICNSC, pp.1571-1576, 2008.   DOI
13 L. Spenner, P. Krier, M. Thornton, "Large system decomposition and simulation methodology using axiomatic analysis," SYSTEMS, pp.223-227, 2010.   DOI
14 Chomsky, Noam, Three models for the description of language, Information Theory, IEEE Transactions Vol.2, No.3, 1956.   DOI   ScienceOn
15 W. Xing, O. Corcho, C. Goble, and M. Dikaiakos, "Active Ontology: An Information Integration Approach for Highly Dynamic Information Sources," in Europe Semantic Web Conference, pp.1-15, 2007.
16 Guang Zheng, Miao Jiang, Gao Chen, "Process Algebra with Goal Based Bisimulation," ISECS, pp.89-95, 2010.   DOI
17 G. Norman, C. Palamidessi, D. Parker, "Model checking the probabilistic pi-calculus," QEST, pp.169-178, 2007.   DOI
18 R. Miler, J. Parrow, and D. J. Walker, A Calculus of Mobile Processes, Part II, Report ECS- LFCS-89-86, Laboratory for foundations of Computer Science, Computer Science Dep., Edinburgh Univ, 1989.
19 K. Adi, L. Hamza, L. Pene, "Formal Modeling for Security Behavior Analysis of Computer Systems," MCETECH, pp.39-59, 2008.
20 R. Miler, Bigraphical Reactive Systems: Basic Theory, Technical Report 503, University of Cambridge Computer Laboratory, 2001.
21 R. Miler, J. Parrow and D. J. Walker, A Calculus of Mobile Processes, Part I, Report ECS-LFCS-89-85, Laboratory ofr foundations of Computer Science, Computer Science Dep., Edinburgh Univ, 1989.