一种基于时间自动机的实时工作流时序约束建模方法  

作　　者：龙世荣[1] 汪宏海[2] 张广泉[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]赣南教育学院计算机系,江西赣州341000

出　　处：《广西教育学院学报》2010年第1期132-135,共4页Journal of Guangxi College of Education

基　　金：中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学基金(08KJB520010)的研究成果

摘　　要：本文详细分析了实时工作流中的时序约束。同时,为了对实时工作流时序约束进行形式化描述,本文利用时间自动机建模实时工作流的时序约束。这为实时工作流时序约束的形式化验证提供了基础。

关 键 词：实时工作流 时序约束 建模 时间自动机 

分 类 号：O141.4[理学—数学]