Abstract

It is recognized that human and system behaviors may be modeled by a 3-D process comprising actions, time, and space. Software behaviors, similarly, can be modeled in the three dimensions known as the mathematical operations, event/process timing, and memory manipulation. This paper introduces Real- Time Process Algebra (RTPA) as a coherent software engineering notation system. RTPA is used to address the 3-D problem in software system description and specification in terms of architecture, static and dynamic behaviors. Case studies on applications of RTPA in real-time system modeling and specification are provided in this paper with real-world examples.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.