Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (Contributo in atti di convegno)

Type
Label
  • Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (Contributo in atti di convegno) (literal)
Anno
  • 1990-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/SPDP.1990.143644 (literal)
Alternative label
  • A. Valenzano; R. Sisto; L. Ciminiera (1990)
    Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines
    in 2nd IEEE Symposium on Parallel and Distributed Processing, Dallas, 9-13 Dicembre 1990
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • A. Valenzano; R. Sisto; L. Ciminiera (literal)
Pagina inizio
  • 780 (literal)
Pagina fine
  • 785 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=143644 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 6 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • R. Sisto, L. Ciminiera: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Nuimerale dei Segnali, CENS-CNR, Torino, Italy (literal)
Titolo
  • Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-8186-2087-0 (literal)
Abstract
  • The paper proposes an abstract execution model for LOTOS specifications, which is based on a number of cooperating extended finite state machines, applies to whatever LOTOS specification, with the only exclusion of those containing non well guarded recursion, and is suitable for a distributed implementation. Every machine represents a process, which does not necessarily correspond to one of the process definitions the specification is composed of. The machine instances (that is to say processes) can access variables, which correspond to LOTOS value identifiers, and can dynamically create new machine instances, thus enabling any infinite behaviour to be modeled. Synchronisation among the machines is achieved by a distributed algorithm which implements the multi-way rendezvous of LOTOS. The paper shows how the model is derived from LOTOS specifications and how it is executed (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it