Skip to main content

Performance-oriented formal specifications — the LotoTis approach


  • 265 Accesses

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


The paper presents the performance-oriented, Lotos extension Loto Tis. Loto Tis allows us to specify performance-oriented behavior via quantified time, quantified nondeterminism, quantified parallelism, and action monitoring. It offers a set of refinement rules from Lotos to Loto Tis. Therefore, Loto Tis supports the standard conform development of performance-oriented specifications from existing Lotos specifications.


  • Behavior Expression
  • Structure Action
  • Probabilistic Choice
  • System Task
  • Interaction Period

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.


  1. P. Dembinski. Queueing models for ESTELLE. In Proc. of the 5th Intern. Conf. on Formal Description Techniques, pages 73–86, 1993.

    Google Scholar 

  2. K.J. Turner (editor). Using Formal Description Techniques. John Wiley & Sons, Chichester, 1993.

    Google Scholar 

  3. A. Fantechi, S. Gnesi, and G. Mazzarini. How much expressive are LOTOS behaviour expressions? In Paricipant's Proc. of the Third Intern. Conf. Formal Description Techniques, pages 9–24, 1990.

    Google Scholar 

  4. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.

    Google Scholar 

  5. ISO. Information processing systems — open system interconnection — LOTOS — a formal description technique based on the temporal ordering of observational behaviour. ISO/IEC 8807, 1988.

    Google Scholar 

  6. Guy Leduc. A framework based on implementation relations for implementing lotos specifications. Computer Networks and ISDN Systems, (25):23–41, 1992.

    Google Scholar 

  7. F.J. Lin, P.M. Chu, and M.T. Liu. Protocol verification using reachability analysis. Computer Communication Review, 17(5):126–135, 1987.

    Google Scholar 

  8. M.A. Marsan, A. Bianco, L. Ciminiera, R. Sisto, and A. Valenzano. Integrating performance analysis in the context of LOTOS-based design. In Proc. of MAS-CTS'94, pages 292–298, 1994.

    Google Scholar 

  9. C. Miguel, A. Fernández, J. López, and L. Vidaller. A LOTOS based performance evaluation tool. Computer Networks and ISDN Systems, 25(7):791–814, 1993.

    Google Scholar 

  10. H. Rudin. Time in formal protocol specification. In Proc. of the GI/NTG Conf. on Communication in Distributed Systems, Karlsruhe, pages 575–587, 1985.

    Google Scholar 

  11. I. Schieferdecker. Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of Their QoS Characteristics. PhD thesis, Technical University Berlin, 1994. (Upon formal approval).

    Google Scholar 

  12. I. Schieferdecker and A. Wolisz. Operational semantics of timed interacting systems: an algebraic performance oriented formal description technique. Technical Report 92/19, Department of Computer Science, Technical University Berlin, 1992.

    Google Scholar 

  13. M. Walch. A framework for performance analysis of parallel protocol execution. In Participant's Proc. of the IFIP Intern. Conf. on Information Networks and Data Communication, Madeira Island, Portugal, 1994.

    Google Scholar 

  14. A. Wolisz. A unified approach to formal specification of communication protocols and analysis of their performance. Journal of Mathematical Modelling and Simulation in Systems Analysis, Special issue on System Analysis in Informatics, (1993)(10), 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schieferdecker, I. (1995). Performance-oriented formal specifications — the LotoTis approach. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds) TAPSOFT '95: Theory and Practice of Software Development. CAAP 1995. Lecture Notes in Computer Science, vol 915. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59293-8

  • Online ISBN: 978-3-540-49233-7

  • eBook Packages: Springer Book Archive