Back close

Temporal constrained objects: Application and implementation

Publication Type : Journal Article

Thematic Areas : Amrita Center for Cybersecurity Systems and Networks

Publisher : Elsevier

Source : Computer Languages, Systems and Structures, Elsevier Ltd, Volume 49, p.82-100 (2017). DOI: 10.1016/j.cl.2017.03.002

Url : https://www.scopus.com/inward/record.uri?eid=2-s2.0-85018583483&doi=10.1016%2fj.cl.2017.03.002&partnerID=40&md5=a45cb02451d7e00a14d0c9d764773c3a

Keywords : Compositional modeling, Constrained objects, Constraints, Dynamical systems, Implementation, Objects, Partial evaluation, performance, PROLOG (programming language), Series variables, Specifications, Temporal operators

Campus : Amritapuri

School : Department of Computer Science and Engineering, School of Engineering

Center : AI (Artificial Intelligence) and Distributed Systems, Cyber Security

Department : Computer Science, cyber Security

Year : 2017

Abstract : We present a novel programming concept called temporal constrained objects for modeling of dynamic systems. It is an extension of the paradigm of constrained objects which provides a principled approach to modeling complex engineering systems based upon two main principles: a compositional specification of the structure of the system, using objects, and a declarative specification of its behavior, using constraints. A novel feature of temporal constrained objects is the series variable, the sequence of whose values is determined by constraints that include metric temporal operators. The emergent behavior of a dynamic system is determined through a process of time-based simulation and constraint satisfaction at each step. Each class definition for a temporal constrained object is translated into a Prolog rule with constraint-solving capability. In order to improve the performance for long simulations, a partial evaluation technique is adopted for optimized code generation. This paper describes the syntax of a language called TCOB along with several examples, our objective being to demonstrate the benefits of the programming paradigm. TCOB has been implemented and all examples presented in this paper were tested using this implementation. An overview of the translation as well as partial execution and its performance improvements are presented in the paper. © 2017 Elsevier Ltd

Cite this Research Publication : J.M. Kannimoola, B. Jayaraman, P. Tambay, K. Achuthan, “Temporal constrained objects: Application and implementation”, Computer Languages, Systems and Structures, vol. 49, pp. 82-100, 2017. DOI: 10.1016/j.cl.2017.03.002

Admissions Apply Now