Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов
Автор: Ковалв Сергей Протасович
Журнал: Проблемы информатики @problem-info
Рубрика: Системный анализ и системный подход к проектированию информационных технологий
Статья в выпуске: 3 (4), 2009 года.
Бесплатный доступ
Представлена теоретико-категорная метамодель аспектно-ориентированного подхода (АОП), описываю- щая обогащение формальных моделей программ трассируемыми трансформациями, порождающими их ин- теграционные интерфейсы. В качестве приложения метамодели рассмотрена формализация аспектно-ори- ентированных моделей сценариев сбора и обработки событий в виде помеченных частично упорядоченных множеств. Предложен формальный подход к анализу эффективности вычислительных аспектов систем мо- ниторинга, основанный на аппарате полупримальных алгебр и конечнозначных логик. Описана типовая ас- пектная архитектура системы мониторинга, разработанная в рамках технологического цикла инженерии предметной области "мониторинг крупномасштабных объектов".
Аспектно-ориентированный подход, формальная дисциплина проектирования, полупримальная алгебра, инженерия предметной области, система мониторинга, управление энергообеспечением
Короткий адрес: https://sciup.org/14319997
IDR: 14319997
Список литературы Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов
- Aspect-Oriented Software Development. Addison Wesley, Reading. 2004.
- JAGADEESAN R., PITCHER C., RIELY J. Open Bisimulation for Aspects//Proc. AOSD'07, 2007. P. 107-120.
- WHITTLE J., JAYARAMAN P. MATA: a tool for aspect-oriented modeling based on graph transformation//Lecture Notes in Computer Sci. 2008. V. 5002. P. 16-27.
- SASSONE V., NIELSEN M., WINSKELL G. Deterministic behavioural models for concurrency//Lecture Notes in Computer Sci. 1993. V. 711. P. 682-692.
- Дискретная математика и математические вопросы кибернетики. Т. 1. М.: Наука, 1974.
- ЧАРНЕЦКИ К. Порождающее программирование: методы, инструменты, применение/К. Чарнецки, У. Айзенекер. СПб.: Питер, 2005.
- КОВАЛЁВ С. П. Алгебраический подход к проектированию распределенных вычислительных систем//Сиб. журн. индустр. математики. 2007. Т. 10, № 2. С. 70-84.
- КОВАЛЁВ С. П. Архитектура времени в распределенных информационных системах//Вычисл. технологии. 2002. Т. 7, № 6. С. 38-53.
- КОВАЛЁВ С. П. Математические основания компьютерной арифметики//Математические труды. 2005. Т. 8, № 1. С. 3-42.
- КОВАЛЁВ С. П. Применение онтологий при разработке распределенных автоматизированных информационно-измерительных систем//Автометрия. 2008. Т. 44, № 2. С. 41-49.
- КОВАЛЁВ С. П., ЯКОВЧЕНКО К. Н. Организация информационных порталов на основе канальной интеграции//Тр. Междунар. конф. по вычислительной математике "МКВМ-2004". Рабочие совещания. Новосибирск: Ин-т вычисл. математики и мат. геофизики СО РАН, 2004. С. 66-72.
- КУЗНЕЦОВ А. А., КОВАЛЁВ С. П. Тестирование и мониторинг в распределенных автоматизированных системах технологического управления//Вычисл. технологии. 2009. Т. 14, № 4. С. 57-69.
- МАКЛЕЙН С. Категории для работающего математика. М.: Физматлит, 2004.
- FIADEIRO J. L., LOPES A., WERMELINGER M. A mathematical semantics for architectural connectors//Lecture Notes in Computer Sci. 2003. V. 2793. P. 190-234.
- KICZALES G., ET AL. Aspect-Oriented Programming//Lecture Notes in Computer Sci. 1997. V. 1241. P. 220-242.
- COLYER A., CLEMENT A., HARLEY G., WEBSTER M. Eclipse AspectJ. Addison-Wesley, Reading, 2004.
- PINTO M., FUENTES L., TROYA J. M. DAOP-ADL: an architecture description language for dynamic component and aspect-based development//Lecture Notes in Computer Sci. 2003. V. 2830. P. 118-137.
- PRATT V. R. Modeling concurrency with partial orders//Intern. J. Parallel Programming. 1986. V. 15, N 1. P. 33-71.
- GLABBEEK R. J. VAN, GOLTZ U. Refinement of actions and equivalence notions for concurrent system//Acta Informatica. 2000. V. 37, iss. 4/5. P. 229-327.
- SUTCLIFFE A. Scenario-Based Requirement Analysis//Requirements Engng. 1998. N 3. P. 48-65.
- КАРПЕНКО А. С. Логики Лукасевича и простые числа. М.: Наука, 2000.
- BEAVERS G. Automated theorem proving for Łukasiewicz logics//Studia Logica. 1993. V. 52, N 2. P. 183-195.
- KOVALYOV S. P. Architecture of distributed information-computing system for exploring atmospheric aerosol//Proc. SPIE. 2005. V. 6160, N 1. P. 21-26.
- БАРАХНИН В. Б., КЛИМЕНКО О. А., КОВАЛЁВ С. П. Сбор и систематизация информации для портала математических ресурсов MATHTREE//Тр. Междунар. конф. "Вычислительные и информационные технологии в науке, технике и образовании". Т. 2. Павлодар: ТОО НПФ "ЭКО", 2006. С. 381-389.
- АНДРЮШКЕВИЧ С. К., КОВАЛЁВ С. П. Опыт адаптации стандартных информационных моделей для распределенных объектов технологического управления//Тр. 7-й Междунар. науч.-практ. конф. "Исследование, разработка и применение высоких технологий в промышленности". СПб.: Изд-во Политехн. ун-та, 2009. С. 56-57.
- FALBO R. A., GUIZZARDI G., DUARTE K. C. An ontological approach to domain engineering//Proc. of the 14th Intern. conf. software engineering and knowledge engineering (SEKE-2002), Ischia (Italy), 2002.
- ЗАГОРУЙКО Н. Г., ГУСЕВ В. Д., ЗАВЕРТАЙЛОВ А. В., КОВАЛЁВ С. П. И ДР. Система ONTOGRID для автоматизации процессов построения онтологий предметных областей//Автометрия. 2005. Т. 41, № 5. С. 13-25. 28. KSL Protege Project. Stanford University. [Electron. resource]. http://protege.stanford.edu.
- НОРЕНКОВ И. П., КУЗЬМИК П. К. Информационная поддержка наукоемких изделий (CALS-технологии)/И. П. Норенков,
- П. К. Кузьмик. М.: Изд-во МГТУ, 2002.
