Protocol Modeling with Model Program Composition

Margus Veanes and Wolfram Schulte

Abstract

Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging from simple protocols for email exchange to complex ones for distributed file replication or real time communication. To fight this increasing complexity problem, we introduce a methodology and formal framework that uses model program composition to specify behavior of such protocols. A model program can be used to specify an increment of protocol functionality with a coherent purpose, which can be understood and analyzed separately. The overall behavior of a protocol can be defined by a composite model program, which defines how the individual parts interoperate.

Details

Publication typeInproceedings
Published inFORTE'08
Pages324-339
Volume5048
SeriesLecture Notes in Computer Science
ISBN978-3-540-68854-9
PublisherSpringer Verlag
> Publications > Protocol Modeling with Model Program Composition