Naslov
On Semantics Representation of LOTOS Programs

Autori
Motik, Boris ; Glavinić, Vlado

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
ITI'95 - Proceeedings of the 17th International Conference in Information Technology Interfaces / Kalpić, Damir ; Hljuz Dobrić, Vesna - Zagreb : University of Zagreb, University Computing Centre, 1995, 217-224

Skup
ITI'95 - 17th International Conference in Information Technology Interfaces

Mjesto i datum
Pula, Hrvatska, 13.06.1995. - 16.06.1995

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
labeled transition systems; LOTOS; semantics analysis; specifications

Sažetak
LOTOS, ISO's standardized language originating from CCS and CSP formalisms, has been designed as an aid in specifying behaviour and especially temporal dependencies of distributed systems. Because of LOTOS' rich semantics considerable problems are met when trying to automate transformations of LOTOS specifications into runnable implementations in some production level language. As a first step to the solution of these problems, a model for the analysis of LOTOS behaviour expressions is proposed in the paper. It is intended to provide an interface to subsequent processing such as simulating a specification, transforming it into a labeled transition system or testing of equality of two specifications with an adopted definition of equivalence. We shall restrict our problem to Basic LOTOS specifying only temporal dependencies while ADT specifications shall not be considered.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA