WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     | 1 ||

Между полученными моделями устанавливается соответствие посредством платформо-независимой модели (PIM) отображения, заданной с использованием формальной нотации. Затем по модели отображения осуществляется генерация кода преобразования информационных моделей управления на основе формального подхода, описанного в четвертой главе. Код модуля взаимодействия с системой NMS также генерируется автоматически специализированным кодогенератором, созданным в рамках данной работы. Весь созданный код затем объединяется для получения модуля Q-адаптера, осуществляющего двустороннее преобразование информационных моделей управления.

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

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

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

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

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

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

Схема формирования суперпозиции преобразований приведена на рис. 4. Описать схему формирования можно следующим образом.

Элементарная операция реплицирующего преобразования R и пары отношения для ее операндов сформированы для исходной системы объектов M11 и предназначены для переноса в систему M12 в соответствии с правилами преобразования операций в реплицирующем преобразовании (на рисунке последняя система обозначена серым цветом, поскольку она является промежуточным результатом преобразований). Элементарную операцию и пары отношения можно считать системой объектов (M1R), являющуюся экземпляром исходной модели классов M1 структурного преобразования S. Поэтому для нее можно попытаться найти соответствующую систему объектов M2R, принадлежащую множеству экземпляров целевой модели классов (M2) структурного преобразования. Если соответствующая система объектов найдена, то она, так же как и исходная модель, будет задавать элементарную операцию и пары отображения, но уже для системы объектов M21, которая является экземпляром целевой модели классов структурного преобразования. Если продолжить применение реплицирующего преобразования, то будут внесены изменения в систему объектов M22, которая и будет являться результатом применения суперпозиции преобразований S(R) к системе объектов M11.

Модели уровня MM1 S M(пользовательские R R модели) <> <> Модели уровня MM11 M(экземпляры времени выполнения) R R M1R S M2R M12 MРис. 4. Схема формирования суперпозиции преобразований Как следует из описания структурного преобразования, еще одной задачей, которая решена в данной главе, является задание алгоритма восстановления цепочки элементарных структурных преобразований моделей классов на основе заданного межмодельного отображения. Из проведенной в работе оценки следует, что время работы алгоритма квадратично зависит от количества классов в отображаемых моделях M1 и M2.

Для того чтобы алгоритм мог обработать межмодельное отображение, последнее должно быть задано формально. В рамках предлагаемого подхода описан профиль языка UML, определяющий формальную нотацию для задания межмодельного отображения. В профиль включена в формализованном виде часть ограничений, S ( R ) налагаемых на отображаемые модели классов. Описанный профиль предназначен для использования в CASE-пакетах.

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

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

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

• расширение понятия двунаправленных выражений языка OCL, используемых для задания отображения атрибутов.

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

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

Рассматривается вопрос совместного использования существующих и специально разработанных средств автоматизированной генерации кода в рамках технологического процесса, описанного во второй главе. Созданные средства генерации кода основаны на формальной модели преобразований систем объектов времени выполнения, описанной в четвертой главе. При оценке эффекта от использования предлагаемых методов используются критерии оценки, разработанные в рамках проекта MODA-TEL [11].

В технологическом процессе интеграции используются средства возвратного проектирования и создания моделей, входящие в CASEпакет Rational Rose, а также собственные технологические средства генерации кода, основанные на среде модельно-ориентированной разработки EMF, входящей в состав популярной некоммерческой платформы IBM Eclipse.

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

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

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

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

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

В заключении приводятся основные результаты работы и направления дальнейших исследований.

В приложениях содержатся: исходные тексты алгоритма вывода последовательности структурных преобразований по заданному отображению между информационными моделями управления и используемые им данные, а также перевод информационной модели управления стандарта ETSI EN 300 292 [9] на CORBA IDL в соответствии с рекомендациями МСЭ-Т Q.816 и X.780.

Список литературы 1. Гребешков А. Ю. Стандарты и технологии управления сетями связи.

М.: Эко-Трендз. 2003. 288 с.

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

3. Кох Р., Яновский Г. Г. «Эволюция и конвергенция в электросвязи», М.:

Радио и связь. 2001. 280 с.

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

5. Akehurst D., Kent S. A relational approach to defining transformations in a metamodel // In proceedings of the 5th International Conference on UML.

2002. volume 2460. P. 243–258.

6. Czarnecki K., Helsen S. «Classification of Model Transformation Approaches» // In OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. Anaheim, California, USA. 2003.

7. Hausmann J. Metamodeling Relations—Relating metamodels // Metamodelling for MDA workshop. York, UK. November 2003.

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

9. 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.

10.MODA-TEL Deliverable 3.4, MDA Foundations and Key Technologies. July 2004. 111 p.

11.MODA-TEL Deliverable 6.3, Practical results. October 2004. 35 p.

12.Object Management Group, Interworking Between CORBA and TMN Systems Specification, Version 1.0. OMG Document formal/00-08-01.

August 2000. 298 p.

13.Object Management Group, Unified Modeling Language: Infrastructure, Version 2.0. OMG Document formal/05-07-05. March 2006. 218 p.

Работы автора по теме диссертации 1. Наганов М. В. Практический опыт промышленной реализации системы управления гетерогенной транспортной сетью // Системное программирование. Вып. 1: Сб. статей / Под ред.

А.Н. Терехова, Д.Ю. Булычева. СПб.: Изд-во С.-Петерб. ун-та, 2005. С. 115–130.

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

3. Фоминых Н. Ф., Наганов М. В. Опыт проектирования и реализации единой системы управления для гетерогенной транспортной сети // Проблемы совершенствования и развития специальной связи и информации, предоставляемых государственным органам: Тез. докл. 4-й Всерос. науч. конф. — Орел, 2005.

4. Naganov M. Bridging Academia and the Private Sector in Legacy Telecommunications Management Systems Integration // Proc. of the IASTED conference on Communication Systems and Networks (CSN 2005), Benidorm, Spain.— ACTA Press, September 2005. — P. 117–122.

5. Naganov M. Towards Automatic Generation of Q Adaptors // Proc.

of the IASTED Conference on Software Engineering (SE 2005), Innsbruck, Austria.— ACTA Press, February 2005. — P. 214–219.

Подписано к печати..2007. Формат бумаги 60х84 1/16.

Бумага офсетная. Печать ризографическая.

Объем 1 усл. п.л. Тираж 100 экз. Заказ.

Отпечатано в отделе оперативной полиграфии НИИХ СПбГУ с оригинал-макета заказчика.

198504, Санкт-Петербург, Старый Петергоф, Университетский пр., 26.

Pages:     | 1 ||






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»