OCBC Conformance Checking Tool


Input: an OCBC model (.ocbcmml) and an XOC log (.xoc)

Output: Diagnosis demonstrated with three perspectives

OCBC Model Editor

Description: Basically, this software is used to draw OCBC models (i.e., nodes and edges) using Besides, it provides other functionalities such as zooming in or out, importing and exporting designed models.

Input: null or an OCBC model (.ocbcmml)

Output: an OCBC model (.ocbcmml) or a PDF file (.pdf) or a vector graph (.svg)

ERP Data Generator


Input: a simulation log (.xml)

Output: records writen in tables in the database corresponding to the ERP system