Modelisation de Procedes Logiciels a Base de Reseau de Petri

Khaled Sellami Nouredine Ait-Ikhlef Arezki Azzi

ISBN 10: 6131588562 / ISBN 13: 9786131588563

Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011

About this Item

Print on Demand pp. 80.

Seller Inventory # 26129510934

Bibliographic Details

• Title: Modelisation de Procedes Logiciels a Base de Reseau de Petri
• Publisher: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG
• Publication Date: 2011
• Language: French
• ISBN 10: 6131588562
• ISBN 13: 9786131588563
• Binding: Soft cover
• Condition: New

About this title

Synopsis

Ce travail rentre dans le cadre général de la modélisation des systèmes, et concerne plus précisément la modélisation des procédés logiciels. Le domaine des précédés logiciels qui constitue l'une des préoccupations majeures en génie logiciel tente d'apporter des solutions aux divers problèmes posés pour le développement de logiciels complexes. Plusieurs approches de modélisations des procédés ont été alors proposées. Cependant, seul quelques modèles ont été réellement mis en pratique à cause de la difficulté à couvrir l'ensemble des étapes du cycle de vie d'un logiciel. Notre travail se situe dans ce contexte, de conception d'un environnement de modélisation graphique des procédés logiciels. Et pour cela nous avons choisi l'approche des réseaux de pétri car, ils permettent de représenter facilement les synchronisations, ainsi le pouvoir de les représenter par des outils mathématiques (matrices, vecteurs). L'interface d'environnement permet d'accéder via une interface Web dynamique aux différents modèles à des fins de portabilité, de modification et d'amélioration.

About the Author

Khaled Sellami est diplômé de l'université de Tizi-Ouzou (2002), de l'université de Bejaia (2005), il est actuellement enseignant chercheur de l'université de Bejaia, spécialisé dans le Génie Logiciel, les Services web, les Systèmes d'informations, et les méthodes d'Optimisation.