软件系统化的必要性和充分性原则

Вадим Аршинский, V. Arshinskiy, Л.В. Аршинский, L. Arshinskiy, Сергей Бахвалов, S. Bakhvalov
{"title":"软件系统化的必要性和充分性原则","authors":"Вадим Аршинский, V. Arshinskiy, Л.В. Аршинский, L. Arshinskiy, Сергей Бахвалов, S. Bakhvalov","doi":"10.30987/ARTICLE_5CF2D1F855D980.40342469","DOIUrl":null,"url":null,"abstract":"The paper presents a possible approach to the systematization (including classification) of modern software. Most authors in the systematization implicitly proceed from the principle of sufficiency: the program is enrolled in a particular class based on what it can do, what tasks it is able to solve. This blurs the boundaries of the classes, since the same program object sometimes corresponds to different tasks. The paper proposes to proceed from the principle of necessity: the program belongs to the class, what tasks it needs to solve. Then the secondary capabilities of the software recede into the background and are not taken into account in the classification. The relationship of necessity between the software objects themselves is also taken into account. This allows you to organize software objects, stratifying them according to principles of the mutual need. Moreover, different types of necessity are introduced: existential, functional and target, with a hierarchy between them. The latter allows you to keep the hierarchy of necessity, when program objects are mutually necessary for each other, but in a various senses. As a result, a hierarchy is built inside the software similar to the known one: hardware, system software, application software, but with its own characteristics. In particular, the software tool designed for creating software objects, splits into two layers: the tools to create custom programs to compile and tools for creating interpreted programs type. Accordingly, the application software is stratified. In general, the principle of necessity should be considered as an approach to classification, allowing to make a certain order in the question of systematization of software and its division into classes.","PeriodicalId":111219,"journal":{"name":"Automation and modeling in design and management of","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"THE PRINCIPLES OF NECESSITY AND SUFFICIENCY TO SYSTEMATIZE SOFTWARE\",\"authors\":\"Вадим Аршинский, V. Arshinskiy, Л.В. Аршинский, L. Arshinskiy, Сергей Бахвалов, S. Bakhvalov\",\"doi\":\"10.30987/ARTICLE_5CF2D1F855D980.40342469\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper presents a possible approach to the systematization (including classification) of modern software. Most authors in the systematization implicitly proceed from the principle of sufficiency: the program is enrolled in a particular class based on what it can do, what tasks it is able to solve. This blurs the boundaries of the classes, since the same program object sometimes corresponds to different tasks. The paper proposes to proceed from the principle of necessity: the program belongs to the class, what tasks it needs to solve. Then the secondary capabilities of the software recede into the background and are not taken into account in the classification. The relationship of necessity between the software objects themselves is also taken into account. This allows you to organize software objects, stratifying them according to principles of the mutual need. Moreover, different types of necessity are introduced: existential, functional and target, with a hierarchy between them. The latter allows you to keep the hierarchy of necessity, when program objects are mutually necessary for each other, but in a various senses. As a result, a hierarchy is built inside the software similar to the known one: hardware, system software, application software, but with its own characteristics. In particular, the software tool designed for creating software objects, splits into two layers: the tools to create custom programs to compile and tools for creating interpreted programs type. Accordingly, the application software is stratified. In general, the principle of necessity should be considered as an approach to classification, allowing to make a certain order in the question of systematization of software and its division into classes.\",\"PeriodicalId\":111219,\"journal\":{\"name\":\"Automation and modeling in design and management of\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Automation and modeling in design and management of\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.30987/ARTICLE_5CF2D1F855D980.40342469\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Automation and modeling in design and management of","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.30987/ARTICLE_5CF2D1F855D980.40342469","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

本文提出了一种对现代软件进行系统化(包括分类)的可能方法。大多数系统化的作者隐含地从充分性原则出发:程序是根据它能做什么,它能解决什么任务而被纳入特定类别的。这模糊了类的边界,因为相同的程序对象有时对应于不同的任务。本文提出从必要性原则出发:程序属于类,需要解决什么任务。然后,软件的次要功能退居幕后,在分类中不考虑。软件对象本身之间的必要性关系也被考虑在内。这允许您组织软件对象,根据相互需要的原则对它们进行分层。此外,本文还介绍了必要性的不同类型:存在必要性、功能必要性和目标必要性。后者允许您保持必要性的层次结构,当程序对象彼此是相互必需的,但在不同的意义上。因此,在软件内部建立了一个类似于已知的层次结构:硬件、系统软件、应用软件,但又有自己的特点。特别是,为创建软件对象而设计的软件工具分为两层:用于创建要编译的自定义程序的工具和用于创建解释程序类型的工具。据此,对应用软件进行了分层。一般来说,必要性原则应该被视为一种分类方法,允许在软件的系统化及其分类问题上做出一定的顺序。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
THE PRINCIPLES OF NECESSITY AND SUFFICIENCY TO SYSTEMATIZE SOFTWARE
The paper presents a possible approach to the systematization (including classification) of modern software. Most authors in the systematization implicitly proceed from the principle of sufficiency: the program is enrolled in a particular class based on what it can do, what tasks it is able to solve. This blurs the boundaries of the classes, since the same program object sometimes corresponds to different tasks. The paper proposes to proceed from the principle of necessity: the program belongs to the class, what tasks it needs to solve. Then the secondary capabilities of the software recede into the background and are not taken into account in the classification. The relationship of necessity between the software objects themselves is also taken into account. This allows you to organize software objects, stratifying them according to principles of the mutual need. Moreover, different types of necessity are introduced: existential, functional and target, with a hierarchy between them. The latter allows you to keep the hierarchy of necessity, when program objects are mutually necessary for each other, but in a various senses. As a result, a hierarchy is built inside the software similar to the known one: hardware, system software, application software, but with its own characteristics. In particular, the software tool designed for creating software objects, splits into two layers: the tools to create custom programs to compile and tools for creating interpreted programs type. Accordingly, the application software is stratified. In general, the principle of necessity should be considered as an approach to classification, allowing to make a certain order in the question of systematization of software and its division into classes.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
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学术文献互助群
群 号:481959085
Book学术官方微信