Process instances in LOTOS simulation

  • Simon Pickin
  • Yan Yang
  • Wiet Bouma
  • Sylvie Simon
  • Tanja de Groot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


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.


Behaviour Expression Inference Rule Label Transition System Process Instance Instance Number 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B]
    Brinksma E. (ed.): LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO 8807 (1988)Google Scholar
  2. [BC]
    Boudol G., Castellani I.: A Non-Interleaving Semantics for CCS based on Proved Transitions. INRIA Rapport de Recherche No. 919 (1988)Google Scholar
  3. [BB]
    Bolognesi T., Brinksma E.: Intoduction to the ISO Specification Language LOTOS. FORTE '88 tutorials (1988)Google Scholar
  4. [EW]
    Eertink H., Wolz D.: Symbolic Execution of LOTOS specifications. FORTE '92 conference proceedings (1992)Google Scholar
  5. [EM]
    Ehrig H., Mahr B.: Fundamentals of Algebraic Specification 1. Springer-Verlag EATCS Series (1985)Google Scholar
  6. [H]
    Hoare C. A. R.: Communicating Sequential Processes. PrenticeHall International Series in Computer Science (1985)Google Scholar
  7. [M]
    Milner R.: Communication and Concurrency. Prentice-Hall International Series in Computer Science (1989)Google Scholar
  8. [R]
    Reed R. (ed.): Specification and Programming Environment for Communication Software — SPECS. To be published by Elsiever (1993)Google Scholar
  9. [S]
    Stirling C: Modal and Temporal Logics. Univ. of Edin. report ECS-LFCS-91-157 (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Simon Pickin
    • 1
  • Yan Yang
    • 2
  • Wiet Bouma
    • 2
  • Sylvie Simon
    • 3
  • Tanja de Groot
    • 4
  1. 1.Centre National d'Etudes des TélécommunicationsLannion CEDEXFrance
  2. 2.PTT-ResearchLeidschendamThe Netherlands
  3. 3.IBM Scientific CenterParisFrance
  4. 4.Alcatel Alsthom RechercheMarcoussisFrance

Personalised recommendations