Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(19)
Algebraic Specification
Case Study
Dynamic Behavior
Expressive Power
Formal Method
Formal Specification
Realtime and Embedded Systems
Software Engineering
Software Engineering Environment
Software Systems
Switched System
System Architecture
Three Dimensional
Type Theory
Abstract Data Type
Process Algebra
Real Time
Real Time Process Algebra
Real Time Systems
Related Publications
(2)
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
On Abstract Systems and System Algebra
Subscribe
Academic
Publications
The RealTime Process Algebra (RTPA)
The RealTime Process Algebra (RTPA),Annals of Software Engineering,Yingxu Wang
Edit
The RealTime Process Algebra (RTPA)
(
Citations: 48
)
BibTex

RIS

RefWorks
Download
Yingxu Wang
The realtime
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 threedimensional 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 1D (type (i)) or 2D (types (i) and (iii)) static behaviors of
software systems
via logic, set and type theories. However, they are inadequate to address the 3D problems in realtime systems. A new notation system that is capable to describe and specify the 3D realtime behaviors, the realtime
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 3D problems in software system specification, refinement, and implementation, partic ularly for realtime and embedded systems. In this paper, the RTPA metaprocesses, 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 realtime systems, their architecture, and static/dynamic behaviors in realworld
software engineering
environment.
Journal:
Annals of Software Engineering  ANSOFT
, vol. 14, no. 14, pp. 235274, 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.
(
www2.enel.ucalgary.ca
)
(
www.informatik.unitrier.de
)
Citation Context
(39)
...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 RealTime Process Algebra (RTPA) [
14
, 15, 19, 20, 22]...
...The following subsections describe the semantics of the nine compositional operators ofCA using RealTime Process Algebra (RTPA) [
14
, 15, 19,20,22]...
...inheritance, where Rei is known as the bigR notation [
14
]...
Yingxu Wang
,
et 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], realtime 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], realtime 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. Pelayo
,
et al.
Towards the Evolutionary Process Algebra
...Typical forms of denotational mathematics are concept algebra [31], system algebra [32], [39], realtime process algebra (RTPA) [
25
], [33], [34], and visual semantic algebra (VSA) [37]...
Yingxu Wang
,
et al.
Special Issue on Cybernetics and Cognitive Informatics
...RTPA is a formal specification methodology that gives due consideration to the 3D 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 stepwise refinement fashion...
...A detailed description of the RTPA refinement mechanism can be referred to in [
4
, 5]...
Cyprian F. Ngolah
,
et al.
Tool Support for Software Development Based on Formal Specifications i...
References
(23)
Laws of programming
(
Citations: 212
)
C. A. R. Hoare
,
Ian J. Hayes
,
He Jifeng
,
Carroll Morgan
,
A. W. Roscoe
,
Jeff W. Sanders
,
I. H. Sorensen
,
J. Michael Spivey
,
Bernard Sufrin
Journal:
Communications of The ACM  CACM
, vol. 30, no. 8, pp. 672686, 1987
A Process Algebra for RealTime Programs
(
Citations: 8
)
Henning Dierks
Conference:
Fundamental Approaches to Software Engineering  FASE
, pp. 6681, 2000
Process Algebra versus Axiomatic Specification of a RealTime Protocol
(
Citations: 4
)
Antonio Cerone
Conference:
Algebraic Methodology and Software Technology  AMAST
, pp. 5772, 2000
Dealing with Different Time Granularities in Formal Specifications of RealTime Systems
(
Citations: 31
)
Edoardo Corsetti
,
Angelo Montanari
,
Elena Ratto
Journal:
Realtime Systems  RTS
, vol. 3, no. 2, pp. 191215, 1991
Real Time Process Algebra
(
Citations: 240
)
Jos C. M. Baeten
,
Jan A. Bergstra
Journal:
Formal Aspects of Computing  FAC
, vol. 3, no. 2, pp. 142188, 1991
Sort by:
Citations
(48)
The operational semantics of Concept Algebra for cognitive computing and machine learning
(
Citations: 1
)
Yingxu Wang
,
Yousheng Tian
,
Kendall Hu
Conference:
International Conference on Cognitive Informatics  ICCI(ieee)
, 2011
On the cognitive process of human problem solving
(
Citations: 9
)
Yingxu Wang
,
Vincent Chiew
Journal:
Cognitive Systems Research
, vol. 11, no. 1, pp. 8192, 2010
Cognitive Informatics and Denotational Mathematical Means for Brain Informatics
Yingxu Wang
Published in 2010.
Towards the Evolutionary Process Algebra
(
Citations: 1
)
Fernando L. Pelayo
,
Luis De La Ossa
,
Fernando Cuartero
,
Maria L. Pelayo
,
Juan L. G. Guirao
Conference:
International Conference on Cognitive Informatics  ICCI(ieee)
, pp. 6976, 2009
Special Issue on Cybernetics and Cognitive Informatics
Yingxu Wang
,
Witold Kinsner
,
Du Zhang
Journal:
IEEE Transactions on Systems, Man, and Cybernetics  TSMC
, vol. 39, no. 4, pp. 818822, 2009