Communicating sequential processes
Communicating sequential processes
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
Architectural issues in software reuse: it's not just the functionality, it's the packaging
SSR '95 Proceedings of the 1995 Symposium on Software reusability
A framework for network protocol software
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Software Fault Tolerance
Communication and Concurrency
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Robustness Testing and Hardening of CORBA ORB Implementations
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Compositional Approach for Constructing Connectors
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Building Adaptive Systems Using Ensemble
Building Adaptive Systems Using Ensemble
Exploiting the internet inter-ORB protocol interface to provide CORBA with fault tolerance
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
Detours: binary interception of Win32 functions
WINSYM'99 Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3
A component integration meta-framework using smart adapters
ISICT '04 Proceedings of the 2004 international symposium on Information and communication technologies
Towards a unified formal model for supporting mechanisms of dynamic component update
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
DISCOA: architectural adaptations for security and QoS
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Generating connectors for heterogeneous deployment
SEM '05 Proceedings of the 5th international workshop on Software engineering and middleware
Retrofitting Autonomic Capabilities onto Legacy Systems
Cluster Computing
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
WSC '04 Proceedings of the 36th conference on Winter simulation
TOWARDS SEMANTIC INTEGRATION OF COMPONENTS USING A SERVICE-BASED ARCHITECTURE
Journal of Integrated Design & Process Science
An Adaptation-based Approach to Incrementally Build Component Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Service-Oriented Blueprint for COTS Integration: the Hidden Part of the Iceberg
IWICSS '07 Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques
Contracts and Middleware for Safe SOA Applications
SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
The algebra of connectors: structuring interaction in BIP
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Framework composition conformance via refinement checking
Proceedings of the 2008 ACM symposium on Applied computing
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Injecting software architectural constraints into legacy scientific applications
SECSE '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Computational Science and Engineering
Intuitive Bioinformatics for Genomics Applications: Omega-Brigid Workflow Framework
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Cost-performance optimization of application- and context-aware distributed infrastructures
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Causal semantics for the algebra of connectors
Formal Methods in System Design
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance-driven stepwise refinement of component-based architectures
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
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
A software reuse approach for developing Grab-and-Glue models
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Prism-WM based connector interaction for middleware systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
A feature-oriented alternative to implementing reliability connector wrappers
Architecting Dependable Systems III
Architectural building blocks for plug-and-play system design
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Foundations and tools for end-user architecting
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Reusing design experiences to materialize software architectures into object-oriented designs
Information Sciences: an International Journal
Hi-index | 0.00 |
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independently developed and potentially mismatched parts, wrappers may be used to overcome mismatch as well as to remedy extra-functional defciencies.Unfortunately the current practice of wrapper creation and use is ad hoc, resulting in artifacts that are often hard to reuse or compose, and whose impact is diffcult to analyze. What is needed is a more principled basis for creating, understanding, and applying wrappers. Focusing on the class of connector wrappers (wrappers that address issues related to communication and compatibility), we present a means of characterizing connector wrappers as protocol transformations, modularizing them, and reasoning about their properties. Examples are drawn from commonly practiced dependability enhancing techniques.