DEMO, CC-CP model, REA ontology

DEMO (Design Engineering Methodology for Organization) has its foundation in DEMO Enterprise Ontology (DEO) and provides a strong theoretical foundation for business process modeling with truthful state machine with well-defined states and state transitions. The DEMO co-creation and co-production model, which is in some way an extension of the DEMO generic pattern, enables to capture not only production facts but also semantically related coordination facts. This ability empowers this model to express complex entities such as a contract not only in a descriptive way but in a prescriptive way with precisely defined states and state transitions. The paper deals with possibilities of the DEMO co-creation co-production model to capture contract and its truthful states.