Academic
Publications
The Real-Time Process Algebra (RTPA)

The Real-Time Process Algebra (RTPA),Annals of Software Engineering,Yingxu Wang

The Real-Time Process Algebra (RTPA)   (Citations: 48)
BibTex | RIS | RefWorks Download
The real-time process algebra (RTPA) is a set of new mathematical notations for formally de- scribing system architectures, and static and dynamic behaviors. It is recognized that the specification of software behaviors is a three-dimensional problem known as: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulations. Conventional formal methods in software engineering were de- signed to describe the 1-D (type (i)) or 2-D (types (i) and (iii)) static behaviors of software systems via logic, set and type theories. However, they are inadequate to address the 3-D problems in real-time systems. A new notation system that is capable to describe and specify the 3-D real-time behaviors, the real-time process algebra (RTPA), is developed in this paper to meet the fundamental requirements in software engineering. RTPA is designed as a coherent software engineering notation system and a formal engineering method for addressing the 3-D problems in software system specification, refinement, and implementation, partic- ularly for real-time and embedded systems. In this paper, the RTPA meta-processes, algebraic relations, system architectural notations, and a set of fundamental primary and abstract data types are described. On the basis of the RTPA notations, a system specification method and a refinement scheme of RTPA are devel- oped. Then, a case study on a telephone switching system is provided, which demonstrates the expressive power of RTPA on formal specification of both software system architectures and behaviors. RTPA elicits and models 32 algebraic notations, which are the common core of existing formal methods and modern pro- gramming languages. The extremely small set of formal notations has been proven sufficient for modeling and specifying real-time systems, their architecture, and static/dynamic behaviors in real-world software engineering environment.
Journal: Annals of Software Engineering - ANSOFT , vol. 14, no. 1-4, pp. 235-274, 2002
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...The semantics of concept algebra, particularly those of its compositional operators, is rigorously presented in Section 3 and illustrated by a set of computational processes in Real-Time Process Algebra (RTPA) [14, 15, 19, 20, 22]...
    • ...The following subsections describe the semantics of the nine compositional operators ofCA using Real-Time Process Algebra (RTPA) [14, 15, 19,20,22]...
    • ...inheritance, where Rei is known as the big-R notation [14]...

    Yingxu Wanget al. The operational semantics of Concept Algebra for cognitive computing a...

    • ...Cognitive informatics [6, 8, 11, 12, 26, 27, 28, 29, 31] studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the mechanisms of the brain by a fundamental theory known as abstract intelligence, and formally models the brain by contemporary denotational mathematics such as concept algebra [Wang, 2008b], real-time process algebra (RTPA) [7, 16], system algebra [15, 30], and ...
    • ...A number of DMs have been created and developed [13, 21] such as concept algebra [14], system algebra [15, 30], real-time process algebra (RTPA) [7, 16], granular algebra [22], visual semantic algebra (VSA) [19], and formal causal inference methodologies...

    Yingxu Wang. Cognitive Informatics and Denotational Mathematical Means for Brain In...

    • ...Some other stochastic process algebras considering both capabilities are presented in [13], [14], [15], [16], [17], [18], [19], [20], [21]...

    Fernando L. Pelayoet al. Towards the Evolutionary Process Algebra

    • ...Typical forms of denotational mathematics are concept algebra [31], system algebra [32], [39], real-time process algebra (RTPA) [25], [33], [34], and visual semantic algebra (VSA) [37]...

    Yingxu Wanget al. Special Issue on Cybernetics and Cognitive Informatics

    • ...RTPA is a formal specification methodology that gives due consideration to the 3-D behaviors of software systems known as logic, timing and dynamic memory manipulation [4- 5]. The paper is organized as follows: Section 2 presents the RTPA specification methodology and notation system...
    • ...The RTPA specification methodology divides the specification of a software system into three sub modules namely: specification of system architecture, specification of system static behaviors, and specification of system dynamic behaviors [4, 5, 6]. The specification of the architecture, static behaviors and dynamic behaviors are carried out in a step-wise refinement fashion...
    • ...A detailed description of the RTPA refinement mechanism can be referred to in [4, 5]...

    Cyprian F. Ngolahet al. Tool Support for Software Development Based on Formal Specifications i...

Sort by: