«

»

Spécification et Vérification de Modèles de Procédés de Développement

by Benoit Combemale
Abstract:
The increasingly present need to industrialize software developments has emphasized the need for having a rigorous and equipped process in order to assist the actors of development. To provide aids for performing a process and to carry out static and dynamic checking at the same time, it is necessary to establish it formalization through standards established for this purpose. It is with these problems that model engineering tries to answer by proposing the SPEM modeling language. This work however has not succeeded in establishing a precise semantics with this language and no step has been proposed to set up a process (i.e. metaprocess). We try to bring an effective assistance in the specification and the checking of process models described in SPEM and supplemented with formal expression in OCL. To do so, we offer a more directing specialization of the original metamodel associated with a more precise semantics and advice for a rigorous and coherent formalization. An application of this work for the specification and checking of the MACAO method finishes this report.
Reference:
Spécification et Vérification de Modèles de Procédés de Développement (Benoit Combemale), Master’s thesis, Université Toulouse II & INPT ENSEEIHT, 2005. (in french)
Bibtex Entry:
@mastersthesis{combemale05,
	Abstract = {
The increasingly present need to industrialize software developments has emphasized the need for having a rigorous and equipped process in order to assist the actors of development. To provide aids for performing a process and to carry out static and dynamic checking at the same time, it is necessary to establish it formalization through standards established for this purpose.
It is with these problems that model engineering tries to answer by proposing the SPEM modeling language. This work however has not succeeded in establishing a precise semantics with this language and no step has been proposed to set up a process (i.e. metaprocess).
We try to bring an effective assistance in the specification and the checking of process models described in SPEM and supplemented with formal expression in OCL. To do so, we offer a more directing specialization of the original metamodel associated with a more precise semantics and advice for a rigorous and coherent formalization. An application of this work for the specification and checking of the MACAO method finishes this report.
	},
	Author = {Benoit Combemale},
	Keywords = {Ing{'e}nierie des mod{`e}les, M{'e}ta-mod{'e}lisation, Proc{'e}d{'e} de d{'e}veloppement, M{'e}ta-proc{'e}d{'e}, V{'e}rification de mod{`e}le, SPEM, OCL, MACAO.},
	Month = jun,
	Note = {in french},
	School = {Universit{'e} Toulouse II & INPT ENSEEIHT},
	Title = {Sp{'e}cification et V{'e}rification de Mod{`e}les de Proc{'e}d{'e}s de D{'e}veloppement},
	Url = {./research/m2r/memoireM2RSLCP.pdf},
	Year = {2005},
	Bdsk-Url-1 = {./research/m2r/memoireM2RSLCP.pdf}}