This paper presents the declarative and operational semantics for the paradigm of temporal constrained objects (TCOB). This modeling paradigm is an extension of basic constrained objects where objects specify the structure of a system and constraints specify its behavior. Temporal constrained objects have been shown to provide a clear and high-level declarative specification of the time-dependent behavior of complex dynamic systems. Two key features of this paradigm are series variables and metric temporal operators. The main contribution of this paper lies in showing how we can define the semantics of temporal constrained objects in terms of a new paradigm called temporal constraint logic programs (TCLP), which extend temporal logic programs with constraint-solving. Compared with the several other logical languages incorporating constraints and temporal logic, the TCLP paradigm offers a clear and direct way of translating temporal constrained object programs using three simple temporal predicates: first p, next p, and prev p. The key approach is to map each class in a TCOB program to a predicate in the TCLP paradigm. Thus, the semantics of recursively defined classes is expressed in terms of the semantics of recursively defined predicates, a well-understood topic. Given the close connections between TCLP and CLP, we take advantage of the semantics of CLP for providing the declarative and operational semantics of TCLP and thereby also of temporal constrained objects.

本文介绍了时间约束对象（TCOB）范例的声明性和操作性语义。该建模范例是基本约束对象的扩展，其中对象指定系统的结构，约束指定系统的行为。时间约束对象已显示出提供了复杂动态系统随时间变化行为的清晰而高级的说明性规范。此范例的两个关键特征是序列变量和度量时间运算符。本文的主要贡献在于，展示了如何根据称为时间约束逻辑程序的新范式来定义时间约束对象的语义。（TCLP），它通过约束解决方案扩展了时间逻辑程序。与包含约束和时间逻辑的其他几种逻辑语言相比，TCLP范式提供了一种使用三个简单的时间谓词来翻译时间受限对象程序的清晰直接的方法：first p，next p和prev p。关键方法是将TCOB程序中的每个类映射到TCLP范例中的谓词。因此，递归定义的类的语义是根据递归定义的谓词（一个易于理解的主题）的语义来表达的。考虑到TCLP和CLP之间的紧密联系，我们利用CLP的语义来提供TCLP的声明性和操作性语义，从而提供时间受限对象。