Parallel program design: a foundation
Parallel program design: a foundation
Basic category theory for computer scientists
Basic category theory for computer scientists
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Mobile UNITY: reasoning and specification in mobile computing
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)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Towards a General Location Service for Mobile Environments
SDNE '96 Proceedings of the 3rd Workshop on Services in Distributed and Networked Environments (SDNE '96)
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Performance evaluation of mobility-based software architectures
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 24th International Conference on Software Engineering
Architectural primitives for distribution and mobility
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Architectural primitives for distribution and mobility
ACM SIGSOFT Software Engineering Notes
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
A Compositional Approach to Connector Construction
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
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)
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)
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Object-Oriented Connector-Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Context-based adaptation of component behavioural interfaces
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Typed category theory-based micro-view emergency knowledge representation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |
Software Architecture has put forward the concept of connector to express complex relationships between system components, thus facilitating the separation of coordination from computation. This separation is especially important in mobile computing due to the dynamic nature of the interactions among participating processes. In this paper, we present connector patterns, inspired in Mobile UNITY, that describe three basic kinds of transient interactions: action inhibition, action synchronization, and message passing. The connectors are given in COMMUNITY, a UNITY-like program design language which has a semantics in Category Theory. We show how the categorical framework can be used for applying the proposed connectors to specific components and how the resulting architecture can be visualized by a diagram showing the components and the connectors.