Sciweavers

Share
FORTE
2004

Composing Event Constraints in State-Based Specification

9 years 2 months ago
Composing Event Constraints in State-Based Specification
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints on event occurrences and event parameters. This paper investigates the possibility to export this specification paradigm to a state-based formalism, and discusses some deriving advantages in terms of verification.
Tommaso Bolognesi
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Tommaso Bolognesi
Comments (0)
books