西安电子科技大学学报(自然科学版)
西安電子科技大學學報(自然科學版)
서안전자과기대학학보(자연과학판)
JOURNAL OF XIDIAN UNIVERSITY
2007年
4期
673-680
,共8页
并发工作流%区间时序逻辑%确定有限自动机
併髮工作流%區間時序邏輯%確定有限自動機
병발공작류%구간시서라집%학정유한자동궤
针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流.结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型.利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性.
針對集中式體繫結構併髮工作流的兩種運行方式(活動併髮執行和活動以任意順序執行),對區間時序邏輯進行擴展,提齣兩箇新操作符"交錯"和"限製性交錯".根據工作流狀態的偏序關繫以及邏輯公式連接前後其模型的長度關繫,證明用新操作符連接的區間時序邏輯公式適于錶示併髮工作流.結閤一箇併髮工作流實例,說明如何用擴展區間時序邏輯錶示活動及由活動組建的併髮工作流,從而得到併髮工作流的區間時序邏輯模型.利用併髮工作流的區間時序邏輯模型驗證併髮工作流的活性和安全性,可大大提高併髮工作流設計的可靠性.
침대집중식체계결구병발공작류적량충운행방식(활동병발집행화활동이임의순서집행),대구간시서라집진행확전,제출량개신조작부"교착"화"한제성교착".근거공작류상태적편서관계이급라집공식련접전후기모형적장도관계,증명용신조작부련접적구간시서라집공식괄우표시병발공작류.결합일개병발공작류실례,설명여하용확전구간시서라집표시활동급유활동조건적병발공작류,종이득도병발공작류적구간시서라집모형.이용병발공작류적구간시서라집모형험증병발공작류적활성화안전성,가대대제고병발공작류설계적가고성.
