Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L
Magdeburg, Germany
May 02-May 04
ISBN: 0-7695-1089-2
Abstract: Object and component technology play an ever-increasing role in the development of real-time distributed applications. Those systems are characterized by the fact that the temporal compatibility of the different objects that are brought together is a condition for success. In this paper, we propose an approach to validate the interoperability of object interfaces with respect to their temporal properties. This approach is based on a recent execution time calculation technique dedicated to concurrent environments. In this article we propose a simpler computation framework for this technique, and we show how it can quite advantageously be adapted to distributed real time OO systems.
Citation:
Francois Taïani, Mario Paludetto, Jérome Delatour, "Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L," isorc, pp.0298, Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, 2001