Skip to main content
SpringerLink
Log in

Real-Time Process Algebra and Its Applications

  • Chapter
Formal Methods at the Crossroads. From Panacea to Foundational Support

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2757))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baeten, J.C.M., Bergstra, J.A.: Real Time Process Algebra. Formal Aspects of Computing 3, 142–188 (1991)

    Article  Google Scholar 

  2. Cerone, A.: Process Algebra versus Axiomatic Specification of a Real-Time Protocol. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 57–67. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  3. Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer, London (2001)

    MATH  Google Scholar 

  4. Dierks, H.: A Process Algebra for Real-Time Programs. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 66–76. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  5. Fecher, H.: A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nordic Journal of Computing 8(3), 346–360 (2001)

    MATH  MathSciNet  Google Scholar 

  6. Gerber, R., Gunter, E.L., Lee, I.: Implementing a Real-Time Process Algebra. In: Archer, M., et al. (eds.) Proceedings of the International Workshop on the Theorem Proving System and its Applications, pp. 144–154. IEEE Computer Society Press, Los Alamitos (1992)

    Google Scholar 

  7. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Englewood Cliffs (1985) ISBN 0- 13-153271-8

    MATH  Google Scholar 

  8. Jeffrey, A.: Translating Timed Process Algebra into Prioritized Process Algebra. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol. 571, pp. 493–506. Springer, Heidelberg (1992)

    Google Scholar 

  9. Klusener, A.S.: Abstraction in Real Time Process Algebra. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) Proceedings of Real-Time: Theory in Practice. LNCS, pp. 325–352. Springer, Berlin (1992)

    Chapter  Google Scholar 

  10. Martin-Lof, P.: An Intuitionist Theory of Types: Predicative Part. In: Rose, H., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland, Amsterdam (1975)

    Google Scholar 

  11. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  12. Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: Proc. 3rd International Computer Aided Verification Conference, pp. 376–398 (1991)

    Google Scholar 

  13. Vereijken, J.J.: A Process Algebra for Hybrid Systems. In: Bouajjani, A., Maler, O. (eds.) Proceedings Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France (June 1995)

    Google Scholar 

  14. Wang, Y.: Using Process Algebra to Describe Human and Software Behaviours. Bran and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy 4(2) (2003)

    Google Scholar 

  15. Wang, Y.: The Real-Time Process Algebra (RTPA). Annals of Software Engineering: An International Journal 14, 235–274 (2002)

    Article  MATH  Google Scholar 

  16. Wang, Y.: A New Math for Software Engineering – The Real-Time Process Algebra (RTPA). In: The 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE 2002), Banff, AB., Canada (April 2002b) (keynote Speech)

    Google Scholar 

  17. Wang, Y., Foinjong, N.C.: Formal Specification of a Real-Time Lift Dispatching System. In: Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2002), Winnipeg, Manitoba, Canada, pp. 669–674 (May 2002)

    Google Scholar 

  18. Wang, Y., Foinjong, N.C.: Formal Specification of Real-Time Operating Systems using RTPA. In: Proceedings of the 2003 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2003), Montreal, Canada (May 2003)

    Google Scholar 

  19. Wang, Y.: Formal Description of the UML Architecture and Extendibility. The International Journal of the Object 6(4), 469–488 (2001)

    Google Scholar 

  20. Wang, Y., King, G.: Software Engineering Processes: Principles and Applications, p. 752. CRC Press, USA (2000) ISBN: 0-8493-2366-5

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Theoretical and Empirical Software Engineering Research Centre Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive NW, Calgary, AB, Canada, T2N 1N4

    Yingxu Wang

Authors
  1. Yingxu Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Software Technology, Graz University of Technology, Austria

    Bernhard K. Aichernig

  2. Department of Computing and Software, McMaster University, 1280 Main St West, L8S 4K1, Hamilton, ON, Canada

    Tom Maibaum

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wang, Y. (2003). Real-Time Process Algebra and Its Applications. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40007-3_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20527-2

  • Online ISBN: 978-3-540-40007-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation