| 顺序图的形式化方法描述 |
| |
| 引用本文： | 张海鸥,LI Wang-long,郑山红.顺序图的形式化方法描述[J].航空计算技术,2008,38(4):87-89. |
| |
| 作者姓名： | 张海鸥 LI Wang-long 郑山红 |
| |
| 作者单位： | 长春工业大学,计算机科学与工程学院,吉林,长春,130012;长春工业大学,计算机科学与工程学院,吉林,长春,130012;长春工业大学,计算机科学与工程学院,吉林,长春,130012 |
| |
| 摘 要： | UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.
|
| 关 键 词： | 形式化方法 B方法 统一建模语言 顺序图 |
B-based Formalization of Sequence Diagrams |
| |
| ZHANG Hai-ou,LI Wang-long,ZHENG Shan-hong.B-based Formalization of Sequence Diagrams[J].Aeronautical Computer Technique,2008,38(4):87-89. |
| |
| Authors: | ZHANG Hai-ou LI Wang-long ZHENG Shan-hong |
| |
| Institution: | ZHANG Hai-ou,LI Wang-long,ZHENG Shan-hong(Computer Department,Changchun University of Technology,Changchun 130012,China) |
| |
| Abstract: | UML is a kind of visualized graphic modeling language.UML has become a de-facto standard notation of object-oriented method and been used widely.The B-Method is a formal method that based on strict mathematical theories and understood the system in the way of AMN.In order to make UML more precise,exhibit the advantage of formal method,we will describe the Sequence diagram of UML using B method. |
| |
| Keywords: | formal method B method UML sequence diagram |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
