The VIATRA Validation Framework offers a declarative approach for defining complex constraints on instance models that are evaluated incrementally during model editing.
In the CPS demonstrator we defined a set of constraints for Cyber Physical System instance models in the model/validation/rules.eiq
file in the cps.queries
project. The constraints include the following examples:
-
Host instances must have unique IP addresses
-
The initial state of a state machine must be among the states of the same state machine
-
Transitions must have target states, which must be in the same state machine as the source state
-
Actions of outgoing transitions from a given state must be unique
Definition of constraints
Each constraint is defined using @Constraint
annotations on patterns. The annotation has three required parameters:
-
The location identifies which element is the focus of the violation
-
The message is a format string that specifies what will be displayed for each violation
-
The severity specifies the type of the created marker (error or warning)
@Constraint(
location = state,
message = "Multiple outgoing transitions of $state.id$ define the same action ($action$)",
severity = "error"
)
pattern multipleTransitionsWithSameAction(state, action) {
State.outgoingTransitions(state, transition);
State.outgoingTransitions(state, otherTransition);
find actionOfTransition(transition, action);
find actionOfTransition(otherTransition, action);
transition != otherTransition;
}
private pattern actionOfTransition(transition, action) {
Transition.action(transition, action);
}
The VIATRA Query generator fragment generates the required source code and other artefacts automatically when the builder is invoked by saving the query definition file. The code is placed in the cps.queries.validation
project.
Usage of live validation
The live validation can be demonstrated in the generated editor for CPS models:
-
Start a Runtime Eclipse
-
Open a CPS instance model (e.g. by importing the
cps.instances
project) in the generated editor-
Right click on a
.cyberphysicalsystem
file in the Package explorer,Open with → CyberPhysicalSystem Model Editor
-
-
Initialize the validation
-
Right click in the tree editor,
VIATRA Validation → Initialize VIATRA Validators on Editor
-
-
Violations of constraints are displayed in the Problems view
-
Double clicking the violation will set the selection of the editor to the location element
-
Changes in the model will update problem markers immediately
-