On the composition of compositional reasoning

Authors:
Felix C. Freiling;Thomas Santen
Affiliations:
Informatik 1, Universität Mannheim, Mannheim, Germany;Softwaretechnik, Technische Universität Berlin, Berlin, Germany
Venue:
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Year:
2004

Citing 12
Cited 0

Parallel program design: a foundation

Parallel program design: a foundation
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Composing specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conjoining specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal verification of reactive systems: safety

Temporal verification of reactive systems: safety
A General Theory of Composition for a Class of "Possibilistic" Properties

IEEE Transactions on Software Engineering
Handbook of software reliability engineering

Handbook of software reliability engineering
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Theorems about Composition

MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Possibilistic Definitions of Security - An Assembly Kit

CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Concerning predictability in dependable component-based systems: classification of quality attributes

Architecting Dependable Systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

We survey compositionality results for three classes of system properties: invariance/safety properties and liveness properties (based on work by Abadi and Lamport), and confidentiality properties (based on work by Mantel). We then analyse the difficulties which occur when trying to apply the compositionality results of these classes of properties simultaneously.