The Z notation: a reference manual
The Z notation: a reference manual
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Acme: architectural description of component-based systems
Foundations of component-based systems
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Using Architectural Style as a Basis for System Self-repair
WICSA 3 Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance
Hermes: A Distributed Event-Based Middleware Architecture
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Taxonomy of Distributed Event-Based Programming Systems
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Specifying and Verifying Reconfigurable Software Architectures
PDSE '00 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
The many faces of publish/subscribe
ACM Computing Surveys (CSUR)
Minimizing the reconfiguration overhead in content-based publish-subscribe
Proceedings of the 2004 ACM symposium on Applied computing
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
Reconfiguring Publish/Subscribe Overlay Topologies
ICDCSW '06 Proceedings of the 26th IEEE International ConferenceWorkshops on Distributed Computing Systems
ICDCSW '06 Proceedings of the 26th IEEE International ConferenceWorkshops on Distributed Computing Systems
Communication Channel Management for Maintenance of Strong Overlay Connectivity
ISCC '06 Proceedings of the 11th IEEE Symposium on Computers and Communications
Ontological Semantics for Distributing Contextual Knowledge in Highly Distributed Autonomic Systems
Journal of Network and Systems Management
Distributed Event-Based Systems: An Emerging Community
IEEE Distributed Systems Online
A Taxonomy of QoS-Aware, Adaptive Event-Dissemination Middleware
IEEE Internet Computing
An UML-based approach for validation of software architecture descriptions
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Reconfiguring self-stabilizing publish/subscribe systems
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Towards service awareness and autonomic features in a SIP-Enabled network
WAC'05 Proceedings of the Second international IFIP conference on Autonomic Communication
Service discovery and provision for autonomic mobile computing
WAC'05 Proceedings of the Second international IFIP conference on Autonomic Communication
Model-based management of ubiquitous and autonomic M2M service architecture
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Hi-index | 0.00 |
We present P/S-CoM, a formal approach supporting the correct modeling of Publish/Subscribe architectural styles and safe reconfiguration of dynamic architectures for event-based communication. We elaborate a set of patterns and we define the corresponding composition rules to build correct by design Publish/Subscribe styles. The defined patterns and rules respect the principle of information dissemination guaranteeing that the produced information reaches all the subscribed consumers. The patterns are modeled as graphs and the semantics of each pattern and each rule is specified formally in Z notations. We implement these specifications under the Z-Eves theorem prover which we use to prove specification consistency. The Z specification of the designed architectural style is also built by composition by applying the composition rules coded in Z. We consider the interconnection topology between event dispatchers as well as the subscription model using elementary refinements of the style specification. Moreover, we model the reconfiguration of Publish/Subscribe architecture via guarded graph-rewriting rules whose body specifies the structural constraints and whose guards define the pre- and post-conditions ensuring in this way the preservation of stylistic constraints. Similarly, we interpret reconfiguration rules in Z notations, and we implement these rules under Z-Eves for proving that all reconfigurations are style preserving. This results in a unified formal approach which handles both the static and the dynamic aspects of Publish/Subscribe software architectures.