Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Taxonomy of Distributed Event-Based Programming Systems
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Adding Implicit Invocation to Languages: Three Approaches
Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
Formalizing Design Spaces: Implicit Invocation Mechanisms
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
The many faces of publish/subscribe
ACM Computing Surveys (CSUR)
Evaluating and improving the automatic analysis of implicit invocation systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Categories for Software Engineering
Categories for Software Engineering
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
Context-awareness in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Science of Computer Programming
Consistent reconfiguration for publish/subscribe architecture styles
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |
We develop a formal approach to event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the CommUnity approach to architectural modelling with “implicit invocation”, or “publish/subscribe” interactions. This is a first step towards a formal integration of architectural styles.