Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Research directions in software composition
ACM Computing Surveys (CSUR)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
IEEE Software
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
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
Component adaptation through flexible subservicing
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Coordination and adaptation techniques for software entities
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
An Adaptation-based Approach to Incrementally Build Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Journal of Systems and Software
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptor synthesis for real-time components
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Practical approaches for software adaptation: report on the 4th workshop WCAT at ECOOP 2007
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
Coordination and adaptation techniques: bridging the gap between design and implementation
ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader
Clint: a composition language interpreter (tool paper)
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
A framework for reasoning on component composition
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
Software Adaptation is a crucial issue for the development of a real market of components promoting software reuse. Recent work in this field has addressed several problems related to interface and behavioural mismatch. In this paper, we present our proposal for software adaptation, which builds on previous work overcoming some of its limitations, and makes a significant advance to solve pending issues. Our approach is based on the use of synchronous vectors and regular expressions for governing adaptation rules, and is supported by dedicated algorithms and tools.