Skip to main content
SpringerLink
Log in

Process instances in LOTOS simulation

  • Papers
  • Conference paper
  • First Online:
FME '93: Industrial-Strength Formal Methods (FME 1993)

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

Included in the following conference series:

  • 122 Accesses

Abstract

We introduce a slight modification of the usual operational semantics for LOTOS based on preserving history information. We then show how we can use the history information in each state to define state-oriented properties and features. By means of an example we show how these properties and features can be used to enhance the usual simulation methods for LOTOS specifications. An implementation is then sketched and some extensions are suggested.

This work was supported by the SPECS project. It represents the view of the authors.

Sylvie Simon is now working at SEPT, 42 Rue des Coutures, Caen, France

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brinksma E. (ed.): LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO 8807 (1988)

    Google Scholar 

  2. Boudol G., Castellani I.: A Non-Interleaving Semantics for CCS based on Proved Transitions. INRIA Rapport de Recherche No. 919 (1988)

    Google Scholar 

  3. Bolognesi T., Brinksma E.: Intoduction to the ISO Specification Language LOTOS. FORTE '88 tutorials (1988)

    Google Scholar 

  4. Eertink H., Wolz D.: Symbolic Execution of LOTOS specifications. FORTE '92 conference proceedings (1992)

    Google Scholar 

  5. Ehrig H., Mahr B.: Fundamentals of Algebraic Specification 1. Springer-Verlag EATCS Series (1985)

    Google Scholar 

  6. Hoare C. A. R.: Communicating Sequential Processes. PrenticeHall International Series in Computer Science (1985)

    Google Scholar 

  7. Milner R.: Communication and Concurrency. Prentice-Hall International Series in Computer Science (1989)

    Google Scholar 

  8. Reed R. (ed.): Specification and Programming Environment for Communication Software — SPECS. To be published by Elsiever (1993)

    Google Scholar 

  9. Stirling C: Modal and Temporal Logics. Univ. of Edin. report ECS-LFCS-91-157 (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre National d'Etudes des Télécommunications, 22301, Lannion CEDEX, France

    Simon Pickin

  2. PTT-Research, P.O. box 421, Leidschendam, The Netherlands

    Yan Yang & Wiet Bouma

  3. IBM Scientific Center, Paris, France

    Sylvie Simon

  4. Alcatel Alsthom Recherche, Route de Nozay, 91460, Marcoussis, France

    Tanja de Groot

Authors
  1. Simon Pickin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yan Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wiet Bouma
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sylvie Simon
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Tanja de Groot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pickin, S., Yang, Y., Bouma, W., Simon, S., de Groot, T. (1993). Process instances in LOTOS simulation. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024665

Download citation

  • DOI: https://doi.org/10.1007/BFb0024665

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation