Формальное представление моделей прикладных предметных областей в понятиях унифицированной метамодели объектно-ориентированных приложений баз данных

Павел Петрович Олейник

Аннотация


Представлено формальное описание объектных моделей в понятиях унифицированной метамодели объектно-ориентированных приложений баз данных, разрабатываемой автором и независящей от предметной области. Описанная метамодель реализована автором в собственной среде разработки SharpArchitect RAD Studio. В начале статьи подробно проанализированы имеющиеся работы сходной тематики. Анализ показал, что чаще всего авторы используют теорию множеств и исчисление предикатов для представления элементов объектно-ориентированных языков программирования и проектирования объектных моделей. Этот же подход использован в данной статье.

В работе представлена метамодель, разработанная автором для проектирования и реализации объектно-ориентированных приложений баз данных. Уделено внимание иерархии выделенных классов, присутствующих в прикладных предметных областях. Также подробно описаны состав и структура классов, позволяющих представить как атомарные литеральные типы, так и классы атрибутов, значениями которых выступают экземпляры классов и коллекцию экземпляров. Уделено внимание реализации динамической составляющей с помощью описания методов (с поддержкой параметров) и событий классов.

На основе представленной метамодели с применением теории множеств предложен формальный подход к описанию моделей прикладных предметных областей. Для анализа применимости предложенного подхода была разработана унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений. Описаны критерии оптимальности этой модели, а также её реализация на языке C# с представлением всех ключевых классов, присутствующих в ней. Предложенный формальный подход был протестирован на описанной модели. Были описаны классы предметной области, атрибуты, ассоциации и образованные иерархии. Это позволило подтвердить корректность предложенного формального решения.

В заключение статьи сделаны предположения о направлениях дальнейшего развития предложенного подхода.


Ключевые слова


объектно-ориентированное программирование; объектно-ориентированные базы данных; метамодель объектной системы; формальное описание объектных моделей

Полный текст:

PDF

Литература


Periyasamy, K. Deriving test cases for composite operations in Object-Z specifications / K. Periyasamy, V.S. Alagar, S. Subramanian // Proc. Technology of OO Languages and Systems (TOOLS 26), Santa Barbara, CA, August 1999. – P. 429–441.

Shroff, M. Towards a Formalization of UML Class Structures in Z / M. Shroff, R. France // Proceedings, 21st International Computer Software and Applications Conference (COMPSAC’97), Washington DC, August 1997. – P. 646–651.

Shugang Wang. Object identity set algebra for object-oriented database systems / Shugang Wang // 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2012). – 2012. – P. 1–6.

Yu, X.M. An Algebraic Theory of Object-Oriented Systems / X.M. Yu, T.S. Dillon // IEEE Transactions on Knowledge and Data Engineering archive. – June 1994. – Vol. 6, iss. 3. – P. 412–419.

DeLoach, S. Representing object models as theories / S. DeLoach, P. Bailor, T. Hartrum // Proceedings 10th Knowledge-Based Software Engineering Conference. – Nov. 1995. – P. 28–35.

DeLoach, S.D. A Theory-Based Representation for Object-Oriented Domain Models / S.D. De-Loach, T.C. Hartrum // IEEE Transactions on Software Engineering. – June 2000. – Vol. 26, iss. 6. – P. 500–517.

Унифицированная среда быстрой разработки корпоративных информационных систем SharpArchitect RAD Studio: свидетельство о государственной регистрации программы для ЭВМ № 2013618212 / П.П. Олейник. – Опубл. 04.09.2013.

Олейник, П.П. Иерархия классов метамодели объектной системы / П.П. Олейник // Объектные системы – 2012: материалы VI Междунар. науч.-практ. конф. (Ростов-на-Дону, 10–12 мая 2012 г.) / под общ. ред. П.П. Олейника. – Ростов-на-Дону: ШИ ЮРГТУ (НПИ), 2012. – С. 37–40. – http://objectsystems.ru/files/2012/Object_Systems_2012_Proceedings.pdf

Олейник, П.П. Иерархия классов представления валидационных правил объектной системы / П.П. Олейник // Объектные системы – 2013: материалы VII Междунар. науч.-практ. конф. (Ростов-на-Дону, 10–12 мая 2013 г.) / под общ. ред. П.П. Олейника. – Ростов-на-Дону: ШИ (ф) ЮРГТУ (НПИ), 2013. – С. 14–17. – http://objectsystems.ru/files/2013/Object_Systems_2013_Proceedings.pdf

Oleynik, P.P. Domain-driven design the database structure in terms of metamodel of object system / P.P. Oleynik // Proceedings of 11th IEEE East-West Design & Test Symposium (EWDTS'2013), Institute of Electrical and Electronics Engineers (IEEE). Rostov-on-Don, Russia, September 27–30, 2013. – Rostov-on-Don, 2013. – P. 469–472.

Олейник, П.П. Элементы среды разработки программных комплексов на основе организации метамодели объектной системы / П.П. Олейник // Бизнес-информатика. – 2013. – № 4 (26). – С. 69–76. – http://bijournal.hse.ru/data/2014/01/16/1326593606/1BI%204(26)%202013.pdf

Олейник, П.П. Предметно-ориентированное проектирование структуры базы данных в понятиях метамодели объектной системы / П.П. Олейник // Объектные системы – 2014: материалы VIII Междунар. науч.-практ. конф. (Ростов-на-Дону, 10–12 мая 2014 г.) / под общ. ред. П.П. Олейника. – Ростов-на-Дону: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2014. – С. 41–46. – http://objectsystems.ru/files/2014/Object_Systems_2014_Proceedings.pdf

Oleynik P.P. Using metamodel of object system for domain-driven design the database structure // Proceedings of 12th IEEE East-West Design & Test Symposium (EWDTS’2014), Kiev, Ukraine, September 26–29, 2014. DOI: 10.1109/EWDTS.2014.7027052

Олейник, П.П. Концепция создания обслуживающей корпоративной информационной системы экономического производственно-энергетического кластера / П.П. Олейник, Ю.И. Кураков // Прикладная информатика. – 2014. – № 6. – С. 5–23.

Олейник, П.П. К вопросу о необходимости проектирования иерархии атомарных литеральных типов для объектной системы, организованной в РСУБД / П.П. Олейник // Информационно-вычислительные технологии и их приложения. IX Междунар. науч.-техн. конф.: сб. ст. – Пенза: РИО ПГСХА, 2008. – С. 201–205.

Олейник, П.П. Организация иерархии атомарных литеральных типов в объектной системе, построенной на основе РСУБД / П.П. Олейник // Программирование. – 2009. – № 4. – С. 73–80.

Oleynik, P.P. Implementation of the Hierarchy of Atomic Literal Types in an Object System Based of RDBMS / P.P. Oleynik // Programming and Computer Software. – 2009. – Vol. 35, no. 4. – P. 235–240.

Олейник, П.П. Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений / П.П. Олейник // Объектные системы – 2014 (Зимняя сессия): материалы IX Междунар. науч.-практ. конф. (Ростов-на-Дону, 10–12 декабря 2014 г.) / под общ. ред. П.П. Олейника. – Ростов-на-Дону: ШИ (ф) ЮРГПУ (НПИ) им. М.И. Платова, 2014. – С. 23–32. – http://objectsystems.ru/files/2014WS/Object_Systems_2014_Winter_session_Proceedings.pdf




DOI: http://dx.doi.org/10.14529/ctcr150402

Ссылки

  • На текущий момент ссылки отсутствуют.