Une proposition de formalisme orienté composant » książka
Une proposition de formalisme orienté composant
ISBN-13: 9783838180533 / Francuski / Miękka / 2018 / 480 str.
De plus en plus, les logiciels sont considA(c)rA(c)s comme des assemblages de composants, chaque composant A(c)tant lui-mAame considA(c)rA(c) comme un logiciel indA(c)pendant. Ce type d'approche permet de simplifier les A(c)tapes de conception, de dA(c)veloppement et de maintenance des logiciels tout en garantissant de maniA]re plus aisA(c)e leur qualitA(c), leur fiabilitA(c) et leur sAretA(c). Dans ce contexte, nous proposons un cadre formel pour la dA(c)finition de composants et de systA]mes de composants avec une syntaxe orientA(c)e UML et une sA(c)mantique opA(c)rationnelle puis dA(c)notationelle. La sA(c)mantique opA(c)rationnelle nous permet de simuler automatiquement un systA]me A peu de frais grA ce A l'outil AGATHA, en vue de gA(c)nA(c)rer des tests. La sA(c)mantique dA(c)notationnelle nous permet, quant A elle, la dA(c)finition d'un formalisme de spA(c)cifications de composants et de systA]mes de composants ainsi que de divers mA(c)canismes tel que l'exA(c)cution symbolique, que nous redA(c)finissons et que nous prouvons correct pour notre formalisme.
De plus en plus, les logiciels sont considérés comme des assemblages de composants, chaque composant étant lui-même considéré comme un logiciel indépendant. Ce type dapproche permet de simplifier les étapes de conception, de développement et de maintenance des logiciels tout en garantissant de manière plus aisée leur qualité, leur fiabilité et leur sûreté. Dans ce contexte, nous proposons un cadre formel pour la définition de composants et de systèmes de composants avec une syntaxe orientée UML et une sémantique opérationnelle puis dénotationelle. La sémantique opérationnelle nous permet de simuler automatiquement un système à peu de frais grâce à loutil AGATHA, en vue de générer des tests. La sémantique dénotationnelle nous permet, quant à elle, la définition dun formalisme de spécifications de composants et de systèmes de composants ainsi que de divers mécanismes tel que lexécution symbolique, que nous redéfinissons et que nous prouvons correct pour notre formalisme.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
