Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
The role of software architecture in constraining adaptation incomponent-based middleware platforms
IFIP/ACM International Conference on Distributed systems platforms
Evaluating and Optimizing Thread Pool Strategies for Real-Time CORBA
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Research Advances in Middleware for Distributed Systems
Proceedings of the IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art
Composition of nets via a communication medium
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Contributions to middleware architectures to prototype distribution infrastructures
RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Automatic symmetry detection in well-formed nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Schizophrenic middleware support for fault tolerance
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
From the prototype to the final embedded system using the Ocarina AADL tool suite
ACM Transactions on Embedded Computing Systems (TECS)
dmcG: a distributed symbolic model checker based on GreatSPN
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Optimized colored nets unfolding
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Computing a hierarchical static order for decision diagram-based representation from p/t nets
Transactions on Petri Nets and Other Models of Concurrency V
Hi-index | 0.00 |
Distribution middleware is often integrated as a COTS, providing distribution facilities for critical, embedded or large-scale applications. So far, typical middleware does not come with a complete analysis of their behavioral properties. In this paper, we present our work on middleware modeling and the verification of its behavioral properties; the study is applied to our middleware architecture: PolyORB. Then we present the tools and techniques deployed to actually verify the behavioral properties of our model: Petri nets, temporal logic and advanced algorithms to reduce the size of the state space. Finally, we detail some properties we verify and assess our methodology.