Dcom: Microsoft Distributed Component Object Model with Cdrom
Dcom: Microsoft Distributed Component Object Model with Cdrom
Java Programming with CORBA, Third Edition
Java Programming with CORBA, Third Edition
Java RMI
On Proving Large Distributed Systems: Petri Net Modules Verification
PaCT '97 Proceedings of the 4th International Conference on Parallel Computing Technologies
A Compositional Approach to Monitoring Distributed Systems
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Implementing Distributed Systems with Java and CORBA
Implementing Distributed Systems with Java and CORBA
Automated Online Monitoring of Distributed Applications through External Monitors
IEEE Transactions on Dependable and Secure Computing
Distributed Systems: Principles and Paradigms (2nd Edition)
Distributed Systems: Principles and Paradigms (2nd Edition)
Soa in Practice: The Art of Distributed System Design
Soa in Practice: The Art of Distributed System Design
RSP '07 Proceedings of the 18th IEEE/IFIP International Workshop on Rapid System Prototyping
Creating and Validating Embedded Assertion Statecharts
IEEE Distributed Systems Online
Behavioral Specification of Real-Time Requirements
APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
AspectJ in Action: Enterprise AOP with Spring Applications
AspectJ in Action: Enterprise AOP with Spring Applications
FiLM: A Runtime Monitoring Tool for Distributed Systems
SSIRI '09 Proceedings of the 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement
Petri Nets: Fundamental Models, Verification and Applications
Petri Nets: Fundamental Models, Verification and Applications
Runtime verification of interactions: from MSCs to aspects
RV'07 Proceedings of the 7th international conference on Runtime verification
Interaction-based Runtime Verification for Systems of Systems Integration
Journal of Logic and Computation
Specification and verification of reliability in dispatching multicast messages
The Journal of Supercomputing
The Journal of Supercomputing
Hi-index | 0.00 |
This study presents a method to construct formal rules used to run-time verify message passing between clients in distributed systems. Rules construction is achieved in four steps: (1) Visual specification of expected behavior of the sender, receiver, and network in sending and receiving a message, (2) Extraction of properties of sender, receiver, and network from the visual specification, (3) specification of constraints that should govern message passing in distributed systems, and (4) construction of verifier rules from the properties and the constraints. The rules are used to verify actual sender, receiver, and network behavior. Expected behavior of the client (process) is one that to be and the actual one is the behavior should be verified. The rules were applied to verify the behavior of client and servers that communicated with each other in order to compute Fibonacci numbers in parallel and some violations were discovered.