Performance-oriented formal specifications — the LotoTis approach

  • Ina Schieferdecker
FASE Fase-7: Specifications

DOI: 10.1007/3-540-59293-8_234

Part of the Lecture Notes in Computer Science book series (LNCS, volume 915)
Cite this paper as:
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


The paper presents the performance-oriented, Lotos extension LotoTis. LotoTis 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 LotoTis. Therefore, LotoTis supports the standard conform development of performance-oriented specifications from existing Lotos specifications.

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Ina Schieferdecker
    • 1
  1. 1.GMD FOKUSBerlin

Personalised recommendations