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 条
  • [21] 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
  • [22] FROM ALGEBRA TO OPERATIONAL SEMANTICS
    HE, JF
    HOARE, CAR
    INFORMATION PROCESSING LETTERS, 1993, 45 (02) : 75 - 80
  • [23] Process algebra versus axiomatic specification of a real-time protocol
    Cerone, A
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 57 - 72
  • [24] RTPA: A new approach to real-time system specification
    Wang, YX
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 663 - 668
  • [25] RT-CDL - A DISTRIBUTED REAL-TIME DESIGN LANGUAGE AND ITS OPERATIONAL SEMANTICS
    LIU, LYH
    SHYAMASUNDAR, RK
    COMPUTER LANGUAGES, 1994, 20 (01): : 1 - 23
  • [26] REAL-TIME OPERATIONAL RELIABILITY
    KNEZEVIC, J
    RELIABILITY DATA COLLECTION AND USE IN RISK AND AVAILABILITY ASSESSMENT /, 1989, : 710 - 715
  • [27] Type checking for software system specifications in real-time process algebra
    Liu, CW
    Tan, XM
    DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
  • [28] Model Checking Process Algebra of Communicating Resources for Real-time Systems
    Boudjadar, A. Jalil
    Kim, Jin Hyun
    Larsen, Kim G.
    Nyman, Ulrik
    2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : 51 - 60
  • [29] Operational and denotational semantics for the box algebra
    Koutny, M
    Best, E
    THEORETICAL COMPUTER SCIENCE, 1999, 211 (1-2) : 1 - 83
  • [30] SEMANTICS OF MODECHART IN REAL-TIME LOGIC
    JAHANIAN, F
    LEE, R
    MOK, AK
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B479 - B489
12345