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
Want to add your dissertation abstract to this database? It only takes a minute!
Search for abstracts by subject, author or institution
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 |
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).
Want to add your dissertation abstract to this database? It only takes a minute!
Search for abstracts by subject, author or institution
Electric Cooperative Managers' Strategies to Enhan...
|
|
Bullied!
Coping with Workplace Bullying
|
|
The Filipina-South Floridian International Interne...
Agency, Culture, and Paradox
|
|
Solution or Stalemate?
Peace Process in Turkey, 2009-2013
|
|
Performance, Managerial Skill, and Factor Exposure...
|
|
The Deritualization of Death
Toward a Practical Theology of Caregiving for the ...
|
|
Emotional Intelligence and Leadership Styles
Exploring the Relationship between Emotional Intel...
|
|
Commodification of Sexual Labor
Contribution of Internet Communities to Prostituti...
|
|
The Census of Warm Debris Disks in the Solar Neigh...
|
|
Risk Factors and Business Models
Understanding the Five Forces of Entrepreneurial R...
|
|