This study only proves that social variables have an additional effect on conformance to rules.
The criterion that intuitionism applies is the conformance of an action to duty as defined by fundamental and self-evident principles of duty.
Improved tool support for the semantics would be of great value, for meta-typechecking, for conformance testing, and for proofs of soundness.
In our experience, accidental conformance is not a significant source of programming errors.
Named conformance, on the other hand, avoids problems with accidental conformance.
In languages where modeling is established by named conformance only at type definition time, types cannot retroactively model concepts.
Analytic applications of rich ontologies include the checking of the consistency (conformance) of data against the model.
An important problem related to interaction protocols in general is that of conformance checking.
