Examples domain (draft)

Draft

This is a preliminary version of the VDM documentation.

Typical integration scenarios and datamodels in Examples domain.

This domain is reserved for development and testing purposes.

Class diagram

Data models

• ExampleAuthor
• ExampleBook
• ExampleGenre

Features

• ExampleAuthor
• ExampleBook
• ExampleGenre
• ExampleBundle

Scenarios

• ExampleAuthorProvider
• ExampleBookProvider
• ExampleGenreProvider
• ExampleBundleProvider

Maps

• ExampleMap