Draft

This is a preliminary version of the VDM documentation.

ExampleBook*

• type: integration scenario

Definitions

	Code	Name	Input feature	Output feature	Description
	ExampleBookProvider	Example book provider	ExampleBooks	ExampleBooks	Example book provider (i.e. publisher and consumer)
	ExampleBookConsumer	Example book consumer	ExampleBooks	-none-	Example book consumer
	ExampleBookPublisher	Example book publisher	-none-	ExampleBooks	Example book publisher

List of changes