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 条
  • [41] HARDWARE DESIGN OF A REAL-TIME PETRI-NET MODEL FOR REAL-TIME TASKS
    HWANG, CP
    HO, CS
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 1995, 18 (04) : 481 - 492
  • [42] A real-time configurable synchronization protocol for self-suspending process sets
    Chen, Ya-Shu
    Chang, Li-Pin
    REAL-TIME SYSTEMS, 2009, 42 (1-3) : 34 - 62
  • [43] Real-time sonar beamforming on workstations using process networks and POSIX threads
    Allen, GE
    Evans, BL
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2000, 48 (03) : 921 - 926
  • [44] Real-Time Dual-Process Remote Estimation With Integrated Multiaccess and HARQ
    Nadeem, Faisal
    Li, Yonghui
    Vucetic, Branka
    Shirvanimoghaddam, Mahyar
    IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (11): : 19762 - 19775
  • [45] A real-time configurable synchronization protocol for self-suspending process sets
    Ya-Shu Chen
    Li-Pin Chang
    Real-Time Systems, 2009, 42 : 34 - 62
  • [46] Selection process of intelligent decision support tool for real-time monitoring system
    Vafaie, H
    Shaughnessy, M
    Bethem, T
    Burton, J
    14TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, : 173 - 180
  • [47] Formal specification of a real-time lift dispatching system
    Wang, YX
    Ngolah, FC
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 669 - 674
  • [48] A node as a real-time object
    Kopetz, H
    Poledna, S
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 2 - 7
  • [49] REAL-TIME DISTRIBUTED SYSTEMS
    BARBACCI, MR
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 3 - 12
  • [50] Towards Real-Time Argumentation
    Navarro, M.
    Heras, S.
    Botti, V.
    Julian, V.
    ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, 2015, 4 (04): : 35 - 58
12345