Programming in Prolog
The Z notation: a reference manual
The Z notation: a reference manual
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Design components: toward software composition at the design level
Proceedings of the 20th international conference on Software engineering
A Pattern-Based Approach to Structural Design Composition
COMPSAC '99 23rd International Computer Software and Applications Conference
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Experience Report: Correcting System Failure in a COTS Information System
ICSM '98 Proceedings of the International Conference on Software Maintenance
Validating Component Compositions in Software System Generators
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Using automatable proof obligations for component-based design checking
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Type-theoretic design patterns
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Hi-index | 0.00 |
The design of a large component-based software system typically involves the composition of different components. The lack of rigorous reasoning about the correctness of composition is an important barrier towards the promise of “plug and play”. In this paper, we describe a rigorous logic framework to reason about component compositions. We focus our analysis on design components, such as design patterns, which have been used by a large number of applications. We also propose methods to verify structural and behavioral composition correctness.