François Taïani, Mario Paludetto, and Jérome Delatour

Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear Logic

Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg (Germany), 2-4 May, pp. 298-305, ISBN 0-7695-1089-2, IEEE Computer Society, 2001 (8p.)

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.

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work.Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

IEEE Copyright Notice: © 2001-2020 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

complete document


doi: (publisher's link)


[Maison.png]Back to Home

Last generated on 5 Feb 2020     Valid HTML 4.0!