Neubauer, Johannes2013-03-262013-03-262013-03-26http://hdl.handle.net/2003/3011810.17877/DE290R-8519The 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.enStudent research project report;Business process modelingValidationVerification004study thesis