We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to solve a generalization of the frame problem while using observers. The constructs we proposed made the resulting specifications more readable, concise and maintainable. The semantics of our extension is given by reduction to standard Casl-Ltl, which is, in turn, reducible to standard Casl whenever temporal logic is not used. A small prototype of the pre-processor

DOCASL: an Observer-based CASL extension for Dynamic Specifications

M. DELL'AMICO;CERIOLI, MAURA
2006

Abstract

We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to solve a generalization of the frame problem while using observers. The constructs we proposed made the resulting specifications more readable, concise and maintainable. The semantics of our extension is given by reduction to standard Casl-Ltl, which is, in turn, reducible to standard Casl whenever temporal logic is not used. A small prototype of the pre-processor
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: http://hdl.handle.net/11567/238854
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact