| UML状态图到形式化B语言转换的实例研究 |
| |
| 引用本文： | 邹盛荣 孟静 阳雪平 腾腾 陈宇 孙建国. UML状态图到形式化B语言转换的实例研究[J]. 科学技术与工程, 2007, 7(24): 6334-63386343 |
| |
| 作者姓名： | 邹盛荣 孟静 阳雪平 腾腾 陈宇 孙建国 |
| |
| 作者单位： | 扬州大学信息工程学院,扬州,225009;扬州大学信息工程学院,扬州,225009;扬州大学信息工程学院,扬州,225009;扬州大学信息工程学院,扬州,225009;扬州大学信息工程学院,扬州,225009;扬州大学信息工程学院,扬州,225009 |
| |
| 基金项目： | 江苏省自然科学基金项目(BK2004052)，扬州大学自然科学基金项目(KK0513109)资助 |
| |
| 摘 要： | 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
|
| 关 键 词： | UML 状态图 形式化方法 B方法 T细胞 |
| 文章编号： | 1671-1819(2007)24-6334-06 |
| 收稿时间： | 2007-09-06 |
| 修稿时间： | 2007-09-06 |
Case Study: Translation of the UML Statecharts in to Formal B Language |
| |
| ZOU Sheng-rong,MENG Jing,YANG Xue-ping,TENG Teng,CHEN Yu,SUN Jianguo. Case Study: Translation of the UML Statecharts in to Formal B Language[J]. Science Technology and Engineering, 2007, 7(24): 6334-63386343 |
| |
| Authors: | ZOU Sheng-rong MENG Jing YANG Xue-ping TENG Teng CHEN Yu SUN Jianguo |
| |
| Abstract: | The use of statecharts in UML can help confronting many questions in the field of biology, while the B method, one of the formal methods, can construct models for biological system, and produce rigorous proof obligations. The combination of UML and B can provide a formulized UML, and found models with B method accurately.This paper introduces two methods which are used to translate the statechart of the behaveior of T cell in the immune cytokine networks in to B machines, and gives the comparison of them. |
| |
| Keywords: | UML state-chart formal method B method T cell |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
|
点击此处可从《科学技术与工程》下载全文 |
|
