LocalChecker plugin for the jABC
Lade...
Dateien
Datum
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Sonstige Titel
Zusammenfassung
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.
Beschreibung
Inhaltsverzeichnis
Schlagwörter
Business process modeling, Validation, Verification