DOI QR코드

DOI QR Code

프로세스 대수에서 이동성과 상호작용을 분석하기 위한 행위 온톨로지를 이용한 추상화 방법

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

  • 우수정 (전북대학교 컴퓨터공학과) ;
  • 온진호 (전북대학교 컴퓨터공학과) ;
  • 이문근 (전북대학교 컴퓨터공학과)
  • 투고 : 2011.06.28
  • 심사 : 2011.08.29
  • 발행 : 2011.09.28

초록

분산 이동 실시간 시스템을 개발하기 위해 pi-Calculus, Mobile Ambients Calculus, Bigraph 등의 수많은 프로세스 대수가 존재한다. 하지만 시스템이 방대해지고 복잡해질수록 시스템을 구성하는 프로세스들의 통신과 이동 역시 방대해지고 복잡해지므로 프로세스 대수로 이를 이해하는데 어려움이 존재한다. 그러므로 방대하고 복잡한 시스템을 체계적으로 이해할 수 있는 방법이 필요하다. 본 논문에서는 방대하고 복잡한 시스템을 프로세스들의 통신과 이동의 순서화된 추상화 방법 즉, 계층적으로 구조화된 격자(Lattice)들의 형태인 프리즘(Prism)으로 다룬다. 이는 액티브 온톨로지(Active Ontology)에서 확장된 새로운 개념인 행위 온톨로지(Behavior Ontology)를 기반으로 한다. 프리즘은 시스템을 체계적으로 이해하기 위해 시스템을 계층적으로 구성된 행위적 속성을 지닌 격자들 관점에서 분석하는 것을 허용한다. 이러한 방법은 통신과 이동의 복잡함을 의미적이고 계층적으로 구성된 행위의 구조로 체계적으로 이해할 수 있게 한다.

과제정보

연구 과제 주관 기관 : 한국학술진흥재단, 한국연구재단

참고문헌

  1. 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.
  2. 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.
  3. K. Adi, L. Hamza, L. Pene, "Formal Modeling for Security Behavior Analysis of Computer Systems," MCETECH, pp.39-59, 2008.
  4. R. Miler, Bigraphical Reactive Systems: Basic Theory, Technical Report 503, University of Cambridge Computer Laboratory, 2001.
  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. https://doi.org/10.3745/KIPSTD.2009.16-D.3.339
  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. https://doi.org/10.1109/ICIECS.2009.5362770
  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. https://doi.org/10.1109/ICNSC.2008.4525471
  13. J. A. Bergstra, and J. W. Klop, "Process Algebra for Synchronous Communication," Information and Control, Vol.60, pp.109-137, 1984. https://doi.org/10.1016/S0019-9958(84)80025-X
  14. F. S. De Boer, J. W. Klop, C. Palamidessi, "Asynchronous communication in process algebra," LICS, pp.137-147, 1992. https://doi.org/10.1109/LICS.1992.185528
  15. 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. https://doi.org/10.1145/99571.99817
  16. P. L. Takecian, J. E. Ferreira, S. Malkowski, C. Pu, "Using LOTOS for rigorous specifications of workflow patterns," CollaborateCom, pp.1-7, 2010.
  17. Chomsky, Noam, Three models for the description of language, Information Theory, IEEE Transactions Vol.2, No.3, 1956. https://doi.org/10.1109/TIT.1956.1056813
  18. 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.
  19. Guang Zheng, Miao Jiang, Gao Chen, "Process Algebra with Goal Based Bisimulation," ISECS, pp.89-95, 2010. https://doi.org/10.1109/ISECS.2010.28
  20. L. Spenner, P. Krier, M. Thornton, "Large system decomposition and simulation methodology using axiomatic analysis," SYSTEMS, pp.223-227, 2010. https://doi.org/10.1109/SYSTEMS.2010.5482449
  21. G. Norman, C. Palamidessi, D. Parker, "Model checking the probabilistic pi-calculus," QEST, pp.169-178, 2007. https://doi.org/10.1109/QEST.2007.31