---
title: "Logical Specification of Real-Time Granular Systems in an Object Oriented Language"
authors:
  - "Emanuele Ciapessoni"
  - "Edoardo Corsetti"
  - "Manlio Migliorati"
  - "Elena Ratto"
doi: ""
url: "https://ijcai.org/proceedings/1993/121"
pdf: "https://ijcai.org/proceedings/1993/0121.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "881-887"
track: "Logic Programming"
keywords:
---

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

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, 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.