Coordination languages and their significance
Communications of the ACM
Component-oriented software technology
Object-oriented software composition
Algebra of programming
COBRA fundamentals and programming
COBRA fundamentals and programming
Specification of abstract dynamic-data types: a temporal logic approach
Theoretical Computer Science - Special issue: algebraic development techniques
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
A formal model for componentware
Foundations of component-based systems
Components as processes: an exercise in coalgebraic modeling
Fourth International Conference on Formal methods for open object-based distributed systems IV
Professional Dcom Programming
Applying Enterprise Javabeans: Component-Based Development for the J2ee Platform
Applying Enterprise Javabeans: Component-Based Development for the J2ee Platform
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Elements of stream calculus (an extensive exercise in coinduction)
Elements of stream calculus (an extensive exercise in coinduction)
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A coinductive calculus of streams
Mathematical Structures in Computer Science
A refinement calculus for software components and architectures
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
A perspective on service orchestration
Science of Computer Programming
Architectural Prototyping: From CCS to .Net
Electronic Notes in Theoretical Computer Science (ENTCS)
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
A coordination model for interactive components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
On refinement of software architectures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
Orchestrating software components, often from independent suppliers, became a central concern in software construction. Actually, as relevant as components themselves, are the ways in which they can be put together to interact and cooperate in order to achieve some common goal. Such is the role of the so-called software connectors: external coordination devices which ensure the flow of data and enforce synchronization constraints within a component’s network. This paper introduces a new model for software connectors, based on relations extended in time, which aims to provide support for light inter-component dependency and effective external control.