BACK TO INDEX

Publications of Diana Allam
Thesis
  1. Diana Allam. Loose Coupling and Substitution Principle in Object-Oriented Frameworks for Web Services. Theses, Ecole des Mines de Nantes, July 2014. Keyword(s): Service-Oriented Architecture, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping, Message-Passing Model, Architecture Orientée-Services, Programmation par Objet, Interopérabilité, Couplage Faible, Sous-typage, Modèle de Passation de Messages.


  2. Diana Allam. Loose coupling and substitution principle in objet-oriented frameworks for web services. Theses, Ecole des Mines de Nantes, July 2014. Keyword(s): Message-Passing model, Subtyping, Loose coupling, Interoperability, Object-Oriented programming, Service-Oriented architecture, Modèle de passation de messages, Architecture Orientée-Services, Programmation par objet, Interopérabilité, Couplage faible, Sous-typage.


Conference articles
  1. Diana Allam, Hervé Grall, and Jean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping. In Karl-Heinz Krempels and Alexander Stocker, editors, WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, Aachen, Germany, pages 169-173, May 2013. SciTePress Digital Library. Note: Short paper presented as a poster. Keyword(s): Service-Oriented Architecture, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping.


  2. Diana Allam, Hervé Grall, and Jean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success. In Gabriele Kotsis, editor, The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Vienna, Austria, December 2013. Gabriele Kotsis. Note: Full regular paper. Keyword(s): Service-Oriented Computing, Object-Oriented Programming, Interoperability, Loose Coupling, Subtyping, Basics of Category Theory.


  3. Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts. In Proceedings of the 11th annual international conference on Aspect-oriented Software Deve, editor, AOSD 2012 Student Research Competition (Poster), Potsdam, Germany, pages 9-10, March 2012. ACM. Keyword(s): Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture.


  4. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. A Message-Passing Model for Service Oriented Computing. In Karl-Heinz Krempels and José Cordeiro, editors, WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, pages 136-142, April 2012. SciTePress Digital Library. Keyword(s): Service-Oriented Computing, Message-Passing Model, Type Checking, Security.


  5. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. In Actes des troisiémes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Lille, France, June 2011.


  6. Diana Allam, Hervé Grall, and Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. In Olivier Caron Yves Ledru, Anne-Françoise Le Meur, editor, Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Lille, France, June 2011.


Internal reports
  1. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. Well-Typed Services Cannot Go Wrong. Research Report RR-7899, INRIA, May 2012.



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Wed May 31 15:05:58 2017
Author: helene.


This document was translated from BibTEX by bibtex2html