计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2006年
11期
98-101
,共4页
工作流%UML-Statecharts%模型检测%时序约束%一致性
工作流%UML-Statecharts%模型檢測%時序約束%一緻性
공작류%UML-Statecharts%모형검측%시서약속%일치성
工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注.本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束.
工作流模型驗證已經成為工作流的重要研究領域之一,工作流模型的時間正確性的驗證也越來越受到關註.本文通過對于UML-Statecharts進行時間擴展,建立工作流的時間模型,再把該模型轉化為時間自動機,最後分彆在建立階段、實例化階段和運行階段使用模型檢測技術對時序約束的一緻性進行驗證,檢查是否存在相遲突的時序約束.
공작류모형험증이경성위공작류적중요연구영역지일,공작류모형적시간정학성적험증야월래월수도관주.본문통과대우UML-Statecharts진행시간확전,건립공작류적시간모형,재파해모형전화위시간자동궤,최후분별재건립계단、실례화계단화운행계단사용모형검측기술대시서약속적일치성진행험증,검사시부존재상충돌적시서약속.
