Моделирование программной архитектуры

Авторы

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

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

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

Аннотация

Рассматривается моделирование программных архитектур — научно-практическая дисциплина, являющаяся составной частью программной инженерии. Дается определение программной архитектуры, целей ее применения при разработке программных средств. Обсуждаются существующие подходы к моделированию программной архитектуры, включая формализованные методы анализа и проектирования. Определяются перспективы дальнейших исследований в области моделирования программной архитектуры.

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

Загрузки

Опубликован

2001-05-13

Выпуск

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

Раздел

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

Авторы

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

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

В.В. Леонтьев

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

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

  1. Spencer D. Webster’s new world dictionary of computer terms. New York: Prentice Hall, 1993.
  2. Shaw M., Garlan D. Software architecture. London: Prentice-Hall, 1996.
  3. Perry D.E., Wolf A.L. Foundations for the study of software architecture // ACM SIGSOFT Software Engineering Notes. 1992. 17, N 4. 40-52.
  4. What is software architecture? URL: http://www.sei.cmu.edu/architecture/definitions.html, Carnegie-Mellon University.
  5. Garlan D., Shaw M. An introduction to software architecture // Advances in Software Engineering and Knowledge Engineering. Vol. 2, 1-39. Singapore: World Scientific Publishing Company, 1993.
  6. Философский словарь/ Под ред. И.Т. Фролова. М.: Политиздат, 1980.
  7. Bass L., Clements P., Kazman R. Software architecture in practice. Reading: Addison Wesley, 1998.
  8. Morris C.R., Ferguson C.H. How architecture wins technology wars // Harvard Business Review. 1993. 86-96.
  9. Clements P.C., Northrop L.M. Software architecture: an executive overview. Technical Report CMU/SEI-96-TR-003, ESC-TR-96-003. Pittsburgh, 1996.
  10. Budgen D. Software design. Reading: Addison-Wesley, 1994.
  11. Kruchten P.B. The 4+1 view model of architecture // IEEE Software. 1995. 12, N 6. 42-50.
  12. Shaw M., Garlan D. Formulations and formalisms in software architecture // Computer Science Today. 1995. N 1000. 307-323.
  13. 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.
  14. Jacobson I., Booch G., Rumbaugh J. The unified software development process. Reading: Addison Wesley, 1999.
  15. Kruchten P. The rational unified process: an introduction. Reading: Addison Wesley, 1999.
  16. Grady R.B. Practical software metrics for project management and process improvement. London: Prentice Hall, 1992.
  17. OMG Unified Modeling Language specification. Version 1.3. June 1999. http://www.omg.org
  18. Booch G., Rumbaugh J., Jacobson I. The Unified Modeling Language User Guide. Reading: Addison Wesley, 1999.
  19. Medvidovic N. A classification and comparison framework for software architecture description languages. Technical Report UCI-ICS-97-02. Irvine, 1996.
  20. Allen R.J. A formal approach to software architecture: Thesis, Pittsburgh, 1997.
  21. Gamma E., Helm R., Johnson R., Vlisssides J. Design patterns: elements of reusable object-oriented software. Reading: Addison Wesley, 1995.
  22. Garlan D., Monroe R., Wile D. Acme: an architecture description interchange language // Proceeding of CASCON’97, pp. 169-183. Toronto, 1997.
  23. Vaskevitch D. Client/server strategies. A survival guide for corporate reengineers. Foster City: IDG Books Worldwide, 1995.
  24. Robbins J.E., Medvidovic N., Redmiles D.F., Rosenblum D.S. Integrated architecture description languages with a standard design method. University of California, Irvine, 1997.
  25. Egyed A. Integrated architectural views in UML. Technical Report USC/CSE-99-TR-514. Los Angeles, 1999.
  26. Hoque R. CORBA 3 developer’s guide. Foster City: IDG Books Worldwide, 1998.
  27. Orfali R., Harkey D. Client/server programming with Java and CORBA. New York: John Wiley & Sons, 1998.
  28. Хомяков Д.М., Хомяков П.М. Основы системного анализа. М.: Изд-во механико- математического факультета МГУ, 1996.
  29. Orfali R., Harkey D., Edwards J. The essential distributed objects. New York: Wiley Computer Publishing, 1996.
  30. Wermelinger M. Specification, testing and analysis of (dynamic) software architecture with the chemical abstract machine. Departamento de Infomatica, Universidade Nova de Lisboa, Portugal, 1998.
  31. Abowd G., Allen R., Gralan D. Formalizing style to understand descriptions of software architecture. Technical Report CMU-CS-95-111. Pittsburgh, 1995.
  32. Moriconi M., Qian X., Riemenschneider R. Correct architecture refinement // IEEE Transactions on Software Engineering. 1995. 21, N 4. 356-372.
  33. Spivey J.M. The Z-notation: a reference manual. London: Prentice Hall, 1992.
  34. 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.
  35. Брой M. Информатика. Часть 3. M.: Диалог-МИФИ, 1996.
  36. Gacek C. Detecting architectural mismatches during systems composition: Thesis. Los Angeles, 1998.
  37. Collofello J.S. Introduction to software verification and validation. SE Curriculum Module SEI-CM-13-1.1. Pittsburgh, 1988.