Paper Info
Title
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic
Abstract
In this paper, we propose a language LOTOS/T, which is an enhancementof Basic LOTOS. LOTOS/T enables us to describe time constraints in formulasof lst-order predicate logic. The user only describes the logical relation of time atwhich each action must be executed. Use of equality (=) and inequality (<) asthe time constraints enables us to describe intervals, timeout and delay easily. Wedefine the syntax and semantics of LOTOS/T formally. The semantic model ofLOTOS/T is the Labelled...
Year
Venue
Keywords
1993
FORTE
non-adjacent action,lotos enhancement,order logic,time constraint,semantic model,mathematical logic,equivalence,first order logic
Field
DocType
ISBN
Temporal logic of actions,Computer science,Description logic,Theoretical computer science,Concurrent constraint logic programming,First-order logic,Constraint logic programming,Time constraint,Dynamic logic (modal logic)
Conference
0-444-81773-5
Citations 
PageRank 
References 
5
0.47
10
Authors
3
Name
Order
Citations
PageRank
Akio Nakata110610.07
Teruo Higashino21086119.60
kenichi taniguchi325635.56