In the purpose of analyzing and checking time constraints in business processes, we propose to model and simulate them in the “discrete event system specification” (DEVS) formalism. The proposed model will contain atomic DEVS models representing the activities, supervised by, other DEVS control models, and based on one to one mapping. Hence, guaranteeing a close concordance with the temporal requirements. Thus, the simulation of the model results in outputs about the successful execution regarding to the temporal constraints soundness. Therefore, the modeler will be able to predict unsuitable temporal behavior. Thus, the model responds to the lack of modeling tools that do not offer enough formal specification of time constraints at the earlier phases of design as in, the standard “business process management notation.” The proposed model handles different type of time constraints in business process such as intra‐activities, inter‐activities, and inter‐process time constraints. The proposed model is implemented into JAVADEVS using DEVS‐Suite platform.

中文翻译：

---

用于分析和验证时间受限业务流程的离散事件模型

为了分析和检查业务流程中的时间约束，我们建议在“离散事件系统规范”（DEVS）形式主义中对其进行建模和模拟。提议的模型将包含代表活动的原子 DEVS 模型，由其他 DEVS 控制模型监督，并基于一对一映射。因此，保证与时间要求密切一致。因此，模型的模拟导致关于时间约束健全性的成功执行的输出。因此，建模者将能够预测不合适的时间行为。因此，该模型响应了建模工具的缺乏，这些工具在设计的早期阶段没有提供足够正式的时间约束规范，如标准的“业务流程管理符号”。” 所提出的模型处理业务流程中不同类型的时间限制，例如内部活动、交互活动和流程间时间限制。所提出的模型使用 DEVS-Suite 平台实现到 JAVADEVS 中。