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_43744-doc_14603.pdf
accesso aperto
Descrizione: Composing event constraints in state-based specification
Tipologia:
Versione Editoriale (PDF)
Dimensione
253.38 kB
Formato
Adobe PDF
|
253.38 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
