Report icon

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


Access Document


Files:

Authors


Taolue Chen More by this author
Chris Chilton More by this author
Bengt Jonsson More by this author
Marta Kwiatkowska More by this author
Publisher:
DCS
Publication date:
2012
URN:
uuid:067295be-7835-4462-a447-43570371b391
Local pid:
cs:6519

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP