Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Performance-oriented formal specifications - the LotoTis approach

: Schieferdecker, I.K.


Mosses, P.D.:
Theory and practice of software development. Proceedings : TAPSOFT '95, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995
Berlin: Springer, 1995 (Lecture Notes in Computer Science 915)
ISBN: 3-540-59293-8
ISBN: 0-387-59293-8
ISBN: 978-3-540-49233-7 (Online)
ISSN: 0302-9743
International Joint Conference on the Theory and Practice of Software Development (TAPSOFT) <6, 1995, Aarhus>
Colloquium on Trees in Algebra and Programming (CAAP) <20, 1995, Aarhus>
Colloquium on Formal Approaches of Software Engineering (FASE) <1995, Aarhus>
Conference Paper
Fraunhofer FOKUS ()

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.