Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)

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

Calculus of Communicating Systems Domain in PtolemyII

PtolemyII의 CCS 도메인

  • 황혜정 (삼성전자 기술총괄 기술전략실 모바일 솔루션) ;
  • 김윤정 (서울여자대학교 정보통신공학) ;
  • 남기혁 (한국전자통신연구원 디지털홈 연구) ;
  • 김일곤 (고려대학교 컴퓨터학) ;
  • 최진영 (고려대학교 컴퓨터학과)
  • Published : 2004.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

PtolemyII is an environment that supports heterogeneous modeling and design of concurrent systems such as embedded system. PtolemyII has several Domains which are physical rules to determine the way of communicating between components. PtolemyII has 11 domains such as PetriNet, Timed Multitasking, SR etc. Components of System can be specified using appropriate domains for their properties. Communicating Sequential Processes(CSP) is implemented as formally designed CSP domain, in PtolemyII. But CCS didn't be implemented as a domain. It is a kind of Process Algebra language which can be used for specifying and verifying concurrent systems formally. Thus, in this paper we implemented CCS domain. And that permitted developers using PtolemyII to use the same modeling pattern used in PtolemyII and to make system specifications in the base of the formal semantics of CCS. This caused the diversity of PtolemyII domains and the power of expression was improved. This paper will explain the structure of CCS domain implemented in PtolemyII and the way of implementing it.

톨레미II는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. 톨레미II는 여러 개의 도메인을 가지고 있다. 도메인은 각 시스템의 구성 요소들간의 통신 방법을 결정하는 물리적인 규칙이다. 톨레미II에는 PetriNet, Timed Multitasking, SR 등 11개의 도메인이 존재한다. 시스템의 구성요소들은 그 특성에 맞는 도메인을 사용하여 명세 되어 질 수 있다. 톨레미II는 특히 정형적 도메인으로 프로세스 알제브라 언어의 일종인 CSP를 가지고 있다. 그러나 CCS는 도메인으로 구현되지 않았다. CCS는 프로세스 알제브라의 일종으로서 정형적으로 병렬시스템을 명세하고 검증할 수 있는 언어이다. 따라서 본 논문에서는 CCS도메인을 구현함으로써 톨레미II를 사용하는 개발자가 톨레미II에서 사용하고 있는 동일한 모델링 패턴을 사용하면서 CCS의 정형적 의미론을 바탕으로 하여 시스템 명세를 할 수 있게 하였다. 이것은 톨레미II의 도메인의 다양성을 가지고 옴으로써 톨레미II의 표현력과 가용력을 높였다. 본 논문에서는 톨레미II에 구현된 CCS 도메인의 구조와 구현 방법을 설명하겠다.

Keywords

References

  1. Edward A Lee 외 4명, Design of Embedded Systems: Formal Models, Validation and Synthesis. Proceedings of IEEE VOL.85 No.3 pp.366-390, March, 1997 https://doi.org/10.1109/5.558710
  2. Edward A Lee, What's Ahead for Embedded Software? IEEE Computer Magazine, pp. 18-26, September 2000
  3. C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall International, 1985
  4. Robin Milner, Communication and Concurrency, Prentice Hall international Ltd, 1989
  5. J.A. Bergstra & J.W. Klop, Algebra of Communicating Processes with Abstraction, Theor Comp Sci. 37(1):77-121 1985 https://doi.org/10.1016/0304-3975(85)90088-X
  6. I. Lee, H. Ben-Abdallah, and J.-Y. Choi, A Process Algebraic Method for Real-Time Systems, Formal Methods for Real-Time ComputingC. Heitmeyer and D. Mandrioli (eds), John Wiley Sons Ltd, 1996
  7. Edward A. Lee 외 3명, Actor-Oritented Control System Design : A Resonsible Framewo Perspective IEEE Transztions on control systems technology. VOL.X No. Y Month-Z 2003 https://doi.org/10.1109/TCST.2004.824310
  8. Edward A. Lee 외 17명 Heterogeneous Concurrent Modeling and Design in Java, UCB/ERL M01/12, University of California, Berkeley, March 15, 2001
  9. Edward A. Lee, 'Embedded Software,' Advances in Computers(M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002
  10. Steve Schneider, 'Concurrent and Real-time systems(the CSP Approach),' John Wiley & Sona, http://www.cs.rhbnc.uk/books/concurrency, 1993
  11. R.J. van Glabbeek, Notes on the methodology of CCS and CSP, Theorical Computer Science 177 329-349, 1997 https://doi.org/10.1016/S0304-3975(96)00251-4
  12. Edward A. Lee and Yuhong Xiong, 'Behavioral Types for Component-Based Design,' Memorandum UCB/ERL M02/29, University of California, Berkeley, CA, 94720, USA, September 27, 2002
  13. Jorn W. Janneck, 'Actors and their composition,' Memorandum UCB/ERL M02/37, University of California at Berkeley, 18 December 2002
  14. Edward A. Lee and Yuhong Xiong, 'System-Level Types for Component-Based Design,' Technical Memorandum UCB/ERL M00/8, Electronics Research Lab, University of California, Berkeley, CA 94720, USA, February 29, 2000
  15. Neil Smyth, Communicating Sequential Processes in Ptolemy II, University of California, berkeley, December 15, 1998
  16. Jie Liu and Edward A. Lee, 'Timed Multitasking for Real-Time Embedded Software,' invited paper in IEEE Control Systems Magazine, special issue on 'Advances in Software Enabled Control,' draft version