ML Anthology

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

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto
IJCAI 1993 pp. 881-888
/ijcai/1993/ciapessoni1993ijcai-logical/

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. 1.

PDF Semantic Scholar

Cite

Text

Ciapessoni et al. "Logical Specification of Real-Time Granular Systems in an Object Oriented Language." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[Ciapessoni et al. "Logical Specification of Real-Time Granular Systems in an Object Oriented Language." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/ciapessoni1993ijcai-logical/)

BibTeX

@inproceedings{ciapessoni1993ijcai-logical,
  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 = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {881-888},
  url       = {https://mlanthology.org/ijcai/1993/ciapessoni1993ijcai-logical/}
}