UML状态图到形式化B语言转换的实例研究

摘要：

使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模.对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较.

关键词：UML、状态图、形式化方法、B方法、T细胞

所属期刊栏目：7

分类号：TP311(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK2004052;扬州大学校科研和教改项目KK0513109

在线出版日期：2008-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：6334-6338,6343