An Execution Semantics for MSC-2000.

Bengt Jonsson Gerardo Padilla

Published in: SDL Forum (2001)

Keyphrases

control flow
active rules
formal semantics
execution model
logic programming
data flow
active databases
databases
neural network
artificial intelligence
data model
semantic information
default reasoning
graphical representation
transformation rules