Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communications of the ACM - Adaptive middleware
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
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
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Deadlock-free software architectures for COM/DCOM applications
Journal of Systems and Software - Special issue on: Component-based software engineering
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Software—Practice & Experience
A logical basis for the specification of reconfigurable component-based systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
Ad hoc composition of user tasks in pervasive computing environments
SC'05 Proceedings of the 4th international conference on Software Composition
Synchronizing behavioural mismatch in software composition
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed behavioural adaptation for the automatic composition of semantic services
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
Hi-index | 0.00 |
Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. This is crucial to foster reuse. So far, adaptation techniques have proceeded by computing global adaptors for closed systems made up of a fixed set of components. This is not satisfactory when the systems may evolve, with components entering or leaving it at any time, e.g., for pervasive computing. To enable adaptation on such systems, we propose tool-equipped adaptation techniques for the computation of open systems adaptors. Our proposal also support incremental adaptation to avoid the computation of global adaptors.