Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules.

Min Zhang Kazuhiro Ogata

Published in: APSEC (2012)

Keyphrases

rewrite rules
state machines
transformation rules
state machine
petri net
rewriting rules
recurrent networks
query optimization
sql queries
consistency constraints
metamodel
complex queries
model driven
recurrent neural networks
fault tolerant
neural network
databases
multi dimensional