使用形式语义字母表的业务流程信息建模

IF 0.5 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS
S. I. Matorin, A. G. Zhikharev, Yu. V. Dmitrieva
{"title":"使用形式语义字母表的业务流程信息建模","authors":"S. I. Matorin,&nbsp;A. G. Zhikharev,&nbsp;Yu. V. Dmitrieva","doi":"10.3103/S0005105524700444","DOIUrl":null,"url":null,"abstract":"<p>Modern methods of information modeling of organizational-business and production-technological processes are considered. It is shown that the main problem is the lack of subject content in the symbols that are used in graphic notations. A method for constructing a formal-semantic alphabet of processes (functional units) is proposed, the elements of which, first, satisfy all of the requirements for formal systems and, second, have subject-oriented content as intersections of material, energy and information links. It is shown that the set of elements of the proposed alphabet is an algebraic group and also corresponds to the definition of a generator, as the main initial concept of pattern theory. At the same time, the example of a specific generator as a universal operator noted in the theory is clarified. The correspondence between some concepts and procedures of pattern theory and the concepts and procedures of the information modeling of processes is analyzed. This allowed to substantiate the possibility and expediency of using the formal apparatus of pattern theory (image algebra) for the formalization of information-modeling procedures.</p>","PeriodicalId":42995,"journal":{"name":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","volume":"59 1","pages":"15 - 19"},"PeriodicalIF":0.5000,"publicationDate":"2025-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Information Modeling of Business Processes Using Formal-Semantic Alphabet\",\"authors\":\"S. I. Matorin,&nbsp;A. G. Zhikharev,&nbsp;Yu. V. Dmitrieva\",\"doi\":\"10.3103/S0005105524700444\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Modern methods of information modeling of organizational-business and production-technological processes are considered. It is shown that the main problem is the lack of subject content in the symbols that are used in graphic notations. A method for constructing a formal-semantic alphabet of processes (functional units) is proposed, the elements of which, first, satisfy all of the requirements for formal systems and, second, have subject-oriented content as intersections of material, energy and information links. It is shown that the set of elements of the proposed alphabet is an algebraic group and also corresponds to the definition of a generator, as the main initial concept of pattern theory. At the same time, the example of a specific generator as a universal operator noted in the theory is clarified. The correspondence between some concepts and procedures of pattern theory and the concepts and procedures of the information modeling of processes is analyzed. This allowed to substantiate the possibility and expediency of using the formal apparatus of pattern theory (image algebra) for the formalization of information-modeling procedures.</p>\",\"PeriodicalId\":42995,\"journal\":{\"name\":\"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS\",\"volume\":\"59 1\",\"pages\":\"15 - 19\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2025-05-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.3103/S0005105524700444\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.3103/S0005105524700444","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

摘要

考虑了组织业务和生产技术过程信息建模的现代方法。结果表明,主要问题是图形符号中所使用的符号缺乏主题内容。提出了一种构建过程(功能单元)的形式语义字母表的方法,其元素首先满足形式系统的所有要求,其次具有面向主题的内容,作为材料、能量和信息链接的交叉点。证明了所提出的字母表的元素集合是一个代数群,也符合作为模式理论主要初始概念的生成器的定义。同时,对理论中提到的特定发生器作为全称算子的例子进行了说明。分析了模式理论的一些概念和过程与过程信息建模的概念和过程的对应关系。这证实了使用模式理论的形式化工具(图像代数)来形式化信息建模过程的可能性和方便性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Information Modeling of Business Processes Using Formal-Semantic Alphabet

Modern methods of information modeling of organizational-business and production-technological processes are considered. It is shown that the main problem is the lack of subject content in the symbols that are used in graphic notations. A method for constructing a formal-semantic alphabet of processes (functional units) is proposed, the elements of which, first, satisfy all of the requirements for formal systems and, second, have subject-oriented content as intersections of material, energy and information links. It is shown that the set of elements of the proposed alphabet is an algebraic group and also corresponds to the definition of a generator, as the main initial concept of pattern theory. At the same time, the example of a specific generator as a universal operator noted in the theory is clarified. The correspondence between some concepts and procedures of pattern theory and the concepts and procedures of the information modeling of processes is analyzed. This allowed to substantiate the possibility and expediency of using the formal apparatus of pattern theory (image algebra) for the formalization of information-modeling procedures.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS
AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS COMPUTER SCIENCE, INFORMATION SYSTEMS-
自引率
40.00%
发文量
18
期刊介绍: Automatic Documentation and Mathematical Linguistics  is an international peer reviewed journal that covers all aspects of automation of information processes and systems, as well as algorithms and methods for automatic language analysis. Emphasis is on the practical applications of new technologies and techniques for information analysis and processing.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信