«

»

Vers une vérification d’un procédé de développement modélisé en SPEM

by Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette, Angel Garcia
Abstract:
L’OMG a proposé le méta-modèle SPEM pour décrire les procédés de développement. Ce langage semi-formel peut Ítre complété par des contraintes OCL pour en préciser formellement la sémantique. Notre objectif est de vérifier un tel procédé. Nous présentons d’abord une approche qui utilise la méthode B, en particulier son raffinement et expliquons pourquoi elle n’a pas été concluante. Nous indiquons ensuite la voie actuellement suivie qui consiste àrester sur les standards proposés par l’OMG, en particulier OCL.
Reference:
Vers une vérification d’un procédé de développement modélisé en SPEM (Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette, Angel Garcia), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2006. (slide.pdf)
Bibtex Entry:
@inproceedings{fac06,
	Abstract = {
	L'OMG a propos{'e} le m{'e}ta-mod{`e}le SPEM pour d{'e}crire les proc{'e}d{'e}s de d{'e}veloppement. 
	Ce langage semi-formel peut {~A}tre compl{'e}t{'e} par des contraintes OCL pour en pr{'e}ciser 
	formellement la s{'e}mantique. Notre objectif est de v{'e}rifier un tel proc{'e}d{'e}. Nous 
	pr{'e}sentons d'abord une approche qui utilise la m{'e}thode B, en particulier son 
	raffinement et expliquons pourquoi elle n'a pas {'e}t{'e} concluante. Nous indiquons 
	ensuite la voie actuellement suivie qui consiste {`a}rester sur les standards propos{'e}s 
	par l'OMG, en particulier OCL.  
  },
	Address = {Toulouse - France},
	Author = {Benoit Combemale and Alain Caplain and Xavier Cr{'e}gut and Bernard Coulette and Angel Garcia},
	Booktitle = {Journ'ees Formalisation des Activit'es Concurrentes (FAC, in french)},
	Comment = {<a href="./research/phd/2006/fac230306-CCCCG-slide.pdf">slide.pdf</a>},
	Irit = {6946},
	Keywords = {Ing{'e}nierie des proc{'e}d{'e}s, Ing{'e}nierie des mod{`e}les, SPEM, Sp{'e}cification formelle, M{'e}thode B, OCL.},
	Month = mar,
	Title = {Vers une v'erification d'un proc'ed'e de d'eveloppement mod'elis'e en {SPEM}},
	Url = {http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf},
	Year = {2006},
	Bdsk-Url-1 = {http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf}}