Разработка технологии генерации шаблонов распределённых приложений на основе формального описания прикладных протоколов Export

@phdthesis{citeulike:5815178, abstract = {Исследованы существующие методы и языки формального описания протоколов. Предложен свой подход к формальному описанию протоколов на базе диаграмм состояний языка UML. Исследованы методы генерации кода на основе диаграмм состояний. Разработана архитектура программной системы, включающая редактор моделей, средство проверки корректности моделей, средство преобразования и модификации моделей, средство генерации кода для различных языков программирования общего назначения, средство поддержки разработчика при написании ручных частей распределённой системы. Разработан прототип системы, реализующий спроектированную архитектуру. Прототип применён для разработки клиент-серверного приложения. Проведён анализ разработанной технологии, выявлены положительные и отрицательные черты, намечены направления дальнейшего развития.}, address = {Санкт-Петербург}, author = {Цесько, Вадим}, citeulike-article-id = {5815178}, keywords = {design, mda, mdd, methodology, model, model-driven, phd, protocol, research, ru, spbstu, thesis, uml}, posted-at = {2009-09-21 17:32:37}, priority = {0}, school = {Санкт-Петербургский Государственный Политехнический университет}, title = {Разработка технологии генерации шаблонов распределённых приложений на основе формального описания прикладных протоколов}, year = {2007} }

TY - THES ID - citeulike:5815178 L3 - citeulike-article-id:5815178 N2 - Исследованы существующие методы и языки формального описания протоколов. Предложен свой подход к формальному описанию протоколов на базе диаграмм состояний языка UML. Исследованы методы генерации кода на основе диаграмм состояний. Разработана архитектура программной системы, включающая редактор моделей, средство проверки корректности моделей, средство преобразования и модификации моделей, средство генерации кода для различных языков программирования общего назначения, средство поддержки разработчика при написании ручных частей распределённой системы. Разработан прототип системы, реализующий спроектированную архитектуру. Прототип применён для разработки клиент-серверного приложения. Проведён анализ разработанной технологии, выявлены положительные и отрицательные черты, намечены направления дальнейшего развития. AD - Санкт-Петербург TI - Разработка технологии генерации шаблонов распределённых приложений на основе формального описания прикладных протоколов PB - Санкт-Петербургский Государственный Политехнический университет KW - design KW - mda KW - mdd KW - methodology KW - model KW - model-driven KW - phd KW - protocol KW - research KW - ru KW - spbstu KW - thesis KW - uml AU - Цесько, Вадим PY - 2007/// ER -