Authors: | Neubauer, Johannes |
Title: | LocalChecker plugin for the jABC |
Language (ISO): | en |
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 Validation Verification |
URI: | http://hdl.handle.net/2003/30118 http://dx.doi.org/10.17877/DE290R-8519 |
Issue Date: | 2013-03-26 |
Appears in Collections: | LS 05 Programmiersysteme |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Studienarbeit.pdf | DNB | 229.17 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
This item is protected by original copyright rightsstatements.org