Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Three logics for branching bisimulation
Journal of the ACM (JACM)
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Software architecture in practice
Software architecture in practice
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
Deadlock detection in distribution object systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
COTS Integration: Plug and Pray?
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
A Rule-based System for Web site Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A description language for composable components
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
Hi-index | 0.00 |
Nowadays component-based technologies offer straightforwardways of building applications out of existing components.Although these technologies might differ in terms of the level ofheterogeneity among components they support, e.g. CORBA orCOM versus J2EE, they all suffer the problem of dynamic integration.That is, once components are successfully integrated in auniform context how is it possible to check, control and assess thatthe dynamic behavior of the resulting application will not dead-lock?In this paper we propose an architectural, connector-basedapproach to this problem. We compose a system in such a waythat it is possible to check whether and why the system deadlocks.Depending on the kind of deadlock, we have a strategy that automaticallyoperates on the connector part of the system architecturein order to obtain a suitably equivalent version of the system whichis deadlock-free.