Enterprise model verification and validation: an approach

TL;DR

This paper introduces a formal verification and validation approach for enterprise models, enhancing the industrial toolset with domain-independent concepts like property graphs and reasoning mechanisms.

Contribution

It presents a novel, domain-independent V&V framework for enterprise modeling using formal concepts and tools such as property graphs and ontologies.

Findings

Provides a formal V&V approach for enterprise models

Integrates property concepts and reasoning mechanisms

Enhances industrial enterprise modeling tools

Abstract

This article presents a Verification and Validation approach which is used here in order to complete the classical tool box the industrial user may utilize in Enterprise Modeling and Integration domain. This approach, which has been defined independently from any application domain is based on several formal concepts and tools presented in this paper. These concepts are property concepts, property reference matrix, properties graphs, enterprise modeling domain ontology, conceptual graphs and formal reasoning mechanisms.