科学技术与工程
科學技術與工程
과학기술여공정
SCIENCE TECHNOLOGY AND ENGINEERING
2007年
24期
6334-6338,6343
,共6页
邹盛荣%孟静%阳雪平%腾腾%陈宇%孙建国
鄒盛榮%孟靜%暘雪平%騰騰%陳宇%孫建國
추성영%맹정%양설평%등등%진우%손건국
UML%状态图%形式化方法%B方法%T细胞
UML%狀態圖%形式化方法%B方法%T細胞
UML%상태도%형식화방법%B방법%T세포
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模.对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较.
使用UML中的狀態圖可以幫助描繪生物領域中踫到的很多問題,而形式化B方法能為生物繫統建模併提供嚴格的證明,UML和B的結閤可產生一種形式化的UML,併精確地用B方法建模.對免疫因子網絡中T細胞免疫狀態的UML狀態圖進行瞭兩種方法的形式化,併進行瞭比較.
사용UML중적상태도가이방조묘회생물영역중팽도적흔다문제,이형식화B방법능위생물계통건모병제공엄격적증명,UML화B적결합가산생일충형식화적UML,병정학지용B방법건모.대면역인자망락중T세포면역상태적UML상태도진행료량충방법적형식화,병진행료비교.
