Logics of Modal Terms for Systems Specification

Jose Fiadeiro; Amilcar Sernadas

doi:10.1093/logcom/1.2.187

Logics of Modal Terms for Systems Specification

Jose Fiadeiro
, Amilcar Sernadas

Research output: Contribution to journal › Article › peer-review

13 Citations (Scopus)

Abstract

The use of modal qualification on terms is advocated for a more intuitive account of the description of the effects of events on objects such as program variables or database attributes, and also for an easier verification of the intended temporal integrity constraints. We develop two logics of modal terms focusing on positional and temporal qualification, and show by means of an example how they can be used to support the description and prescription of actions, as well as to reason about the properties of the specified systems.

Original language	English
Pages (from-to)	187-227
Number of pages	41
Journal	Journal of Logic and Computation
Volume	1
Issue number	2
DOIs	https://doi.org/10.1093/logcom/1.2.187
Publication status	Published - 1 Dec 1990

Access to Document

10.1093/logcom/1.2.187

http://www.scopus.com/inward/record.url?scp=0042904049&partnerID=8YFLogxK

Cite this

@article{23dd5d79fd534ecd9056947b1211e701,

title = "Logics of Modal Terms for Systems Specification",

abstract = "The use of modal qualification on terms is advocated for a more intuitive account of the description of the effects of events on objects such as program variables or database attributes, and also for an easier verification of the intended temporal integrity constraints. We develop two logics of modal terms focusing on positional and temporal qualification, and show by means of an example how they can be used to support the description and prescription of actions, as well as to reason about the properties of the specified systems.",

author = "Jose Fiadeiro and Amilcar Sernadas",

year = "1990",

month = dec,

day = "1",

doi = "10.1093/logcom/1.2.187",

language = "English",

volume = "1",

pages = "187--227",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "2",

}

TY - JOUR

T1 - Logics of Modal Terms for Systems Specification

AU - Fiadeiro, Jose

AU - Sernadas, Amilcar

PY - 1990/12/1

Y1 - 1990/12/1

N2 - The use of modal qualification on terms is advocated for a more intuitive account of the description of the effects of events on objects such as program variables or database attributes, and also for an easier verification of the intended temporal integrity constraints. We develop two logics of modal terms focusing on positional and temporal qualification, and show by means of an example how they can be used to support the description and prescription of actions, as well as to reason about the properties of the specified systems.

AB - The use of modal qualification on terms is advocated for a more intuitive account of the description of the effects of events on objects such as program variables or database attributes, and also for an easier verification of the intended temporal integrity constraints. We develop two logics of modal terms focusing on positional and temporal qualification, and show by means of an example how they can be used to support the description and prescription of actions, as well as to reason about the properties of the specified systems.

U2 - 10.1093/logcom/1.2.187

DO - 10.1093/logcom/1.2.187

M3 - Article

SN - 0955-792X

VL - 1

SP - 187

EP - 227

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 2

ER -

Logics of Modal Terms for Systems Specification

Abstract

Access to Document

Fingerprint

Cite this