Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PLUGIN_DESCRIPTION |
"Converts an artifact specification in BALSA (UML) into a Petri net, for possible conformance checking analysis of the specification.\nPAPERS: \'Conformance Checking in Artifact-Centric Specifications - Montse Estanol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente\'" |