Séminaire du 17 Février 2012

Lieu

IBISC, salle non communiquée: comment y aller

Attention, l'IBISC a déménagé! et le site ne contient pas encore les indications que voici:

Pour venir en RER de Paris :

  • prendre la ligne D vers le sud (Corbeil-Essonnes, Malesherbes, Melun)
  • choisir un train dont le nom matche « [BRZ][IO]P[EO] » (RIPE, BIPE, ROPO, ZIPO, ...), la troisième lettre est importante (P)
  • descendre à Évry-Courcouronne sortir de la gare en toute tête de train (sortie «parking régional»)
  • suivre le chemin rouge sur le plan :
    • à droite en sortant de la gare
    • à gauche sur le boulevard
    • au pont à gauche quand le bâtiment est visible :

En voiture, deux parkings sont accessibles à proximité :

  • le plus proche est de l'autre côté de la ligne de RER, au sud du bâtiment sur le plan
  • le parking de la préfecture, au nord sur le plan, est plus grand mais plus éloigné

Programme

14h00-15h00: P. Poizat, Univ. Evry Val d'Essonne and LRI "Formal Model-Based Approaches for the Development of Composite Systems"

Abstract: transparentsSoftware engineering is concerned about techniques and tools to build software. In this field, software architectures have been proposed as a formal solution to the increasing complexity of software systems, elaborating on the idea of building composite systems out of reusable components that interact through well-defined provided and required interfaces. I will present in this talk my contributions to the development of composite systems with formal techniques for adaptation, automatic composition, and testing. Being developed by different third-parties, components to be reused in a composition often present mismatch. Adaptation is concerned about the automatic generation of software pieces, called adaptors, that solve in a non-intrusive way such mismatch. Going further, automatic composition addresses the (automatic) generation of composite systems being given a set of reusable components and an abstract description of the composite system's requirements. Finally, formal testing enables one to check for the conformance between the requirement and an implementation of a component. Since basic interfaces are insufficient to address issues such as composition correctness, I support in my work components equipped with behavioral interfaces, describing not only what is provided or required by a component, but also the related usage protocols.

15h00-15h30 : Y. Li, Telecom SudParis, "A CPN Provenance Model of Workflow Towards Diagnosis in the Cloud"

Abstract: The provenance of workflow is an important supportive component concerns the knowledge sharing, product reusability and process verification. Nowadays the development of cloud computing offers the new application opportunities and research challenges, such as integrity, privacy, security and legal related problems. In this paper, we model an Open Provenance Model (OPM) and a Web Service Security prolicy (WS-S) as Colored Petri net (CPN) for diagnosis based on the provenance information.

15h30-16h00: pause café

16h00-16h30: vie du groupe