Search Results for "check"

Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1).

...It finds intersection and distance or closest to another object part of itself. It also can tell if it contains the other object or is it contained by that. Where appropriate, it's easy to check orthogonality and parallelism. Vectors are sub-typed from numpy ndarray class. Extensive unit tests are included. Test coverage exceeds 95%. See documentation of the library internals in section Files ( https://sourceforge.net/projects/geometry3d/files/ ).

ABOUT This is a free, client-side tool for evaluation of BPMN business process model quality and correctness. This tool helps to check BPMN diagrams and find modeling mistakes. HOW TO USE? Extract the downloaded archive and open analytics/index.html file in the web browser (it is recommended to use Google Chrome, Mozilla Firefox, or Microsoft Edge) OR use it online here >> https://freebpmnquality.github.io/services/analytics/

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

...Have a look atp the wiki where you will find a tutorial, samples, and a cheatsheet to get accustomed with instantFSM. The only instantFSM header file is downloadable from the files section or you can check it out from the git repository.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.