Мoделирование транзакций на архитектурном уровне проектирования программных средств

Авторы

  • К.В. Ахтырченко

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

программная архитектура
моделирование программной архитектуры
структуры программных средств
транзакционные вычисления
моделирование транзакций
транзакционная структура
тип транзакционной структуры
шаблон транзакционной структуры
UML

Аннотация

Рассматривается моделирование транзакций на архитектурном уровне проектирования программных средств. Определяется транзакционная структура программного средства, предлагается способ ее описания на языке UML. Выявляется связь транзакционной структуры и других структур архитектурного уровня проектирования. PDF (3,77Mб)

Новые вычислительные технологии

Загрузки

Опубликован

2001-08-08

Выпуск

Том 2 (2001): Выпуск 1.

Раздел

Раздел 2. Программирование

Автор

К.В. Ахтырченко

Московский государственный университет имени М.В. Ломоносова,
Научно-исследовательский вычислительный центр
Ленинские горы, 119991, Москва

Библиографические ссылки

  1. Clements P.C., Northrop L.M. Software architecture: an executive overview. Technical Report CMU/SEI-96-TR-003, ESC-TR-96-003. Pittsburgh, 1996.
  2. Budgen D. Software design. Reading: Addison-Wesley, 1994.
  3. Kruchten P.B. The 4+1 view model of architecture // IEEE Software. 1995. 12, N 6. 42-50.
  4. Shaw M., Garlan D. Formulations and formalisms in software architecture // Computer Science Today. 1995. N 1000. 307-323.
  5. Bachmann F., Bass L., Chastek G, Donohoe P., Peruzzi F. The architecture based design method. Technical Report CMU/SEI-2000-TR-001, ESC-TR-2000-001. Pittsburgh, 2000.
  6. Moriconi M., Qian X., Riemenschneider R. Correct architecture refinement // IEEE Transactions on Software Engineering. 1995. 21, N 4. 356-372.
  7. Spivey J.M. The Z-notation: a reference manual. London: Prentice Hall, 1992.
  8. Murphy G.C., Notkin D., Sullivan K. Software reflexion models: bridging the gap between source and high-level models // Proceedings of the Third ACM SIGSOFT Symposium on the Foundations. 18-28. Washington, 1995.
  9. Брой M. Информатика. Часть 3. M.: Диалог-МИФИ, 1996.
  10. Gacek C. Detecting architectural mismatches during systems composition: Thesis. Los Angeles, 1998.
  11. Collofello J.S. Introduction to software verification and validation. SE Curriculum Module SEI-CM-13-1.1. Pittsburgh, 1988.