Report
A Compositional Specification Theory for Component Behaviours
- Abstract:
-
We propose a compositional specification theory for reasoning about components that interact by synchronisation of input and output (I/O) actions, in which the specification of a component constrains the temporal ordering of interactions with the environment. Such a theory is motivated by the need to support composability of components, in addition to modelling environmental assumptions, and reasoning about run-time behaviour. Models can be specified operationally by means of I/O labelled tra...
Expand abstract
Actions
Authors
Bibliographic Details
- Publisher:
- DCS
- Publication date:
- 2012-01-01
Item Description
- UUID:
-
uuid:067295be-7835-4462-a447-43570371b391
- Local pid:
- cs:6519
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2012
If you are the owner of this record, you can report an update to it here: Report update to this record