TOWARDS A RIGOROUS PROCESS MODELING WITH SPEM

Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette

Abstract

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.

References

  1. (2002). Meta Object Facility (MOF) 1.4 Specification. OMG, Inc. Final Adopted Specification.
  2. (2003). Business Process Execution Language for Web Services v1.1.
  3. (2003). UML Object Constraint Language (OCL) 2.0 Specification. OMG, Inc.
  4. (2004). Unified Modeling Language (UML) 1.4.2 Specification. OMG, Inc.
  5. (2005). Software Process Engineering Metamodel (SPEM) 1.1. OMG, Inc.
  6. Arkin, A. (2002). Business Process Modeling Language. Business Process Management Initiative.
  7. Bandinelli, S., Fuggetta, A., Lavazza, L., Loi, M., and Picco, G. P. (1995). Modeling and improving an industrial software process. IEEE Transactions on Software Engineering, 21(5):440-454.
  8. Bendraou, R., Gervais, M.-P., and Blanc, X. (2005). Uml4spm : A uml2.0-based metamodel for software process modelling. In MoDELS'05, volume 3713, pages 17-38. Springer-Verlag.
  9. Breton, E. (2002). Contribution à la représentation de processus par des techniques de méta-mod élisation. PhD thesis, Nantes University.
  10. Breton, E. and Bézivin, J. (2001). Process-centered model engineering. In 5th IEEE International Enterprise Distributed Object Computing Conference, Seattle, Washington, USA. IEEE Computer Society.
  11. Bézivin, J. (2004). In search of a basic principle for model driven engineering. CEPIS, UPGRADE, The European Journal for the Informatics Professional, V(2):21-24.
  12. Combemale, B. (2005). Spécification et vérification de modèles de procédés de développement. Master's thesis, Toulouse II University, Master SLCP.
  13. Combemale, B., Crégut, X., Caplain, A., and Coulette, B. (2006). Modélisation rigoureuse en SPEM de procédé de développement. In Lavoisier, H. S. ., editor, LMO 2006, pages 135-150.
  14. Crégut, X. and Coulette, B. (1997). PBOOL: an objectoriented language for definition and reuse of enactable processes. Software Concepts & Tools, 18(2).
  15. Greenwood, R. M., Guy, M. R., and Robinson, D. J. K. (1992). The use of a persistent language in the implementation of a process support system. ICL Technical Journal.
  16. IBM and BEA (2004). BPELJ: BPEL for Java.
  17. Kaiser, G. E., Feiler, P. H., and Popovich, S. S. (1988). Intelligent Assistant for Software Development and Maintenance. IEEE software, 5(3):40-49.
  18. Miller, J. and Mukerji, J. (2003). Model Driven Architecture 1.0.1 Guide. OMG, Inc.
  19. Warboys, B. C., editor (1994). Proc. of EWSPT'94, volume 772 of LNCS. Springer-Verlag.
  20. WfMC (2005). Process Definition interface - XML Process Definition Language v2.0.
Download


Paper Citation


in Harvard Style

Combemale B., Crégut X., Caplain A. and Coulette B. (2006). TOWARDS A RIGOROUS PROCESS MODELING WITH SPEM . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 530-533. DOI: 10.5220/0002455205300533


in Bibtex Style

@conference{iceis06,
author={Benoit Combemale and Xavier Crégut and Alain Caplain and Bernard Coulette},
title={TOWARDS A RIGOROUS PROCESS MODELING WITH SPEM},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={530-533},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002455205300533},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - TOWARDS A RIGOROUS PROCESS MODELING WITH SPEM
SN - 978-972-8865-43-6
AU - Combemale B.
AU - Crégut X.
AU - Caplain A.
AU - Coulette B.
PY - 2006
SP - 530
EP - 533
DO - 10.5220/0002455205300533