Experimenting a temporal logic for executable specifications in an engineering domain

Experimenting a temporal logic for executable specifications in an engineering domain

Author(s): L. Chittaro & A. Montanari
Abstract:
menting 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 ...

Pages: 18
Size: 1,779 kb
Paper DOI: 10.2495/AIENG930152

Download the Full Article

Price: US$ 0.00

This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon below.

Send this page to a colleague.

This paper can be found in the following book

Applications of Artificial Intelligence in Engineering VIII Vol 2 Applications and Techniques

Buy Book from
Witpress.com

Download the Full Article

This article is part of the WIT OpenView scheme and you can download the full text Adobe PDF article for FREE by clicking the 'Openview' icon to the right.