ACM Transactions on Computer Systems (TOCS)
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Transition system specifications with negative premises (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
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
TIC: A Timed Calculus for LOTOS
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
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
Real-Time and Performance Evaluation Extensions of Specification Language LOTOS
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
| Hi-index | 0.00 |
The paper contains extensions of specification language LOTOS in three directions: time-consuming actions, real-time and performance evaluation constructions. Time-consuming actions seem to be more natural than instantaneous actions and they are well suited for real-time system specification and for its performance evaluation. The notions of beginning and termination of the time-consuming action enable to impose time restrictions on beginning and termination times of activities. From performance evaluation point of view it is often important to know explicit how long a specific action has been executed (not when the action has been completed only). We have also 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 this extension is defined.