Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Protocol Modeling with Model Program Composition

Margus Veanes and Wolfram Schulte


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.


Publication typeInproceedings
Published inFORTE'08
SeriesLecture Notes in Computer Science
PublisherSpringer Verlag
> Publications > Protocol Modeling with Model Program Composition