Access the full text.
Sign up today, get DeepDyve free for 14 days.
C. Collberg (2002)
Comparative Programming Languages
Yingxu Wang, M. Wu (2002)
Case studies on translation of RTPA specifications into Java programsIEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373), 2
P. Martin-Löf (1975)
An Intuitionistic Theory of Types: Predicative PartStudies in logic and the foundations of mathematics, 80
(2000)
Distributed System Dependability Description and Comprehension
A. Cerone (2000)
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
J. Vereijken (1999)
A Process Algebra for Hybrid Systems
Yingxu Wang (2000)
Formal Description of the UML Architecture and ExtensibilityObj. Logiciel Base données Réseaux, 6
R. Gerber, E. Gunter, Insup Lee (1991)
Implementing A Real-time Process Algebra In HOL1991., International Workshop on the HOL Theorem Proving System and Its Applications
G.M. Reed, A.W. Roscoe (1986)
Lecture Notes in Computer Science
Y. Wang, N.C. Foinjong (2002)
Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02)
C. Hoare, I. Hayes, J. He, Carroll Morgan, A. Roscoe, J. Sanders, I. Sørensen, J. Spivey, B. Sufrin (1987)
Laws of programmingCommun. ACM, 30
Steven Klusener (1991)
Abstraction in Real Time Process Algebra
Y. Wang (2002)
Component-Based Software Engineering
J.C.M. Baeten, J.A. Bergstra (1991)
Real Time Process AlgebraFormal Aspects of Computing, 3
X. Nicollin, J. Sifakis (1991)
An Overview and Synthesis on Timed Process Algebras
Rahim Ramezanian (1978)
Communicating sequential processesCommun. ACM, 21
A. Jeffrey (1992)
Translating Timed Process Algebra into Prioritized Process Algebra
J. Woodcock, J. Davies (1996)
Using Z - specification, refinement, and proof
J.J. Vereijken (1995)
Proceedings of the 2nd European Workshop on Real-Time and Hybrid Systems
E. Corsetti, A. Montanari, E. Ratto (1991)
Dealing with different time granularities in formal specifications of real-time systemsReal-Time Systems, 3
Steve Schneider (1995)
An Operational Semantics for Timed CSPInf. Comput., 116
G. Reed, A. Roscoe (1986)
A Timed Model for Communicating Sequential Processes
R. Milner (1989)
Communication and concurrency
Yingxu Wang, Foinjong Ngolah (2002)
Formal specification of a real-time lift dispatching systemIEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373), 2
Max Goldstein, B. Higman (1969)
A Comparative Study of Programming LanguagesThe Mathematical Gazette, 53
Harald Fecher (2001)
A Real-Time Process Algebra with Open Intervals and Maximal ProgressNord. J. Comput., 8
Y. Wang (2001)
Formal Description of the UML Architecture and ExtendibilityThe International Journal of the Object, 6
Rob Gerth, Andy Boucher (1987)
A Timed Failures Model for Extended Communicating Processes
R. Gerber, E.L. Gunter, I. Lee (1992)
Proceedings of the International Workshop on the Theorem Proving System and Its Applications
H. Dierks (2000)
A Process Algebra for Real-Time Programs
B. Cline (1981)
Microprogramming concepts and techniques
Yingxu Wang (2002)
RTPA: a new approach to real-time system specificationIEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373), 2
P. Stevens (2002)
Refinement in Z and object-Z: foundations and advanced applicationsSoftw. Test. Verification Reliab., 12
Yingxu Wang, G. King (2000)
Software Engineering Processes: Principles and Applications
(2002)
VTEX(Violeta) PIPS No:5098032 artty:res (Kluwer BO v.2002/08/19) s5098032.tex
(2002)
Description of Static and Dynamic Behaviors of Software Components by the RealTime 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.
Annals of Software Engineering – Springer Journals
Published: Oct 10, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.