LISS 2012 pp 811-815 | Cite as

A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra

Conference paper


Real-time systems are characterized by stringent timing requirements that they must satisfy. Timed process algebras, one of the most commonly used frameworks for specifying and reasoning about real-time systems, allow complex structural properties to be modeled by means of structural operators. However, they are lack of cost modeling and analyzing capability. This paper proposes a process algebra called MCACP (Multi-Cost Algebra of Communicating Processes) basing on ACP (Algebra of Communicating Processes). We discuss the syntax and semantics of MCACP extended with Multi-cost information.


Real-time systems Process algebra Price Multi-cost ACP 


  1. 1.
    Xiao F, Huang Z, Cao Z (2011) Unified modelling functional and non-functional aspects of web services composition using PTCCS. Int J Web Serv Res 8(4):47–80Google Scholar
  2. 2.
    Eduardo C (2011) The derivation of EOQ/EPQ inventory models with two backorders costs using analytic geometry and algebra. Appl Math Model 35(5):2394–2407CrossRefGoogle Scholar
  3. 3.
    Milner R (1980) A calculus of communicating systems. Lecture notes in computer Science 92. Springer, Berlin/Heidelberg/New YorkGoogle Scholar
  4. 4.
    Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs, New Jersey, AmericaGoogle Scholar
  5. 5.
    Bergstra JA, Klop JW (1985) Algebra of communicating processes with abstraction. Theor Comput Sci 37(1):77–121CrossRefGoogle Scholar
  6. 6.
    Baeten JCM, Weijiand WP (1990) Process algebra, Cambridge tracts in Theoretical Computer Science 18. Cambridge University Press, CambridgeGoogle Scholar
  7. 7.
    Milner R, Parrow J, Walker D (1992) A calculus of mobile. Inf Comput 100:1–77Google Scholar
  8. 8.
    Lowe G (1993) Probabilities and priorities in timed CSP. PhD thesis, University of OxfordGoogle Scholar
  9. 9.
    Hillston J (1996) A compositional approach to performance modelling. PhD thesis, Cambridge University PressGoogle Scholar
  10. 10.
    Baeten JCM, Bergstra JA, Smolka SA (1995) Axiomatizing probabilistic processes: ACP with generative probabilities. Inf Comput 121(2):234–255CrossRefGoogle Scholar
  11. 11.
    Reed GM, Roscoe AW (1988) A timed model for communicating sequential processes. Theor Comput Sci 58:249–261CrossRefGoogle Scholar
  12. 12.
    Wang Yi (1990) Real-time behaviour of asynchronous agents. In: Baeten JCM, Klop JW (eds) Proceedings CONCUR’90, number 458 in LNCS. Springer, Berlin/Heidelberg/New York, pp 502–520Google Scholar
  13. 13.
    Baeten JCM, Bergstra JA (1991) Real time process algebra. Form Asp Comput 3(2):142–188CrossRefGoogle Scholar
  14. 14.
    Baeten J (2005) A brief history of process algebra. Theor Comput Sci 335(2–3):131–146Google Scholar
  15. 15.
    Xiao F, Huang Z, Cao Z, Hu J, Liu L (2009) Modeling cost-aware web services composition using PTCCS. In: Proceedings of the ICWS, Wales, Britain, pp 461–468Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.College of Information Science and EngineeringNortheastern UniversityShenyangPeople’s Republic of China
  2. 2.Key Laboratory of Software System Application and Development Generic TechnologyShenyangPeople’s Republic of China

Personalised recommendations