使用形式化方法增强形式化过程描述

IF 0.7 4区计算机科学 Q4 AUTOMATION & CONTROL SYSTEMS

At-Automatisierungstechnik Pub Date : 2023-03-01 DOI:10.1515/auto-2022-0103

Cheng Xin, Lukas Grunau, M. Thron, M. Riedl

{"title":"使用形式化方法增强形式化过程描述","authors":"Cheng Xin, Lukas Grunau, M. Thron, M. Riedl","doi":"10.1515/auto-2022-0103","DOIUrl":null,"url":null,"abstract":"Abstract To facilitate the planning of product processes, the Formalized Process Description (FPD) model was proposed. It enables users to graphically describe the requirements of a production process. However, the FPD model has limits. To overcome these limits, this paper describes an extension of the FPD model, which is called the Extended FPD model. The objects in the Extended FPD model are assigned types and logical statements to represent their specifications. Hence, the expressive power of the FPD model is enhanced. In this paper, a formal definition of the Extended FPD model is also presented. Based on this definition, a set of rules is defined to detect the contradictions automatically in the Extended FPD model. In addition, the description of requirements by using the Extended FPD model can also enable the integration of more formal verification methods.","PeriodicalId":55437,"journal":{"name":"At-Automatisierungstechnik","volume":"71 1","pages":"198 - 208"},"PeriodicalIF":0.7000,"publicationDate":"2023-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Enhancements in formal process description by using a formal method\",\"authors\":\"Cheng Xin, Lukas Grunau, M. Thron, M. Riedl\",\"doi\":\"10.1515/auto-2022-0103\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract To facilitate the planning of product processes, the Formalized Process Description (FPD) model was proposed. It enables users to graphically describe the requirements of a production process. However, the FPD model has limits. To overcome these limits, this paper describes an extension of the FPD model, which is called the Extended FPD model. The objects in the Extended FPD model are assigned types and logical statements to represent their specifications. Hence, the expressive power of the FPD model is enhanced. In this paper, a formal definition of the Extended FPD model is also presented. Based on this definition, a set of rules is defined to detect the contradictions automatically in the Extended FPD model. In addition, the description of requirements by using the Extended FPD model can also enable the integration of more formal verification methods.\",\"PeriodicalId\":55437,\"journal\":{\"name\":\"At-Automatisierungstechnik\",\"volume\":\"71 1\",\"pages\":\"198 - 208\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2023-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"At-Automatisierungstechnik\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1515/auto-2022-0103\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"At-Automatisierungstechnik","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1515/auto-2022-0103","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

摘要为了便于产品过程的规划，提出了形式化过程描述（FPD）模型。它使用户能够以图形方式描述生产过程的要求。然而，FPD模型有局限性。为了克服这些限制，本文描述了FPD模型的一个扩展，称为扩展FPD模型。扩展FPD模型中的对象被分配了类型和逻辑语句来表示它们的规范。因此，增强了FPD模型的表达能力。本文还给出了扩展FPD模型的形式化定义。在此基础上，定义了一组规则来自动检测扩展FPD模型中的矛盾。此外，使用扩展FPD模型描述需求也可以集成更正式的验证方法。

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

查看原文本刊更多论文

Enhancements in formal process description by using a formal method

Abstract To facilitate the planning of product processes, the Formalized Process Description (FPD) model was proposed. It enables users to graphically describe the requirements of a production process. However, the FPD model has limits. To overcome these limits, this paper describes an extension of the FPD model, which is called the Extended FPD model. The objects in the Extended FPD model are assigned types and logical statements to represent their specifications. Hence, the expressive power of the FPD model is enhanced. In this paper, a formal definition of the Extended FPD model is also presented. Based on this definition, a set of rules is defined to detect the contradictions automatically in the Extended FPD model. In addition, the description of requirements by using the Extended FPD model can also enable the integration of more formal verification methods.

求助全文

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

来源期刊

At-Automatisierungstechnik 工程技术-自动化与控制系统

CiteScore

2.00

自引率

10.00%

发文量

审稿时长

6-12 weeks

期刊介绍： Automatisierungstechnik (AUTO) publishes articles covering the entire range of automation technology: development and application of methods, the operating principles, characteristics, and applications of tools and the interrelationships between automation technology and societal developments. The journal includes a tutorial series on "Theory for Users," and a forum for the exchange of viewpoints concerning past, present, and future developments. Automatisierungstechnik is the official organ of GMA (The VDI/VDE Society for Measurement and Automatic Control) and NAMUR (The Process-Industry Interest Group for Automation Technology). Topics control engineering digital measurement systems cybernetics robotics process automation / process engineering control design modelling information processing man-machine interfaces networked control systems complexity management machine learning ambient assisted living automated driving bio-analysis technology building automation factory automation / smart factories flexible manufacturing systems functional safety mechatronic systems.