Browse > Article

Calculus of Communicating Systems Domain in PtolemyII  

황혜정 (삼성전자 기술총괄 기술전략실 모바일 솔루션)
김윤정 (서울여자대학교 정보통신공학)
남기혁 (한국전자통신연구원 디지털홈 연구)
김일곤 (고려대학교 컴퓨터학)
최진영 (고려대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Computer Systems and Theory / v.31, no.5_6, 2004 , pp. 335-346 More about this Journal
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.
Keywords
PtolemyII; CCS domain; Process Algebra;
Citations & Related Records
연도 인용수 순위
  • Reference
1 C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall International, 1985
2 Robin Milner, Communication and Concurrency, Prentice Hall international Ltd, 1989
3 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   DOI   ScienceOn
4 Edward A. Lee 외 17명 Heterogeneous Concurrent Modeling and Design in Java, UCB/ERL M01/12, University of California, Berkeley, March 15, 2001
5 Edward A. Lee, 'Embedded Software,' Advances in Computers(M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002
6 Steve Schneider, 'Concurrent and Real-time systems(the CSP Approach),' John Wiley & Sona, http://www.cs.rhbnc.uk/books/concurrency, 1993
7 R.J. van Glabbeek, Notes on the methodology of CCS and CSP, Theorical Computer Science 177 329-349, 1997   DOI   ScienceOn
8 J.A. Bergstra & J.W. Klop, Algebra of Communicating Processes with Abstraction, Theor Comp Sci. 37(1):77-121 1985   DOI   ScienceOn
9 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   DOI   ScienceOn
10 Edward A Lee, What's Ahead for Embedded Software? IEEE Computer Magazine, pp. 18-26, September 2000
11 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
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 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
14 Jorn W. Janneck, 'Actors and their composition,' Memorandum UCB/ERL M02/37, University of California at Berkeley, 18 December 2002
15 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
16 Neil Smyth, Communicating Sequential Processes in Ptolemy II, University of California, berkeley, December 15, 1998