From: Patrick SCHOULLER 
Subject: 
PCRDT. Thématique 7.3 ICT for governance.   
Le projet SEMFOPOL recherche des partenaires     

Madame monsieur
dans le cadre de l'appel 4 de la thématique TIC du PCRDT, nous avons reçu une
recherche de partenaires

PS-TR-3099 : http://www.ideal-ist.net/Countries/TR/PS-TR-3099 

TUBITAK UEKAE, centre de recherche Turc recherche des partenaires pour un:

Projet: STREP
Dans le défi: 7.3 ICT for Governance and Policy Modelling

Nom provisoire du projet: SEMFOPOL Semantic and Formal Modeling of Policies
Date de clôture: 01/04/2009

Sujet:
The purpose of SEMFOPOL is to provide methods and tools for automated analysis
of policies using semantic technologies and formal methods. For this purpose a
general policy language based on open standards and a methodology for semantic
and formal analysis of such policies will be developed.
A set of European Union legislation, National legislation and organizational
policies in e-Governance will be subject to semantic and formal analysis with
the tools and methods developed. SEMFOPOL will investigate the use of a common
and standards based electronically documentation format for policies in this
domain. For this purpose SEMFOPOL will investigate use of existing data
exchange standards for interoperability such as UN/CEFACT Core Component
Technical Specification (CCTS), OASIS ebXML and Universal Business Language
(UBL) for and common exchange of information between e-Governance
applications.
A general model for semantic and formal analysis of documents produced with
such frameworks in the area of e-Governance will be developed. 
Structured policy documents based on open standards will be subject to
semantic
and formal analysis. Based on a chosen open standard such as UN/CEFACT CCTS,
OASIS ebXML a policy document format will be developed. This policy definition
format will be unambiguous and will allow automated analysis. Therefore the
policy language will provide interoperability between other projects and
systems developed within e-Governance area.
Formal methods based analysis techniques will be investigated to analyze
policies written in this policy model. From structured XML based policy
descriptions, formal models of policies will be produced using suitable
formalism. The models of society elements, such as organizations, individuals
and group of individuals will be provided to the system as scenarios. The
system will then check if these scenarios satisfy the policies. If there is
any
change in policy it will be possible to see which scenarios pertaining to
processes of social organizations, e-government processes or individual
activities will be effected, and in which way. This methodology will be a
general purpose applicable in different domains of e-Governance after the
completion of the project. 

Présentation de la proposition:
An application domain of such a methodology and tool is checking compliance to
policies. Policies need to be formally checked to ensure that organizations
and
individuals are not bypassing rules and violating policy by making use of the
internal trust relationships. The possible actions of organizations and
individuals needs to be checked for compliance to the policies of their
organizations and the legislation. Here we propose a framework for
specification and analysis of policies of multiple organizations.
The output of the project will be:
1.Semantic analysis methodology and tool for producing a common and structured
document format for policies from policies in natural language,
2.GUI application that will input policies in this format that will produce
formal models for policies,
3.Scenario definition methodology and tools to define different work-flows of
organizations, individuals and group of individuals,
4.Formal verification methodology and tools to analyze policies presented in
formal model.

Expertises demandées:
Partners should have one or more of the following skills and expertise:
- e-Governance
- Policy making
- Semantic analysis
- Model checking
- Logics
- Formal reasoning
- XML and related technologies (particularly OASIS standards) 

Partenaires recherchés:
PROFILE 1: Policy making organisation(s) that participates in governance
procedures, legislation and/or compliance frameworks.
PROFILE 2: Systems integrator that works on e-Governance solutions.
PROFILE 3. Software house(s) that develops applications based on XML
technologies.
PROFILE 4. Research Center or University that has expertise on semantic
modeling and analysis.
PROFILE 5. Research Center or University that has expertise on model checking
and automated reasoning.
PROFILE 6. Government organization participating in e-Governance projects that
will evaluate and disseminate results. 

The proposer is not looking for a coordinator.

Pour en savoir plus, venez retirer cette recherche de partenaire:
http://www.ideal-ist.net/Countries/TR/PS-TR-3099

Pour plus de détail
merci de contacter
Claire FERTE
PCN ICT - IDEALIST

claire.ferte@ubifrance.fr


Ce message vous est distribué parce que vous êtes sur une liste de gens
potentiellement intéressés par les informations nationales ou
communautaires relatives à la société de l'information.
Si vous ne souhaitez pas faire partie de cette liste, merci d'envoyer un
message en disant quelle adresse email supprimer.

Patrick SCHOULLER
Ministère de l'Economie de l'Industrie et de l'Emploi
DGCIS - STIC
Représentant national "Programmes européens dédiés à la société de
l'information"
www.telecom.gouv.fr

De nombreux messages sont archivés sur
http://www.evariste.org/actu/schouller/