复杂系统的图示形式化：轨道车系统事件化的多种途径

本文处于软件工程与系统工程这两个紧密交织学科的交叉地带。本文的一个主导主题是对大型系统的整体性概念化，以及对软件系统的深层关切。在软件开发生命周期中，将需求转化为设计制品进而转化为实现（例如编码）并验证结果方面仍存在挑战。从我们的视角看，软件工程需要一种朝向统一建模取向的集成范式。现有许多方法论、语言和工具用于促进系统开发过程。本文是对项目开发的一次探索。为聚焦材料，我们集中于 Harel 新颖（且经典）的开发环境，其通过开发轨道车系统集成了基于场景的工程对象取向与状态图。该轨道车系统被用作将需求转化为设计制品进而转化为实现并验证结果的详细样例。该项目被重新构建为单一的集成建模工作，以与场景及状态图开发进行对比。该方案的结果是通过实验与对比软件项目的各种开发方法而获得的丰富理解。