Инд. авторы:	Ковалёв С.П.
Заглавие:	Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов
Библ. ссылка:	Ковалёв С.П. Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов // Проблемы информатики. - 2009. - № 3. - С.5-18. - ISSN 2073-0667.
Внешние системы:	РИНЦ: 15523069;
Реферат:	rus: Представлена теоретико-категорная метамодель аспектно-ориентированного подхода (АОП), описываю- щая обогащение формальных моделей программ трассируемыми трансформациями, порождающими их ин- теграционные интерфейсы. В качестве приложения метамодели рассмотрена формализация аспектно-ори- ентированных моделей сценариев сбора и обработки событий в виде помеченных частично упорядоченных множеств. Предложен формальный подход к анализу эффективности вычислительных аспектов систем мо- ниторинга, основанный на аппарате полупримальных алгебр и конечнозначных логик. Описана типовая ас- пектная архитектура системы мониторинга, разработанная в рамках технологического цикла инженерии предметной области "мониторинг крупномасштабных объектов".
Ключевые слова:	формальная дисциплина проектирования; аспектно-ориентированный подход; управление энергообеспечением; система мониторинга; инженерия предметной области; полупримальная алгебра;
Издано:	2009
Физ. характеристика:	с.5-18
Цитирование:	1. Aspect-Oriented Software Development. Addison Wesley, Reading. 2004. 2. JAGADEESAN R., PITCHER C., RIELY J. Open Bisimulation for Aspects//Proc. AOSD'07, 2007. P. 107-120. 3. 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. 4. SASSONE V., NIELSEN M., WINSKELL G. Deterministic behavioural models for concurrency//Lecture Notes in Computer Sci. 1993. V. 711. P. 682-692. 5. Дискретная математика и математические вопросы кибернетики. Т. 1. М.: Наука, 1974. 6. ЧАРНЕЦКИ К. Порождающее программирование: методы, инструменты, применение/К. Чарнецки, У. Айзенекер. СПб.: Питер, 2005. 7. КОВАЛЁВ С. П. Алгебраический подход к проектированию распределенных вычислительных систем//Сиб. журн. индустр. математики. 2007. Т. 10, № 2. С. 70-84. 8. КОВАЛЁВ С. П. Архитектура времени в распределенных информационных системах//Вычисл. технологии. 2002. Т. 7, № 6. С. 38-53. 9. КОВАЛЁВ С. П. Математические основания компьютерной арифметики//Математические труды. 2005. Т. 8, № 1. С. 3-42. 10. КОВАЛЁВ С. П. Применение онтологий при разработке распределенных автоматизированных информационно-измерительных систем//Автометрия. 2008. Т. 44, № 2. С. 41-49. 11. КОВАЛЁВ С. П., ЯКОВЧЕНКО К. Н. Организация информационных порталов на основе канальной интеграции//Тр. Междунар. конф. по вычислительной математике "МКВМ-2004". Рабочие совещания. Новосибирск: Ин-т вычисл. математики и мат. геофизики СО РАН, 2004. С. 66-72. 12. КУЗНЕЦОВ А. А., КОВАЛЁВ С. П. Тестирование и мониторинг в распределенных автоматизированных системах технологического управления//Вычисл. технологии. 2009. Т. 14, № 4. С. 57-69. 13. МАКЛЕЙН С. Категории для работающего математика. М.: Физматлит, 2004. 14. FIADEIRO J. L., LOPES A., WERMELINGER M. A mathematical semantics for architectural connectors//Lecture Notes in Computer Sci. 2003. V. 2793. P. 190-234. 15. KICZALES G., ET AL. Aspect-Oriented Programming//Lecture Notes in Computer Sci. 1997. V. 1241. P. 220-242. 16. COLYER A., CLEMENT A., HARLEY G., WEBSTER M. Eclipse AspectJ. Addison-Wesley, Reading, 2004. 17. 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. 18. PRATT V. R. Modeling concurrency with partial orders//Intern. J. Parallel Programming. 1986. V. 15, N 1. P. 33-71. 19. 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. 20. SUTCLIFFE A. Scenario-Based Requirement Analysis//Requirements Engng. 1998. N 3. P. 48-65. 21. КАРПЕНКО А. С. Логики Лукасевича и простые числа. М.: Наука, 2000. 22. BEAVERS G. Automated theorem proving for Łukasiewicz logics//Studia Logica. 1993. V. 52, N 2. P. 183-195. 23. KOVALYOV S. P. Architecture of distributed information-computing system for exploring atmospheric aerosol//Proc. SPIE. 2005. V. 6160, N 1. P. 21-26. 24. БАРАХНИН В. Б., КЛИМЕНКО О. А., КОВАЛЁВ С. П. Сбор и систематизация информации для портала математических ресурсов MATHTREE//Тр. Междунар. конф. "Вычислительные и информационные технологии в науке, технике и образовании". Т. 2. Павлодар: ТОО НПФ "ЭКО", 2006. С. 381-389. 25. АНДРЮШКЕВИЧ С. К., КОВАЛЁВ С. П. Опыт адаптации стандартных информационных моделей для распределенных объектов технологического управления//Тр. 7-й Междунар. науч.-практ. конф. "Исследование, разработка и применение высоких технологий в промышленности". СПб.: Изд-во Политехн. ун-та, 2009. С. 56-57. 26. 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. 27. ЗАГОРУЙКО Н. Г., ГУСЕВ В. Д., ЗАВЕРТАЙЛОВ А. В., КОВАЛЁВ С. П. И ДР. Система ONTOGRID для автоматизации процессов построения онтологий предметных областей//Автометрия. 2005. Т. 41, № 5. С. 13-25. 28. KSL Protege Project. Stanford University. [Electron. resource]. http://protege.stanford.edu. 28. НОРЕНКОВ И. П., КУЗЬМИК П. К. Информационная поддержка наукоемких изделий (CALS-технологии)/И. П. Норенков, П. К. Кузьмик. М.: Изд-во МГТУ, 2002.