Document - Composing event constraints in state-based specification

2004

Journal article Open Access

Composing event constraints in state-based specification

Bolognesi T.

Formal Specification process algebra Event-based specification State-based specification

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.

Source: Lecture notes in computer science 3235 (2004): 13–32. doi:10.1007/978-3-540-30232-2_2

Publisher: Springer, Berlin , Germania

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:43744,
	title = {Composing event constraints in state-based specification},
	author = {Bolognesi T.},
	publisher = {Springer, Berlin , Germania},
	doi = {10.1007/978-3-540-30232-2_2},
	journal = {Lecture notes in computer science},
	volume = {3235},
	pages = {13–32},
	year = {2004}
}