Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Making Components Contract Aware
Computer
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Using Partial Orders to Improve Automatic Verification Methods
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Assumption Generation for Software Component Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Contract-Based ReusableWorst-Case Execution Time Estimate
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Evaluating recovery aware components for grid reliability
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Symbolic and parametric model checking of discrete-time markov chains
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |
Contract models underlying architecture-level verification methods must suit a range of different accuracy vs analytical complexity tradeoffs depending on domain. For example, trustworthiness in safety-critical systems is enabled by representational simplicity leading to comprehensible proofs while real-time systems require precise characterisation of execution time. A family of mutually-compatible parameterised contract models enabling such tradeoffs is needed, supporting reasoning about consistency and conformance (replaceability) which is bidirectional (from requirements to provisions and vice versa) and parametric (context-sensitive). This paper proposes a framework for such a family. The framework extends a previous formalisation of parameterised contracts. It provides more general notions of conformance, bidirectional reasoning and parameterisation, suitable for compositional architectural analyses of software products and product lines, for which software architects do not only need checking but scope for restricting or enriching service and interface contracts in predictable and compositional ways. The family of mechanisms presented here covers a range of levels of expressiveness, spanning the established four levels of component contracts, and is worked out in detail with examples for two common existing representations---tables and finite automata.