A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification

Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing . (Full text available)

PDF
Download (298kB)
[img]
Preview
Postscript
Download (421kB)
[img]
Preview

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):

Downloads

Downloads per month over past year