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.

• Type: Conference
• Year: 2004
• Where: FORTE
• Authors: Tommaso Bolognesi
• Keywords: Elegant Specification Technique, FORTE 2004, FORTE 2007, Process Algebraic Specification, Specification Paradigm