Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Model Driven QoS Analyses of Composed Web Services
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
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
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Contract-based discovery of Web services modulo simple orchestrators
Theoretical Computer Science
QoS-enabled and self-adaptive connectors for Web Services composition and coordination
Computer Languages, Systems and Structures
Mediating connector patterns for components interoperability
ECSA'10 Proceedings of the 4th European conference on Software architecture
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Yet another meta-model to specify non-functional properties
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Identifying Optimal Composite Services by Decomposing the Service Composition Problem
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Service Adaptation at Message Level
SERVICES '11 Proceedings of the 2011 IEEE World Congress on Services
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
Reducing Adapter Synthesis to Controller Synthesis
IEEE Transactions on Services Computing
Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture
WICSA-ECSA '12 Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
Today's networked environment is characterized by a wide variety of heterogeneous systems that dynamically decide to interoperate to achieve some goal. In this context, systems meet and know each other at runtime when they want to start to interoperate. Given the huge heterogeneity and dynamism characterizing the described environment, automated solutions appear to be the only way to achieve interoperability timely and with the needed level of flexibility. We already proposed an approach to the automated synthesis of connectors (or mediators) to reconcile protocols diversities and to allow systems interoperability. In this paper, building upon our previous work, we describe a solution to the automated synthesis of connectors: (a) that takes into account performance concerns during the synthesis process and (b) whose synthesized connectors are (self-)adaptive with respect to runtime performance requirements changes. By reasoning on systems' specification, the approach first produces a mediator that satisfies the functional requirements. Then it acts on the produced mediator to let it satisfy performance issues and to make it (self-)adaptive.