моделирование СМО   ОКМ   ДМ   экономическая информатика   4GL   Теория и практика обработки информации

SDL - язык спецификации и описания алгоритмов

Идеи теории автоматов нашли свое отражение при разработке Международной комиссией по телефонии и телеграфии графического языка спецификации и описания алгоритмов - SDL-диаграмм (Specification and Description Language), которые по внешнему виду напоминают схемы алгоритмов, но отличаются от последних введением в них состояний в явном виде. Недостатки SDL состоят в том, что они весьма громоздки и соответствуют только одному классу автоматов - автоматам Мили.

Specification and Description Language (SDL) - в переводе с английского - язык спецификаций и описаний. Под спецификацией понимается точное формальное определение системы или ее части, под описанием - неформальная спецификация, иллюстрирующая тот или иной аспект системы. Описания используются на ранних этапах разработки системы или для ее документирования, спецификации - на стадии детального проектирования, и по ним предполагается автоматическая генерация программного кода. Тот факт, что для этих разных этапов разработки системы предлагается один язык, является несомненным достоинством SDL, поскольку в этом случае преодолевается проблема семантических разрывов.

Язык SDL предназначен для разработки событийно-ориентированных распределенных систем. Он развивается международным комитетом ITU с 1976 года и является одним из долгожителей в компьютерной инженерии. Есть два варианта этого языка – текстовый (SDL/PR) и графический (SDL/GR), семантика которых, за исключением некоторых тонкостей, совпадает. Основным документом по SDL является [7]. Изложение основ этого языка можно найти в русскоязычных работах [22], [23]. Кроме того имеется русский вариант сжатого изложения языков SDL и MSC (Message Sequence Chart) в [24].

Более десяти фирм в Европе (Telelogic, Verilog и т.д.) разрабатывают CASE-средства на основе SDL. Эти продукты используются многими крупными европейскими фирмами-производителями телекоммуникационных систем.

Кроме языка SDL комитет ITU предложил целое семейство стандартов на средства разработки телекоммуникационных систем. Можно назвать язык высокого уровня CHILL [25], MSC [26] (графический язык сценариев). В [27] содержатся рекомендации по согласованному использованию упоминаемых выше стандартов. В Европе ежегодно проходит большое количество конференций, где обсуждаются различные аспекты этих стандартов.

Язык SDL как средство анализа систем широко используется в европейских телекоммуникационных стандартах. Его основными составляющими являются структурная модель и расширенный конечный автомат. Они ориентированы на спецификацию событийно-ориентированных систем, допускается, впрочем, и более широкое их использование. В основе структурной декомпозиции системы при помощи SDL лежит блочный анализ. Его результатом является разбиение системы на вложенные друг в друга части (блоки), которые не содержат исполняемого кода, а только одни описания. Они могут соответствовать крупным модулям системы или подзадачам проекта. Исполняемый код в виде расширенного конечного автомата содержится лишь в листьях этой декомпозиции – процессах, которые, как и блоки, можно сопоставить объектам. Поэтому SDL был успешно расширен до объектно-ориентированного языка.

В работах [27], [28] вводятся дополнительные графические нотации для использования на более ранних этапах разработки системы, а также описывается процесс разработки ПО на основе SDL. Однако в настоящее время эти нотации заменены языком UML, который потеснил также и SDL. Но признано [29], что SDL языком программирования типа Java, C++ и т.д. Таким образом, SDL становится в большей степени языком спецификаций, чем описаний. Но при этом возникает проблема сосуществования UML-описаний и SDL-спецификаций.

Литература

  1. OMG Unified modeling language spesification (draft). Version 1.3R. http://www.rational.com/uml 1999.
  2. Ф.П.Брукс мл. Как проектируются и создаются программные комплексы. Мифический человеко-месяц. М. 1979, 150 с.
  3. Booch G. Object-Oriented Analysis And Design With Application, second edition. The Benjamin/Cummings Publishing Company, Inc. 1994. 589 p.
  4. Чеппел Д. Технологии ActiveX и OLE. М.: Издательский отдел “Русская редакция” ТОО “Channel Trading Ltd.”, 1997, 320с.
  5. J.Rumbaugh, I.Jacobson, G.Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999. 550 p.
  6. B.Selic, G.Gullekson, P.T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons. Inc. 1994. 525 p.
  7. ITU Recommendation Z.100: Specification and Description Language. 1993. 204 p.
  8. D.Harel, M.Politi. Modeling Reactive Systems with Statecharts: state machine approach. McGraw-Hill. 1998. 258 p.
  9. А.Н.Терехов К.Ю.Романовский, Дм.В.Кознов, П.С.Долгов, А.Н.Иванов. Real: Методология и CASE-средство для разработки систем реального времени и информационных систем // Программирование, 1999, N 5.
  10. Терехов А.Н., Романовский К.Ю, Кознов Дм. В., Долгов П.С., Иванов А.Н. Объектно-ориентированная методология разработки информационных систем и систем реального времени. // Объектно-ориентированное визуальное моделирование / Под ред. Проф. Терехова А.Н. – СПб: Издательство С.-Петербургского университета, 1999. С.4-20.
  11. Иванов А., Кознов Дм., Мурашева Т. Поведенческая модель RTST++. // Записки семинара кафедры системного программирования "CASE-средства RTST++". Вып. 1. -- СПб, Издательство С.-Петербургского университета, 1998, с. 38-49.
  12. Кознов Дм. В. Проблемы разработки компонентного программного обеспечения. //Объектно-ориентированное визуальное моделирование / Под ред. Проф. Терехова А.Н. – СПб: Издательство С.-Петербургского университета, 1999. С.86-100.
  13. Долгов П., Иванов А., Кознов Дм., Лебедев А., Мурашева Т., Парфенов В., Терехов А. Объектно-ориентированное расширение технологии RTST. // Записки семинара кафедры системного программирования "CASE-средства RTST++". Вып. 1. -- СПб, Издательство С.-Петербургского университета, 1998, с. 17-36.
  14. Терехов А.Н. RTST – технология программирования встроенных систем реального времени. // Записки семинара кафедры системного программирования "CASE-средства RTST++". Вып. 1. -- СПб, Издательство С.-Петербургского университета, 1998, с. 3-17.
  15. Парфенов В.В., Терехов А.Н. RTST – технология программирования встроенных систем реального времени. // Системная информатика. Вып. 5: Архитектурные, формальные и программные модели. – Новосибирск, 1997, с. 228-256.
  16. В.В.Парфенов "Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода". Автореферат на соикания степени кандидата ф.-м. наук. СПб: Издательство С.-Петербургского университета, 1995. // или http://www.math.spbu.ru/.
  17. В.В.Парфенов "Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода". Диссертация на соикания степени кандидата ф.-м. наук. СПб: Издательство С.-Петербургского университета, 1995. На правах рукописи.
  18. Integration Definition For Function Modeling (IDEF0). Draft Federal Information Processing Standards Publication 183, 1993, 79 p.
  19. Integration Definition For Information Modeling (IDEF1X) Draft Federal Information Processing Standards Publication 184, 1993, 87 p.
  20. J.Rumbaugh, M.Blaha, W.Premerlani et al. Object-oriented modeling and design. Prentice-Hall. New Jenersy. 1991. 500 p.
  21. Поттосин И.В. Программная инженерия: содержание, мнения и тенденции. // Программирование. 1997 N 4, с. 26-37.
  22. Бардзинь Я.М., Калкиньш А.А., Стродс Ю.Ф., Сыцко В.А. Язык спецификаций SDL/PLUS и его применения. Рига 1988, 313 с.
  23. Карабегов А.В., Тер-Микаэлян Т.М. Введение в язык SDL. Москва, Радио и связь, 1993, 184 с.
  24. Мансуров Н.Н., Майлингова О.Л. Методы формальной спецификации программ: языки MSC и SDL. Издательство АО “Диалог-МГУ ”, 1998, 125 с.
  25. ITU Recommendation Z.200 – High Level Language (CHILL). 1993.
  26. ITU-T MSC2000R3 Draft Z.120(11/99) Message Sequence Charts ITU-T Recommendation Z.120.
  27. ITU Recommendation Z.100 – Appendices I and II: SDL Methodology Guidelines, SDL Bibliography. 1993. 129 p.
  28. Braek F., Haugen Th. Engineering Real Time Systems. Prentice Hall International (UK) Ltd. 1993. p. 398.
  29. A. Flodin. Full power with SDL and UML. Telelogic Signals N 2, 1998, www.telelogic.com
  30. I.Jacobson. Object-Oriented Software Engineering. ASM press. 1992, 528 p.
  31. OMG Unified modeling language spesification. Version 1.1. (http://www.omg.com) 1997.
  32. Workflow Management Coalition: The Workflow Reference Model. Document N.: TC00-1003, Document Status: Issue 1.1, 1994, 46 p.
  33. B.Selic, An Efficient Object-Oriented Variation of Statecharts Formalism for Distributed Real-Time Systems. CHDL’93: IFIP Conference on Hardware Description Languages and Their Applications, April 26-28, 1993, Ottawa.
  34. P. Kruchten. The Rational Unified Process: An Introduction. ADDISON-WESLEY. 1998. 255 p.
  35. Booch G. TheVisual Modeling of Softwarte Architecture for the Enterprise. ROSE architect. October 1998. Vol. 1, No. 1. p. 18-25.
  36. А.М.Вендров. CASE-технологии: современные методы и средства проектирования информационных систем. М. Финансы и статистика, 1998, 175 с.
  37. U. Black. ATM: Foundation For BroadBand Networks. Prentice Hall 1995. 426 p.
  38. J. A. Stankovic, K. Ramamritham “What is predictability for real-time systems”. Real-Time Systems, vol.2, December 1990, pp. 247-254.s
  39. J. A. Stankovic. “A serious problem for next-generation systems”.IEEE Computer, vol. 21, No 10, pp. 10-19.
  40. Harel D., Statecharts: a visual formalism for complex systems. Sci. Computer Program., vol.8, 1987. рр. 213-274.
  41. Романовский К.Ю, Кузнецов С.В., Кознов Дм. В. Объектно-ориентированная подход и диаграммы классов в UML. //Объектно-ориентированное визуальное моделирование/Под ред. Проф. Терехова А.Н. – СПб: Издательство С.-Петербургского университета, 1999. С.21-56.
  42. Зиндер Е. Новое системное проектирование: информационные технологии и бизнес-реинжиниринг. Часть 2: бизнес-реинжиниринг. СУБД, N 1, 1996.
  43. B.Selic, G. Gullekson, J.McGee, I.Engelberg. ROOM: An Object-Oriented Methodology for Developing Real-Tie Systems. CASE’92 Fifth International Workshop on Computer-Aided Software Engineering, July 6-10, 1992, http://www.objectime.on.ca/. 11p.
  44. B.Selic, J.Rumbaugh. Using UML for Modeling Complex Real-Time Systems. ObjecTime. http://www.objectime.on.ca/. 1998. 22 p.
  45. A. Lyons. UML for Real-Time Overview. ObjecTime. http://www.objectime.on.ca/. 1998. 7p.
  46. http://www.microTOOL.de/case.e
  47. http://www.sterling.com
  48. А.М.Кондратьев. “CASE-средство и объектные базы данных”. // Объектно-ориентированное визуальное моделирование / Под ред. Проф. Терехова А.Н. – СПб: Издательство С.-Петербургского университета, 1999. С. 57-78.
  49. Кознов Дм. В. Конечный автомат – основа визуальных представлений поведения объектов // Объектно-ориентированное визуальное моделирование / Под ред. Проф. Терехова А.Н. – СПб: Издательство С.-Петербургского университета, 1999. С. 101-122.
  50. D.Harel, E.Gary. Executable Object Modeling with Statecharts. http: //www.ilogix.com.
  51. Siegel J. CORBA Fundamentals and Programming. John Wiley & Sons, Inc.,1997, 693 p.
  52. Мансуров Н.Н., Рагозин А.С. Генерация кода с простой с наглядной структурой по языку SDL-92. //Вопросы кибернетики: приложения системного программирования. Выпуск 3. М: 1997. стр. 162 –181.
  53. N.Mansurov, D.Zhukov. Automatic synthes of SDL models in Use Case Methodology.
  54. B.P.Douglass. Real-Time UML. Addison-Wesley, 1998. 365 p.
  55. Wasowski M., Witaszek D., Verschaeve K., Wydaeghe B., Holz E., Jonckers V. Methodology (the comlete OMT*). Report 1.4, December 1995. 102 p.
моделирование СМО   ОКМ   ДМ   экономическая информатика   4GL   Теория и практика обработки информации

(время поиска примерно 20 секунд)


Знаете ли Вы, что такое "Большой Взрыв"?
Согласно рупору релятивистской идеологии Википедии "Большой взрыв (англ. Big Bang) - это космологическая модель, описывающая раннее развитие Вселенной, а именно - начало расширения Вселенной, перед которым Вселенная находилась в сингулярном состоянии. Обычно сейчас автоматически сочетают теорию Большого взрыва и модель горячей Вселенной, но эти концепции независимы и исторически существовало также представление о холодной начальной Вселенной вблизи Большого взрыва. Именно сочетание теории Большого взрыва с теорией горячей Вселенной, подкрепляемое существованием реликтового излучения..."
В этой тираде количество нонсенсов (бессмыслиц) больше, чем количество предложений, иначе просто трудно запутать сознание обывателя до такой степени, чтобы он поверил в эту ахинею.
На самом деле взорваться что-либо может только в уже имеющемся пространстве.
Без этого никакого взрыва в принципе быть не может, так как "взрыв" - понятие, применимое только внутри уже имеющегося пространства. А раз так, то есть, если пространство вселенной уже было до БВ, то БВ не может быть началом Вселенной в принципе. Это во-первых.
Во-вторых, Вселенная - это не обычный конечный объект с границами, это сама бесконечность во времени и пространстве. У нее нет начала и конца, а также пространственных границ уже по ее определению: она есть всё (потому и называется Вселенной).
В третьих, фраза "представление о холодной начальной Вселенной вблизи Большого взрыва" тоже есть сплошной нонсенс.
Что могло быть "вблизи Большого взрыва", если самой Вселенной там еще не было? Подробнее читайте в FAQ по эфирной физике.

НОВОСТИ ФОРУМА

Форум Рыцари теории эфира


Рыцари теории эфира
 29.11.2020 - 11:44: СОВЕСТЬ - Conscience -> РАСЧЕЛОВЕЧИВАНИЕ ЧЕЛОВЕКА. КОМУ ЭТО НАДО? - Карим_Хайдаров.
29.11.2020 - 11:36: ЭКОЛОГИЯ - Ecology -> Биологическая безопасность населения - Карим_Хайдаров.
29.11.2020 - 11:36: ВОЙНА, ПОЛИТИКА И НАУКА - War, Politics and Science -> Проблема государственного терроризма - Карим_Хайдаров.
29.11.2020 - 11:33: ВОСПИТАНИЕ, ПРОСВЕЩЕНИЕ, ОБРАЗОВАНИЕ - Upbringing, Inlightening, Education -> Просвещение от Галины Царёвой - Карим_Хайдаров.
29.11.2020 - 09:10: ВОСПИТАНИЕ, ПРОСВЕЩЕНИЕ, ОБРАЗОВАНИЕ - Upbringing, Inlightening, Education -> Просвещение от Пламена Паскова - Карим_Хайдаров.
29.11.2020 - 09:04: ВОЙНА, ПОЛИТИКА И НАУКА - War, Politics and Science -> ПРАВОСУДИЯ.НЕТ - Карим_Хайдаров.
29.11.2020 - 09:01: ЭКОЛОГИЯ - Ecology -> ПРОБЛЕМЫ МЕДИЦИНЫ - Карим_Хайдаров.
29.11.2020 - 08:58: ЭКОЛОГИЯ - Ecology -> ЭКОЛОГИЯ ДЛЯ ВСЕХ - Карим_Хайдаров.
28.11.2020 - 15:48: ВОСПИТАНИЕ, ПРОСВЕЩЕНИЕ, ОБРАЗОВАНИЕ - Upbringing, Inlightening, Education -> Просвещение от Юрия Воробьевского - Карим_Хайдаров.
28.11.2020 - 11:37: ВОЙНА, ПОЛИТИКА И НАУКА - War, Politics and Science -> ЗА НАМИ БЛЮДЯТ - Карим_Хайдаров.
28.11.2020 - 11:36: ВОСПИТАНИЕ, ПРОСВЕЩЕНИЕ, ОБРАЗОВАНИЕ - Upbringing, Inlightening, Education -> Просвещение от Аманды Вольмер - Карим_Хайдаров.
28.11.2020 - 09:04: ВОСПИТАНИЕ, ПРОСВЕЩЕНИЕ, ОБРАЗОВАНИЕ - Upbringing, Inlightening, Education -> Просвещение от Александра Флоридского - Карим_Хайдаров.

Боровское исследовательское учреждение - Bourabai Research Bourabai Research Institution