MOTL: a textual language for trace specification of state machines and associations.

Hamoud Aljamaan Timothy C. Lethbridge Miguel A. Garzón

Published in: CASCON (2015)

Keyphrases

state machines
state machine
petri net
natural language
specification language
recurrent networks
programming language
association rules
finite state machines
sequence diagrams
metadata
formal language
formal methods
operational semantics
fault tolerant
error rate
data structure