Where did I go wrong? - Explaining Errors in Business Process Models
Where did I go wrong? - Explaining Errors in Business Process Models
复制标题
我哪里做错了？
DOI：
10.1007/978-3-319-10172-9_18
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Dirk Fahland
中科院分区：
文献类型：
--
作者：
Niels Lohmann;Dirk Fahland
业务流程建模仍然是一项具有挑战性的任务--尤其是因为模型中添加了越来越多的方面，例如数据生命周期、安全约束或遵从性规则。同时，正式的方法允许在早期建模阶段检测错误。通常使用从初始到错误状态的路径来解释检测到的错误。这些路径可能会变得无法管理，并使理解和修复错误非常耗时。本文解决了这个问题，并提出了一种新的错误解释：在原始模型中，只报告和突出显示导致错误的决策，而不是列出导致错误的路径上的操作。此外，我们利用并发性来创建一个紧凑的构件来解释错误。
Business process modeling is still a challenging task — especially since more and more aspects are added to the models, such as data lifecycles, security constraints, or compliance rules. At the same time, formal methods allow for a detection of errors in the early modeling phase. Detected errors are usually explained with a path from the initial to the error state. These paths can grow unmanageably and make the understanding and fixing of errors very time consuming. This paper addresses this issue and proposes a novel explanation of errors: Instead of listing the actions on the path to the error, only the decisions that lead to it are reported and highlighted in the original model. Furthermore, we exploit concurrency to create a compact artifact to explain errors.
登录
查看更多内容
Petri Net API Petri Net 相关函数的集合
DOI：
--
发表时间：
2010
期刊：
Algorithmen und Werkzeuge für Petrinetze
影响因子：
--
作者：
Niels Lohmann;Stephan Mennicke;Christian Sura
通讯作者：
Christian Sura
DOI：
--
发表时间：
2011
期刊：
International Conference on Business Process Management
影响因子：
--
作者：
Mauro Gambini;M. Rosa;S. Migliorini;A. T. Hofstede
通讯作者：
A. T. Hofstede
VIATRA - 用于 UML 模型的形式验证和确认的可视化自动转换
DOI：
--
发表时间：
2002
期刊：
Proceedings 17th IEEE International Conference on Automated Software Engineering,
影响因子：
--
作者：
G. Csertán;G. Huszerl;I. Majzik;Zsigmond Pap;A. Pataricza;Dániel Varró
通讯作者：
Dániel Varró
基于 UML 的系统设计早期阶段的可靠性分析
影响因子：
2.2
作者：
A. Bondavalli;M. D. Cin;D. Latella;I. Majzik;A. Pataricza;G. Savoia
通讯作者：
G. Savoia
通过变更驱动的模型转换对仿真轨迹进行反向注释
DOI：
--
发表时间：
2010
期刊：
IEEE International Conference on Software Engineering and Formal Methods
影响因子：
--
作者：
Ábel Hegedüs;Gábor Bergmann;I. Ráth;Dániel Varró
通讯作者：
Dániel Varró