Definition of an eXecutable SPEM 2.0 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Definition of an eXecutable SPEM 2.0

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Dates et versions

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

Identifiants

  • HAL Id : hal-00371555 , version 1

Citer

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⟩
201 Consultations
556 Téléchargements

Partager

Gmail Facebook X LinkedIn More