A Roadmap for UEML

International audienceA Roadmap for Unified enterprise modelling languag

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

The Unified Enterprise Modelling Language – Overview and further work

International audienceThe Unified Enterprise Modelling Language (UEML) aims at supporting integrated use of enterprise and IS models expressed using different languages. To achieve this aim, UEML offers a hub through which modelling languages can be connected, thereby paving the way for also connecting the models expressed in those languages. This paper motivates and presents the most central parts of the UEML approach: a structured path to describing enterprise and IS modelling constructs; a common ontology to interrelate construct descriptions at the semantic level; a correspondence analysis approach to estimate semantic construct similarity; a quality framework to aid selection of languages; a meta-meta model to integrate the different parts of the approach; and a set of tools to aid its use and evolution. The paper also discusses the benefits of UEML and points to paths for further work

The unified enterprise modelling language – Overview and further Work

ISBN 978-1-1234-7890-2/08International audienceThe Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provides a hub through which different languages can be connected, thereby paving the way for connecting the models expressed in those languages. UEML offers a structured approach to describing enterprise and IS modelling constructs, a common ontology to interrelate construct descriptions at the semantic level, a correspondence analysis approach to estimate semantic construct similarity, a quality framework to aid selection of languages, a meta-meta model to organise the UEML and a set of tools to aid its use. This paper presents an overview of UEML and points to paths for further work

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

ATLAS FRAMEWORK FOR INTEGRAL ENTERPRISE MODELLING - INSTANTIATION FOR DYNAMIC CAPABILITIES MODELLING

We argue that enterprise modelling should also include the human aspects of the organisation in order to develop a faithful representation of the total relevant system. Faithful representations contribute to practical implementation of management and organisational concepts like dynamic capabilities. Currently, there is a lack of enterprise modelling frameworks for modelling the organisation as a socio-technical system. We propose the Atlas Meta Framework for integral enterprise modelling and explain its elements: facets, levels, stakeholders, maps, atlas and roadmap. We demonstrate how the Atlas Meta Framework can be instantiated to the Atlas Capability Governance Framework and an online tool that can be used by managers for orchestrating the second-order dynamic capabilities of an organisation

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

Virtual Organizations in Practice: A European Perspective

The paper reports results from a European Union (EU) project dedicated to Virtual Organization (VO) research. It aims to consolidate VO reference models and related modeling methodologies based on experiences acquired in thirty relevant EU funded research projects. The research reveals the complex reality of deployment and adoption of VO practices and identifies a number of organizational, legal, economic, socio-cultural, and technical challenges faced by VOs, presented in the form of open questions for the research community

Toward overcoming accidental complexity in organisational decision-making

This paper takes a practitioner's perspective on the problem of organisational decision-making. Industry practice follows a refinement based iterative method for organizational decision-making. However, existing enterprise modelling tools are not complete with respect to the needs of organizational decision-making. As a result, today, a decision maker is forced to use a chain of non-interoperable tools supporting paradigmatically diverse modelling languages with the onus of their co-ordinated use lying entirely on the decision maker. This paper argues the case for a model-based approach to overcome this accidental complexity. A bridge meta-model, specifying relationships across models created by individual tools, ensures integration and a method, describing what should be done when and how, and ensures better tool integration. Validation of the proposed solution using a case study is presented with current limitations and possible means of overcoming them outlined