Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The Real-Time Process Algebra (RTPA)

The Real-Time Process Algebra (RTPA) The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing 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 designed 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Software Engineering Springer Journals

The Real-Time Process Algebra (RTPA)

Annals of Software Engineering , Volume 14 (4) – Oct 10, 2004

Loading next page...
 
/lp/springer-journals/the-real-time-process-algebra-rtpa-5hwBTwIPbL

References (36)

Publisher
Springer Journals
Copyright
Copyright © 2002 by Kluwer Academic Publishers
Subject
Computer Science; Software Engineering/Programming and Operating Systems
ISSN
1022-7091
eISSN
1573-7489
DOI
10.1023/A:1020561826073
Publisher site
See Article on Publisher Site

Abstract

The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing 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 designed 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.

Journal

Annals of Software EngineeringSpringer Journals

Published: Oct 10, 2004

There are no references for this article.