论文标题
计算机程序分解和动态/行为建模
Computer Program Decomposition and Dynamic/Behavioral Modeling
论文作者
论文摘要
分解，静态地将程序分为多个单元，是实现并行性和完善程序的常见编程技术。由于程序分析的局限性和顺序程序经常采用固有的顺序算法，因此顺序程序将顺序程序分解为组件是乏味的。本文通过提出图解方法来分解顺序程序，从而为这一研究领域做出了贡献。该方法涉及以称为Thinging Machine（TM）模型的概念模型来可视化程序。基于TM图的模型建立了三个级别表示（1）静态描述； （2）动态表示； （3）行为模型。根据事件的流，分解是在建模的最后阶段进行的。该方法与形式分解规格形成鲜明对比，并与C ++程序的典型分解相比。结果表明，将TM用于分解程序的可行性。
Decomposition, statically dividing a program into multiple units, is a common programming technique for realizing parallelism and refining programs. The decomposition of a sequential program into components is tedious, due to the limitations of program analysis and because sequential programs frequently employ inherently sequential algorithms. This paper contributes to this area of study by proposing a diagrammatic methodology to decompose a sequential program. The methodology involves visualizing the program in terms of a conceptual model called the thinging machine (TM) model. The TM diagram-based model establishes three levels of representation (1) a static description; (2) a dynamic representation; and (3) a behavioral model. The decomposition is performed in the last phase of modeling, according to the streams of events. This method is contrasted with formal decomposition specifications and compared with the typical decomposition of a C++ program. The results point to the viability of using TM for decomposing programs.
