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)
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)
An efficient Binary Search-based approach used to determine the sets of human resources allowing one to reach, for an enterprise process, a given performance level is presented. It is based on an enterprise process performance methodology integrating human skill influence. In a first step, this approach is compared with algorithms such as Hybrid… (More)
"Modélisation et simulation pour l'analyse et l'optimisation des systèmes industriels et logistiques" MOSIM'04 – du 1 er au 3 Septembre 2004 – Nantes (France) MOTS-CLES : Allocation des ressources humaines – Performance – Compétence – Modélisation d'entreprise
The aim of this paper is a working-out of an open authoring framework for an automated documentation process binded with an object manufacturing-specific engineering framework. Using standards close together to support product documentation as part of the life-cycle of manufactured products is becoming an actual and urgent topic for industry. Indeed, this… (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.