论文标题
了解安全性限制
Understanding Safety Constraints Coalgebraically
论文作者
论文摘要
安全限制对关键任务系统的发展至关重要。为此类型系统开发软件的实践需要可靠的方法来识别和分析项目伪像。本文提出了一种了解一种系统的行为限制的煤层方法。提出的方法的优点是，它提供了一个框架，用于提供用于指定行为约束的特定域特异性语言的抽象语义模型。
Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifying and analysing project artefacts. This paper proposes a coalgebraic approach to understanding behavioural constraints for systems of a kind. The advantage of the proposed approach is that it gives a framework for providing abstract semantic models of the domain-specific languages designed for specifying behavioural constraints.
