We define TRIO+, an Object Oriented logic language for modular system specification. TRIO+ is based on TRIO, a first order modal language that is well suited to the specification of embedded and real-time systems, and provides an effective support to a variety of validation activities, like specification testing, simulation, and property proof. Unfortunately, TRIO lacks the possibility to construct specifications of complex systems in a systematic and modular way. TRIO+ combines the use of constructs for hierarchical system decomposition, and object oriented concepts like inheritance and genericity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user's needs.

An object-oriented logic language for modular system specification

MORZENTI, ANGELO CARLO;SAN PIETRO, PIERLUIGI
1991-01-01

Abstract

We define TRIO+, an Object Oriented logic language for modular system specification. TRIO+ is based on TRIO, a first order modal language that is well suited to the specification of embedded and real-time systems, and provides an effective support to a variety of validation activities, like specification testing, simulation, and property proof. Unfortunately, TRIO lacks the possibility to construct specifications of complex systems in a systematic and modular way. TRIO+ combines the use of constructs for hierarchical system decomposition, and object oriented concepts like inheritance and genericity, with an expressive and intuitive graphic notation, yielding a specification language that is formal and rigorous, and still flexible, readable, general, and easily adaptable to the user's needs.
Lecture Notes in Computer ScienceECOOP'91 European Conference on Object-Oriented Programming
3540542620
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/666582
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact