Transaction modeling on architectural level of software design

Authors

  • K.V. Akhtyrtchenko

Keywords:

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

Abstract

Transaction modeling on architectural level of software design is considered. Transaction structure of software is defined. A method for describing the transaction structure with UML is proposed. The relationship between the transaction structure and other structures of architectural level design is specified. PDF (in Russian) (3.77MB)

New computational technologies

Downloads

Published

2001-08-08

Issue

Vol. 2 (2001): Issue 1.

Section

Section 2. Programming

Author Biography

K.V. Akhtyrtchenko

Lomonosov Moscow State University,
Research Computing Center

References

  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.