Definition of an eXecutable SPEM 2.0 - Archive ouverte HAL Access content directly
Conference Papers Year : 2007

Definition of an eXecutable SPEM 2.0


One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Software Process Modeling, process models have not yet reached the level of precision that would allow their execution. Recently the OMG issued a new revision of its standard for Software Process Modeling, namely SPEM2.0. However, even if executability was defined as a mandatory requirement in the RFP (Request For Proposal), the adopted specification does not fulfill it. This paper presents a critical analysis on the newly defined standard and addresses its lacks in terms of executability. An approach is proposed in order to extend the standard with a set of concepts and behavioural semantics that would allow SPEM2.0 process models to be checked through a mapping to Petri nets and monitored through a transformation into BPEL.
Fichier principal
Vignette du fichier
APSEC07-BCCG-PreliminaryVersion.pdf (195.6 Ko) Télécharger le fichier
APSEC07-BCCG-Slides.pdf (15.78 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other

Dates and versions

hal-00371555 , version 1 (29-03-2009)


  • HAL Id : hal-00371555 , version 1


Reda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais. Definition of an eXecutable SPEM 2.0. 14th Asia-Pacific Software Engineering Conference (APSEC), Dec 2007, Nagoya, Japan. pp.390-397. ⟨hal-00371555⟩
177 View
547 Download


Gmail Facebook X LinkedIn More