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.
Composing event constraints in state-based specification
Bolognesi T
2004
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_183995-doc_29236.pdf
solo utenti autorizzati
Descrizione: Composing event constraints in state-based specification
Tipologia:
Versione Editoriale (PDF)
Dimensione
201.24 kB
Formato
Adobe PDF
|
201.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
