静态模型中的因果性作为系统行为事件时序的初始约束
软件工程
2020-05-07 v1
摘要
本文分析了概念模型中的因果性概念，主要应用于软件工程。概念系统建模可视为一个三级过程：从构建静态结构描述开始，进而开发动态模型以识别用于规定事件时序的事件。在此语境下，模型涉及基于不同事物种类及其基本相互关系的本体论对现实一部分的表示。关系由其参与实体定义。本文关注事件间的关系，特别是建模中事件间的因果关系。我们考察多个研究领域的因果性以理解其在建模中的作用。问题在于，据许多研究者认为，因果如此紧密地纠缠于误导性关联中，以致难以定义且笼罩于神秘、争议与谨慎之中。我们通过若干示例研究并澄清因果性概念，在新概念建模方法论中利用作为时间事物/机器的事件定义。结论中，我们主张系统静态描述中因果关系的用途在于约束系统行为，从而排除某些可能的事件时序。
引用
@article{arxiv.2005.02961,
title = {Causality in Static Models as an Initial Constraint on the Chronology of Events in System Behavior},
author = {Sabah Al-Fedaghi},
journal= {arXiv preprint arXiv:2005.02961},
year = {2020}
}
备注
12 pages, 25 figures