Formal Methods for Exchange Policy Specification

Delmas, Rémi; Polacsek, Thomas

doi:10.1007/978-3-642-38709-8_19

Cited by 10 publications

(7 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Regarding automation, even if we do not address the problem in this article, some works have shown the possibility of using logic solvers to design assistance [17], [18]. This type of automatic analysis could be used to validate the integrity of our models and support design tasks.…”

Section: Discussionmentioning

confidence: 99%

Design for Efficient Production, A Model-Based Approach

Polacsek

Roussel

Pralet

et al. 2019

2019 13th International Conference on Research Challenges in Information Science (RCIS)

Self Cite

View full text Add to dashboard Cite

The concept of simultaneous engineering has been used for several years in the industry. However, it rarely aims to think the design of the product and the design of its industrial system (the factory) together. In this paper, we address the need to have a global view of architectural design and manufacturing throughout the entire design process. More precisely, we define a model-based approach which makes it possible to evaluate the impact of a product design on its manufacturability. This approach constitutes a first step, in a long-term perspective, to consider several high-level industrial systems and product designs together and choose the one that gives the best performances.

show abstract

Section: Discussionmentioning

confidence: 99%

Design for Efficient Production, A Model-Based Approach

Polacsek

Roussel

Pralet

et al. 2019

2019 13th International Conference on Research Challenges in Information Science (RCIS)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Aussi est-il nécessaire de définir au sein de ces systèmes des politiques d'échange de données et d'informations (Delmas et Polacsek, 2015a) réglant la diffusion, les transactions et garantissant les droits et obligations de chacun des parties prenantes. À noter que plusieurs recherches concernent dès lors la spécification formelle de ces échanges ainsi que l'analyse de leurs propriétés (Delmas et Polacsek, 2013).…”

Section: éTude De Cas : De La Politique D'échange D'informationsunclassified

StrataVis : une technique de visualisation graphique orientée modèle

Bihanic¹,

Polacsek²

2016

Techniques et sciences informatiques

Self Cite

View full text Add to dashboard Cite

La maîtrise de l'ingénierie des systèmes relève, pour l'essentiel, du maniement de concepts, méthodes et outils offrant d'optimiser les interactions entre leurs multiples composants/constituants (éléments et/ou agents). En dépit de solutions et moyens dédiés (d'ordre conceptuel, méthodologique et logiciel), une telle maîtrise n'est malheureusement pas sans écueils. Au sein du présent article, nous nous polariserons sur l'un d'entre eux, soit celui relevant du manque d'expressivité visuo-graphique des modèles (en référence aux syntaxes concrètes des langages de modélisation). Prenant appui sur un cas d'étude, nous signalerons les particularités et avantages d'une nouvelle technique de visualisation graphique orientée modèle intitulée StrataVis laquelle ouvre, en sus d'une réelle plus-value de traitement (appréhender visuellement, visualiser et comprendre les interactions), à une 'clarification' de la complexité intrinsèque des systèmes actuels. ABSTRACT. Mastering system engineering means dealing with concepts, methods and tools in order to optimize interactions between multiple components/agents. Despite some focused software solutions (in the conceptual and methodological field), such mastery is not without its pitfalls. In this article, we will put particular emphasis on one of those difficulties: the lack of visual-graphical expressivity of models (referring here to the concrete syntax of modeling languages). Based on a case study, we will describe the features of a new graphical visualization technique called StrataVis that eases model-based system engineering (towards a clarification of inherent complexity of current systems) and requires fewer cognitive efforts from users/model engineers (better visualize and understand the interactions within the systems).

show abstract

“…In [5], we provided a formal framework named peps 1 , for the specification and verification of information diffusion policies. In this section, we show how we extend peps to take into account both diffusion and non-diffusion requirements explicitly.…”

Section: Exchange Policy Specificationmentioning

confidence: 99%

Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies

Delmas

Polacsek

2015

Advanced Information Systems Engineering

Self Cite

View full text Add to dashboard Cite

Whether be it for Earth observation, risk management or even companies relations, more and more interconnected organizations form decentralized systems in which the exchange, in terms of diffusion or non-diffusion of information between agents, can have critical consequences. In this paper, we present a formal framework to specify information exchange policies for such kinds of systems and two specific requirements, the need-to-share and the non-diffusion requirements, as well as properties strongly related to them. Wiser from these formal definitions, we see how to reconcile these sometimes antagonist requirements in a same policy specification with information filtering operations. We also explain how we use state of the art theorem provers to perform automatic analysis of these policies.

show abstract

Formal Methods for Exchange Policy Specification

Cited by 10 publications

References 16 publications

Design for Efficient Production, A Model-Based Approach

Design for Efficient Production, A Model-Based Approach

StrataVis : une technique de visualisation graphique orientée modèle

Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies

Contact Info

Product

Resources

About