Формалізація концептуального каркаса просторових систем



DOI: http://dx.doi.org/10.31548/zemleustriy2024.03.06

O. Dyshlyk, V. Chabaniuk

Анотація


У роботі формалізується явище Концептуальні Каркаси Просторових Систем. Їй передує концептуалізація цього ж явища, але для вужчого класу класичних Атласних Систем. Формалізація потрібна з кількох причин. Першою є використання Концептуальних Каркасів у створенні Системної картографії і, зокрема, Базованої на Моделях Картографїї як нової системної парадигми картографії і як спеціалізації Базованої на Моделях Інженерії. Другою є спрощення реалізації, оскільки формалізовані конструкції простіше реалізувати засобами інформатики. Третьою є можливість використання індуктивних умовиводів дослідниками з відмінним від нашого досвідом.

У даній статті спочатку описуються формалізовані конструкції рівнів і страт Концептуального Каркаса Просторових Систем. При цьому для формалізації поняття страт використовується ще ширше, ніж Просторові Системи, поняття. Це так звана Наука інформаційних систем, яка має велике значення для розуміння суті як дослідження, так і проектування системних предметів Х. Після цього практично примінимі конструкції страт Концептуального Каркаса Атласних або Просторових Систем отримуються аналогією.

Вказані три причини задовольняються розглядом актуальних сьогодні формалізацій Концептуального Каркаса з точок зору трьох дисциплін: 1) картографії, 2) інформатики, 3) системології. У картографії проводяться важливі для сучасної практики аналогії з формальною моделлю карти Карто-Каркаса МакКінні-Шнайдера у викладі монографії 2016 р. У інформатиці – з Концепціями стабільності програмного забезпечення у викладі монографії 2015 р. У системології – з Універсальним Вирішувачем Системних Проблем Кліра, який є актуальним і у наш час. На завершення висловлюються думки щодо примінимості Коцептуального Каркаса предметів Х до класифікації Систем просторової діяльності, якщо такими представити Картографію загалом або Системну картографію зокрема.

Ключові слова: Концептуальний Каркас Атласних або Просторових Систем (АтС/ПрС) у розширеному розумінні (АтСш/ПрСш), Інфраструктура АтС/АтСш (ПрС/ПрСш), формалізація Концептуального Каркаса АтСш/ПрСш.


Ключові слова


Концептуальний Каркас Атласних або Просторових Систем (АтС/ПрС) у розширеному розумінні (АтСш/ПрСш); Інфраструктура АтС/АтСш (ПрС/ПрСш); формалізація Концептуального Каркаса АтСш/ПрСш

Повний текст:

PDF (English) PDF

Посилання


Chabaniuk, V., Dyshlyk, O. (2024). Update Of The Atlas Systems Conceptual Framework. Land management, cadastre and land monitoring, 2, 158–177. DOI: http://dx.doi.org/10.31548/zemleustriy2024.02.013

Alexander, Christopher. (1979). The Timeless Way Of Building. NY. Oxford University Press., 552.

Iivari, J., Falkenberg, E. D., Lindgreen, P., Eds. (1989). Information System Concepts: An In-depth Analysis. North-Holland,. 323-352.

Bergheim, Geir, Sandersen, Erik, Solvberg, Arne. (1989). A Taxonomy of Concepts for the Science of Information Systems. North-Holland, 269-323. DOI:10.1080/07421222.2003.11045768

McKenney, Mark, Schneider, Markus. (2016). Map Framework: A Formal Model of Maps as a Fundamental Data Type in Information Systems. Springer, XI, 140.

Fayad, Mohamed, Sanchez, Huascar A., Hegde Srikanth, G.K., Basia, Anshu, Vakil, Ashka. (2015). Software Patterns, Knowledge Maps, and Domain Analysis. CRC Press (Auerbach), 422.

Klir, G. J., Elias, D. (2003). Architecture of Systems Problem Solving. Springer. 2nd Ed., 349.

Chabaniuk, Viktor. (2018). Reliatsiina kartohrafiia: Teoriia ta praktyka [Relational cartography: Theory and practice]. Institute of Geography of the National Academy of Sciences of Ukraine,. 525. (In Ukrainian)

Mylopoulos, John, Borgida, Alex, Jarke, Matthias, Koubarakis, Manolis. (1990). Telos: Representing Knowledge About Information Systems. ACM Transactions On Information Systems, Vol. 8, No. 4, 325-362. DOI:10.1145/102675.102676

Olive, Antoni. (2007). Conceptual Modeling of Information Systems. Springer, 455. DOI:10.1007/978-3-540-39390-0

Chabaniuk, V. (2021). Atlas Solutions Framework as a method of the renewed Model-cognitive conception of cartography. Ukrainian Geographic Journal, No. 3(115), 31-40. DOI: https://doi.org/10.15407/ugz2021.03.029

Chabaniuk, V., Dyshlyk, O., Polyvach, K., Pioro, V., Kolimasov, I., Nechyporenko, J. (2022). Golovnі kontseptualnі polozhennya stvorennya yelektronnogo derzhavnogo reєstru nerukhomoї kulturnoї spadshchini Ukraїni. Chastina 1. [Main Conceptual Provisions of the Creation of an Electronic State Register of Immovable Cultural Heritage of Ukraine. Part 1.] Land management, cadastre and land monitoring, No. 2, 133–154. (Ukrainian, English) DOI:10.31548/zemleustriy2022.02.11


Метрики статей

Завантаження метрик ...

Metrics powered by PLOS ALM

Посилання

  • Поки немає зовнішніх посилань.