| FMS可视化建模、仿真和验证的集成设计方法 |
| |
| 引用本文： | 徐刚,吴智铭.FMS可视化建模、仿真和验证的集成设计方法[J].系统仿真学报,2004,16(5):902-906. |
| |
| 作者姓名： | 徐刚 吴智铭 |
| |
| 作者单位： | 上海交通大学浩然高科技大厦1416信箱,上海,200030 |
| |
| 基金项目： | 国家自然科学基金资助(60074011,70071017) |
| |
| 摘 要： | 本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。
|
| 关 键 词： | 柔性制造系统 统一建模语言 模型检查 SPIN |
| 文章编号： | 1004-731X(2004)05-0902-05 |
| 修稿时间： | 2003年3月5日 |
Integrated Design Method:Modeling Simulating and Verifying for FMS |
| |
| XU Gang,WU ZhiMing.Integrated Design Method:Modeling Simulating and Verifying for FMS[J].Journal of System Simulation,2004,16(5):902-906. |
| |
| Authors: | XU Gang WU ZhiMing |
| |
| Abstract: | |
| |
| Keywords: | Flexible Manufacturing System (FMS) Unified Modeling Language (UML) model checking SPIN |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
