Инд. авторы:	Андрюшкевич С.К., Ковалев С.П.
Заглавие:	Динамическое связывание аспектов в крупномасштабных системах технологического управления
Библ. ссылка:	Андрюшкевич С.К., Ковалев С.П. Динамическое связывание аспектов в крупномасштабных системах технологического управления // Вычислительные технологии. - 2011. - Т.16. - № 6. - С.3-12. - ISSN 1560-7534. - EISSN 2313-691X.
Внешние системы:	РИНЦ: 17265177;
Реферат:	eng: The paper discusses the design and formalization problems of dynamic aspect weaving in distributed control systems based on a united logging and reactive model. A formal model of dynamic weaving is presented and justified using constructions of set theory. rus: Рассмотрены вопросы проектирования и формального анализа способов динамического связывания аспектов в составе систем технологического управления на базе единого журнала и реактивной модели событий. Представлена и обоснована формальная модель динамического связывания с применением конструкций теории множеств.
Ключевые слова:	reactive model of events; aspect-oriented programming and design; распределенные системы технологического управления; реактивная модель событий; аспектно-ориентированное программирование и проектирование; Distributed control systems;
Издано:	2011
Физ. характеристика:	с.3-12
Цитирование:	1. KLETTI J. Manufacturing Execution Systems MES. Berlin: Springer, 2007. 275 p. 2. KICZALES G., LAMPING J., MENDHEKAR A. ET AL. Aspect-oriented programming / / Proc. 11th European Conf. on Object-Oriented Programming (ECOOP 1997). Jvvaskvla, Finland / Lecture Notes in Computer Sci. Vol. 1241, No. 1. Berlin: Springer-Verlag, 1997. P. 220-242. 3. АНДРЮШКЕВИЧ С. К. Построение информационной модели крупномасштабных объектов технологического управления с применением аспектно-ориентированного подхода // Вестник НРУ. Информационные технологии. 2010. Т. 8, № 3. С. 34-45 4. КОВАЛЁВ С. П., АНДРЮШКЕВИЧ С. К., ГУСЬКОВ А. Е. Свидетельство о государственной регистрации программы для ЭВМ № 2009613359. Интеграционная платформа учета и управления энергообеспечением "Энергиус". 2009. 5. КУЗНЕЦОВ А. А., КОВАЛЁВ С. П. Тестирование и мониторинг в распределенных автоматизированных системах технологического управления / / Вычисл. технологии. 2009. Т. 14, № 4. С. 57-69. 6. LADDAD R. Aspect J in Action. Enterprise A O P with Spring Applications. N.Y.: Manning, 2010. 519 p. 7. STEIMANN F. The paradoxical success of aspect-oriented programming / / Proc. OOPSLA'06. Portland, 2006. P. iKl 197. 8. RAYNAL M., SINGHAL M. Logical time: capturing causality in distributed systems / / IEEE Computer. 1996. Vol. 29, No. 2. P. 19 50. 9. PRATT V. R. Modeling concurrency with partial orders / / Intern. J . Parallel Program. 1986. Vol. 15, No. 1. P. 33-71. 10. ГОЛДВЛАТТ P. Топосы. Категорный анализ логики. М.: Мир, 1983. 11. GLABBEEK R. J. VAN, GOLTZ U. Refinement of actions and equivalence notions for concurrent systems // Acta Informatica. 2000. Vol. 37, No. 4-5. P. 229-327. 12. МАКЛЕЙН С. Категории для работающего математика. М.: Физматлит, 2004. 13. KOVALYOV S. P. Modeling aspects by category theory / / Proc. of the 9th Workshop on Foundations of Aspect-Oriented Languages. Rennes, France, 2010. P. 63-68. 14. DOUENCE R., FRADET P., SUDHOLT M. Trace-based aspects / / Aspect-Oriented Software Development. Boston: Addison Wesley, 2004. 800 p.