Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloAn Abstract Execution Model for Basic LOTOS
Anno di pubblicazione1990
Formato
  • Elettronico
  • Cartaceo
Autore/iR. Sisto; L. Ciminiera; A. Valenzano
Affiliazioni autoriR. Sisto, L. Ciminiera: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l?Elaborazione Numerale dei Segnali, CNR, Torino. Italy
Autori CNR e affiliazioni
  • ADRIANO VALENZANO
Lingua/e
  • inglese
AbstractThe paper presents some techniques that can be used for translating a LOTOS (language of temporal ordering specification) specification into an efficient implementation. In particular, it focuses attention on basic LOTOS, the control part of LOTOS, and presents a simple algorithm to derive an abstract machine based on a set of labelled transition systems from a basic LOTOS specification. The transition systems define interacting processes. The problem of the unbounded number of states is considered and solved, by allowing dynamic creation and destruction of processes and by adopting an appropriate construction procedure for the transition systems. The synchronisation of the processes, according to the LOTOS multi-way rendezvous mechanism, is obtained by means of a procedure based on message transfers among the processes, thus enabling a distributed implementation
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da311
Pagine a318
Pagine totali8
RivistaSoftware engineering journal
Attiva dal 1986 al 1996
Editore: Institution of Electrical Engineers. - London
Paese di pubblicazione: Regno Unito
Lingua: inglese
ISSN: 0268-6961
Titolo chiave: Software engineering journal
Titolo abbreviato: Softw. eng. j.
Numero volume della rivista5
Fascicolo della rivista6
DOI-
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:ER398)
  • Scopus (Codice:2-s2.0-0025510674)
Parole chiaveformal specification, specification languages
Link (URL, URI)http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=61745
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR-
Progetti Europei-
Allegati
  • An Abstract Execution Model for Basic LOTOS

Dati associati a vecchie tipologie
I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
Editore
  • IEE The Institution of Electrical Engineers, London (Regno Unito)