An Operational Semantics of Real-Time Process Algebra (RTPA)

Software Applications ◽

10.4018/978-1-60566-060-8.ch193 ◽

2009 ◽

pp. 3340-3360

Author(s):

Yingxu Wang ◽

Cyprian F. Ngolah

Keyword(s):

Real Time ◽

Code Generation ◽

Intelligent Systems ◽

Process Algebra ◽

System Modeling ◽

Operational Semantics ◽

Software Systems ◽

Time Process ◽

Modeling Methodology ◽

Reduction Machine

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 structure and a system modeling methodology 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 RTPA provides a comprehensive paradigm of formal 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.

Download Full-text

An Operational Semantics of Real-Time Process Algebra (RTPA)

International Journal of Cognitive Informatics and Natural Intelligence ◽

10.4018/jcini.2008070106 ◽

2008 ◽

Vol 2 (3) ◽

pp. 71-89 ◽

Cited By ~ 3

Author(s):

Yingxu Wang ◽

Cyprian F. Ngolah

Keyword(s):

Real Time ◽

Process Algebra ◽

Operational Semantics ◽

Time Process

Download Full-text

A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

Software Applications ◽

10.4018/978-1-60566-060-8.ch172 ◽

2009 ◽

pp. 2943-2962

Author(s):

Yingxu Wang

Keyword(s):

Code Generation ◽

System Architecture ◽

Intelligent Systems ◽

Algebraic System ◽

System Modeling ◽

Mathematical Structure ◽

Physical Models ◽

Software Systems ◽

System Architectures ◽

Architectural Model

Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent and software system modeling, specification, refinement, and implementation. RTPA encompasses 17 metaprocesses and 17 relational process operations. RTPA can be used to describe both logical and physical models of software and intelligent systems. Logic views of system architectures and their physical platforms can be described using the same set of notations. When a system architecture is formally modeled, the static and dynamic behaviors performed on the architectural model can be specified by a three-level refinement scheme at the system, class, and object levels in a top-down approach. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.

Download Full-text

RTPA

Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence ◽

10.4018/978-1-60566-902-1.ch010 ◽

2011 ◽

pp. 178-199

Author(s):

Yingxu Wang

Keyword(s):

Code Generation ◽

System Architecture ◽

Intelligent Systems ◽

Algebraic System ◽

System Modeling ◽

Mathematical Structure ◽

Physical Models ◽

Software Systems ◽

System Architectures ◽

Architectural Model

Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent and software system modeling, specification, refinement, and implementation. RTPA encompasses 17 metaprocesses and 17 relational process operations. RTPA can be used to describe both logical and physical models of software and intelligent systems. Logic views of system architectures and their physical platforms can be described using the same set of notations. When a system architecture is formally modeled, the static and dynamic behaviors performed on the architectural model can be specified by a three-level refinement scheme at the system, class, and object levels in a top-down approach. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.

Download Full-text