Formalisation d'exigences SysML relatives aux diagrammes d’activités.

dc.contributor.author	Benrekia, Mohamed Mamoune
dc.contributor.author	Menacer, Abderaouf
dc.contributor.author	Rahim, Messaoud
dc.date.accessioned	2022-06-07T10:38:44Z
dc.date.available	2022-06-07T10:38:44Z
dc.date.issued	2017
dc.description.abstract	La formalisation des exigences est une activité primordiale pour la vérification des systèmes complexes. Cette étape de formalisation pose un défi majeur pour les analystes SysML. Ce travail propose une formalisation des exigences SysML relatives aux diagrammes d’activités. Les exigences SysML sont exprimées en AcTRL puis translatées automatiquement vers le langage de la logique temporelle LTL tout en préservant une traçabilité au niveau des diagrammes d’exigences SysML. Des outils permettant de supporter cette activité de formalisation sont implémentés dans ce travail	fr
dc.identifier.citation	Ingénierie des Systèmes et Technologie de Web	fr
dc.identifier.govdoc	M61782
dc.identifier.uri	https://dspace.univ-medea.dz/handle/123456789/4722
dc.language.iso	fr	fr
dc.relation.ispartofseries	M61782;
dc.subject	SysML	fr
dc.subject	Diagramme d’activités	fr
dc.subject	Diagramme d’exigences	fr
dc.subject	Formalisation des exigences	fr
dc.subject	AcTRL, DSL,	fr
dc.subject	Xtext, OCL, LTL, Xtend	fr
dc.title	Formalisation d'exigences SysML relatives aux diagrammes d’activités.	fr
dc.type	Thesis	fr

Files

Now showing 1 - 1 of 1

Name:: Formalisation d'exigences SySML relatives aux diagrammes d’activités..pdf
Size:: 5.74 MB
Format:: Adobe Portable Document Format
Description: