Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra
Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra
复制标题
利用性能评估过程代数探索网络模型的自动生成
DOI：
10.1109/access.2018.2862390
复制
发表时间：
2018
期刊：
影响因子：
3.9
通讯作者：
Ge Ying-En
中科院分区：
文献类型：
--
作者：
Ding Jie;Wang Rui;Chen Xiao;Ge Ying-En
形式化方法以其高效的模型构造和分析能力在大规模并发网络建模中发挥着重要作用。以城市道路网络和公共交通系统为例，这些模型可以在一个形式化的方法来定义，以研究当前的公交线路部署的性能基于一个给定的道路网络。本文考虑如何基于指定道路网络和交通系统的原始原型有效地构建正式模型。由于模型原型可以表示为一个有向图，然后转化为一个数值关联矩阵，我们提出了一种算法，在本文中，通过排序所有潜在的组成结构和组件的基础上先前获得的数值关联矩阵，以协助正式模型的建设。在此基础上，根据排序后的组合结构，自动生成基于代数的性能评估过程形式化模型，扩展了形式化方法在大规模综合网络和系统建模中的应用。研究结果表明，该算法可以有效地找到所有潜在的组成结构，包括所有潜在的组件和相关的活动流的模型。
Formal method plays an important role in modeling large scale concurrent networks through its efficient model construction and analysis. Taking urban road networks and public transportation systems as examples, such models can be defined in a formal method in order to investigate the performance of current bus-line deployment based on a given road network. This paper considers how to efficiently build a formal model based on such an original prototype of the specified road network and transportation system. As the model prototype can be represented by a directed graph that is then transformed into a numerical incidence matrix, we proposed an algorithm, in this paper, to assist the construction of formal models by sorting all potential compositional structures and components based on the previously obtained numerical incidence matrix. Thereafter, a performance evaluation process algebra-based formal model can be automatically generated on the basis of sorted compositional structures, which extends the use of formal method for large-scale and comprehensive network, and system modeling. The findings reveal that the proposed algorithm can efficiently find all potential compositional structures that include all potential components and related activity flows in models.