- Full text PDF available (5)
- This year (0)
- Last 5 years (0)
- Last 10 years (1)
Journals and Conferences
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.
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)
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)
To develop or to improve a system requires to specify very early the user waits and the requirements which this system will have to answer throughout its life. So, languages of representation and mechanisms of validation and of check are necessary to describe and manage the reality complexity then to ensure the resultant system performs well its role and… (More)
* LGI2P Laboratoire de Génie Informatique et d'Ingénierie de Production site EERIE de l’Ecole des Mines d’Alès Parc Scientifique Georges Besse F30035 Nîmes cedex 1 Tel : (+33) 466 387 065 Fax : (+33) 466 387 074 Mél : Vincent.Chapurlat@.ema.fr, firstname.lastname@example.org ** LIRMM Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier 161, rue… (More)
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.