Fraunhofer-Gesellschaft

Publica

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
S.772-786
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>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

Abstract
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.

: http://publica.fraunhofer.de/dokumente/950282.html