Lancaster EPrints

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

Taïani, Francois and Paludetto, M. and 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. ISBN 0-7695-1089-2

Full text not available from this repository.

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.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57667
Deposited By: ep_importer_pure
Deposited On: 16 Oct 2012 09:34
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:28
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57667

Actions (login required)

View Item