I. Satoh and M. Tokoro, Time and Asynchrony in Interactions among Distributed Real-Time Objects, Proceedings of European Conference on Object-Oriented Programming (ECOOP'95), LNCS vol.952, pp.331350, Springer, 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....object societies. The issue of asynchronous communication has been studied in several other fields. Most approaches express asynchronous communication by generating a process that serves as a message buffer. The buffer receives the messages from which they can be collected by other processes [14, 5, 4, 11]. From our point of view such buffer objects are not necessary and over and above that they are too close to implementation issues. Since we aim at developing a model theory for asynchronous communication we decided to represent communication structures as abstract and directly as possible. Thus, ....

I. Satoh and M. Tokoro. Time and Asynchrony in Interactions among Distributed Real-Time Objects. In W. Olthoff, editor, ECOOP'95 -- ObjectOriented Programming, Proceedings of the 9th European Conference, Aarhus, Denmark, August 1995, pages 329--350. Springer, LNCS 952, 1995.

....it isn t desirable or feasible for the caller to block until the callee is finished. If the callee is expected to carry out a lengthy operation, the caller may wish to carry on with its own internal processing in the meantime. In this case, the caller makes an asynchronous call to the callee [Satoh 95] In most programming languages, this is done by creating a separate child thread on which to make the call. As soon as the call is made, the main thread can continue. An interaction may also be asynchronous on the callee side. The callee will then create a child thread to carry out the received ....

I. Satoh and M.Tokoro, Time and Asynchrony in Interactions among Distributed Real-Time Objects," in Proceedings ECOOP'95, pp. 331-350. 1995.

....idea we have recently begun the implementation of a Notification Service for TAO, were we will research the feasibility of building reusable components for the Notification Service, CORBA Event Service and TAO s RT Event Service. Although there has been research on formalisms for realtime objects [46], there is relatively little published research on the design and performance of real time OO systems. Our approach is based on the OMG CORBA distributed object computing standard. In this paper, we focus on the design and performance of various strategies for implementing QoS in real time ORBs ....

I. Satoh and M. Tokoro, "Time and Asynchrony in Interactions among Distributed Real-Time Objects," in Proceedings of 9th European Conference on Object-Oriented Programming, Aug. 1995.

....we have recently begun the implementation of a Notification Service for TAO, were we will research the feasibility of building reusable components for the Notification Service, CORBA Events Service and TAO s RT Events Service. Although there has been research on formalisms for real time objects [46], there is relatively little published research on the design and performance of real time OO systems. Our approach is based on the OMG CORBA distributed object computing standard. In this paper, we focus on the design and performance of various strategies for implementing QoS in real time ORBs ....

I. Satoh and M. Tokoro, "Time and Asynchrony in Interactions among Distributed Real-Time Objects," in Proceedings of 9th European Conference on Object-Oriented Programming, Aug. 1995.

....to this effort have done excellent work in addressing many of the shortcomings of the CORBA Event Service [22] However, the OMG RFP documents do not address the implementation issues related to the Notification Service. Although there has been research on formalisms for realtime objects [23], relatively little published research on the design and performance of real time OO systems exists. Our approach is based on emerging distributed object computing standards like OMG CORBA ORBs we focus on the design and performance of various strategies for implementing QoS in real time ORBs ....

I. Satoh and M. Tokoro, "Time and Asynchrony in Interactions among Distributed Real-Time Objects," in Proceedings of 9th European Conference on Object-Oriented Programming, Aug. 1995.

....to this effort have done some excellent work in addressing many of the shortcomings of the CORBA Event Service [16] However, the OMG RFP documents do not address the implementation issues related to the Notification Service. Although there has been research on formalisms for real time objects [17], relatively little published research on the design and performance of real time OO systems exists. Our approach is based on emerging distributed object computing standards (i.e. CORBA) we focus on the design and performance of various strategies for implementing QoS in real time ORBs [3] ....

I. Satoh and M. Tokoro, "Time and Asynchrony in Interactions among Distributed Real-Time Objects," in Proceedings of 9th European Conference on Object-Oriented Programming, Aug. 1995.

No context found.

I. Satoh and M. Tokoro, Time and Asynchrony in Interactions among Distributed Real-Time Objects, Proceedings of European Conference on Object-Oriented Programming (ECOOP'95), LNCS vol.952, pp.331350, Springer, 1995.

....system presented in this paper is originally inspired by the concept of mobile ambients studied in [3] but does not intend to implement the concept itself. We are interested in formalizing a new theoretical framework for our mobile agent model based on process calculus approaches as studied in [9, 11]. Although, security is essential in mobile agent computing, many security features are left open for our future work, such as authentication, and authorization of agents. Also, the current implementation lacks resource management. We are interested in introducing a mechanism for resource ....

I. Satoh and M. Tokoro., Time and Asynchrony in Interactions among Distributed Objects, European Conference on Object Oriented Programming, LNCS 952, pp. 331--350, Springer-Verlag, 1995. 2 We leave the details of the extensible and adaptable runtime system for hierarchical mobile agents to another paper. 7

....of message transmission, including communication delay. For e#ciency reasons, communications among distributed processes are often based on asynchronous forms instead of synchronous ones. However, asynchronous 1 This chapter is a modified version of an article that has been published earlier in [71]. 32 CHAPTER 3. LOCALITY IN COMMUNICATION 33 communication often results in another non deterministic property. Therefore, delay and asynchrony in communication create serious di#culties in the design and development of distributed systems. To construct correct and e#cient programs for ....

I. Satoh and M. Tokoro. Time and Asynchrony in Interactions among Distributed Real-Time Objects. In Proceedings of European Conference on Object-Oriented Programming (ECOOP'95), Lecture Notes in Computer Science, pages 331--350. Springer-Verlag, August 1995. BIBLIOGRAPHY 92

....compilers. Since the central notion of the rules is based on the optimization order relation, the correctness and e#ectiveness of optimized programs from the rules can be ensured in any context. 3. Specification Language This language is formulated based on time extended process calculi studied in [20, 23]. This section defines the syntax and the semantics of the calculus. Syntax Definition 3.1 Let T be the set of time values ranged over by t,t 1 ,t 2 , It has the following operation: t1 t2 = t2 t1 ,t 1 (t2 t3 ) t1 t2 ) t3 , t 0=t =0 t, t1 t = t2 t then t1 = t2 ,t 1 # t2 ....

....for example [3, 20, 28] Most of the calculi have been equipped with time sensitive equivalence relations which equate two processes only when they are behaviorally and temporally equivalent. But only a few of them provide a method to compare temporal costs of parallel systems, for example [7, 15, 23]. Moller and Tofts in [15] and Jenner and Vogler in [7] proposed preorder relations over parallel processes with respect to their relative speeds. However, unlike ours, the semantics of the relations assumes to permit an executable communication to be suspended for arbitrary periods of time, and ....

[Article contains additional citation context not shown here]

Satoh, I., and Tokoro, M., Time and Asynchrony in Interactions among Distributed Real-Time Objects, Proceedings of ECOOP'95, LNCS 952, pp.331-350, Springer-Verlag, 1995.

....system presented in this paper is originally inspired by the concept of mobile ambients studied in [3] but does not intend to implement the concept itself. We are interested in formalizing a new theoretical framework for our mobile agent model based on process calculus approaches as studied in [9, 11]. Although, security is essential in mobile agent computing, many security features are left open for our future work, such as authentication, and authorization of agents. ....

I. Satoh and M. Tokoro., Time and Asynchrony in Interactions among Distributed Objects, European Conference on Object Oriented Programming, LNCS 952, pp. 331--350, Springer-Verlag, 1995.

.... the whole semantics of the calculus, we can have a possibility to define another speed sensitive order relation which can be preserved in a parallel composition and which shows a process can always execute faster than another; but we leave the details of the semantics and the relation to [19]. Example 4.1 Suppose an airline reservation system in a distributed system. The system consists of two distributed processes: an air company process at location c , written as Company 1 , and a passenger process at location p , written as Passenger 1 . We denote the location of their ....

Satoh, I., and Tokoro, M., Time and Asynchrony in Interactions among Distributed Real-Time Objects, Keio CS Technical Report, 1994.

....message transmission, including communication delay. For efficiency reasons, communications among distributed processes are often based on asynchronous forms instead of synchronous ones. However, asynchronous 1 This chapter is a modified version of an article that has been published earlier in [71]. CHAPTER 3. LOCALITY IN COMMUNICATION 33 communication often results in another non deterministic property. Therefore, delay and asynchrony in communication create serious difficulties in the design and development of distributed systems. To construct correct and efficient programs for ....

I. Satoh and M. Tokoro. Time and Asynchrony in Interactions among Distributed Real-Time Objects. In Proceedings of European Conference on Object-Oriented Programming (ECOOP'95), Lecture Notes in Computer Science, pages 331--350. Springer-Verlag, August 1995. BIBLIOGRAPHY 92

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC