Publication Type:

Journal Article

Source:

Computer Languages, Systems and Structures, Elsevier Ltd, Volume 49, p.82-100 (2017)

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

Abstract:

<p>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</p>

Notes:

cited By 0

Cite this Research Publication

J. M. Kannimoola, Jayaraman, B., Tambay, P., Achuthan, K., and Jinesh, M. K., “Temporal constrained objects: Application and implementation”, Computer Languages, Systems and Structures, vol. 49, pp. 82-100, 2017.

207
PROGRAMS
OFFERED
5
AMRITA
CAMPUSES
15
CONSTITUENT
SCHOOLS
A
GRADE BY
NAAC, MHRD
9th
RANK(INDIA):
NIRF 2017
150+
INTERNATIONAL
PARTNERS
  • Amrita on Social Media

  • Contact us

    Amrita Vishwa Vidyapeetham
    Amritanagar, Coimbatore - 641 112
    Tamilnadu, India