The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties. 1. Enterprise Modeling versus enterprise model verification: problematic A model… (More)
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… (More)
This paper presents a checking model for the design of industrial automata. Some typical behaviors are defined and their occurring conditions (which allow the engineer to check if its design is or isn't satisfactory) are computed with the sole set of excitation functions, without any need of the flow graph.