D1.5 An Integration, Verification and Simulation Tool for Formal Business Models Download

Description:

Deliverable D1.5 presents three prototype implementations of CogNIAM matrix protocols, used by business analysts to discover the most important constraints (integrity or validation rules, sometimes called axioms in Common Logic) on fact types. The matrix protocols are designed to offer a routine way to elicit the most important constraints from business experts who do not need to understand CogNIAM or any other (business) modeling method.

File Author:

Jeroen Hoppenbrouwers

File Size:

1,907.11 Kb

File Type:

pdf

Downloads:

27

Rating:

Total Votes:0