Communicating sequential processes
Communicating sequential processes
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mediators in the architecture of future information systems
Readings in agents
Software architecture classification for estimating the cost of COTS integration
Proceedings of the 21st international conference on Software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Acme: architectural description of component-based systems
Foundations of component-based systems
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Types and programming languages
Types and programming languages
The impact of component architectures on interoperability
Journal of Systems and Software
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
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
Classifying Interoperability Conflicts
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Guest Editors' Introduction: Model-Driven Development
IEEE Software
Platform independent model transformation based on triple
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
| Hi-index | 0.00 |
Today, incompatibilities in component specifications make their composition hard to handle in practical terms. Incompatibilities can be classified into three conflict categories: type conflicts, behavioral conflicts, and property conflicts. This paper describes a framework for the identification of compositional conflicts in component-based systems that analyses conflicts of all three categories. Furthermore, the conflict analysis framework can be integrated into the software development process and handles component transformations between different abstraction levels.