Real-time and performance evaluation extensions of specification language LOTOS

Author

Huzar, Zbigniew ; Magott, Jan

Author_Institution

Inf. Centre, Tech. Univ. Wroclaw, Poland

fYear

1995

fDate

18-20 Jan 1995

Firstpage

382

Lastpage

386

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

Keywords

formal specification; performance evaluation; real-time systems; specification languages; LOTOS; concurrency semantics; distributed systems; modelling language; performance evaluation extensions; real-time performance evaluation; specification language; Computer networks; Concurrent computing; Cybernetics; ISO standards; Informatics; Power engineering and energy; Power system modeling; Protocols; Real time systems; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1995. MASCOTS '95., Proceedings of the Third International Workshop on

Conference_Location

Durham, NC

Print_ISBN

0-8186-6902-0

Type

conf

DOI

10.1109/MASCOT.1995.378662

Filename

378662