苏州大学学报（自然科学版）
囌州大學學報（自然科學版）
소주대학학보（자연과학판）
JOURNAL OF SUZHOU UNIVERSITY(NATURAL SCIENCE)
2005年
4期
43-48
,共6页
陆公正%张广泉%张冬华%张育
陸公正%張廣泉%張鼕華%張育
륙공정%장엄천%장동화%장육
工作流%UML状态图%模型检测%时序约束%一致性
工作流%UML狀態圖%模型檢測%時序約束%一緻性
공작류%UML상태도%모형검측%시서약속%일치성
通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证.
通過對UML狀態圖進行時間擴展,建立工作流的時間模型,再把該模型轉化為時間自動機,接著用時序邏輯公式定義時序約束,最後分彆在建立階段、實例化階段和運行階段使用模型檢測技術對時序約束的一緻性進行驗證.
통과대UML상태도진행시간확전,건립공작류적시간모형,재파해모형전화위시간자동궤,접착용시서라집공식정의시서약속,최후분별재건립계단、실례화계단화운행계단사용모형검측기술대시서약속적일치성진행험증.
