WIT Press


Experimenting A Temporal Logic For Executable Specifications In An Engineering Domain

Price

Free (open access)

Paper DOI

10.2495/AIENG930152

Volume

2

Pages

18

Published

1993

Size

1,779 kb

Author(s)

L. Chittaro & A. Montanari

Abstract

Experimenting a temporal logic for executable specifications in an engineering domain L. Chittaro & A. Montanari Dipartimento di Matematica e Informatica, Universitd di Udine, Via Zanon, 6, 33100 Udine, Italy ABSTRACT This paper reports the results of an experiment with a logical specification language on an engineering case study. The proposed language extends the Event Calculus formalism with primitives for modeling context-dependency and discrete processes. In particular, it introduces a number of process constructors that provide a way of packaging related events into individ- ual, conceptual chunks. It has been implemented on a Sun SPARC2 with Quintus Prolog and used to write executable specifications of a gas heater system. The paper discusses in detail the problems encountered in executing the calculus with Prolog. 1 INTRODUCTION This paper reports the results of an experiment with a logical specifica- tion language on an engineering

Keywords