{"type":"ScholarlyArticle","title":"Logical Specification of Real-Time Granular Systems in an Object Oriented Language","authors":[{"name":"Emanuele Ciapessoni","slug":"emanuele-ciapessoni","given":"Emanuele","family":"Ciapessoni","affiliation":""},{"name":"Edoardo Corsetti","slug":"edoardo-corsetti","given":"Edoardo","family":"Corsetti","affiliation":""},{"name":"Manlio Migliorati","slug":"manlio-migliorati","given":"Manlio","family":"Migliorati","affiliation":""},{"name":"Elena Ratto","slug":"elena-ratto","given":"Elena","family":"Ratto","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1993/121","pdf":"https://ijcai.org/proceedings/1993/0121.pdf","markdown":"https://ijcai.org/proceedings/1993/121.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/121","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":121,"pages":{"first":881,"last":887},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}