Communicating sequential processes
Communicating sequential processes
Parallel program design: a foundation
Parallel program design: a foundation
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
Coordination languages and their significance
Communications of the ACM
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Programming by multiset transformation
Communications of the ACM
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Signatures for a network protocol stack: a systems application of Standard ML
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Correctness and composition of software architectures
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
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Software architecture in practice
Software architecture in practice
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Proceedings of the 24th International Conference on Software Engineering
Using Explicit State to Describe Architechtures
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Towards a Periodic Table of Connectors
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Characterizing Coordination Architectures According to Their Non-Functional Execution Properties
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
Tool Support for Coordination-Based Software Evolution
TOOLS '01 Proceedings of the Technology of Object-Oriented Languages and Systems
A Compositional Approach for Constructing Connectors
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Parameterized programming and software architecture
ICSR '96 Proceedings of the 4th International Conference on Software Reuse
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Proceedings of the 26th International Conference on Software Engineering
Towards an architectural treatment of software security: a connector-centric approach
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Aspect-oriented connectors for coordination
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Science of Computer Programming
Exploiting connector knowledge to efficiently disseminate highly voluminous data sets
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
A modelling approach to service-oriented architecture
Enterprise Information Systems
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying temporal properties of community designs
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
On a parthood specification method for component software
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
A domain model for dynamic system reconfiguration
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Towards encapsulating data in component-based software systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Annotation processes for flexible management of contextual information
Journal of Visual Languages and Computing
Hi-index | 0.00 |
We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. A higher-order connector takes connectors as parameters and allows for services such as security protocols and fault-tolerance mechanisms to be superposed over the interactions that are handled by the connectors passed as actual arguments. The notion is first illustrated over CommUnity, a parallel program design language that we have been using for formalizing aspects of architectural design. A formal, algebraic semantics is then presented which is independent of any Architectural Description Language. Finally, we discuss how our results can impact software design methods and tools.