HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-00700737v1  Conference papers
Diana AllamHervé GrallJean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography
Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
...
hal-00800153v1  Conference papers
Diana AllamHervé GrallJean-Claude Royer. From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping
WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
...
hal-00668999v1  Conference papers
Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
hal-00700750v1  Conference papers
Diana AllamRémi DouenceHervé GrallJean-Claude RoyerMario Südholt. The Synthesis Problem for Trusted Service-based Collaborations
Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France
...
hal-00668975v1  Conference papers
Diana AllamRémi DouenceHervé GrallJean-Claude RoyerMario Südholt. A Message-Passing Model for Service Oriented Computing
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
hal-00908552v1  Conference papers
Diana AllamHervé GrallJean-Claude Royer. The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria