Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing .
|
Download (291Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
| Postscript | ||
|
Download (411Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
|
Abstract
Simple state-based models use events corresponding to sets of prestate, poststate pairs of system states, and solve the frame problem --- i.e. knowing what else has changed, given that an event has occurred --- by assuming non-concurrent events that uniquely determine the poststate. However, such events are `overspecified' and thus not reusable in other models. This paper describes a more flexible approach to state-based concurrency and the frame problem, in which events --- loosely specified in semantic terms --- may occur simultaneously and can be reused in different contexts without `promotion'.
| Item Type: | Article |
|---|---|
| Additional information: | (Submitted to journal, currently being refereed.) |
| Uncontrolled keywords: | State-based formal specification, non-interleaving concurrency, the frame problem |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 12 Sep 2009 19:01 |
| Last Modified: | 06 Sep 2011 04:09 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/21965 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
