com.inubit.research.gui.plugins.choreography.enforceabilityChecker

Class EnforceabilityPlugin

java.lang.Object

com.inubit.research.gui.plugins.WorkbenchPlugin

com.inubit.research.gui.plugins.choreography.AbstractChoreographyPlugin

com.inubit.research.gui.plugins.choreography.enforceabilityChecker.EnforceabilityPlugin

public class EnforceabilityPlugin
extends AbstractChoreographyPlugin

A workbench plugin for checking the Enforceability of a BPMN 2.0 Choreography diagram. This plugin is able to tell, wheter a choreography is enforceable and if there are errors ("non-enforceabilities") it will show, where they are and briefly describe the problem.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	EnforceabilityPlugin.ErrorLevel states, wich level of enforceability is achieved by the choreography.

Field Summary

Fields inherited from class com.inubit.research.gui.plugins.choreography.AbstractChoreographyPlugin

addContextMenu

Fields inherited from class com.inubit.research.gui.plugins.WorkbenchPlugin

workbench

Constructor Summary

Constructors

Constructor and Description
EnforceabilityPlugin(Workbench workbench)
EnforceabilityPlugin(Workbench workbench, boolean addContextMenu)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.awt.Component>	getMenuEntries()
EnforceabilityPlugin.ErrorLevel	performCheck(boolean showResult) performs the enforcability check
void	removeMarkers() Remove failure markers from the model

Methods inherited from class com.inubit.research.gui.plugins.choreography.AbstractChoreographyPlugin

getMenuEntry, registerComponent

Methods inherited from class com.inubit.research.gui.plugins.WorkbenchPlugin

getWorkbench, init, setWorkbench

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EnforceabilityPlugin

public EnforceabilityPlugin(Workbench workbench)

Parameters:

workbench - the workbench, on which to operate

EnforceabilityPlugin

public EnforceabilityPlugin(Workbench workbench,
                            boolean addContextMenu)

Method Detail

getMenuEntries

public java.util.List<java.awt.Component> getMenuEntries()

Specified by:

getMenuEntries in class AbstractChoreographyPlugin

removeMarkers

public void removeMarkers()

Remove failure markers from the model

performCheck

public EnforceabilityPlugin.ErrorLevel performCheck(boolean showResult)
                                             throws java.awt.HeadlessException

performs the enforcability check

Returns:

true, if the selected BPMN diagram is a valid and enforcable choreography diagram

Throws:

java.awt.HeadlessException