|Title:||LocalChecker plugin for the jABC|
|Abstract:||The LocalChecker plugin is a robust tool informing the application expert about incorrect usage of SIBs. In continous check mode, the plugin gives direct information about the status of a SIB via the overlay icon. For the actual selection, more details are available in the plugin inspector. The info window provides information about the status of all SIBs in a model. The LocalChecker is a powerful and easy to use addition to the model checking plugin GEAR.|
|Subject Headings:||Business process modeling|
|Appears in Collections:||LS 05 Programmiersysteme und Übersetzerbau|
This item is protected by original copyright
All resources in the repository are protected by copyright.