Логічний підхід до інтеграції програмних застосувань підтримки міждисциплінарних наукових досліджень

У статті пропонується підхід до інтеграції програмних застосувань на прикладі функціонування Світової системи даних. Авторами розроблено загальну архітектуру системи інтеграції програмних застосувань, механізми якої побудовані на базі моделей та методів математичної логіки і теорії штучного інтелекту. Визначено формальну мову для описання застосувань, правила виведення для побудови схем взаємодії методів застосувань і обміну даними. Працездатність підходу про-демонстрована на одній із задач забезпечення сталого розвитку регіонів України.

Рік видання: 
2013
Номер: 
5
УДК: 
531.383
С. 53–72., укр., Іл. 8. Бібліогр.: 22 назви.
Література: 

1. M.Z. Zgurovsky et al., “Integration of the Ukrainian science into the world data system”, Cybernetics and Systems Analysis, vol. 46, is. 2, pp. 211—219, 2010.
2. Аналіз сталого розвитку — глобальний і регіональний контексти / М.З. Згуровський, А.О. Болдак, К.В. Єфремов та ін. // Міжнар. рада з науки (ICSU). — К.: НТУУ “КПІ”, 2012. — Ч. 2. Україна в індикаторах сталого розвитку (2011—2012). — 232 c.
3. Павлов А.О., Теленик С.Ф. Алгоритмизация и ИТ в управлении. — К.: Техника, 2002. — 320 с.
4. Системи управління хмарними ІТ-структурами / С.Ф. Теленик, О.І. Ролік, М.В. Ясочка, О.С. Квітко // Інтелектуальні системи прийняття рішень і проблеми обчислювального інтелекту: Матеріали Міжнар. наук. конф., 16—20 травня 2011 р., м. Євпаторія. — Херсон: ХНТУ, 2011. — 1. — С. 124—127.
5. Когаловский М.Р. Методы интеграции данных в информационных системах. — Режим доступу: http://www.cemi.rssi.ru/mei//articles/kogalov10-05.pdf
6. IEEE P1903TM/D1 Draft White Paper for Next Generation Service Overlay Network, NGSON Working Group of the IEEE Standards Committee. New York, May 2008, 28 p.
7. A.Y. Levy, “Logic-Based Techniques in Data Integration. Logic-based Techniques in Data Integration”, in Logic Based Artificial Intelligence, J. Minker, Ed. Dordrecht, Netherlands: Kluwer Publishers, 2000.
8. Шаховська Н.Б. Структура та задачі простору даних // Складні системи і процеси. — 2008. — № 1. — С. 73—86.
9. Шаховська Н.Б. Методи опрацювання консолідованих даних за допомогою просторів даних // Проблеми програмування. — 2011. — № 4. — С. 72—84.
10. Вельбицкий Н.В., Ходаковский В.Н., Шолмов Л.И. Технологический комплекс производства программ на машинах ЕС ЭВМ и БЭСМ-6. — М.: Статистика, 1980. — 263 с.
11. Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. — К.: Наук. думка, 1991. — 213 с.
12. G. Wiederhold, Mediators in the Architecture of Future Information Systems, IEEE Computer, vol. 25, no. 3, pp. 38—49, 1992.
13. Вейдж Д., Миллер Х.Г. Вычисления в облаке: будут ли полезны открытые сервисы? // Открытые системы. — 2010. — № 1. — С. 68—75.
14. Маслянко П.П. Системне проектування інтелектуалізованих інформаційно-комунікаційних систем // Таврический вестник информатики и математики. — 2008. — № 2. — С. 62—67.
15. OMG Systems Modeling language (OMG SysML) V1.0 [Online]. Avaliable: http://www.omg.org/docs/formal/0709-01.pdf
16. UDDI Version 3.0.2 Specification [Online]. Avaliable: http://uddi.org/pubs/uddi_v3.htm
17. Web Services Description Language (WSDL) 1.1 [Online]. Avaliable: http://www.w3.org/TR/wsdl
18. SOAP Version 1.2 Part 1: Messaging Framework (Second Edition) [Online]. Avaliable: http://www.w3.org/TR/soap12part1/
19. Windows Communication Foundation Architecture Overview [Online]. Avaliable: http://msdn.microsoft.com/enus/ library/aa480210.aspx
20. Matjaz Juric. BPEL and Java [Online]. Avaliable: http:// www.theserverside.com/news/1364554/BPEL-and-Java
21. Workflow Management System Taverna [Online]. Avaliable: http://www.taverna.org.uk/
22. Каталогизация и интеграция разнородных информационных ресурсов / С.Ф. Теленик, С.В. Жук, В.Т. Лыско, К.В. Ефремов // Молодой ученый. — 2013. — № 5. — С. 176—179.

