On Message Specifications in OCL.

Marcel Kyas Frank S. de Boer

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

metamodel
email
test cases
communication channels
specification language
delay insensitive
high level
constraint language
genetic algorithm
artificial intelligence
data model
modeling language
functional requirements
control flow
tool support
message transmission