Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safeware: system safety and computers
Safeware: system safety and computers
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Towards a taxonomy of architecture integration strategies
ISAW '98 Proceedings of the third international workshop on Software architecture
Framework integration problems, causes, solutions
Communications of the ACM
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Specification, implementation, and deployment of components
Communications of the ACM
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
Distributed and Parallel Databases
Structured Component Composition Frameworks for Embedded System Design
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
A formal approach to software architecture
A formal approach to software architecture
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Compositional transformation of software connectors
Compositional transformation of software connectors
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Patterns of conflict among software components
Journal of Systems and Software
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Framework composition conformance via refinement checking
Proceedings of the 2008 ACM symposium on Applied computing
How to implement software connectors? a reusable, abstract and adaptable connector
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Architecting Dependable Systems III
Evolving a safe system design iteratively
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Hi-index | 0.00 |
In component-based development, software components are taken as units of composition. Nevertheless, to achieve the widely disseminated status of components being plugged together as simple 'Lego Pieces', the integration of components must be carefully designed, systematised and verified; only this can ensure reliable architectures. In this work, we propose some conformance notions to predict the precise nature of some forms of composition, considering coordination patterns used in the integration. These notions are formalised in terms of the denotational semantics of the process algebra CSP, and assist the designer in common activities during integration, such as the substitution of component specifications by implementations, contract adaptations, and system extensions. To support mechanical verifications using FDR (a model-checker for CSP), we derive test characterisations from the denotational definitions of conformance. We illustrate the application of these notions through a systematic composition strategy of software frameworks, and we mechanically verify the preservation of behavioural component properties in these compositions. Moreover, we characterise the well-formedness of a coordination pattern used in this strategy at the design stage, before components are assembled.