ТЕОРЕТИЧНІ ОСНОВИ ФУНКЦІОНАЛЬНОГО ПРОЄКТУВАННЯ ШТУЧНОГО ОБ’ЄКТА Й ОРГАНІЗАЦІЇ ДІЯЛЬНОСТІ ДЛЯ ЙОГО КОМП’ЮТЕРНОЇ РЕАЛІЗАЦІЇ
DOI:
https://doi.org/10.36994/2788-5518-2023-02-06-02Ключові слова:
рекурсивний метод, опис технічного об’єкта, штучний об’єкт, комп’ютерна підтримка, декомпозиція, опис компонентів, організація процесу проєктування.Анотація
Анотація. У статті представлено рекурсивний метод формування опису будь-якого штучного об’єкта, що забезпечує його практичну комп’ютерну підтримку, незалежно від типу об’єкта. Діяльність із розробки нових штучних об’єктів вважається виробничою діяльністю. Вона є предметом контрольно-управлінського, організаційно-розпорядчого регулювання. Така діяльність має три аспекти: проєктування, конструювання й естетичне оформлення. Останні два є досить простими щодо контролю й управління процесом розробки проєкту штучного об’єкта, оскільки базуються на раніше прийнятій і затвердженій концепції. Однак у першому випадку, коли проєктований об’єкт розглядається як такий, що містить багато складних компонентів і процесів, які в них відбуваються, вибирається підхід поетапної декомпозиції. Це процес розробки опису об’єкта алгоритмізовано на основі формального технічного завдання (ТЗ). Застосовується системний підхід, що означає вибір компонентів, які спеціально об’єднуються в один блок і забезпечують відповідність вимогам ТЗ. Опис об’єкта з використанням ICOM-підходу методу IDEF0 формує інтерфейси, потрібні для функціонування об’єкта. Проєктування завершується за умови відсутності ТЗ для уточнення опису компонента. ТЗ не складається після отримання елементарної задачі, для вирішення якої розробляється конструкція компонента, після вибору попередньо розробленого компонента та після вибору компонента стороннього виробника. Ці три випадки охоплюють усі можливі варіанти результатів декомпозиції функції та конструкції, яка її реалізує, і гарантують завершення організованого рекурсивного процесу деталізації опису проєктованого об’єкта. У висновку маємо розроблену методику проєктування штучного технічного об’єкта на основі покрокової декомпозиції цього процесу, яка забезпечує практичну комп’ютерну реалізацію останнього, незалежно від типу об’єкта.
Посилання
Rivard S. Theory Building: Neither an Art nor a Science, But a Craft. Advancing Information Systems Theories: Rationale and
Processes, 2021. P. 131–159.
DeMarco T. Structured Analysis and System Specification. In: Broy, M., Denert, E. (eds) Software Pioneers. Springer, Berlin, Heidelberg, 2002.
Belghiat A., Oukhaf D. & Chaoui A. Transforming UML Diagrams to YAWL Models for Business Processes Analysis. In International Symposium on Modelling and Implementation of Complex Systems, Cham: Springer International Publishing, 2020. P. 279–293.
Nguyen Thanh T., Le Thanh N. & Hoang Thi Thanh H. Formalization of Business Processes and Business Rules Model using Colored Petri Nets. In The 5th International Conference on Future Networks & Distributed Systems, 2021. P. 42–47.
Fang K. & Lin S. An integrated approach for modeling ontology-based task knowledge on an incident command system. Sustainability, 11 (12), 2019. P. 3484.
Nguyen Thanh T., Le Thanh N., Hoang Thi Thanh H. & Ha Thi, T. VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules. In Proceedings of the 2023 8th International Conference on Intelligent Information Technology, 2023. P. 15–19.
Moshev E., Meshalkin V. & Romashkin M. Development of models and algorithms for intellectual support of life cycle of chemical production equipment. Cyber-Physical Systems: Advances in Design & Modelling, 2020. P. 153–165.
Dean W. Recursive Functions. Stanf8ord Encyclopedia of Philosophy, 2021.
Cloutier R.J. & Hutchison N. Guide to the Systems Engineering Body of Knowledge (SEBoK), version 2.2. INCOSE, Stevens Institute of Technology, 2020.
Antypenko V., Nenia V., Marchenko A., Antypenko B., Kovpak A. Information technology for implementation the functional modeling of a technical object. Lecture Notes in Networks and Systems, Springer, Cham, 2021. P. 504–512.
Antypenko V., Nenia V., Marchenko A., Antypenko B. Recursive Method of Forming a Technical Object Description and Design Process Organization. Lecture Notes in Networks and Systems, Springer, Cham, 2022. P. 522–530.
