An Operational Semantics of Real-Time Process Algebra (RTPA)

被引：1
|
作者：
Wang, Yingxu [1 ]
Ngolah, Cyprian F. [1 ,2 ]
机构：
[1] Univ Calgary, Calgary, AB, Canada
[2] Univ Buea, Buea, Cameroon
来源：
INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE | 2008年 / 2卷 / 03期
基金：
加拿大自然科学与工程研究理事会;
关键词：
cognitive informatics; operational semantics; RTPA; real -tune process algebra; real-time systems; software engineering; reduction machine;
D O I：
10.4018/jcini.2008070106
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational mathematical stricture and a system modeling methodoloAy for describing the architectures and behaviors of real-time and nonreal-time software systems. This article presents an operational semantics of RTPA, which explains how syntactic constructs in RTPA can be reduced to values on an abstract-reduction machine. The operational semantics of RIPA provides a comprehensive paradigm offormal semantics that establishes an entire set of operational semantic rules of software. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.
引用
收藏
页码：71 / 89
页数：19
相关论文
共 50 条
  • [1] A Denotational Semantics of Real-Time Process Algebra (RTPA)
    Tan, Xinming
    Wang, Yingxu
    [J]. INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 57 - 70
  • [2] The real-time process algebra (RTPA)
    Wang, YX
    [J]. ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 235 - 274
  • [3] Specification of abstract date types using Real-Time Process Algebra (RTPA)
    Tan, XM
    Wang, YX
    [J]. CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1293 - 1296
  • [4] An operational semantics and compiler for Real-Time specifications
    Puchol, C
    Stuart, DA
    Mok, AK
    [J]. INTEGRATED COMPUTER-AIDED ENGINEERING, 1998, 5 (03) : 187 - 206
  • [5] Operational Semantics of Reversibility in Process Algebra
    Phillips, Iain
    Ulidowski, Irek
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 281 - 286
  • [6] A DISTRIBUTED REAL-TIME LANGUAGE AND ITS OPERATIONAL SEMANTICS
    KRISHNAN, P
    VOLZ, R
    [J]. REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 41 - 50
  • [7] AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE
    HUZAR, Z
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 239 - 254
  • [8] Operational semantics for real-time processes with action refinement
    Sun, XL
    Wu, JZ
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 54 - 63
  • [9] A process algebra for real-time programs
    Dierks, H
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 66 - 81
  • [10] Operational and logical semantics for polling real-time systems
    Dierks, H
    Fehnker, A
    Mader, A
    Vaandrager, F
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 29 - 40
12345