Specifying concurrent languages and systems with &Dgr;-GRAMMARS
Research directions in concurrent object-oriented programming
Specification and Analysis of System Architecture Using Rapide
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)
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
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
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
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
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Using Events to Build Distributed Applications
SDNE '95 Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments
Efficient Content-Based Event Dispatching in the Presence of Topological Reconfiguration
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing 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
Taxonomy of Distributed Event-Based Programming Systems
The Computer Journal
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
Towards dynamic reconfiguration of distributed publish-subscribe middleware
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Reconfiguring self-stabilizing publish/subscribe systems
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
A formal approach to event-based architectures
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |
This paper addresses the dynamic aspect of Publish/Subscribe architectures. We propose an integrated formal approach for the specification and verification of reconfigurations over the topology of Publish/Subscribe architecture styles. We integrate a functional approach and a structural approach based on graph grammars. The purpose is to express dynamism while offering a simple specification which can be easy to read and to understand. We use the specification language Z to describe the constraints made on the architecture style and we describe the dynamic of architecture via guarded graph-rewriting rules whose guards mainly describe the pre- and post-conditions ensuring in this way the preservation of stylistic constraints. To ensure that the system is evolving correctly, we elaborate a verification process which validates each rule, whose semantic is described in Z notation, using the ZEVES theorem prover.