loading...
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L
Magdeburg, Germany May 02-May 04
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2001.922853Fourth International Symposium on Obj ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.


Suggestions