NFA to DFA in AToM3
(ETAPS/FASE 2002)
Demonstrates how a combination of meta-modelling and graph grammars can be used to
build modelling environments for the NFA and DFA formalisms, including
automatic transformation from NFA to equivalent.
CBD in AToM3
(ETAPS/AGT 2002)
Demonstrates the power of meta-modelling combined with graph grammars to
model syntax as well as operational semantics of the
Causal Block Diagrams formalism.
Processing GPSS models in AToM3
(ESM 2002)
Uses AToM3 to build a graphical modelling environment and code-generator
for the GPSS process interaction discrete event language.
Meta-models are Models too (Wintersim 2002)
Introduces a meta-model and simulation graph Grammar for
the Deterministic Finite State Automata formalism.
Discusses how to import/export models in XML.