Skip to main content

Protocols

Description​

A ProtocolClass defines a set of incoming and outgoing Messages that can be exchanged between two ports. The exact semantics of a message is defined by the execution model.

Motivation​

  • Protocol classes provide a reusable interface specification for ports

  • Protocol classes can optionally specify valid message exchange sequences

Notation​

Protocol classes have only textual notation. The example defines a protocol class with 2 incoming and two outgoing messages. Messages can have data attached. The data can be of a primitive type (e.g. int32, float64, ...) or a data class.

ProtocolClass ProtocolClass1 {
	incoming {
		Message m1(int32)
		Message m2()
	}
	outgoing {
		Message m3(DataClass1)
		Message m4()
	}
}