loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Francois Taïani, LAAS-CNRS
Mario Paludetto, LAAS-CNRS
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
Usage of this product signifies your acceptance of the Terms of Use.