Kenichi Hori

  • Citations Per Year
Learn More
In distributed systems, resources like databases are abstracted to be objects in order to increase the interoperability. Objects are replicated to make a system more reliable and available. In object-based systems, methods are invoked in a nested manner, i.e. methodsnamed invokees are invoked in another method named invoker. How to invoke methods on(More)
Interleaving semantics is shown to provide an appropriate basis also for the modeling of real-time properties. Real-time scheduling of interleaved actions is explored, and the crucial properties of such schedulings are analyzed. The motivation of the work is twofold: to make real-time modeling practical already at early stages of specification and design,(More)
  • 1