Time and Asynchrony in Interactions among Distributed Real-Time Objects

10 years 1 months ago
Time and Asynchrony in Interactions among Distributed Real-Time Objects
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus to describe distributed objects using local clocks. However, it is appropriately based on synchronous communication and thus cannot sufficiently model asynchronous communication in distributed systems. In this paper we propose a new process calculus with the ability to express asynchronous message passing, communication delay, and delayed processing. It can describe temporal and behavioral properties of distributed real-time objects. Based on the new calculus, we develop a verification method by means of algebraic order relations. The relations are speed-sensitive and can decide whether two distributed real-time objects are behaviorally equivalent and whether one of them can perform its behaviors faster than the other. They offer a suitable method to prove the correctness and the reusability of realtime ob...
Ichiro Satoh, Mario Tokoro
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Authors Ichiro Satoh, Mario Tokoro
Comments (0)