Communicating sequential processes
Communicating sequential processes
Communications of the ACM
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
Architectural mismatch or why it's hard to build systems out of existing parts
Proceedings of the 17th international conference on Software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Uncovering architectural mismatch in component behavior
Science of Computer Programming
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Acme: architectural description of component-based systems
Foundations of component-based systems
Symbolic Model Checking
MPI: The Complete Reference
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Creating Architectures with Building Blocks
IEEE Software
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Reasoning about Message Passing in Finite State Environments
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Software Connectors and their Role in Component Deployment
Proceedings of the IFIP TC6 / WG6.1 Third International Working Conference on New Developments in Distributed Applications and Interoperable Systems
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Correct Composition of Distributed Systems
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
A Compositional Approach for Constructing Connectors
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Modelling, Specifying, and Verifying Message Passing Systems
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Evaluating and improving the automatic analysis of implicit invocation systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
ACM SIGPLAN Notices
Modeling Behavior in Compositions of Software Architectural Primitives
Proceedings of the 19th IEEE international conference on Automated software engineering
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation
SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
CAmkES: A component model for secure microkernel-based embedded systems
Journal of Systems and Software
Hi-index | 0.00 |
In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the semantics of these interactions is a key part of the design process. It is often difficult, however, to choose the appropriate interaction semantics due to the wide range of alternatives and the complexity of the system behavior affected by those choices. Techniques such as finite-state verification can be used to evaluate the impact of these design choices on the overall system behavior.This paper presents the Plug-and-Play approach that allows designers to experiment with alternative design choices of component interactions in a plug-and-play manner. With this approach, connectors representing specific interaction semantics are composed from a library of predefined, reusable building blocks. In addition, standard interfaces for components are defined that reduce the impact of interaction changes on the components' computations. This approach facilitates design-time verification by improving the reusability of component models and by providing reusable formal models for the connector building blocks, thereby reducing model-construction time for finite-state verification.