Towards a rigorous use of SPEM

Benoit Combemale (1) , Xavier Crégut (1, 2) , Alain Caplain (3) , Bernard Coulette (4)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)
3 GRIMM - Groupe de Recherche en Mathématiques et Informatique du Mirail
4 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus

Modeling software process is a good way to improve development and thus quality of resulting applications. The OMG proposes the SPEM metamodel to describe software processes. Its concepts are described through class diagrams. Unfortunately, it lacks a formal description of its semantics that makes it hard to use. So, we propose a specialization of SPEM that clarifies it and we use OCL to formally express constraints on it.

Mots clés: OCL.; Model engineering; Semantics; SPEM; OCL; Process engineering

Domaines: Génie logiciel [cs.SE]

Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette. Towards a rigorous use of SPEM. Eighth International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. pp.530-533. ⟨hal-00369873⟩