Real-Time and Performance Evaluation Extensions of Specification Language LOTOS

Authors:
Zbigniew Huzar;Jan Magott
Affiliations:
-;-
Venue:
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Year:
1995

Citing 5
Cited 1

An operational approach to semantics of real-time programming languages

Computers and Artificial Intelligence
A LOTOS based performance evaluation tool

Computer Networks and ISDN Systems - Special issue on tools for FDTs
Formal Description Technique Lotos: Results of the Esprit Sedos Project

Formal Description Technique Lotos: Results of the Esprit Sedos Project
LOTOS-like Process Algebras with Urgent or Timed Interactions

FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
A timed LOTOS supporting a dense time domain and including new timed operators

FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V

Syntax And Semantics Of Real-Time And Performance Evaluation Extensions Of Specification Language Lotos

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper contains extensions of specification language LOTOS in three directions: actions with durations, real-time and performance evaluation constructions. We have introduced a time-out as a specific action. An expressive power of this action has been discussed. We have defined such a performance evaluation extension of LOTOS that can be used as a modelling language for performance evaluation of distributed systems. A true concurrency semantics (in the sense that it refers to the fact that actions with durations may overlap in time) for these extensions is defined.