Andere Kunden interessierten sich auch für
![Modèles et automatisation du développement des logiciels de gestion]( "Modèles et automatisation du développement des logiciels de gestion")
Modèles et automatisation du développement des logiciels de gestion16,99 €![Modélisation de procédés logiciels à base de réseau de Petri]( "Modélisation de procédés logiciels à base de réseau de Petri")
Modélisation de procédés logiciels à base de réseau de Petri19,99 €![Systèmes et technologies subsidiaires]( "Systèmes et technologies subsidiaires")
Systèmes et technologies subsidiaires32,99 €![Spécification,synthèse et qualité des modèles de simulation]( "Spécification,synthèse et qualité des modèles de simulation")
Spécification,synthèse et qualité des modèles de simulation29,99 €![Notes de cours d'informatique générale]( "Notes de cours d'informatique générale")
Notes de cours d'informatique générale46,99 €![modèle d''interopérabilité des fédérations de composants logiciels]( "modèle d''interopérabilité des fédérations de composants logiciels")
modèle d''interopérabilité des fédérations de composants logiciels25,99 €![Modèles de temps pour la véri¿cation des systèmes temps-réel]( "Modèles de temps pour la véri¿cation des systèmes temps-réel")
Modèles de temps pour la véri¿cation des systèmes temps-réel36,99 €
Dans ce livre présente notre contribution qui est relative à la modélisation puis à l'exécution de procédés logiciels. Pour la modélisation, nous avons proposé un méta-modèle permettant de structurer les éléments relatifs à la spécification des produits-modèles. Pour l'exécution, nous avons proposé un autre méta-modèle qui contient les concepts nécessaires à la représentation des objets de procédé correspondants aux produits- modèles ainsi qu'aux relations entre eux. Aussi, la proposition comprend des règles de transformation entre les concepts des deux méta-modèles. Les apports de notre approche sont relatifs à la gestion des produits-modèles de procédés en exécution : cohérence relationnelle systématique, synchronisation également systématique, construction assistée, flexibilité du point de vue de la granularité, et intégrité ou cohérence sémantique des produits-modèles. Nous avons également conçu et réalisé un prototype qui simule un environnement de modélisation et d'exécution de procédés selon notre approche.