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 条
  • [31] Compounded Real-Time Operating Systems for Rich Real-Time Applications
    Yang, Chung-Fan
    Shinjo, Yasushi
    IEEE ACCESS, 2025, 13 : 26079 - 26104
  • [32] Operational Semantics of Business Process Description Model Supported by Answer Set
    Zheng, Yunxiang
    Wan, Hai
    2012 INTERNATIONAL CONFERENCE ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT SCIENCE & ENGINEERING (FITMSE 2012), 2012, 14 : 569 - 574
  • [33] A Real-Time Quality Control System Based on Manufacturing Process Data
    Duan, Gui-Jiang
    Yan, Xin
    IEEE ACCESS, 2020, 8 : 208506 - 208517
  • [34] Real-time specifications
    Alexandre David
    Kim G. Larsen
    Axel Legay
    Ulrik Nyman
    Louis-Marie Traonouez
    Andrzej Wąsowski
    International Journal on Software Tools for Technology Transfer, 2015, 17 : 17 - 45
  • [35] Real-time specifications
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Traonouez, Louis-Marie
    Wasowski, Andrzej
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
  • [36] Formal description of time management in real-time operating systems
    Rusu-Banu, Fabricio
    Wang, Yingxu
    2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5, 2006, : 1801 - +
  • [37] A generic component framework for real-time control
    Griph, FS
    Hogben, CHA
    Buckley, MA
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2004, 51 (03) : 558 - 564
  • [38] The real-time task scheduling algorithm of RTOS
    Ngolah, CF
    Wang, YX
    Tan, XM
    CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE, 2004, 29 (04): : 237 - 243
  • [39] Electric Loads as Real-Time tasks: an application of Real-Time Physical Systems
    Della Vedova, Marco L.
    di Palma, Ettore
    Facchinetti, Tullio
    2011 7TH INTERNATIONAL WIRELESS COMMUNICATIONS AND MOBILE COMPUTING CONFERENCE (IWCMC), 2011, : 1117 - 1123
  • [40] A barred operational semantics for a subset of WS-CDL with time restrictions
    Valero, Valentin
    Diaz, Gregorio
    Emilia Cambronero, Maria
    Macia, Hermenegilda
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (08): : 730 - 748
12345