Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов

Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов

Автор: Ковалв Сергей Протасович

Журнал: Проблемы информатики @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.
Еще
Статья научная
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp