Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Conceptual Basis for Mediation Services
IEEE Expert: Intelligent Systems and Their Applications
Correction to 'Protocol Conversion'
IEEE Transactions on Software Engineering
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Ontology mapping: the state of the art
The Knowledge Engineering Review
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches
GPC-WORKSHOPS '08 Proceedings of the 2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
LearnLib: a framework for extrapolating behavioral models
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on FMICS 05
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Automatically Generating Test Cases for Specification Mining
IEEE Transactions on Software Engineering
A compositional specification theory for component behaviours
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Formal methods for protocol conversion
IEEE Journal on Selected Areas in Communications
Learning extended FSA from software: An empirical assessment
Journal of Systems and Software
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 |
Ubiquitous and pervasive computing promotes the creation of an environment where Networked Systems (NSs) eternally provide connectivity and services without requiring explicit awareness of the underlying communications and computing technologies. In this context, achieving interoperability among heterogeneous NSs represents an important issue. In order to mediate the NSs interaction protocol and solve possible mismatches, connectors are often built. However, connector development is a never-ending and error-prone task and prevents the eternality of NSs. For this reason, in the literature, many approaches propose the automatic synthesis of connectors. However, solving the connector synthesis problem in general is hard and, when possible, it results in a monolithic connector hence preventing its evolution. In this paper, we define a method for the automatic synthesis of modular connectors, each of them expressed as the composition of independent mediators. A modular connector, as synthesized by our method, supports connector evolution and performs correct mediation.