Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Abstract State Processes

Tommaso BolognesiContact Information and Egon BörgerContact Information

(7)  CNR, ISTI, Pisa
(8)  Dipartimento di Informatica, Università di Pisa, I-56125 Pisa, Italy
Abstract
Process-algebraic languages offer a rich set of structuring techniques and concurrencypa tterns which allow one to decompose complex systems into concurrently interacting simpler component processes. Theyab stract 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 bya 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 byb oth 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 wayt raditional ASM rules do.

Contact Information Tommaso Bolognesi
Email: bolognesi@ei.pi.cnr.it

Contact Information Egon Börger
Email: boerger@di.unipi.it
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)