Abstract State Processes (Articolo in rivista)

Type
Label
  • Abstract State Processes (Articolo in rivista) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bolognesi T., Boerger E. (2003)
    Abstract State Processes
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bolognesi T., Boerger E. (literal)
Pagina inizio
  • 22 (literal)
Pagina fine
  • 32 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 2589 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Abstract State Machines 2003 - Advances in Theory and Practice (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 22 - 32. Egon Boerger, Angelo Gargantini, Elvinia Riccobene (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer, 2003. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • Abstract State Processes (literal)
Abstract
  • Process-algebraic languages offer a rich set of structuring techniques and concurrency patterns which allow one to decompose complex systems into concurrently interacting simpler component processes. They abstract however almost entirely from a notion of system state. The method of Abstract State Machines (ASMs) offers powerful abstraction and refinement techniques for specifying system dynamics based upon a most general notion of structured state. The evolutions of the state are governed however by a fixed and typically unstructured program, called 'rule', which describes a set of abstract updates occurring simultaneously at each step (synchronous parallelism). We propose to incorporate into one machine concept the advantages offered by both structuring techniques, and introduce to this purpose Abstract State Processes (ASPs), i.e. evolving processes (extended ASM programs which are structured and evolve like process-algebraic behaviour expressions) operating on evolving abstract states the way traditional ASM rules do. (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