Skip to main content
Springer Nature Link
Log in

The PEPA Feature Construct

  • Conference paper
Language Constructs for Describing Features

Abstract

We show how the PEPA performance modelling language could be extended with a feature construct which can be used to describe modifications to PEPA models. We provide this construct with an operational description which conservatively extends the operational semantics of the PEPA language. We then show how the feature construct can be applied in a small case study.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.

    Google Scholar 

  2. D.R.W. Holton. A PEPA specification of an industrial production cell. In S. Gilmore and J. Hillston, editors, Proceedings of the Third International Workshop on Process Algebras and Performance Modelling, pages 542–551. Special Issue of The Computer Journal, 38(7), December 1995.

    Google Scholar 

  3. S. Gilmore, J. Hillston, D.R.W. Holton, and M. Rettelbach. Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research, 34(4):1065–1080, 1996.

    Article  MATH  Google Scholar 

  4. A. El-Rayes, M. Kwiatkowska, and S. Minton. Analysing performance of lift systems in PEPA. In R. Pooley and J. Hillston, editors, Proceedings of the Twelfth UK Performance Engineering Workshop, pages 83–100, Department of Computer Science, The University of Edinburgh, September 1996.

    Google Scholar 

  5. H. Bowman, J. Bryans, and J. Derrick. Analysis of a multimedia stream using stochastic process algebra. In C. Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 51–69, Nice, September 1998.

    Google Scholar 

  6. L. Kloul, J.M. Fourneau, and F. Valois. Performance modelling of hierarchical cellular networks using PEPA. In J. Hillston, editor, Proceedings of the Seventh International Workshop on Process Algebras and Performance Modelling, Zaragosa, Spain, September 1999.

    Google Scholar 

  7. M. C. Plath and M. D. Ryan. Plug and play features. In W. Bouma, editor, Feature Interactions in Telecommunications Systems V. IOS Press, 1998.

    Google Scholar 

  8. M. D. Ryan. Feature-oriented programming: A case study using the SMV language. Technical report, School of Computer Science, The University of Birmingham, UK, September 1997.

    Google Scholar 

  9. R. Milner, M. Tofte, R. Harper, and D. Macqueen. The Definition of Standard ML. The MIT Press, 1996.

    Google Scholar 

  10. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353–368, Vienna, May 1994. Springer-Verlag.

    Google Scholar 

  11. R. Milner. A theory of type polymorphism in programming languages. Journal of Computer and System Science, 17(3):348–375, 1978.

    Article  MathSciNet  MATH  Google Scholar 

  12. J. Bradley and N. Thomas. Constructing a partial order for performance measures. In Proceedings of the Sixteenth Annual UK Performance Engineering Workshop, pages 177–186, Durham, United Kingdom, July 2000. UK Performance Engineering Workshop Press.

    Google Scholar 

  13. G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo. Exploiting modal logic to express performance measures. In B.R. Haverkort, H.C. Bohnenkamp, and C.U. Smith, editors, Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference, number 1786 in LNCS, pages 211–227, Schaumburg, Illinois, USA, March 2000. Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LFCS, The University of Edinburgh, Edinburgh, EH9 3JZ, Scotland

    Stephen Gilmore & Jane Hillston

Authors
  1. Stephen Gilmore
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jane Hillston
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory for Foundations of Computer Science, The University of Edinburgh, EH9 3JZ, Edinburgh, Scotland

    Stephen Gilmore BSc (Hons) PhD

  2. School of Computer Science, University of Birmingham, BIS 2TT, Edgbaston, England

    Mark Ryan BA, MA, PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag London Limited

About this paper

Cite this paper

Gilmore, S., Hillston, J. (2001). The PEPA Feature Construct. In: Gilmore, S., Ryan, M. (eds) Language Constructs for Describing Features. Springer, London. https://doi.org/10.1007/978-1-4471-0287-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0287-8_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-392-8

  • Online ISBN: 978-1-4471-0287-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics