Real-Time Process Algebra and its applications

被引：0
|
作者：
Wang, YX [1 ]
机构：
[1] Univ Calgary, Dept Elect & Comp Engn, Theoret & Empir Software Engn Res Ctr, Calgary, AB T2N 1N4, Canada
来源：
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT | 2003年 / 2757卷
关键词：
software engineering; descriptive mathematics; formal methods; real-time systems; algebraic specification; 3-D problems; architecture specification; static/dynamic behaviors specification;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
It is recognized that human and system behaviors may be modeled by a 3-D process comprising actions, time, and space. Software behaviors, similarly, can be modeled in the three dimensions known as the mathematical operations, event/process timing, and memory manipulation. This paper introduces Real-Time Process Algebra (RTPA) as a coherent software engineering notation system. RTPA is used to address the 3-D problem in software system description and specification in terms of architecture, static and dynamic behaviors. Case studies on applications of RTPA in real-time system modeling and specification are provided in this paper with real-world examples.
引用
收藏
页码：322 / 336
页数：15
相关论文
共 50 条
  • [1] A process algebra for real-time programs
    Dierks, H
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 66 - 81
  • [2] ABSTRACTION IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 325 - 352
  • [3] COMPLETENESS IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 376 - 392
  • [4] The real-time process algebra (RTPA)
    Wang, YX
    ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 235 - 274
  • [5] THE STATE OPERATOR IN REAL-TIME PROCESS ALGEBRA
    BAETEN, JCM
    BERGSTRA, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 107 - 123
  • [6] Design of a parser for Real-Time Process Algebra
    Zhao, JH
    Wang, YX
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1259 - 1262
  • [7] Real-time process algebra with stochastic delays
    Markovski, J.
    de Vink, E. P.
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 177 - +
  • [8] An Operational Semantics of Real-Time Process Algebra (RTPA)
    Wang, Yingxu
    Ngolah, Cyprian F.
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 71 - 89
  • [9] Probabilistic resource failure in real-time process algebra
    Philippou, A
    Cleaveland, R
    Lee, I
    Smolka, S
    Sokolsky, O
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 389 - 404
  • [10] A Denotational Semantics of Real-Time Process Algebra (RTPA)
    Tan, Xinming
    Wang, Yingxu
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 57 - 70
12345