Abstracts Category : Other

Add abstract

Want to add your dissertation abstract to this database? It only takes a minute!

Search abstract

Search for abstracts by subject, author or institution

Share this abstract

A model driven approach for the development and verification of service-oriented applications : Approche dirige par les modles pour le dveloppement et la vrification des applications orientes-services

by Fadwa Rekik

Institution: Paris Saclay
Year: 2017
Keywords: SOA dirige par les modles (SoaML); Consistances des modles; Vrification de lexcution; Model-driven SOA (SoaML); Model consistency; Execution verification
Posted: 02/01/2018
Record ID: 2154170
Full text PDF: http://www.theses.fr/2017SACLS088


Abstract

Lomniprsence des systmes logiciels et le rle important quils jouent dans la vie quotidienne rendent les utilisateurs de plus en plus exigeants. Entre autre, ils demandent plus de fiabilit et des systmes qui peuvent sadapter leur contexte dutilisation. Afin de satisfaire ces demandes, les cadres techniques et les mthodes de conception sous-jacents au dveloppement des systmes doivent tre modulaires, flexibles et consistants. Larchitecture oriente service (SOA) est un paradigme qui offre des mcanismes permettant une grande flexibilit des architectures des systmes logiciels tout en rduisant leurs cots de dveloppement puisquelle se base sur des entits modulaires et rutilisables appeles services. Ces services peuvent tre rutiliss dans le cadre dune composition ou dune chorgraphie de services pour la construction de nouveaux processus mtiers transverses. SOA promet aussi daugmenter la fiabilit des systmes au travers de la notion de contrat de services. De son ct, le paradigme de lIngnierie des modles (IDM) offre au travers de ses deux principes fondateurs, labstraction et lautomatisation, deux moyens puissants de gestion de la complexit des systmes. Malgr les progrs des deux paradigmes, IDM et SOA, il y a encore des dfis rsoudre. Notamment, on peut citer : (1) La vrification rigoureuse des spcifications des systmes conformes aux principes de SOA. Ce point constitue un dfi car pour modliser ces systmes, les concepteurs ont besoin de plus d'un point de vue reprsentant chacun une proccupation spcifique du systme et bien sr ces points de vue doivent tre smantiquement cohrents. Ce problme est appel la vrification de la consistance horizontale, une tche manuellement difficile qui constitue une tape importante pour rduire les incohrences dans les modles des applications SOA avant de les transformer en d'autres formes (du code, des cas de tests, etc.). (2) La transformation des spcifications des systmes en artefacts excutables. Malgr la maturit de larchitecture SOA, la transformation des spcifications des systmes SOA en artefacts excutables s'avre encore une tape fastidieuse et est gnralement effectu manuellement. En particulier, la transformation des chorgraphies de services en orchestrations excutables reste un problme en raison de la ncessit de prendre en compte les aspects complexes des systmes distribus, tels que lasynchronisme et la concurrence. (3) La vrification de lexcution. Au moment de la spcification, des comportements inattendus peuvent encore apparaitre lors de lexcution. Pour cette raison, il est ncessaire de pouvoir vrifier la conformit de l'excution dun systme par rapport sa spcification. Ce problme est appel la vrification de la consistance verticale. Ce travail de thse propose ainsi une approche de type SOA dirige par les modles rsolvant les dfis mentionns prcdemment. Cette approche comprend une mthodologie en deux tapes pour la vrification de la consistance horizontale et verticale desAdvisors/Committee Members: Grard, Sbastien (thesis director).

Add abstract

Want to add your dissertation abstract to this database? It only takes a minute!

Search abstract

Search for abstracts by subject, author or institution

Share this abstract

Featured Books

Book cover thumbnail image
Electric Cooperative Managers' Strategies to Enhan...
by White, Michael Edward
   
Book cover thumbnail image
Bullied! Coping with Workplace Bullying
by Gattis, Vanessa M.
   
Book cover thumbnail image
The Filipina-South Floridian International Interne... Agency, Culture, and Paradox
by Haley, Pamela S.
   
Book cover thumbnail image
Solution or Stalemate? Peace Process in Turkey, 2009-2013
by Yurtbay, Baturay
   
Book cover thumbnail image
Performance, Managerial Skill, and Factor Exposure...
by Avci, S. Burcu
   
Book cover thumbnail image
The Deritualization of Death Toward a Practical Theology of Caregiving for the ...
by Gibson, Charles Lynn
   
Book cover thumbnail image
Emotional Intelligence and Leadership Styles Exploring the Relationship between Emotional Intel...
by Olagundoye, Eniola O.
   
Book cover thumbnail image
Commodification of Sexual Labor Contribution of Internet Communities to Prostituti...
by Young, Jeffrey R.
   
Book cover thumbnail image
The Census of Warm Debris Disks in the Solar Neigh...
by Patel, Rahul I.
   
Book cover thumbnail image
Risk Factors and Business Models Understanding the Five Forces of Entrepreneurial R...
by Miles, D. Anthony