Communicating sequential processes
Communicating sequential processes
Module interconnection languages
Journal of Systems and Software
Design and validation of computer protocols
Design and validation of computer protocols
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
JSP and JSD: The Jackson Approach to Software Development
JSP and JSD: The Jackson Approach to Software Development
Formal Connectors
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Research directions in software architecture
ACM Computing Surveys (CSUR)
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
On-line change mechanisms: the software architectural level
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
A complementary approach to requirements engineering—software architecture orientation
ACM SIGSOFT Software Engineering Notes
Engineering component-based net-centric systems for embedded applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Extending Design Environments to Software Architecture Design
Automated Software Engineering
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Industrial software architecture with Gestalt
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
COMPASS: Tool-Supported Adaptation of Interactions
Proceedings of the 19th IEEE international conference on Automated software engineering
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Component-based engineering of distributed embedded control software
Component-Based Software Development for Embedded Systems
A method for modeling of KPIs enabling validation of their properties
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
Hi-index | 0.00 |
Large software systems require decompositional mechanisms in order to make them tractable. Traditionally, MILs and IDLs have played this role by providing notations based on definition/use bindings. In this paper we argue that current MIL/IDLs based on definition/use have some serious drawbacks. A significant problem is that they fail to distinguish between "implementation" and "interaction" relationships between modules. We propose an alternative model in which components interact along welldefined lines of communication -- or connectors. Connectors are defined as protocols that capture the expected patterns of communication between modules. We show how this leads to a scheme that is much more expressive for architectural relationships, that allows the formal definition of module interaction, and that supports its own form of automated checks and formal reasoning.