Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
Research directions in software composition
ACM Computing Surveys (CSUR)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Executable connectors: towards reusable design elements
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Transitioning a model-based software engineering architectural style to Ada 95
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Refinement of Pipe-and-Filter Architectures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Case Study in Architectural Modelling: The AEGIS System
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Analysing failure behaviours in component interaction
Journal of Systems and Software
Specifying distributed multi-agent systems in chemical reaction metaphor
Applied Intelligence
Engineering Processes - On An Approach To Realize A Dynamic Process Control
Journal of Integrated Design & Process Science
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Architecturing and configuring distributed application with Olan
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Hi-index | 0.00 |
As software systems become more complex the overall system structure --- or software architecture --- becomes a central design problem. An important step towards an engineering discipline of software is a formal basis for describing and analyzing these designs. In this paper we present a theory for one aspect of architectural description: the interactions between components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type checking in programming languages.