Predicates for state changes vs. processes for event patterns (Articolo in rivista)

Type
Label
  • Predicates for state changes vs. processes for event patterns (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bolognesi T. (2004)
    Predicates for state changes vs. processes for event patterns
    in Studia informatica universalis. Hors série
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bolognesi T. (literal)
Pagina inizio
  • 85 (literal)
Pagina fine
  • 124 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Invited talk at OPODIS 2002, then revised and published in Studia Informatica Universalis. The other invited speaker has been Leslie Lamport. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://studia.complexica.net/index.php?option=com_content&view=article&id=67%3Aarticle-5&catid=36%3Anumber-1&Itemid=72&lang=en (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 3 n.1 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Special Issue - Selected papers from OPODIS'02 - (ISBN: 2-912590-27-2). Editions SUGER, 2004. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 39 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 1 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI (literal)
Titolo
  • Predicates for state changes vs. processes for event patterns (literal)
Abstract
  • The two informal 'mental landscapes' that provide the intuitive substratum for state- oriented and event-oriented formal specifications are discussed, and abstractly characterised as net- works of constraints. The structuring facilities offered by the two approaches are contrasted. A technique is introduced for expanding an event-oriented specification consisting of a fixed pattern of interacting processes into a state-oriented specification formed by a complex 'action predicate' manipulating a set of state variables. Although by this transformation the event and process con- cepts can be absorbed into the state-based conceptual framework, we discuss some good reasons for regarding these concepts as primitive expressive tools, and for structuring specifications around them. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it