Title: Incorporating MDT OCL implementation into jUCMNav project

Abstract:
jUCMNav is an Eclipse plug-in that supports the graphical editing and of User Requirements Notation (URN) models. URN itself is composed of two complementary languages: the Use Case Map (UCM) scenario notation and the Goal-oriented Requirements Language (GRL) ‎. jUCMNav already reports some issues found during execution/propagation in Eclipse’s Problems view. Although the tool prevents users from creating syntactically invalid models, there are still many rules related to the static semantics of the URN language that are not enforced. We are working on enable definition of rules for URN static semantics and other static verification checks in jUCMNav. Especially, we are also trying to explore the suitability of Eclipse’s OCL (Object Constraint Language) plug-ins to support rule definitions, checking, and explanation.