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

Computing and Communications

Text available via DOI:

https://doi.org/10.1109/ISORC.2001.922853
Final published version

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. / Taïani, Francois; Paludetto, M.; Delatour, J.
Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on. Washington, DC, USA: IEEE Computer Society, 2001. p. 298-305.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Taïani, F, Paludetto, M & Delatour, J 2001, Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. in Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on. IEEE Computer Society, Washington, DC, USA, pp. 298-305. https://doi.org/10.1109/ISORC.2001.922853

APA

Taïani, F., Paludetto, M., & Delatour, J. (2001). Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. In Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on (pp. 298-305). IEEE Computer Society. https://doi.org/10.1109/ISORC.2001.922853

Vancouver

Taïani F, Paludetto M, Delatour J. Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. In Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on. Washington, DC, USA: IEEE Computer Society. 2001. p. 298-305 doi: 10.1109/ISORC.2001.922853

Author

Taïani, Francois ; Paludetto, M. ; Delatour, J. / Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on. Washington, DC, USA : IEEE Computer Society, 2001. pp. 298-305

Bibtex

@inproceedings{245f2a7d36c6417fb2d4a1e6e71f1fc1,

title = "Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L",

abstract = "Object and component technologies play an ever-increasing role in the development of real-time distributed applications. These 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, based on Petri nets and J.Y. Girard's (1987, 1990, 1995) linear logic, and we show how it can quite advantageously be adapted to distributed real-time object-oriented systems.",

author = "Francois Ta{\"i}ani and M. Paludetto and J. Delatour",

year = "2001",

doi = "10.1109/ISORC.2001.922853",

language = "English",

isbn = "0-7695-1089-2",

pages = "298--305",

booktitle = "Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on",

publisher = "IEEE Computer Society",

}

RIS

TY - GEN

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

AU - Taïani, Francois

AU - Paludetto, M.

AU - Delatour, J.

PY - 2001

Y1 - 2001

N2 - Object and component technologies play an ever-increasing role in the development of real-time distributed applications. These 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, based on Petri nets and J.Y. Girard's (1987, 1990, 1995) linear logic, and we show how it can quite advantageously be adapted to distributed real-time object-oriented systems.

AB - Object and component technologies play an ever-increasing role in the development of real-time distributed applications. These 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, based on Petri nets and J.Y. Girard's (1987, 1990, 1995) linear logic, and we show how it can quite advantageously be adapted to distributed real-time object-oriented systems.

U2 - 10.1109/ISORC.2001.922853

DO - 10.1109/ISORC.2001.922853

M3 - Conference contribution/Paper

SN - 0-7695-1089-2

SP - 298

EP - 305

BT - Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on

PB - IEEE Computer Society

CY - Washington, DC, USA

ER -

Research

Links

Text available via DOI: