автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Автоматизированная генерация кода для интеграции систем управления телекоммуникациями

ВВЕДЕНИЕ.

ГЛАВА 1. УПРАВЛЕНИЕ ТЕЛЕКОММУНИКАЦИОННЫМИ СЕТЯМИ.

1.1. Понятия и концепции сетевого управления.

1.1.1. Управление открытыми системами.

1.1.2. Концепция TMN.ю

1.1.3. Взаимодействие систем управления в TMN.

1.1.4. Модуль Q-адаптера.

1.1.5. Выводы.

1.2. Технология OMG CORBA и ее роль в TMN.

1.2.1. Концепции и понятия технологии CORBA.

1.2.2. Взаимодействие систем управления транспортными сетями с использованием CORBA.

1.2.3. Роль технологии CORBA в TMN.

1.2.4. Выводы.

1.3. Информационные модели управления.

1.3.1. Стандарты информационных моделей Q-интерфейса.

1.3.2. Перевод описания моделей управления из GDMO на CORBA IDL.

1.3.3. Методология описания интерфейсов управления MISM.

1.3.4. Выводы.

Сети связи, представляющие собой совокупность узлов и линий между ними, предназначены для переноса (транспортировки) сообщений в виде электрических сигналов от источника сообщений к получателю. Для обеспечения устойчивого функционирования сети связи и предоставления пользователям сети услуг связи с требуемым уровнем качества необходимо наличие дополнительных систем поддержки, объединяемых под общим понятием системы управления. Система управления неразрывно, в замкнутом контуре с обратной связью, взаимодействует с сетью связи через обусловленные интерфейсы [105].

Ввиду наличия на реальных телекоммуникационных сетях множества совместно существующих технологий и оборудования различных производителей, для обеспечения управления крупными сетями связи необходимо производить интеграцию разрозненных систем управления в единую сеть управления. Предлагаемая Международным союзом электросвязи (МСЭ-Т) концепция сети управления электросвязью (Telecommunications Management Network, TMN) предполагает организацию управления разнородным телекоммуникационным оборудованием на основе единых интерфейсов и протоколов [29]. В данной работе рассматриваются последние версии стандартов TMN [33,34,42], основанные на технологии OMG CORBA [25,68].

Интеграция существующей телекоммуникационной системы управления в сеть управления производится посредством адаптации предоставляемого ею внешнего интерфейса управления к требованиям стандартов, принятых в сети управления. При этом в рамках данной работы делается предположение о том, что в интегрируемой системе присутствует некий интерфейс для программного доступа к ее функциям управления, но этот интерфейс не основан ни на стандартах МСЭ-Т TMN, ни на альтернативных TMN стандартах, для которых уже разработаны шлюзы, осуществляющие трансляцию протокола управления [70].

В этом случае процесс интеграции является уникальным для каждой из систем управления, соответствующих предъявленным требованиям. Если сеть управления основана на решениях от крупных фирм-производителей телекоммуникационного оборудования, то в их состав могут входить программные средства, предназначенные для разработки модулей адаптации протоколов управления [105]. Однако на практике многие операторы сетей не используют мощные сетевые системы управления от ведущих производителей по двум причинам: во-первых, из-за их высокой стоимости, а во-вторых, из-за боязни наличия «закладок», найти которые в большой программной системе с закрытыми исходными кодами является практически неразрешимой задачей1 [105,113].

Следствием вышеуказанных фактов является то, что при создании единой сети управления для большой телекоммуникационной сети, включающей в себя оборудование различных производителей с собственными системами управления, производителям интегрируемого в нее оборудования (и систем управления) приходится разрабатывать модули адаптации протокола управления своими силами. При этом обычно используются ad hoc подходы, так как в научно-технической литературе этому вопросу уделено немного внимания (см. секцию 1.1.4), как следствие, отсутствуют специализированные инструментальные средства поддержки процесса разработки.

Целями данной работы являются выработка пригодной для промышленного применения обобщенной методологии создания модулей адаптации протоколов управления, предназначенных для интеграции систем управления телекоммуникациями в единую сеть управления, основанную на стандартах TMN, а также разработка технологических средств, предназначенных для автоматизации создания кода модулей адаптации.

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

В данной работе получены следующие результаты:

1. Предложен технологический процесс интеграции телекоммуникационных систем управления с использованием средств автоматизированной генерации кода.

2. Описана формальная нотация на базе языка UML [83] для задания соответствия между информационными моделями управления,

1. Последняя причина является особенно актуальной для силовых ведомств. используемыми в интегрируемой системе управления, и стандартизованными моделями управления, применяемыми в единой сети управления.

3. Разработана формальная модель подхода к осуществлению межмодельных преобразований на основе формального описания соответствия между информационными моделями управления.

4. Реализованы программные средства автоматизированной генерации кода, основанные на разработанной формальной модели.

5. Предложенный процесс и созданные программные средства применены при решении промышленной задачи создания модуля адаптации протокола управления для системы управления ЭАТС «Квант-Е-Сокол».

Автор выражает признательность всем участникам проекта по созданию ПО ЭАТС «Квант-Е-Сокол», а также благодарит А.Н. Терехова и А.Н. Иванова за обсуждение и конструктивную критику диссертационной работы. Особую благодарность хочется выразить родным и близким за моральную поддержку в процессе написания работы.

Диссертационная работа организована следующим образом. В Главе i представлен обзор предметной области: рассматриваются вопросы, связанные с управлением телекоммуникационными сетями, сопутствующими технологиями и стандартами. В Главе 2 приводится описание процесса интеграции телекоммуникационных систем управления в сеть управления с использованием средств автоматизации. В Главе з представлен обзор методик и стандартов архитектуры MDA консорциума OMG, применяемых в данной работе. В Главе 4 описываются формальная модель предлагаемого в данной работе подхода к осуществлению межмодельных преобразований в соответствии с заданным межмодельным отображением, а также формальный способ задания такого отображения. В Главе 5 рассматриваются вопросы практического применения описанных в работе методов автоматизированной генерации кода для осуществления интеграции телекоммуникационных систем управления. В Заключении приводятся основные результаты работы и направления дальнейших исследований.

5.2.5. Выводы

В данном разделе описано, каким образом на практике используются средства автоматизированной генерации кода для создания модуля Q-адаптера, предназначенного для интеграции телекоммуникационных систем управления. Основой для создания средств автоматической генерации кода являются средства модельно-ориентированной разработки, входящие в состав платформы Eclipse [27, 63]. Для выполнения специфичных для данного проекта задач генерации кода, таких как генерация кода межмодельных преобразований, основанных на формальной модели преобразований, описанной в Главе 4, потребовалось создание собственных технологических средств генерации кода. Архитектура интеграции, описанная в данном разделе, является конкретизацией абстрактной архитектуры, описанной ранее в разделе 2.1.

Существующие программные средства, с которыми можно было бы непосредственно сравнить созданные средства, к сожалению отсутствуют. Некоторые аналогии можно провести с пакетами семейства GMT (Generative Modeling Tools)3 — AIL [5] и VIATRA2 [98], которые также основаны на среде Eclipse EMF. Однако их применение на данный момент ограничено преобразованием моделей уровня Ml, что не позволяет использовать их для решения задачи создания Q-адаптера, требующих осуществления преобразования моделей уровня Мо. CASE-средством, которое, по-видимому, можно было бы использовать для создания Q-адаптера в соответствии с методологией MDA, является пакет ArcStyler компании Interactive Objects4. Описание опыта его использования в проекте MODA-TEL [59] свидетельствует о том, что с его помощью можно «сделать все что угодно». Однако при его использовании также пришлось бы создавать дополнительные модули расширения (называемые «картриджами»), что является более затруднительным по сравнению с процессом расширения платформы Eclipse, поскольку ArcStyler является коммерческим продуктом.

3. http://ecliDse.org/Qmt

4. http://www.interactive-obiects.com/products/arcstvler

В качестве дальнейшего развития инструментальных средств интеграции может быть рассмотрен вопрос отказа от использования пакета Rational Rose как средства создания модели отображения. Используемые возможности пакета по возвратному проектированию моделей из их представления на языках CORBA IDL и SQL DDL, а также созданию моделей UML, могут быть реализованы на основе платформы Eclipse. Таким образом, конкретная архитектура интеграции будет использовать единое CASE-средство — это очевидное упрощение технологической цепочки.

Другими важными задачами являются реализация автоматической генерации наборов тестовых классов для проверки работы созданного отображения, а также задача проверки корректности отображения, заданного в виде модели.

Заключение

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

В данной работе получены следующие результаты:

1. Предложен технологический процесс интеграции телекоммуникационных систем управления с использованием средств автоматизированной генерации кода (см. Главу 2).

Созданные в рамках данной работы средства автоматизации дополняют существующие средства прямой и обратной генерации кода. Без наличия таких средств использование высокоуровневых моделей затруднено и, как следствие, не практикуется, а это затрудняет дальнейшую поддержку и эволюционирование созданной системы.

2. Описана формальная нотация на базе языка UML [83] для задания соответствия между информационными моделями управления, используемыми в интегрируемой системе управления, и стандартизованными моделями управления, применяемыми в единой сети управления телекоммуникациями, основанной на стандартах МСЭ-Т TMN [29] (см. раздел 4.3).

Предлагаемый в данной работе подход заимствует идеи реляционного подхода Акехерста-Кента [3], касающиеся использования языка UML для задания отображения. Однако, в отличие от первоначальной версии подхода Акехерста-Кента, предлагаемый подход использует более простой способ задания межмодельного соответствия, а в отличие от дальнейших расширений реляционного подхода, сделанных Хаусман-ном-Кентом [23,24] также с целью упрощения нотации, предлагаемый подход не вводит новых конструкций в метамодель языка UML — определяется только профиль языка UML. Это должно упростить применение существующих CASE-пакетов для задания межмодельного отображения, поскольку на практике пакеты, поддерживающие профили, встречаются гораздо чаще, чем пакеты, позволяющие расширять метамодель языка UML [93].

3. Разработана формальная модель подхода к осуществлению межмодельных преобразований на основе формального описания соответствия между информационными моделями управления (см. Главу 4). Основными отличительными чертами предлагаемого подхода от аналогичных существующих подходов являются:

3.1. автоматическое указание правил осуществления межмодельных преобразований по межмодельному отображению, не требующих каких-либо дополнений со стороны пользователя (см. разделы 4.2 и 44);

3.2. нацеленность на преобразование моделей уровня Мо иерархии OMG MOF [71], то есть, моделей времени выполнения.

4. Реализованы программные средства автоматизированной генерации кода, основанные на разработанной формальной модели (см. раздел 5.2).

Основой для создания средств автоматической генерации кода являются средства модельно-ориентированной разработки, входящие в состав платформы IBM Eclipse [27, 63].

5. Предложенный процесс и созданные программные средства были применены при решении промышленной задачи создания модуля адаптации протокола управления для системы управления ЭАТС «Квант-Е-Сокол» (см. Главу 5).

В работе приведены результаты анализа соответствия информационных моделей системы управления ЭАТС «Квант-Е-Сокол» и ETSI EN 300 292 [16]. Созданный модуль Q-адаптера можно интегрировать с существующими универсальными системами сетевого управления от ведущих производителей, либо создать собственную специализированную систему управления.

В качестве возможных направлений дальнейших исследований можно указать:

1. В отношении предложенного подхода к осуществлению межмодельных преобразований:

1.1. ослабление ограничений, налагаемых на отображаемые модели (см. раздел 4.4) за счет обработки дополнительных ситуаций в алгоритмах межмодельных преобразований (т.е. задача дальнейшего развития модели преобразований);

1.2. изучение вопроса масштабируемости алгоритмов преобразования путем определения условий, при которых возможно параллельное выполнение преобразований в целом или их отдельных шагов;

1.3. задание формального алгоритма вывода последовательностей правил для преобразования ассоциаций (см. раздел 4.5).

1.4. расширение понятия двунаправленных выражений языка ОСЬ, используемых для задания отображения атрибутов (см. раздел 4.4).

2. В отношении его программной реализации:

2.1. отказ от использования коммерческого пакета Rational Rose путем создания дополнительных технологических средств на основе платформы Eclipse;

2.2. реализацию автоматической генерации наборов тестовых классов для проверки работы созданного отображения;

2.3. изучение возможности проверки корректности отображения, заданного в виде модели.

1. A.Agrawal, G.Karsai, F.Shi «Graph Transformations on Domain-Specific Models» Technical report, 1.stitute for Software Integrated Systems, Vanderbilt University, November 2003,43 p.

2. D.Akehurst «Model Translation: A UML-based specification technique and active implementation approach» Ph.D thesis, The University of Kent at Canterbury, December 2000,206 p.

3. D. Akehurst, S. Kent «А relational approach to defining transformations in a metamodel» // In proceedings of the 5th International Conference on UML, volume 2460,2002, P. 243-258.

4. M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D.Kuske, D. Plump, ASchurr, and G.Taentzer «Graph Transformation for Specification and Programming» Technical Report 7/96, Universitat Bremen, 1996,52 p.

5. ATLAS group «ATL: Atlas Transformation Language, ATL Starter's Guide» Version 0.1, Web published, December 2005. httD://www.ecliDse.ora/amt/atl/doc/ATL Starter Guide.odf

6. J. Bezivin, E. Breton, G. Dupe, P. Valduriez «The ATL Transformation-based Model Management Framework» Research report № 03.08, IRIN, Universite de Nantes, September 2003,17 p.

7. M.Blaha, W.Premerlani «А catalog of object model transformations» //In proceedings of the 3rd Working Conference on Reverse Engineering (WCRE'96), November 1996, P. 87-96.

8. CBOP, DSTC and IBM. «MOF Query/Views/Transformations, Second Revised Submission», OMG Document ad/04-01-06, January 2004,88 p. http://www.omQ.org/docs/ad/04-01-06.Ddf

9. N. Chomsky «Three Models for the Description of Language» // IRE Transactions on Information Theory, ГТ-2,1956, P. 113-124.

10. V. Claus, H. Ehrig, G. Rozenberg (eds.) «Proc. Int. Workshop on Graph Grammars and Their Applications to Computer Science And Biology» // LNCS 73, Berlin: Springer Verlag, 1978.

11. ETSI EN 300 292 «Telecommunications Management Network (TMN); Functional specification of call routeing information management on the Operations System/Network Element (OS/NE) interface», August 1998,118 p.

12. EURESCOM P609 Project «Catalogue of Standards and relevant Documents on Network and Service Management Information Models» http://www.eurescom.de/~Dublic-web-deliverables/p600-series/P609/eurescom/emol97/cataloa

13. M. Feridun, LHeusler, R. Nielsen «Implementing OSI Agent/Managers for TMN» // IEEE Communications Magazine, № 9, September 1996, P. 62-67. http://www.comsoc.ora/~ci/private/1996/sept/feridun.html

14. T. Gardner, C. Griffin, J. Koehler, R. Hauser «А review of OMG MOF 2.0 Query / Views / Transformations Submissions and Recommendations towards the final Standard», OMG Document ad/03-08-02, July 2003,21 p. httD://www.oma.ora/docs/ad/03-08-02.Pdf

15. G. Genova, С. Ruiz del Castillo, J. Llorens «Mapping UML Associations into Java Code» // Journal of Object Technology, vol. 2, no. 5,2003. P. 135-162. http://www.iotfm/issues/issue 2003 09/article4

16. D. Griffin «Integrated communications management of broadband networks», Crete University Press, Heraklio, Greece, 1996. http://www.ee.ucl.ac.uk/~dariffin/DaDers/book/icmbook.html

17. J. Hausmann «Metamodeling Relations—Relating metamodels» // Metamodelling for MDA workshop, November 2003, York, UK. httD://wwwcs.uni-Daderborn.de/cs/aa-enaels/Papers/20Q4/MM4MDAhausmann.Ddf

18. J. Hausmann, S. Kent «Visualizing Model Mappings in UML» // In Proceedings of ACM 2003 Symposium on Software Visualization (SOFTVIS 2003), 2003, P. 169-178.

19. M. Henning, S. Vinoski «Advanced CORBA® Programming with С++», Addison Wesley Longman, Inc., Reading, Massachusetts, February 1999,1120 p.

20. IBM «Eclipse Platform Technical Overview», Web published, April 2006,19 p. httD://www.ecliDse.orQ/articles^iteDaDer-Platform-3.1/ecliDse-Dlatform-whiteDaDer.Ddf

21. IBM «The Eclipse Modeling Framework (EMF) Overview», Web published, June 2005.httD://dev.ecliDse.ora/viewcv^ndextools.CQi/*checkout7ora.ecliDse.emf/doc/ora.ecliPse.emf.doc/ references/overview/EMF.html

22. Interactive Objects Software GmbH, Project Technology Inc., Unisys Corp. «Revised Submission to MOF Query / View / Transformation RFP», OMG document ad/03-08-11, August 2003,42 p.http://www.Qmq.9rq/dOC§/9d/Q3-Q9-11,PClf

23. ITU-T Recommendation M.3000 «Overview of TMN recommendations», February 2000,32 p.

24. ITU-T Recommendation M.3010 «Principles for a Telecommunications management network», February 2000,40 p.

25. ITU-T Recommendation M.3020 «TMN Interface Specification Methodology», February 2000,36 p.

26. ITU-T Recommendation M.3100 «Generic network information model», July 1995,100 p.

27. ITU-T Recommendation M.3120 «CORBA generic network and network element level information model», October 2001,24 p.

28. ITU-T Recommendation Q.816 «CORBA-based TMN services», January 2001, 80 p.

29. ITU-T Recommendation Q.826 «Stage 2 and Stage 3 Functional Specification of Call Routing Information Management on Operation System/Network Element (OS/NE) Interface», February 2000,145 p.

30. ГГО-Т Recommendation X.200 «Information technology — Open systems interconnection — Basic reference model: The basic model», July 1994,59 p.

31. ITU-T Recommendation X.20 8 «Specification of Abstract Syntax Notation One (ASN.i)», November 1988,72 p.

32. ITU-T Recommendation X.701 «Information technology — Open Systems Interconnection — Systems management overview», August 1997,32 p.

33. ITU-T Recommendation X.711 «Information technology — Open systems interconnection — Common management information protocol: Specification», October 1997,40 p.

34. ITU-T Recommendation X.720 «Information technology — Open Systems Interconnection — Structure of management information: Management Information Model», January 1992,31 p.

35. ITU-T Recommendation X.722 «Information technology — Open systems interconnection — Structure of Management information: Guidelines for the Definition of Managed Objects (GDMO)», January 1992,50 p.

36. ITU-T Recommendation X.780 «TMN guidelines for defining CORBA managed objects», January 2001,86 p.

37. А. Юерре, J. Warmer, W. Bast «MDA Explained: The Model Driven Architecture: Practice and Promise», Addison Wesley Longman, Inc., Reading, Massachusetts, April 2003,192 p.

38. R. Lemesle «Meta-modeling and modularity: Comparison between MOF, CDIF & sNets formalisms» // OOPSLA'98 Workshop #25: Model Engineering, Methods and Tools Integration with CDIF, October 1998,11 p.

39. D. Libes, D. Flater, E. Wallace, M. Steves, AB. Feeney, and E. Barkmeyer «The Challenges Of Automated Methods For Integrating Systems» // In proceedings of the LASTED Conference on Software Engineering, Innsbruck, Austria, February 2004, P. 486-492

40. D. Milicev «Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments» //IEEE Transaction on Software Engineering, Vol. 28, No. 4, April 2002, pp. 413-431.

41. MODA-TEL Deliverable 2.1 «Assessment of the Model Driven Technologies-Foundations and Key Technologies», December 2002,71 p. http://www.modatel.orci/%7EModatel/Dub/deliverables/D2.1 -final.pdf

42. MODA-TEL Deliverable 2.2 «Initial identification of issues for further research», December 2002,28 p.htto://www.modatel.ora/%7EModatel/pub/deliverables/D2.2-final.pdf

43. MODA-TEL Deliverable 3.1 «Model Driven Architecture Definition and Methodology», 2003,89 p.http://www.mQdatel.orci/%7EModatel/Dub/deliverables/D3.1 -final.pdf

44. MODA-TEL Deliverable 3.2 «Guidelines for the Application of MDA and the Technologies covered by it», 2003,105 p. htto://www.modatel.orci/%7EModatel/Dub/deliverables/D3.2-final.Ddf

45. MODA-TEL Deliverable 3.3 «MDA modelling and application principles», 2004, 75 p.htto://www.modatel.Qra/%7EModatel/pub/deliverables/D3.3-fin^.pdf

46. MODA-TEL Deliverable 3.4 «MDA Foundations and Key Technologies», July 2004,111 p.htto://www.mQdatel.Qra/%7EModatel/pub/deliverables/D3.4-final.Ddf

47. MODA-TEL Deliverable 3.5 «MODA-TEL Methodology and Guidelines», August 2004,69 p.htto://wmv.modatel.ora/%7EModatel/Dub/deliverables/D3.5-final-fixed.Ddf

48. MODA-TEL Deliverable 3-addi «MODA-TEL Model-Driven Methodology», 2003,16 p.httD://www.modatel.oro/%7EModatel/Dub/deliverables/D3.add1-final.pdf

49. MODA-TEL Deliverable 3.add2 «Considerations on telecom modelling languages», 2003,17 p.htto://www.modatel.ora/%7EModatel/pub/deliverables/D3.add2-final.Pdf

50. MODA-TEL Deliverable 4.3 «Tool Chain Specification», 2003,28 p. http://viww.modatel.ora/%7EModatel/Pub/deliverables/D4.3-final.pdf

51. MODA-TEL Deliverable 6.3 «Practical results», October 2004,35 p. httD://www.modatel.ora/%7EModatel/pub/deliverables/D6.3-final.pdf

52. MODA-TEL Deliverable 7.3 «Innovation prototype demonstrator», September 2004,12 p.http://vww.modatel.org/%7EModatel/Pub/deliverables/D7.3-final.pdf

53. MODA-TEL «Project Objectives», Web published. http://www.modatel.orQ/public/aeneralinfo/obiectives.htm

54. B. Moore, D. Dean, A Gerber, G. Wagenknecht, P. Vanderheyden «Eclipse Development using the Graphical Editing Framework and the Eclipse Modeling Framework», Addison Wesley Longman, Inc., Reading, Massachusetts, February 2005,256 p.

55. M. Naganov «Bridging Academia and the Private Sector in Legacy Telecommunications Management Systems Integration» //In proceedings of the IASTED conference on Communication Systems and Networks (CSN2005), Benidorm, Spain, September 2005, P. 117-122.

56. М. Naganov «Towards Automatic Generation Of Q Adaptors» // In proceedings of the TASTED Conference on Software Engineering (SE2005), Innsbruck, Austria, February 2005, P. 214-219.

57. U. Nickel, J. Niere, A Zundorf «Tool demonstration: The FUJABA Environment» // In the 22nd International Conference on Software Engineering (ICSE), ACM Press, Limerick, Ireland, 2000, P. 742-745.

58. J. Noble «Basic Relationship Patterns» // In Proceedings of the European Conference on Pattern Languages of Program Design (EuroPLOP'97), Irsee, Germany, 1997.

59. Object Management Group «Common Object Request Broker Architecture: Core Specification», Version 3.0.3, OMG Document formal/04-03-12, March 2004, 1152 p.httD://www.oma.ora/docs/formal/04-03-12.Ddf

60. Object Management Group «Common Warehouse Metamodel (CWM) Specification», Version 1.1, OMG Document formal/03-03-02, March 2003, 576p.httD://www.omQ.orQ/docs/fQrmal/03-Q3-Q2.pdf

61. Object Management Group «Interworking Between CORBA and TMN Systems Specification», Version 1.0, OMG Document formal/oo-o8-oi, August 2000, 298 р.http://www.oma.ora/docs/fQrmal/Q0-Q8-01.pdf

62. Object Management Group «Meta Object Facility (MOF) Core Specification», Version 2.0, OMG Document formal/o6-oi-oi, January 2006,88 p. http://www.oma.ora/docs/formal/06-01 -01 .pdf

63. Object Management Group «MOF QVT Final Adopted Specification», Final Adopted Specification, OMG Document ptc/05-11-01, November 2005,204 p. http://www.oma.ora/docs/ptc/05-11-01.pdf

64. Object Management Group «MOF 2.0/XMI Mapping Specification», Version 2.1, OMG Document formal/05-09-01, September 2005,120 p. httD.//www.oma.ora/docs/formal/05-09-01.pdf

65. Object Management Group «Model Driven Architecture (MDA)», OMG Document ormsc/2001-07-01, July 2001,31 p. http.7/www.oma.ora/docs/ormsc/Q1-Q7-Q1.pdf

66. Object Management Group «Naming Service Specification», Version 1.0, OMG Document formal/00-06-19, April 2000,28 p. htb:/Avm.oma.ora/docs/formal/00-06-19.pdf

67. Object Management Group «Notification Service Specification», Version 1.1, OMG Document formal/04-10-11, October 2004,227 pp, http://www.oma.ora/docs/formal/04-10-11 .pdf

68. Object Management Group «Object Constraint Language Specification», Version 2.0, OMG Document formal/06-05-01, May 2006,232 p. http://www.oma.ora/docs/formal/06-Q5-01.pdf

69. Object Management Group «OMG Unified Modeling Language Specification», Version 1.5, OMG Document formal/03-03-01, March 2003,736 p. htto://www.omQ.ora/docs/formal/03-03-01.pdf

70. Object Management Group «Request for Proposal: MOF 2.0 Query / Views / Transformations RFP», OMG Document ad/2002-04-10, April 2002,32 p. http://Www.oma.ora/docs/ad/2002-04-10.pdf

71. Object Management Group «Telecom Log Service Specification», Version 1.1.2, OMG Document formal/03-07-01, July 2003,62 p. http://www.oma.ora/docs/formal/03-07-01.pdf

72. Object Management Group «UML Profile and Interchange Models for Enterprise Application Integration (EAI) Specification», OMG Document formal/04-03-26, March 2004,298 p.http://www.oma.ora/docs/formal/04-03-26.pdf

73. Object Management Group «UML Profile for CORBA Specification», OMG Document formal/02-04-01, April 2002,102 p. http://www.oma.ora/docs/formal/02-04-01.pdf

74. Object Management Group «Unified Modeling Language: Infrastructure», Version 2.0, OMG Document formal/05-07-05, March 2006,218 p. http://www.oma.ora/docs/formal/05-07-05.pdf

75. ORBYCOM «GDIDL: a GDMO/ASN.i to IDL translator» http://orbvcom.free.fr/en/adidl.html

76. M. Peltier, J. Bezivin, G. Guillaume «MTRANS: a general framework, based on XSLT, for model transformations» //In proceedings of Workshop on

77. Transformations in UML, J. Whittle et al, eds., 2001, P. 93-97. http://www.sciences.univ-nantes.fr/lina/atl/wwv/Dapers/Deltier-bezivin-auillaume.pdf

78. W.J. Petermueller «Q3 Object Models for the Management of Exchanges» // IEEE Communications, Vol. 34, № 3, March 1996, P. 48-60.

79. QVT-Partners «Revised submission for MOF 2.0 Query / Views / Transformations RFP», Version 1.1, OMG Document ad/03-08-08, August 2003, 109 р.httD://www.oma.ora/docs/ad/03-08-Q8.p(lf

80. J. Rumbaugh «Relations as Semantic Constructs in an Object-Oriented Language» // Proc. of the ACM Conference on Object-Oriented Programming: Systems, Languages and Applications, Orlando, Florida, 1987, P. 466-481.

81. A Schurr «Specification of Graph Translators with Triple Graph Grammars» // Proc. WG'94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science, LNCS 903, Berlin: Springer Verlag, June 1994, P. 151-163.

82. A Schurr, A Winter, A Zundorf «Graph Grammar Engineering with PROGRES» //Proc. of the5th European Software Engineering Conference (ESEC'95), LNCS 989, Springer-Verlag, September 1995, P. 219-234.

83. M. Suzuki, H. Maeomichi, N. Shiraishi, Y. Kiriha «Active Q Adaptor for Programmable End-to-End Network Management Systems» //In IEICE Transactions on Communications. Vol. E82-B, No. 11, November 1999, P. 17611769.

84. NA Tariq, N. Akhter «Comparison of Model Driven Architecture (MDA) based tools», MSc Thesis, June 2005,74 p.

85. TeleManagement Forum TMF 513 «Multi-Technology Network Management Business Agreement», Version 3.0, April 2004,565 p.

86. TeleManagement Forum TMF 608 «Multi-Technology Network Management Information Agreement», Version 3.0, April 2004,26 p.

87. TeleManagement Forum TMF 814 «Multi-Technology Network Management Solution Set», Version 3.0, April 2004,17 p.

88. D.Varro, G.Varro, A.Pataricza «Designing the automatic transformation of visual languages» //Science of Computer Programming, Vol.44(2), 2002, P. 205-227.

89. D. Varro «VIATRA 2 Model Transformation Framework User's Guide», Web published, May 2006.httD://dev.eclipse.ora/viewcvs/indexte^^ viatratut2.pdf

90. W3C Recommendation «XML Path Language (XPath)», Version 1.0, J. Clark, ed., November 1999.htto:/Avww.w3.ora/TR/1999/REC-xpath-19991116

91. W3C Recommendation «XSL Transformations (XSLT)», Version 1.0, J. Clark, ed., November 1999.http://www. w3.oran"R/1999/REC-xslt-19991116

92. W. Wang «Evaluation of UML Model Transformation Tools», MSc Thesis, Vienna University of Technology, June 2005,102 p.

93. Ю. Блэк «Сети ЭВМ: протоколы, стандарты, интерфейсы»: Пер. с англ., М.: Мир, 1990.506 с.

94. Г. Буч, Д. Рамбо, А. Джекобсон «Язык UML. Руководство пользователя», 2-е изд., Пер. с англ., М.: ДМК-Пресс; СПб.: «Питер», 2004.432 с.

95. ДЖ. Влиссидес «Применение шаблонов проектирования. Дополнительные штрихи», Пер. с англ., М.: Издательский дом «Вильяме», 2003.144 с.105АЮ. Гребешков «Стандарты и технологии управления сетями связи», М.: Эко-Трендз, 2003.288 с.

96. Я.С. Дымарский, Н.П. Крутякова, Г.Г. Яновский «Управление сетями связи: принципы, протоколы, прикладные задачи», М.: Связь и бизнес, 2003. 382 с.

97. Ю9.К.Г. Князев, А.О. Гудрус «Новые ракурсы сетевого управления» // Труды MAC, №2 (18), 2001, С. 20-24.ио.Р.Кох, Г.Г.Яновский «Эволюция и конвергенция в электросвязи», М.: Радио и связь, 2001.280 с.

98. М. Б. Кузнецов «Трансформация UML-моделей и ее применение в технологии MDA», Препринт 5, М.: ИСП РАН, 2005, 26 с. http://citforum.ru/SE/Droiect/uml mda/

99. М.В. Наганов «Автоматизация преобразования моделей при осуществлении интеграции систем управления телекоммуникациями» // Вестн. С.-Петерб. ун-та. Сер. ю. 2007. Вып. 1. С. 90-101

100. М.В. Наганов «Практический опыт промышленной реализации системы управления гетерогенной транспортной сетью» //в сб. «Системное программирование», СПб: изд-во СПбГУ, 2006, С. 115-130.

101. М.В. Наганов «Система автоматической генерации данных ПО АТС «Квант-Е-Сокол», дипломная работа, кафедра Системного программирования СПбГУ, 2001.

102. А.Н.Терехов, КЛО.Романовский, Д.В.Кознов, П.С.Долгов, А.Н.Иванов «REAL: методология и CASE-средство для разработки систем реального времени и информационных систем» // Программирование, №5,1999. С. 44— 52.