This repository contains two scenarios for demonstrating the features of CorrLang.
More details about these scenarios is found in the respective sub-folders systinteg
and designconsistency
.
Features a toy example from the health care domain where records stored across several systems have to be kept consistent.
Features a simplified scenario of constructing a software solution for an E-referral process. The design comprises several documents denoted in various modeling/architecture languages (TOGAF,BPMN,UML, etc.)