분산 이동 프로세스 이동의 안전성 모델링을 위한 프로세스 대수

DOI QR코드

DOI QR Code

최영복;이문근
Choe, Yeongbok;Lee, Moonkun

  • 투고 : 2015.07.20
  • 심사 : 2016.01.11
  • 발행 : 2016.03.15

초록

엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. ${\pi}$-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) ${\pi}$-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 ${\delta}$-calculus를 제안한다. ${\delta}$-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.

키워드

프로세스 대수;이동성;동기성;시간;보안

참고문헌

  1. R. Milner, "Communication and Concurrency," Prentice hall, 1989.
  2. R. Singer and M. Teller, "Process Algebra and the Subject-oriented Business Process Management Approach," S-BPM ONE-Education and industrial developments, pp. 135-150, 2012.
  3. R. Milner, J. Parrow and D. Walker, "A calculus of mobile processes(i-ii)," Information and Computation, pp. 1-77, 1992.
  4. L. Cardelli and A. Gordon, "A Mobile Ambients," In: Nivat. M. (ed.) ETAPS 1998 and FOSSACS 1998, LNCS, Vol. 1378, pp. 140-155, Springer, Heidelberg, 1998.
  5. L. Abrams, CryptoLocker Ransomeware Information Guide and FAQ [Online]. Available: http://www.bleepingcomputer.com.
  6. J. On, J. Choi, M. Lee, "A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space," 2008 International Conference of Foundation of Computer Science, 2008.
  7. J. On, "Onion: A Graphical Language for Process Algebra," 35th IEE Annual Computer Software and Application Conference, 2011.
  8. H. Fill and D. karagiannis, "On the Conceptualisation of Modelling Methods Using the ADOxx Meta Modelling Platform," Enterprise Modelling and Information Systems Architectures 8(1), pp. 4-25, 2013.

과제정보

연구 과제 주관 기관 : 한국연구재단, 정보통신기술진흥센터