The paper elaborates on the need for mathematical semantics as a means of an underlying formalism unifying the constructs of CIM architectures. It relies on mathematical characterisations of objects as category morphisms, in order to describe their dynamic behaviour and their interactions with suitable environments. To clarify the role of an enterprise model the idea of model correctness is also introduced. Application of the framework is made on the constructs of the Function View of the CIMOSA modelling architecture, chosen as an example.
CIM architectures, Modelling architectures, Reference architectures, Enterprise models, Business Process models, Model correctness, Integrating infrastructures, Mathematical semantics, Objects, Object-oriented languages, Object dynamics, Dynamic behaviour, Environments, Modelling environments, Category theory, Category morphisms, Semantic unification
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).