Skip to Main content Skip to Navigation
New interface
Theses

A CONTRACT BASED APPROACH FOR PROVIDING RELIABILITY TO SERVICES BASED APPLICATIONS

Abstract : This research work addresses reliability of services coordination expressed as nonfunctional properties (e.g., performance, security, atomicity, persistency, etc) that must be ensured and enforced at execution time. Existing systems, models and languages provide ad-hoc solutions that weave the application logic, expressed as services coordination, with non functional properties, leading to applications difficult to evolve and maintain. In contrast, our approach promotes separation of concerns such that reliability can be personalized for a given services coordination where some services can run under persistent connection conditions, others participate in atomic executions, etc. Therefore, we propose a contract model for associating non-functional properties to a services coordination and associated contract evaluation strategies for verifying and enforcing them at run time. A proof of concept is presented, ROSE is a reliable services coordination execution engine able to add exception handling and atomicity properties to a given services coordination.
Document type :
Theses
Complete list of metadata

Cited literature [63 references]  Display  Hide  Download

https://theses.hal.science/tel-00665439
Contributor : Alberto Portilla-Flores Connect in order to contact the contributor
Submitted on : Wednesday, February 1, 2012 - 10:40:08 PM
Last modification on : Wednesday, July 6, 2022 - 4:20:19 AM
Long-term archiving on: : Wednesday, May 2, 2012 - 2:43:38 AM

Identifiers

  • HAL Id : tel-00665439, version 1

Collections

Citation

Alberto Portilla-Flores. A CONTRACT BASED APPROACH FOR PROVIDING RELIABILITY TO SERVICES BASED APPLICATIONS. Software Engineering [cs.SE]. Université de Grenoble, 2010. English. ⟨NNT : ⟩. ⟨tel-00665439⟩

Share

Metrics

Record views

177

Files downloads

380