20 Novembre - 26 Novembre


Retour à la vue des calendrier
Lundi 20 Novembre
Heure: 15:00 - 16:00
Lieu: Salle A303, bâtiment A, campus de Villetaneuse
Résumé: Séminaire SV : Fadwa Rekik
Description: Fadwa Rekik L’architecture orientée service (SOA) est un paradigme qui offre des mécanismes permettant une grande flexibilité des architectures des systèmes logiciels tout en réduisant leurs coûts de développement puisqu’elle se base sur des entités modulaires et réutilisables appelées services. Ces services peuvent être réutilisés dans le cadre d’une composition ou d’une chorégraphie de services pour la construction de nouveaux processus métiers transverses. De son côté, le paradigme de l’Ingénierie Dirigé par les Modèles (IDM) offre au travers de ses deux principes fondateurs, l’abstraction et l’automatisation, deux moyens puissants de gestion de la complexité sans cesse croissante des systèmes. Combiner les deux paradigmes et concevoir ainsi une approche de type SOA dirigée par les modèles semble une piste prometteuse. Cependant, malgré les progrès de l’application des principes de l’IDM la spécification et le développement des applications SOA, plusieurs problèmes restent à résoudre. Un de ces problèmes est d’effectuer une vérification rigoureuse des modèles de spécification des applications orientées services. Ces modèles sont généralement composés de plusieurs vues sémantiquement liées les unes aux autres. Un deuxième problème est la transformation de ces modèles de spécification en code exécutable. En particulier, les chorégraphies de service doivent être transformées en orchestrations exécutables tout en préservant la sémantique des scénarios de haut niveau décrits par ces chorégraphies et en tenant compte des aspects critiques inhérents aux systèmes distribués tels que l’asynchronisme. La vérification de l'exécution est aussi nécessaire afin de détecter les comportements erronés lors de l’exécution. Pour relever ces défis, nous proposons une approche SOA dirigée par les modèles qui repose sur le standard OMG SoaML. Lors de la spécification, la cohérence des modèles SoaML est vérifiée en utilisant la validation statique des modèles moyennant des règles OCL que nous avons définies. Nous avons spécifié également des règles de transformation pour permettre la génération automatique d'artefacts exécutables. Enfin, nous avons défini un cadre de test à base de modèles pour vérifier la conformité de l’exécution des chorégraphies de services, incluant les orchestrateurs générés, aux modèles de spécification. L'ensemble de notre méthode a été outillé en extension de l’outil de modélisation UML, Papyrus, et de l’outil d’analyse formelle, Diversity.
Mardi 21 Novembre
Heure: 11:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: On the polynomial part of a restricted partition function
Description: Karl Dilcher We prove an explicit formula for the polynomial part of a restrictedpartition function, also known as the first Sylvester wave. This isachieved by way of some identities for higher-order Bernoulli polynomials,one of which is analogous to Raabe's well-known multiplication formula forthe ordinary Bernoulli polynomials. As a consequence of our main result weobtain an asymptotic expression of the first Sylvester wave as thecoefficients of the restricted partition grow arbitrarily large.(Joint work with Christophe Vignat).
Heure: 14:45 - 17:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Euler Polynomials and Identities for Non-Commutative Operators
Description: Christophe Vignat
Heure: 15:30 - 18:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: False Beliefs in mathematics
Description: thé combinatoire
Vendredi 24 Novembre
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A discussion on the conjectures NP vs PSPACE and NP vs coNP
Description: Hermann Hauesler The aim of this talk is to open a discussion on the justification of the conjectures NP = coNP and NP = PSPACE by means of purely proof-theoretical arguments.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: [répétition] répétition de soutenance de thèse
Description: Thomas Rubiano