LocalChecker plugin for the jABC
Loading...
Date
2013-03-26
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Alternative Title(s)
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.
Description
Table of contents
Keywords
Business process modeling, Validation, Verification