The integration of new technologies : the stakes of knowledge

In order to remain competitive in an increasingly competitive international context, French companies are forced to follow one or more of various possible routes: relocating some of the activities, optimizing the design and / or production process, or innovate technologically. When they choose to develop new technologies, it is advisable to seek outside expertise in different areas. Thus they must exchange and create knowledge in partnership with other companies. But in order to control and integrate this future technology, we support that the acquisition and the capitalization of the technical training, during the process of innovation, are of primary importance. This article demonstrates that the construction of this knowledge base can be achieved only by formalizing close and rigorous collaboration. To do this, we propose a model of the collaborative process, meant for the leaders of innovative projects to support design.Cifr

Using formal metamodels to check consistency of functional views in information systems specification

UML notations require adaptation for applications such as Information Systems (IS). Thus we have defined IS-UML. The purpose of this article is twofold. First, we propose an extension to this language to deal with functional aspects of IS. We use two views to specify IS transactions: the first one is defined as a combination of behavioural UML diagrams (collaboration and state diagrams), and the second one is based on the definition of specific classes of an extended class diagram. The final objective of the article is to consider consistency issues between the various diagrams of an IS-UML specification. In common with other UML languages, we use a metamodel to define IS-UML. We use class diagrams to summarize the metamodel structure and a formal language, B, for the full metamodel. This allows us to formally express consistency checks and mapping rules between specific metamodel concepts. (C) 2007 Elsevier B.V. All rights reserved

Reactive Rules for Emergency Management

The goal of the following survey on Event-Condition-Action (ECA) Rules is to come to a common understanding and intuition on this topic within EMILI. Thus it does not give an academic overview on Event-Condition-Action Rules which would be valuable for computer scientists only. Instead the survey tries to introduce Event-Condition-Action Rules and their use for emergency management based on real-life examples from the use-cases identified in Deliverable 3.1. In this way we hope to address both, computer scientists and security experts, by showing how the Event-Condition-Action Rule technology can help to solve security issues in emergency management. The survey incorporates information from other work packages, particularly from Deliverable D3.1 and its Annexes, D4.1, D2.1 and D6.2 wherever possible

Regulation, governance and informality: an empirical analysis of selected countries

The Informal Economy provides employment to more than 60 per cent of the labour population in the developing world despite being a site unfettered by regulations and social norms of fairness governing pay and work conditions. In assessing the factors behind an informal agent’s decision to formalize, it is asserted that rigidity in regulatory mechanism is the primary cause that impedes the process of formalization. However whether flexible regulations can encourage formalization by making gains of formalization more accessible and certain remains a question. In this paper we argue that flexible regulations does not necessarily manifest into the incentives that are essential for formalization. Reducing rigidities in regulation has a significant pay off only in the ambit of good governance. More specifically we hypothesise that degree of intensity of regulation will hardly matter in containing informality; rather what matters is the quality of governance and capability of the institutions to put the regulations into effect. Using secondary data for 46 countries over the period between 1980 and 2008, we empirically investigate into the linkages between governance, regulation and informal employment by developing static and dynamic panel data models and establish that in curbing informality what turns out to be crucial is the interaction between quality of governance and regulation

A Declarative Framework for Specifying and Enforcing Purpose-aware Policies

Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their ambiguous semantics of purposes and/or lack of support to the run-time enforcement of policies. In this paper, we propose a declarative framework based on a first-order temporal logic that allows us to give a precise semantics to purpose-aware policies and to reuse algorithms for the design of a run-time monitor enforcing purpose-aware policies. We also show the complexity of the generation and use of the monitor which, to the best of our knowledge, is the first such a result in literature on purpose-aware policies.Comment: Extended version of the paper accepted at the 11th International Workshop on Security and Trust Management (STM 2015

Consulting in the Library Network Environment

published or submitted for publicatio

Towards defining semantic foundations for purpose-based privacy policies

We define a semantic model for purpose, based on which purpose-based privacy policies can be meaningfully expressed and enforced in a business system. The model is based on the intuition that the purpose of an action is determined by its situation among other inter-related actions. Actions and their relationships can be modeled in the form of an action graph which is based on the business processes in a system. Accordingly, a modal logic and the corresponding model checking algorithm are developed for formal expression of purpose-based policies and verifying whether a particular system complies with them. It is also shown through various examples, how various typical purpose-based policies as well as some new policy types can be expressed and checked using our model

GAMETH A Process Modeling Approach to Identify and Locate Crucial Knowledge.

In a knowledge management initiative, one of the main issues is to identify and locate which knowledge to capitalize on. To deal with this issue, a General Analysis Methodology so called GAMETH® has been developed. In this article, we describe the postulates, the guiding principles, and the main phases, which constitute the basis of GAMETH® Framework. Notably, we emphasize the process modeling approach that is inherent to the second phase of the methodology. This process modeling approach supports the effective capability to locate and identify “crucial knowledge”. Furthermore, we present lessons learned from two case studies.Process modeling; Knowledge Management (KM); GAMETH; Identifying and Locating Company’s Crucial Knowledge; Crucial knowledge;