业务流程完整性的自动验证

Q3 Mathematics

International Journal of Simulation and Process Modelling Pub Date : 2008-01-01 DOI:10.1504/IJSPM.2008.023679

M. Capel-Tuñón, Luis E. Mendoza-Morales, Kawtar Benghazi-Akhlaki

{"title":"业务流程完整性的自动验证","authors":"M. Capel-Tuñón, Luis E. Mendoza-Morales, Kawtar Benghazi-Akhlaki","doi":"10.1504/IJSPM.2008.023679","DOIUrl":null,"url":null,"abstract":"Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improving business-modelling techniques. In this paper, we describe how a Model-Checking (MC) verification technique for software can be integrated with a formal-oriented software design method named MEDISTAM-RT. This is currently used in the development of the Task Model (TM) associated with a Business Process (BP) definition by using UML, enriched with temporal annotations in CSP + T, as the main modelling language. To show a practical use of our proposal, an example of a BPM enterprise-project related to the Customer Relationship Management (CRM) business is discussed.","PeriodicalId":34959,"journal":{"name":"International Journal of Simulation and Process Modelling","volume":"4 1","pages":"167-182"},"PeriodicalIF":0.0000,"publicationDate":"2008-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1504/IJSPM.2008.023679","citationCount":"6","resultStr":"{\"title\":\"Automatic verification of business process integrity\",\"authors\":\"M. Capel-Tuñón, Luis E. Mendoza-Morales, Kawtar Benghazi-Akhlaki\",\"doi\":\"10.1504/IJSPM.2008.023679\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improving business-modelling techniques. In this paper, we describe how a Model-Checking (MC) verification technique for software can be integrated with a formal-oriented software design method named MEDISTAM-RT. This is currently used in the development of the Task Model (TM) associated with a Business Process (BP) definition by using UML, enriched with temporal annotations in CSP + T, as the main modelling language. To show a practical use of our proposal, an example of a BPM enterprise-project related to the Customer Relationship Management (CRM) business is discussed.\",\"PeriodicalId\":34959,\"journal\":{\"name\":\"International Journal of Simulation and Process Modelling\",\"volume\":\"4 1\",\"pages\":\"167-182\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1504/IJSPM.2008.023679\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Simulation and Process Modelling\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1504/IJSPM.2008.023679\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Simulation and Process Modelling","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1504/IJSPM.2008.023679","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Mathematics","Score":null,"Total":0}

引用次数: 6

摘要

软件工程方法已被证明在业务流程建模(BPM)中对改进业务建模技术非常有用。在本文中，我们描述了如何将软件的模型检查(MC)验证技术与一种名为medistamm - rt的面向形式化的软件设计方法集成在一起。目前，在开发与业务流程(BP)定义相关的任务模型(TM)时，使用UML作为主要建模语言，并在CSP + T中添加了时态注释。为了展示我们的建议的实际应用，本文讨论了一个与客户关系管理(CRM)业务相关的BPM企业项目示例。

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

查看原文本刊更多论文

Automatic verification of business process integrity

Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improving business-modelling techniques. In this paper, we describe how a Model-Checking (MC) verification technique for software can be integrated with a formal-oriented software design method named MEDISTAM-RT. This is currently used in the development of the Task Model (TM) associated with a Business Process (BP) definition by using UML, enriched with temporal annotations in CSP + T, as the main modelling language. To show a practical use of our proposal, an example of a BPM enterprise-project related to the Customer Relationship Management (CRM) business is discussed.

求助全文

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

来源期刊

International Journal of Simulation and Process Modelling Mathematics-Applied Mathematics

CiteScore

1.80

自引率

0.00%

发文量

期刊介绍： The IJSPM is a fully refereed publication providing an international forum for high-quality papers seeking to discuss simulation and process modelling issues.