An OCL Extension for Real-Time Constraints
An OCL Extension for Real-Time Constraints
复制标题
实时约束的 OCL 扩展
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
W. Müller
中科院分区：
文献类型：
--
作者：
S. Flake;W. Müller
引入了对象约束语言（OCL）以支持UML图的约束规范，并主要用于制定不变性和操作前和后条件。尽管在行为图中也应用了OCL，例如，作为状态过渡的后卫，目前不可能指定有关此类图的动态行为和时序属性的约束。本文讨论了OCL在UML Statechart图和UML Statechart图的动态行为的应用。提出了一个OCL扩展名，用于规格面向状态的时间限制约束。我们介绍了从图中提取状态配置的操作，并在状态和状态配置上定义其他谓词。我们OCL扩展的语义是通过使用时键的计算树逻辑（CTL）公式给出的。具有自动化导向车辆的灵活制造系统的一个示例证明了我们的扩展。
The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.This article discusses OCL's application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints. We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension.