Skip to main content
SpringerLink
Log in

Extending LOTOS with time: A true concurrency perspective

  • Papers
  • Conference paper
  • First Online:
Transformation-Based Reactive Systems Development (ARTS 1997)

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

Abstract

An ongoing restandardisation activity is currently extending the OSI specification language LOTOS with quantitative time. We give an alternative perspective on this activity. We highlight a very simple but expressive timed LOTOS enhancement which is based on time intervals. The main point at which we depart from the standard approach to extending LOTOS with time, is that we employ a true concurrency semantics. We present a semantics based on a time extended bundle event structures. We give a full semantics for relating our timed LOTOS to timed bundle event structures. A fixed point theory is defined and finally, we describe how urgency can be supported in the language.

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. Bolognesi, T. and E. Brinksma, “Introduction to the ISO Specification Language LOTOS”, Computer Net. and ISDN Sys., Vol. 14, No. 1, pp 25–59, North-Holland, 1988.

    Article  Google Scholar 

  2. Bolognesi, T., F. Lucidi., and S. Trigila “Converging Towards a Timed LOTOS Standard.” Computer Standards and Interfaces, vol. 16, pp 87–118, 1994.

    Article  Google Scholar 

  3. Bowman, H., G.S. Blair, L. Blair and A. Chetwynd. “Time Versus Abstraction in Formal Description.” FORTE'93, North-Holland, pp. 467–482, 1993.

    Google Scholar 

  4. Bowman, H. and J. Derrick. “A True Concurrency Semantics for Quality of Service Specification and Validation”. MmNet 95, IEEE Computing Press, 1995.

    Google Scholar 

  5. Bowman, H. “A True Concurrency Approach to Time Extended LOTOS (Revised Version)”, Internal Report No. 17-96, University of Kent, 1996.

    Google Scholar 

  6. Coelho do Costa, R., J., and J.-P. Courtiat “A True Concurrency Semantics for LOTOS.” FORTE' 92, North-Holland, 1992.

    Google Scholar 

  7. Courtiat, J-P, and R.C. de Oliveria. “RT-LOTOS and its Application to Multimedia Protocol Specification and Validation”. MmNet 95, IEEE Computing Press, pp 30–47, 1995.

    Google Scholar 

  8. Davies, J. “Specification and Proof in Real-time CSP”, Cambridge Univ. Press, 1993.

    Google Scholar 

  9. Fidge, C.J. “A Constraint-Oriented Real-Time Process Calculus.” FORTE' 92, 1992.

    Google Scholar 

  10. Hoare, C.A.R. “Communicating Sequential Processes”, Prentice-Hall, 1985.

    Google Scholar 

  11. ISO, “LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour”, ISO /IEC 8807, Geneva, 1988.

    Google Scholar 

  12. Katoen, J.-P. “Quantitative and Qualitative Extensions of Event Structures” PhD Thesis, University of Twente, CTIT PhD Thesis Series, 96–09, 1996.

    Google Scholar 

  13. ISO, “Time Extended LOTOS”, Draft: September 1995, source: Belgium and Spain, available at ftp://ftp.dit.upm.es/pub/lotos/elotos/working_docs.

    Google Scholar 

  14. Langerak, R. “Transformations and Semantics for LOTOS.” Ph.D. Thesis, University of Twente, 1992.

    Google Scholar 

  15. Leduc, G., and L. Leonard. “A timed LOTOS supporting a dense time domain and including new timed operators.” FORTE' 92, North-Holland, 1992.

    Google Scholar 

  16. Leonard, L., and G. Leduc, “An Enhanced Version of Timed LOTOS and its Application to a Case Study.” FORTE' 93, North-Holland, 1993.

    Google Scholar 

  17. Miguel, C., A. Fernandez, and L. Vidaller. “Extending LOTOS towards performance evaluation.” FORTE' 92, 1992.

    Google Scholar 

  18. Milner, R. “Communication and Concurrency”, Prentice-Hall, 1989.

    Google Scholar 

  19. Nicollin, X. and J. Sifakis “An Overview and Synthesis on Timed Process Algebras.” Real-Time: Theory in Practice, LNCS 600, pp 526–548, 1991.

    Google Scholar 

  20. Quemada, J., D. Frutos, and A. Azcorra. “TIC: A TImed Calculus”, Tech. Rep. 28040, Unive.of Madrid. July 1991.

    Google Scholar 

  21. Regan, T. “Multimedia in Temporal LOTOS: A Lip Synchronisation Algorithm.” PSTV XIII, Liege, Belgium, 1993.

    Google Scholar 

  22. Schneider, S. “Timewise Refinement for Communicating Processes”, Science of Comp. Program.g, to appear, 1996.

    Google Scholar 

  23. Wang, Y., “CCS + Time = an Interleaving Model for Real-time Systems”, LNCS 510, Springer-Verlag, pp 217–228, 1991.

    Google Scholar 

  24. Vissers, C.A., “FDTs for Open Distributed Systems, a Retrospective and a Prospective View”, PSTV X, North-Holland, 1990.

    Google Scholar 

  25. Winskel, G., “An Introduction to Event Structures”, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, 1988, pp 364–397.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Laboratory, The University of Kent, CT2 7NF, Canterbury, UK

    Howard Bowman & John Derrick

Authors
  1. Howard Bowman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Derrick
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miquel Bertran Teodor Rus

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bowman, H., Derrick, J. (1997). Extending LOTOS with time: A true concurrency perspective. In: Bertran, M., Rus, T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63010-4_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-63010-4_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63010-4

  • Online ISBN: 978-3-540-69058-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation