La vérification formelle de diagrammes UML

الموضوعات

علوم تطبيقية وتكنولوجية

الملخص

La technologie de workflow, tendant à automatiser les processus métier et à fournir un support pour leur gestion. Cependant l’exactitude de leur modélisation influe sur la performance de l’entreprise. Dans ce mémoire, nous allons utiliser les diagrammes d’activités de langage UML pour modéliser ces processus workflow. Ils sont faciles et compréhensibles par tous les acteurs de l’entreprise impliqués dans cette modélisation, mais souffrent d’un manque de formalisme qui peut produire des incohérences et un dysfonctionnement des processus modélisés, et ne permettent pas d’autre part d’effectuer une analyse et une vérification, pour cela nous proposons une transformation des diagrammes d’activités d’UML vers leurs équivalents dans un modèle formel tel que les réseaux de Pétri, qui représente un outil formel pouvant être utilisé comme une base pour une éventuelle vérification et analyse afin de garantir la cohérence et le bon fonctionnement d’un workflow.

روابط وملفات

التعريف والنوع

رقم الوثيقة

f4738205-9715-47d7-9089-4a8ab717f283

رقم العقد

0

نوع الوسائط

Crawler

نوع المحتوى

الرسائل العلمية

صيغة المصدر

ماستر (LMD)

نوع الملف

pdf text

أسماء الملفات

211147_1.pdf

بيانات النشر

ألقاب المؤلفين

[{"name_ar":"Leila Kaddour Seghir","title_ar":"اعداد","title_en":"Preparation"},{"name_ar":"Mohamed Adnane Laredj ","title_ar":"اشراف","title_en":"Supervision"}]

اللغة

French

المصدر والدورية

اسم المصدر

La vérification formelle de diagrammes UML

المحتوى والصفحات

عدد الصفحات

0

إشراف وإعداد

الإشراف

Mohamed Adnane Laredj

الإعداد

Leila Kaddour Seghir

الاقتباسات الببليوغرافية