Skip to Main content Skip to Navigation
Conference papers

Definition of an eXecutable SPEM 2.0

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Benoit Combemale Connect in order to contact the contributor
Submitted on : Sunday, March 29, 2009 - 2:36:16 PM
Last modification on : Monday, July 4, 2022 - 9:04:34 AM
Long-term archiving on: : Friday, October 12, 2012 - 2:30:32 PM


  • 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⟩



Record views


Files downloads