Список літератури у транслітерації: 

1. M.Z. Zgurovsky et al., “Integration of the Ukrainian science into the world data system”, Cybernetics and Systems Analysis, vol. 46, is. 2, pp. 211–219, 2010.
2. Analiz staloho rozvytku – hlobal′nyĭ i rehional′nyĭ konteksty / M.Z. Zhurovs′kyĭ, A.O. Boldak, K.V. I͡efremov ta in. // Miz͡hnar. rada z nauky (ICSU). – K.: NTUU “KPI”, 2012. – Ch. 2. Ukraïna v indykatorakh staloho rozvytku (2011–2012). – 232 c.
3. Pavlov A.O., Telenik S.F. Algoritmizat͡sii͡a i IT v upravlenii. – K.: Tekhnika, 2002. – 320 s.
4. Systemy upravlinni͡a khmarnymy IT-strukturamy / S.F. Telenyk, O.I. Rolik, M.V. I͡asochka, O.S. Kvitko // Intelektual′ni systemy pryĭni͡atti͡a rishen′ i problemy obchysli͡uval′noho intelektu: Materialy Miz͡hnar. nauk. konf., 16–20 travni͡a 2011 r., m. I͡evpatorii͡a. – Kherson: KhNTU, 2011. – Tom 1. – S. 124–127.
5. Kohalovskyĭ M.R. Metodы yntehrat͡syy dannыkh v ynformat͡syonnыkh systemakh. – Rez͡hym dostupu: http://www.cemi.rssi.ru/mei//articles/kogalov10-05.pdf
6. IEEE P1903TM/D1 Draft White Paper for Next Generation Service Overlay Network, NGSON Working Group of the IEEE Standards Committee. New York, May 2008, 28 p.
7. A.Y. Levy, “Logic-Based Techniques in Data Integration. Logic-based Techniques in Data Integration”, in Logic Based Artificial Intelligence, J. Minker, Ed. Dordrecht, Netherlands: Kluwer Publishers, 2000.
8. Shakhovs′ka N.B. Struktura ta zadachi prostoru danykh // Skladni systemy i prot͡sesy. – 2008. – # 1. – S. 73–86.
9. Shakhovs′ka N.B. Metody oprat͡si͡uvanni͡a konsolidovanykh danykh za dopomohoi͡u prostoriv danykh // Problemy prohramuvanni͡a. – 2011. – # 4. – S. 72–84.
10. Vel'bit͡skiĭ N.V., Khodakovskiĭ V.N., Sholmov L.I. Tekhnologicheskiĭ kompleks proizvodstva programm na mashinakh ES ĖVM i BĖSM-6. – M.: Statistika, 1980. – 263 s.
11. Lavrishcheva E.M., Grishchenko V.N. Sborochnoe programmirovanie. – K.: Nauk. dumka, 1991. – 213 s.
12. G. Wiederhold, Mediators in the Architecture of Future Information Systems, IEEE Computer, vol. 25, no. 3, pp. 38–49, 1992.
13. Veĭdzh D., Miller Kh.G. Vychislenii͡a v oblake: budut li polezny otkrytye servisy? // Otkrytye sistemy. – 2010. – # 1. – S. 68–75.
14. Masli͡anko P.P. Systemne proektuvanni͡a intelektualizovanykh informat͡siĭno-komunikat͡siĭnykh system // Tavrycheskyĭ vestnyk ynformatyky y matematyky. – 2008. – # 2. – S. 62–67.
15. OMG Systems Modeling language (OMG SysML) V1.0 [Online]. Avaliable: http://www.omg.org/docs/formal/07-09-01.pdf
16. UDDI Version 3.0.2 Specification [Online]. Avaliable: http://uddi.org/pubs/uddi_v3.htm
17. Web Services Description Language (WSDL) 1.1 [Online]. Avaliable: http://www.w3.org/TR/wsdl
18. SOAP Version 1.2 Part 1: Messaging Framework (Second Edition) [Online]. Avaliable: http://www.w3.org/TR/soap12-part1/
19. Windows Communication Foundation Architecture Overview [Online]. Avaliable: http://msdn.microsoft.com/en-us/library/aa480210.aspx
20. Matjaz Juric. BPEL and Java [Online]. Avaliable: http://www.theserverside.com/news/1364554/BPEL-and-Java
21. Workflow Management System Taverna [Online]. Avaliable: http://www.taverna.org.uk
22. Katalogizat͡sii͡a i integrat͡sii͡a raznorodnykh informat͡sionnykh resursov / S.F.Telenik, S.V. Zhuk, V.T. Lysko, K.V. Efremov // Molodoĭ uchenyĭ. – 2013. – # 5. – S. 176–179.

Текст статтіРозмір
2013-5-8.pdf605.76 КБ