DOI
10.34229/KCA2522-9664.26.5.2
УДК 004.94
В.А. РЕЗНІЧЕНКО
Інститут програмних систем НАН України, Київ, Україна,
reznichenko.valery47@gmail.com
О.В. ЗАХАРОВА
Інститут програмних систем НАН України, Київ, Україна,
ozakharova68@gmail.com
ВИКОРИСТАННЯ ТАБЛИЧНОЇ ІНТЕРПРЕТАЦІЇ
ТЕМПОРАЛЬНИХ ЛОГІК ДЛЯ ВИЗНАЧЕННЯ РОЗГАЛУЖЕНЬ
У МОДЕЛІ ПРОЦЕСУ СЕМАНТИЧНОГО ВЕБСЕРВІСУ
Анотація. Метою цього дослідження є розроблення методу формалізації процесу вебсервісу, зокрема моделювання недетермінованого розвитку його предметної області. Запропонований підхід ґрунтується на поетапному розширенні базової дескриптивної логіки ALC: спочатку за рахунок темпоральних операторів лінійного часу (LTL), а потім — темпоральних операторів розгалуженого часу (CTL). Фактично це реалізується введенням кванторів шляху до алгебри лінійних темпоральних операторів. Також у роботі представлено табличну інтерпретацію визначених операторів розгалуження і розглянуто приклад формалізації розгалужених обчислень у процесній моделі прикладного семантичного вебсервісу адміністрування процедури подання дисертаційної роботи до захисту на здобуття ступеня доктора філософії із застосуванням запропонованого методу.
Ключові слова: темпоральне розширення дескриптивної логіки, процесна модель вебсервісу, таблична інтерпретація темпоральних операторів, темпоральні оператори розгалуження, квантори шляху, модель Кріпке.
повний текст
СПИСОК ЛІТЕРАТУРИ
- Захарова О. Визначення та вирішення задачі виявлення веб-сервісів за допомогою апарату дескриптивних логік. Проблеми програмування. 2017. № 4. C. 66–78. URL: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/311/306.
- Reznichenko V., Chystiakova I. Table interpretation of the temporal description logic LTLALC. Problems in Programming. 2022. N 3-4. P. 216–230. URL: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/523/575.
- Резніченко В.А., Захарова О.В. Опис процесу веб-сервісу. Таблична інтерпретація. Проблеми програмування. 2024. № 4. С. 99–113. https://doi.org/10.15407/pp2024.04.099.
- Pnueli A. The temporal logic of programs. Proc. 18th Annual Symposium on Foundations of Computer Science (31 October – 02 November 1977, Providence, Rhode Island, USA). Providence, 1977. P. 46–57. https://doi.org/10.1109/SFCS.1977.32.
- Clarke E.M., Emerson E.A. Design and synthesis of synchronization skeletons using branching time temporal logic. In: Logics of Programs. Logic of Programs 1981. Kozen D. (Eds.). LNCS. 1982. Vol. 131. P. 52–71. https://doi.org/10.1007/BFb0025774.
- Konur S. A survey on temporal logics. arXiv:1005.3199v3 [cs.LO] 25 Apr 2011. https://doi.org/10.48550/arXiv.1005.3199.
- Ben-Ari M., Pnueli A., Manna Z. The temporal logic of branching time. Acta Informatica. 1983. Vol. 20. N 3. P. 207–226. https://doi.org/10.1007/BF01257083.
- Emerson E.A., Halpern J.Y. “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Journal of the ACM. 1986. Vol. 33, Iss. 1. P. 151–178. https://doi.org/10.1145/4904.4999.
- Emerson E.A. Temporal and modal logic. In: Formal models and semantics. Ch. 16. Leeuwen J.V. (Ed.). Elsevier BV, 1990. P. 995–1072. https://doi.org/10.1016/B978-0-444-88074-1.50021-4.
- Gutierrez-Basulto V., Klarman S. Towards a unifying approach to representing and querying temporal data in description logics. In: Web Reasoning and Rule Systems. RR 2012. Krtzsch M., Straccia U. (Eds.). LNCS. Vol. 7497. P. 90–105. https://doi.org/10.1007/978-3-642-33203-6_8.
- Hitzler P., Krtzsch M., Rudolph S. Foundations of semantic Web technologies. New York: CRC Press, 2009. 456 p. https://doi.org/10.1201/9781420090512.
- Baader F., Calvanese D., McGuinness D.L., Nardi D., Patel-Schneider P.F. (Eds.). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press, 2003. 574 p.
- Lutz C., Wolter F. Temporal description logics. In: Handbook of Temporal Reasoning in Artificial Intelligence. Fisher M., Gabbay D., Vila L. (Eds.). Amsterdam: Elsevier, 2005. P. 89–227.
- Artale A., Mazzullo A., Ozaki A. Temporal description logics over finite traces. Proc. 31st International Workshop on Description Logics (DL 2018), co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (27–29 October 2018, Tempe, Arizona, USA). Tempe, 2018. CEUR Workshop Proceedings. 2018. Vol. 2211. CEUR-WS.org. URL: https://ceur-ws.org/Vol-2211/paper-06.pdf.
- Montanari A., Chomicki J.: Time domain. In: Encyclopedia of Database Systems. Liu L., zsu M.T. (Eds.) Boston: Springer, 2009. P. 3103–3107. https://doi.org/10.1007/978-0-387-39940-9_427.
