Enterprise model verification and validation : an approach

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

VIVACE: A Framework for the Systematic Evaluation of Variability Support in Process-Aware Information Systems

CONTEXT The increasing adoption of process-aware information systems (PAISs) such as workflow management systems, enterprise resource planning systems, or case management systems, together with the high variability in business processes (e.g., sales processes may vary depending on the respective products and countries), has resulted in large industrial process model repositories. To cope with this business process variability, the proper management of process variants along the entire process lifecycle becomes crucial. OBJECTIVE The goal of this paper is to develop a fundamental understanding of business process variability. In particular, the paper will provide a framework for assessing and comparing process variability approaches and the support they provide for the different phases of the business process lifecycle (i.e., process analysis and design, configuration, enactment, diagnosis, and evolution). METHOD We conducted a systematic literature review (SLR) in order to discover how process variability is supported by existing approaches. RESULTS The SLR resulted in 63 primary studies which were deeply analyzed. Based on this analysis, we derived the VIVACE framework. VIVACE allows assessing the expressiveness of a process modeling language regarding the explicit specification of process variability. Furthermore, the support provided by a process-aware information system to properly deal with process model variants can be assessed with VIVACE as well. CONCLUSIONS VIVACE provides an empirically-grounded framework for process engineers that enables them to evaluate existing process variability approaches as well as to select that variability approach meeting their requirements best. Finally, it helps process engineers in implementing PAISs supporting process variability along the entire process lifecycle

A formal verification framework and associated tools for enterprise modeling : application to UEML

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

New Shop Floor Control Approaches for Virtual Enterprises

The virtual enterprise paradigm seems a fit response to face market instability and the volatile nature of business opportunities increasing enterprise’s interest in similar forms of networked organisations. The dynamic environment of a virtual enterprise requires that partners in the consortium own reconfigurable shop floors. This paper presents new approaches to shop floor control that meet the requirements of the new industrial paradigms and argues on work re-organization at shop floor level.virtual enterprise; networked organisations

Impact Evaluation of Interoperability Decision Variables on P2P Collaboration Performances

This article deals with the impact evaluation of interoperability decision variables on performance indicators of business processes. The case of partner companies is studied to show the interest of an Interoperability Service Utility (ISU) on business processes in a peer to peer (P2P) collaboration. Information described in the format and the ontology of a broadcasting entity is transformed by ISU into information with the format and the ontology of the receiving entity depending on the available resources of interoperation. These resources can be human operators with defined skill level or software modules of transformation in predefined languages. A design methodology of a global simulation model for estimating the impact of interoperability decision variables on performance indicators of business processes is proposed. Its implementation in an industrial case of collaboration shows its efficiency and its interest to motivate an investment in the technologies of enterprise interoperability

Evaluation of the main achievements of cohesion policy programmes and projects over the longer term in 15 selected regions (from 1989-1993 programme period to the present)

Against a background of inconclusive evidence of the results of EU Cohesion policy since 1989, the aim of this study has been to evaluate the main achievements of EU Cohesion policy programmes and projects and their effectiveness and utility over the longer term in 15 selected regions of the EU15. Specifically, the main objectives of the study were twofold: (i) to examine the achievements of all programmes co-financed by the ERDF and, where applicable, the Cohesion Fund, which have been implemented in the 15 selected regions from 1989 to 2012 (regional programmes and national programmes implemented in the regions); and (ii) to assess the relevance of programmes and the effectiveness and utility of programme achievement

Development of the Integrated Model of the Automotive Product Quality Assessment

Issues on building an integrated model of the automotive product quality assessment are studied herein basing on widely applicable methods and models of the quality assessment. A conceptual model of the automotive product quality system meeting customer requirements has been developed. Typical characteristics of modern industrial production are an increase in the production dynamism that determines the product properties; a continuous increase in the volume of information required for decision-making, an increased role of knowledge and high technologies implementing absolutely new scientific and technical ideas. To solve the problem of increasing the automotive product quality, a conceptual structural and hierarchical model is offered to ensure its quality as a closed system with feedback between the regulatory, manufacturing, and information modules, responsible for formation of the product quality at all stages of its life cycle. The three module model of the system of the industrial product quality assurance is considered to be universal and to give the opportunity to explore processes of any complexity while solving theoretical and practical problems of the quality assessment and prediction for products for various purposes, including automotive