Monitoring business constraints with the event calculus
Monitoring business constraints with the event calculus
复制标题
DOI：
10.1145/2542182.2542199
复制
发表时间：
2013-12
期刊：
影响因子：
--
通讯作者：
M. Montali;F. Maggi;F. Chesani;P. Mello;Wil M.P. van der Aalst
中科院分区：
文献类型：
--
作者：
M. Montali;F. Maggi;F. Chesani;P. Mello;Wil M.P. van der Aalst
今天，大型业务流程由较小的、自治的、互连的子系统组成，实现了模块化和鲁棒性。通常，这些大型流程包括软件组件以及人类参与者，它们面临高度动态的环境，并且它们的子系统彼此独立地更新和发展。由于它们的动态特性和复杂性，在设计时确保这些系统总是表现出期望/预期的行为可能是困难的（如果不是不可能的话）。这反过来又引发了对运行时验证和监测设施的需求。需要这些来检查实际行为是否符合预期的业务约束、内部/外部法规和期望的最佳实践。在这项工作中，我们提出了Mobucon EC，一种新的监测框架，跟踪事件流，并不断确定业务约束的状态。在Mobucon EC中，业务约束是使用声明性语言Declaration定义的。为了这项工作的目的，December已经适当地扩展，以支持定量的时间限制和非原子的持续性活动。基于逻辑的语言事件演算（EC）已被采用，提供一个正式的规范和语义的Deconstruct约束，而重量轻，逻辑编程为基础的EC工具支持动态推理的部分，不断发展的执行痕迹。为了证明我们的方法的适用性，我们描述了一个关于海上安全和安保的案例研究，并提供了一个综合基准来评估其可扩展性。
Today, large business processes are composed of smaller, autonomous, interconnected subsystems, achieving modularity and robustness. Quite often, these large processes comprise software components as well as human actors, they face highly dynamic environments and their subsystems are updated and evolve independently of each other. Due to their dynamic nature and complexity, it might be difficult, if not impossible, to ensure at design-time that such systems will always exhibit the desired/expected behaviors. This, in turn, triggers the need for runtime verification and monitoring facilities. These are needed to check whether the actual behavior complies with expected business constraints, internal/external regulations and desired best practices. In this work, we present Mobucon EC, a novel monitoring framework that tracks streams of events and continuously determines the state of business constraints. In Mobucon EC, business constraints are defined using the declarative language Declare. For the purpose of this work, Declare has been suitably extended to support quantitative time constraints and non-atomic, durative activities. The logic-based language Event Calculus (EC) has been adopted to provide a formal specification and semantics to Declare constraints, while a light-weight, logic programming-based EC tool supports dynamically reasoning about partial, evolving execution traces. To demonstrate the applicability of our approach, we describe a case study about maritime safety and security and provide a synthetic benchmark to evaluate its scalability.