使用时序逻辑对工作流建模和分析

IEEE International Conference on E-Commerce Technology for Dynamic E-Business Pub Date : 2004-09-13 DOI:10.1109/CEC-EAST.2004.72

Y. Wang, Yushun Fan

{"title":"使用时序逻辑对工作流建模和分析","authors":"Y. Wang, Yushun Fan","doi":"10.1109/CEC-EAST.2004.72","DOIUrl":null,"url":null,"abstract":"A method for modeling and analyzing workflows based on Temporal Logic of Actions is presented. After a brief review of TLA, present the semantic of workflow process using TLA and illustrate how to modeling and analysis workflow using TLA. In TLA, both the workflow model and its properties are modeled by TLA formulas. Analysis of workflow model in TLA is carried out by validating the implication relationship between two formulas. Finally, the process of modeling and analysis is validated through a case study","PeriodicalId":433885,"journal":{"name":"IEEE International Conference on E-Commerce Technology for Dynamic E-Business","volume":"60 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":"{\"title\":\"Using temporal logics for modeling and analysis of workflows\",\"authors\":\"Y. Wang, Yushun Fan\",\"doi\":\"10.1109/CEC-EAST.2004.72\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A method for modeling and analyzing workflows based on Temporal Logic of Actions is presented. After a brief review of TLA, present the semantic of workflow process using TLA and illustrate how to modeling and analysis workflow using TLA. In TLA, both the workflow model and its properties are modeled by TLA formulas. Analysis of workflow model in TLA is carried out by validating the implication relationship between two formulas. Finally, the process of modeling and analysis is validated through a case study\",\"PeriodicalId\":433885,\"journal\":{\"name\":\"IEEE International Conference on E-Commerce Technology for Dynamic E-Business\",\"volume\":\"60 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"14\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE International Conference on E-Commerce Technology for Dynamic E-Business\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CEC-EAST.2004.72\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE International Conference on E-Commerce Technology for Dynamic E-Business","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CEC-EAST.2004.72","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 14

摘要

提出了一种基于动作时态逻辑的工作流建模与分析方法。在简要回顾了TLA的基础上，提出了使用TLA的工作流过程语义，并举例说明了如何使用TLA对工作流进行建模和分析。在TLA中，工作流模型及其属性都是用TLA公式来建模的。通过验证两个公式之间的隐含关系，对TLA中的工作流模型进行了分析。最后，通过一个案例对建模和分析过程进行验证

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Using temporal logics for modeling and analysis of workflows

A method for modeling and analyzing workflows based on Temporal Logic of Actions is presented. After a brief review of TLA, present the semantic of workflow process using TLA and illustrate how to modeling and analysis workflow using TLA. In TLA, both the workflow model and its properties are modeled by TLA formulas. Analysis of workflow model in TLA is carried out by validating the implication relationship between two formulas. Finally, the process of modeling and analysis is validated through a case study

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

IEEE International Conference on E-Commerce Technology for Dynamic E-Business

自引率

0.00%

发文量