StaticSemanticDemo1 - JUCMNAV/projetseg-update GitHub Wiki

jUCMNav Demo: Creating a rule with the static semantic checking tool

This video demonstrates how to create a rule to enforce user-defined static semantics on a URN model. This particular example also makes use of two utility rules.

Difficulty: advanced

Software: jUCMNav 3.1 / Windows XP / Eclipse 3.3

See also: jUCMNav Static Semantics Demos 2, 3, 4, 5, 6, 7

-- Byrne Yan - 08 Apr 2008