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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00371555
Contributor : Benoit Combemale <>
Submitted on : Sunday, March 29, 2009 - 2:36:16 PM
Last modification on : Friday, April 12, 2019 - 4:23:00 PM
Document(s) archivé(s) le : Friday, October 12, 2012 - 2:30:32 PM

Identifiers

  • HAL Id : hal-00371555, version 1

Citation

Reda Bendraou, Benoît 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⟩

Share

Metrics

Record views

277

Files downloads

453