Distributed System Contract Monitoring

Details Distributed System Contract Monitoring Distributed System Contract Monitoring

2011-09-13

arxiv.org/abs/1109.2655v1

EPTCS 68, 2011, pp. 23-37

Computer Science

Logic in Computer Science

In Proceedings FLACOS 2011, arXiv:1109.2399

Scientific paper

10.4204/EPTCS.68.4

The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.

Affiliated with

Also associated with

No associations

Rating

Distributed System Contract Monitoring does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Distributed System Contract Monitoring, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distributed System Contract Monitoring will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-332968