Author(s): L. Chittaro & A. Montanari
menting a temporal logic for
executable specifications in an engineering
Chittaro & A.
Dipartimento di Matematica e Informatica,
Universitd di Udine, Via Zanon, 6, 33100 Udine,
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
The paper discusses in detail the problems encountered in executing
the calculus with Prolog.
This paper reports the results of an experiment with a logical specifica-
tion language on an engineering ...
Size: 1,779 kb
Paper DOI: 10.2495/AIENG930152
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 below.
this page to a colleague.
This paper can be found in the following bookApplications of Artificial Intelligence in Engineering VIII Vol 2 Applications and TechniquesBuy