Обобщенная структурная метамодель протокола информационного взаимодействия
Ключевые слова:
построение протоколов, моделирование протоколов, анализ протокольных данных, протоколы прикладного уровняАннотация
Данная работа посвящена разработке структурной метамодели произвольного протокола информационного взаимодействия. Эта метамодель может быть использована для создания формализованных моделей различных протоколов, построения автоматических декодеров, хранения и обмена информацией о протоколах. Ее использование позволяет упростить многие прикладные задачи анализа данных, сравнения различных протоколов, влияния ошибок в канале связи на правильность декодирования и т.д.
Литература
2. Хантер Д., Кэгл К.., Гиббонс Д., Озу Н.а, Пиннок Д., Спенсер П. Введение в XML // Москва. Издательство ЛОРИ. 2006. 638 с.
3. Bouzerda T., Marchand-Maille S. A flexible framework for the development of XML protocols: Applications to MRML // Tech. Rep. no. 03.03. University of Geneva. Switzerland. 2003.
4. Abdullah I.S., Menasc D.A. Protocol specification and automatic implementation using XML and CBSE // In: Proc. IASTED Int. Conf. Communications, Internet and Information Technology (CIIT2003). Scottsdale. Arizona. USA. 2003. pp. 191–196.
5. Basu A., Morrisett G., Von Eicken T. Promela++: a language for constructing correct and efficient protocols // Proc. INFOCOM 98 17th Annual Joint Conf. IEEE Computer and Communications Societies. San Francisco. USA. 1998. pp. 455–462.
6. Thees J. Protocol implementation with Estelle- from prototypes to efficient implementations, Proc. Int’l. Workshop on the Formal Description Technique Estelle. France. 1998.
7. Leduc G., Germeau F. Verification of Security Protocols Using LOTOS-method and Application // Computer Communications. 2000. vol. 23 no. 12. pp. 1089-1103.
8. Bolognesi T., Brinksmaa E. Introduction to the ISO Specification Language LOTOS // Computer Networks and ISDN Systems. 1987. vol. 14. pp. 25–59.
9. Huang Y., Ravishankar C. Cicero: A Protocol Construction Language // Tech. rep. CSE-TR-171-93. Michigan. 1993. pp. 1–39.
Generalized Structural Metamodel of Information Interaction Protocol
Abstract
This work is devoted to the development of structural meta-model arbitrary protocol information interaction. This meta-model can be used to create formal models of various protocols, construction of automatic decoders by model, storage and exchange of information on protocols. Its use simplifies many application tasks of data analysis, tasks of comparing various protocols, study effect of errors in the communication channel on correctness of decoding.
