OCL-Based Runtime Monitoring of Applications with Protocol State Machines.

Lars Hamann Oliver Hofrichter Martin Gogolla

Published in: ECMFA (2012)

Keyphrases

state machines
sequence diagrams
state machine
petri net
recurrent networks
real time
fault tolerant
genetic algorithm
intermediate representation
artificial neural networks
low level
metamodel