Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
LISS 2012

  • 156 Accesses

Abstract

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.

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 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.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

References

  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–80

    Google Scholar 

  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–2407

    Article  Google Scholar 

  3. Milner R (1980) A calculus of communicating systems. Lecture notes in computer Science 92. Springer, Berlin/Heidelberg/New York

    Google Scholar 

  4. Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Englewood Cliffs, New Jersey, America

    Google Scholar 

  5. Bergstra JA, Klop JW (1985) Algebra of communicating processes with abstraction. Theor Comput Sci 37(1):77–121

    Article  Google Scholar 

  6. Baeten JCM, Weijiand WP (1990) Process algebra, Cambridge tracts in Theoretical Computer Science 18. Cambridge University Press, Cambridge

    Google Scholar 

  7. Milner R, Parrow J, Walker D (1992) A calculus of mobile. Inf Comput 100:1–77

    Google Scholar 

  8. Lowe G (1993) Probabilities and priorities in timed CSP. PhD thesis, University of Oxford

    Google Scholar 

  9. Hillston J (1996) A compositional approach to performance modelling. PhD thesis, Cambridge University Press

    Google Scholar 

  10. Baeten JCM, Bergstra JA, Smolka SA (1995) Axiomatizing probabilistic processes: ACP with generative probabilities. Inf Comput 121(2):234–255

    Article  Google Scholar 

  11. Reed GM, Roscoe AW (1988) A timed model for communicating sequential processes. Theor Comput Sci 58:249–261

    Article  Google Scholar 

  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–520

    Google Scholar 

  13. Baeten JCM, Bergstra JA (1991) Real time process algebra. Form Asp Comput 3(2):142–188

    Article  Google Scholar 

  14. Baeten J (2005) A brief history of process algebra. Theor Comput Sci 335(2–3):131–146

    Google Scholar 

  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–468

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Information Science and Engineering, Northeastern University, Shenyang, 110004, People’s Republic of China

    Zhuo Guo, Jianzhong Qiao & Shukuan Lin

  2. Key Laboratory of Software System Application and Development Generic Technology, Shenyang, 110004, People’s Republic of China

    Jianzhong Qiao

Authors
  1. Zhuo Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jianzhong Qiao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shukuan Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhuo Guo .

Editor information

Editors and Affiliations

  1. Beijing Jiaotong University, Beijing, 100044, China, People's Republic

    Zhenji Zhang

  2. , Department of information Management, Beijing Jiaotong University, 3 Shangyuancun, Xizhimenwai, Beijing, 100044, China, People's Republic

    Runtong Zhang

  3. , School of Economics and Management, Beijing Jiaotong University, Haidian District, Beijing, 100044, China, People's Republic

    Juliang Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Guo, Z., Qiao, J., Lin, S. (2013). A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra. In: Zhang, Z., Zhang, R., Zhang, J. (eds) LISS 2012. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32054-5_114

Download citation

Publish with us

Policies and ethics

Search

Navigation