TY - GEN
T1 - Run-time analysis of temporal constrained objects
AU - Kannimoola, Jinesh M.
AU - Jayaraman, Bharat
AU - Achuthan, Krishnashree
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2018.
PY - 2018
Y1 - 2018
N2 - The programming paradigm of constrained objects is a declarative variant of the object-oriented paradigm wherein objects define the structure of a system and declarative constraints (rather than imperative methods) define its behavior. Constrained objects have many uses in the engineering domain and computation in this paradigm is essentially constraint solving. This paper is concerned with an extension of constrained objects called temporal constrained objects, which are especially appropriate for modeling dynamical systems. The main extensions are series variables and metric temporal operators to declaratively specify time-varying behavior. The language TCOB exemplifies this paradigm and the execution of TCOB programs consists of constraint solving within a time-based simulation framework. One of the challenges in TCOB is identifying errors owing both to the complexity of programs and the underlying constraint solving methods. We address this problem by extracting a run-time trace of the execution of a TCOB program and providing an analysis of the cause of error. The run-time trace also serves as a basis, in many cases, for constructing a finite-state machine which in turn can be used for ‘model-checking’ properties of the system. The paper also presents abstraction techniques for dealing with simulations that result in large state spaces.
AB - The programming paradigm of constrained objects is a declarative variant of the object-oriented paradigm wherein objects define the structure of a system and declarative constraints (rather than imperative methods) define its behavior. Constrained objects have many uses in the engineering domain and computation in this paradigm is essentially constraint solving. This paper is concerned with an extension of constrained objects called temporal constrained objects, which are especially appropriate for modeling dynamical systems. The main extensions are series variables and metric temporal operators to declaratively specify time-varying behavior. The language TCOB exemplifies this paradigm and the execution of TCOB programs consists of constraint solving within a time-based simulation framework. One of the challenges in TCOB is identifying errors owing both to the complexity of programs and the underlying constraint solving methods. We address this problem by extracting a run-time trace of the execution of a TCOB program and providing an analysis of the cause of error. The run-time trace also serves as a basis, in many cases, for constructing a finite-state machine which in turn can be used for ‘model-checking’ properties of the system. The paper also presents abstraction techniques for dealing with simulations that result in large state spaces.
KW - Error analysis
KW - Finite state models
KW - Predicate abstraction
KW - Run-time verification
KW - Temporal constraints objects
KW - Time-based simulation
KW - Visualization
UR - https://www.scopus.com/pages/publications/85054852289
U2 - 10.1007/978-3-030-00801-7_2
DO - 10.1007/978-3-030-00801-7_2
M3 - Conference contribution
AN - SCOPUS:85054852289
SN - 9783030008000
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 20
EP - 36
BT - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, 2017, Revised Selected Papers
A2 - Seipel, Dietmar
A2 - Abreu, Salvador
A2 - Hanus, Michael
PB - Springer Verlag
T2 - International Conference on Declarative Programming, DECLARE 2017 Unifying 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, 31st Workshop on Logic Programming, WLP 2017 and 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017
Y2 - 19 September 2017 through 22 September 2017
ER -