Eliana B. Pereira, Ricardo M. Bastos, Michael da C. Móra, Toacy C. Oliveira


The main purpose of this paper is to improve the consistency of Spem-Based Software Processes through a set of well-formedness rules that check for errors in a software process. The well-formedness rules are based on the SPEM 2.0 metamodel and described using the Unified Modeling Language - UML multiplicity and First-Order Predicate Logic - FOLP. In this paper, the use of the well-formedness rules is exemplified using a part of the OpenUP process and the evaluation of the one of the proposed rules is shown.


  1. Atkinson, D. C., Weeks, D. C. and Noll, J. Tool Support for Iterative Software Process Modeling. Information and Software Technology, 493-514, 2007.
  2. Bajec, M., Vavpotic, D. and Krisper, M. Practice-Driven Approach for Creating Project-Specific Software Development Methods. Information and Software Technology, 345-365, 2007.
  3. Bendraou, R., Combemale, B., Cregut, X. and Gervais, M. P.Definition of an Executable SPEM 2.0.In: 14th AsiaPacific Software Engineering Conference, 2007.
  4. Gnatz, M., Marschall, F., Popp G., Rausch A. and Schwerin W. The Living Software Development Process. Available from: viewdoc/summary?doi=, 2003.
  5. Habli, I. and Kelly, T. A Model-Driven Approach to Assuring Process Reliability. In: 19th International Symposium on Software Reliability Engineering, 2008.
  6. Henderson-Sellers, B. and Gonzalez-Perez, C. A Work Product Pool Approach to Methodology Specification and Enactment. Journal of Systems and Software, 2007.
  7. Henderson-Sellers, B., Gonzalez-Perez, C. and Ralyté, J. Comparison of Method Chunks and Method Fragments for Situational Method Engineering.In: 19th Australian Conference on Software Engineering, 2008.
  8. Hsueh, N. L., Shen, W. H., Yang, Z. W and Yang, D. L. Applying UML and Software Simulation for Process Definition, Verification and Validation. Information and Software Technology, 897-911, 2008.
  9. Hug, C., Front, A., Rieu, D. and Henderson-Sellers, B. A Method to Build Information Systems Engineering Process Metamodels. The Journal of Systems and Software, 1730-1742, 2009.
  10. Jacobson, I., Booch G., Rumbaugh J. The Unified Software Development Process, Addison Wesley, 2001.
  11. Kruchten, P. The Rational Unified Process: An Introduction. NJ: Addison Wesley, 2000.
  12. Lucas, F. J., Molina, F. and Toval, A. A Systematic Review of UML Model Consistency Management. Information and Software Technology, 1631-1645, 2009.
  13. OMG, Sofware Process Engineering Metamodel - SPEM 1.1. Available from:, 2002.
  14. OMG, Sofware Process Engineering Metamodel - SPEM 2.0. Available from:, 2007.
  15. Open. Available from:, 2006.
  16. Puviani, M., Serugendo, G. D. M., Frei, R. and Cabri G. Methodologies for Self-organising Systems: a SPEM Approach. In: International Conference on Web Intelligence and Intelligent Agent Technology, 2009.
  17. Ralyté, J., Backlund, P., Kuhn, H. and Jeusfeld M. A. Method Chunks for Interoperability. In: 25th Int. Conference on Conceptual Modelling, 2006.
  18. Serour, M. K. and Henderson-Sellers, B. Introducing Agility - A Case Study of SME Using the OPEN. In: 28th Computer Sof. and Applications Conf., 2004.
  19. Wistrand, K. and Karlsson, F. Method Components Rationale Revealed. In: Lecture Notes in Computer Science, Vol. 3084/2004, 2004.
  20. Xu, P., Ramesh, B. A Tool for the Capture and Use of Process Knowledge in Process Tailoring, In: Proc. of Hawaii Int. Conference on System Sciences, 2003.

Paper Citation

in Harvard Style

Pereira E., Bastos R., da C. Móra M. and Oliveira T. (2011). IMPROVING THE CONSISTENCY OF SPEM-BASED SOFTWARE PROCESSES . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 76-86. DOI: 10.5220/0003501100760086

in Bibtex Style

author={Eliana B. Pereira and Ricardo M. Bastos and Michael da C. Móra and Toacy C. Oliveira},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},

in EndNote Style

JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
SN - 978-989-8425-55-3
AU - Pereira E.
AU - Bastos R.
AU - da C. Móra M.
AU - Oliveira T.
PY - 2011
SP - 76
EP - 86
DO - 10.5220/0003501100760086