统一建模语言状态图的Petri网模型及其分析方法

摘要/Abstract

摘要： 针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点，给出一种统一建模语言状态图的形式化语法表示方法，结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网，状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象，并且可以描述状态图转移上的数据处理和状态图之间的通讯机制，给出了从统一建模语言状态图到状态图网的转换规则，讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。

关键词: 统一建模语言状态图, Petri网

Abstract: Aiming at shortcomings existing in Unified Modeling Language (UML) statecharts studies, a formal syntactics of UML statecharts was firstly described. Then, an extended Petri net model，StateChart Net (SC_Net)，which could precisely describe the semantic of UML statecharts was defined, The statechart could precisely describe translation among layers, translation conflict and translation concurrence. Data processing of statechart translation and communication mechanism between statecharts could also be described. And the translation process from UML statechart diagrams to SC_Net was defined. Finally, verification of correctness and consistency of UML behaviour models was discussed.

Key words: unified modeling language statechart, Petri nets, formal semantics

中图分类号:

郭峰. 统一建模语言状态图的Petri网模型及其分析方法[J]. .

GUO Feng . Petri nets model of unified modeling language statecharts[J]. .

[1]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[2]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[3]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[4]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[5]	何彦,陈文奇,王禹林,岳冠楠,李育锋,田小成. 集成设计参数和制造参数的车削工件机加工能耗预测方法[J]. 计算机集成制造系统, 2020, 26(9): 2355-2366.
[6]	张立彬,吕焕培,胥芳,谭大鹏,陈教料,林琼. 面向低压电器的CPN协同装配任务建模与优化[J]. 计算机集成制造系统, 2020, 26(7): 1737-1748.
[7]	刘聪,程龙,曾庆田,闻立杰,欧阳春. 基于Petri网的分层业务过程挖掘方法[J]. 计算机集成制造系统, 2020, 26(6): 1525-1537.
[8]	黄苾,代飞,王亚博,莫启,曹涌,王雷光. 基于Petri网分析编排的可实现性[J]. 计算机集成制造系统, 2020, 26(6): 1548-1556.
[9]	韩咚,田银花,杜玉越,张琴. 基于Petri网可达图的业务对齐方法[J]. 计算机集成制造系统, 2020, 26(6): 1589-1606.
[10]	郝惠晶,方贤文,方娜,许健. 基于Petri网的业务流程低频行为挖掘与优化分析[J]. 计算机集成制造系统, 2020, 26(6): 1660-1667.
[11]	田银花,杜玉越,韩咚,刘伟. 基于Petri网的事件日志与过程模型对齐方法[J]. 计算机集成制造系统, 2019, 25(第4): 809-829.
[12]	王颖,周晓宇,王钊,张学馨,陈丽娇. 基于Artifact生命周期的业务流程一致性检查[J]. 计算机集成制造系统, 2019, 25(第4): 856-863.
[13]	滕苑秀,杜玉越,王路. 循环并发结构的过程模型修正方法[J]. 计算机集成制造系统, 2019, 25(第4): 882-893.
[14]	方欢,段瑞,詹悦. 基于后继关系的行为块过程挖掘方法[J]. 计算机集成制造系统, 2019, 25(第4): 901-908.
[15]	陈文冲,刘洪伟,齐二石,刘伟. 离散串联生产系统物理与信息过程匹配机理[J]. 计算机集成制造系统, 2019, 25(第11): 2923-2934.

统一建模语言状态图的Petri网模型及其分析方法

Petri nets model of unified modeling language statecharts

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics