Logical Specification of Real-Time Granular Systems in an Object Oriented Language

Ciapessoni, Emanuele; Corsetti, Edoardo; Migliorati, Manlio; Ratto, Elena

Logical Specification of Real-Time Granular Systems in an Object Oriented Language

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 881-887.

Abstract

This paper presents the semantics of TRIO* , an object oriented language devoted to specify realtime systems referring to different time granularities. Time granularity allows to describe the behavior and the properties of a system and its environment with respect to different time scales. TRIO* semantics is expressed by translation into a logical framework supporting the notion of time granularity. Such a semantics provides the executability of object oriented specifications.

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, and Elena Ratto. 1993. Logical Specification of Real-Time Granular Systems in an Object Oriented Language. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 881–887. https://ijcai.org/proceedings/1993/121

@inproceedings{ijcai1993p121,
  title     = {Logical Specification of Real-Time Granular Systems in an Object Oriented Language},
  author    = {Ciapessoni, Emanuele and Corsetti, Edoardo and Migliorati, Manlio and Ratto, Elena},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {881--887},
  year      = {1993},
  note      = {Logic Programming},
  url       = {https://ijcai.org/proceedings/1993/121},
}

TY  - CPAPER
TI  - Logical Specification of Real-Time Granular Systems in an Object Oriented Language
AU  - Ciapessoni, Emanuele
AU  - Corsetti, Edoardo
AU  - Migliorati, Manlio
AU  - Ratto, Elena
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 881
EP  - 887
UR  - https://ijcai.org/proceedings/1993/121
ER  -