基于时间自动机的实时工作流时序约束一致性验证  

An Automata-based Approach to the Consistency Verification of Real-time Workflow

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

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

出　　处：《苏州大学学报（工科版）》2009年第6期12-16,38,共6页Journal of Soochow University Engineering Science Edition (Bimonthly)

基　　金：中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908);江苏省高校自然科学基金项目(编号08KJB520010)

摘　　要：提出一种基于时间自动机的实时工作流时间建模与验证方法。该方法首先将实时工作流的时间工作流图转换成时间自动机模型,再利用时间自动机的机制验证其时序约束一致性。Propese a real-time workflow time modeling and verification method based on timed automata. First, transform timed workflow digrams to timed automata model, and then verify the time constrains via using the mechanism of timed automata.

关 键 词：实时工作流 时间自动机 一致性验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]