Journal of KIISE (정보과학회 논문지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지
DOI QR코드

DOI QR Code

Modeling and Composition Method of Collective Behavior of Interactive Systems for Knowledge Engineering

지식공학을 위한 상호작용 시스템의 집단 행위 모델링 및 합성 방법

  • Received : 2017.05.24
  • Accepted : 2017.09.25
  • Published : 2017.11.15
⟨ Previous Next ⟩

Abstract

It is very important to understand system behaviors in collective pattern for each knowledge domain. However, there are structural limitations to represent collective behaviors because of the size of system components and the complexity of their interactions, causing the state explosion problem. Further composition with other systems is mostly impractical because of exponential growth of their size and complexity. This paper presents a practical method to model the collective behaviors, based on a new concept of domain engineering: behavior ontology. Firstly, the ontology defines each collective behavior of a system from active ontology. Secondly, the behaviors are formed in a quantifiably abstract lattice, called common regular expression. Thirdly, a lattice can be composed with other lattices based on quantifiably common elements. The method can be one of the most innovative approaches in representing system behaviors in collective pattern, as well as in minimization of system states to reduce system complexity. For implementation, a prototype tool, called PRISM, has been developed on ADOxx Meta-Modelling Platform.

지식 도메인에 대한 집단적인 패턴에서 시스템의 행위를 이해하는 것은 중요하다. 그러나 시스템의 크기, 상호작용의 복잡성으로 집단 행위를 표현하는데 구조적인 어려움이 있으며, 상태 폭발 문제가 발생한다. 또한, 다른 시스템과의 합성은 시스템의 크기와 복잡성이 기하급수적으로 증가하기 때문에 현실적으로 어렵다. 본 논문은 도메인 공학의 새로운 개념인 행위 온톨로지를 이용하여, 집단 행위를 모델링하는 실용적인 방법을 제시한다. 첫째, 액티브 온톨로지를 통해 시스템의 행위를 정의한다. 둘째, 행위는 일반 정규 표현식이라고 불리는 정량화된 추상 격자 구조로 표현된다. 셋째, 격자는 공통된 요소를 기반으로 다른 격자와 합성할 수 있다. 이 방법은 시스템 복잡성을 줄이기 위해, 시스템 상태를 최소화하는 것뿐만 아니라 집단 패턴에서 시스템 동작을 표현하는 혁신적인 방법 중 하나일 수 있다. 이 방법을 구현하기 위해, PRISM 프로토타입 도구를 ADOxx 메타 모델링 플랫폼으로 개발하였다.

Keywords

Acknowledgement

Supported by : 한국연구재단, 정보통신기술진흥센터

References

  1. Haxthausen AE, Peleska Jan, Formal development and verification of a distributed railway control system, Software Engineering IEEE Transactions on, Vol. 26, No. 8, pp. 687-701, Aug. 2000. https://doi.org/10.1109/32.879808
  2. Y. Choe, W. Choi, G. Jeon and M. Lee, A Tool for Visual Specification and Verification for Secure Process Movements, eChallenges e-2015, Nov. 2015.
  3. S. Woo, J. On, and M. Lee, An Abstraction Method for Mobility, and Interaction in Process Algebra Using Behavior Ontology, 2013.
  4. W. Choi, Y. Choe, and M. Lee, A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra, 2015 IEEE 39th Annual International Computers, Software & Applications Conference.
  5. R. McNaughton, H. Yamada, Regular expressions and state graphs for automata, IEEE Trans. on Electronic Computers, Vol. 9, No. 1, pp. 39-47, 1960.
  6. Y. Choe and M. Lee, A Lattice Model to Verify Behavioral Equivalence, 2014 UKSim-AMSS 8th European Modelling Symposium.
  7. M. Lee, Composition Model for Cloud Services with Behavior Ontology, 2013 IEEE DOI 10.1109, COMPSACW.2013.15
  8. E. Clarke, A. Emerson, and J. Sifakis, Model Checking: Algorithmic Verification and Debugging, Communications of the ACM 2009, Vol 52.11: 74-84. https://doi.org/10.1145/1592761.1592781
  9. W. Yeh, M. Young, Compositional Reachability Analysis Using Process Algebra, In Proceedings of Conference on Testing, Analysis and Verification, pp. 49-59, Aug. 1992.
  10. CHEN, Taolue, et al., A Compositional Specification Theory for Component Behaviors, Programming Languages and Systems, Springer Berlin Heidelberg, pp. 148-168, 2012.
  11. S. Raju, An Automatic Verification Technique for Communicating Real-Time State Mechines, Technical Report 93-07-08, Dept. of Computer science and Engineering, University of Washington April 1993.
  12. H. Fill and D. Karagiannis, On the Conceptualisation of Modeling Methods Using the ADOxx Meta Modeling Platform, Enterprise Modeling and Information Systems Architectures 8(1), pp. 4-25, 2013.