IMPROVING THE CONSISTENCY OF SPEM-BASED SOFTWARE PROCESSES

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

2011

Abstract

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.

Download


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

@conference{iceis11,
author={Eliana B. Pereira and Ricardo M. Bastos and Michael da C. Móra and Toacy C. Oliveira},
title={IMPROVING THE CONSISTENCY OF SPEM-BASED SOFTWARE PROCESSES },
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={76-86},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003501100760086},
isbn={978-989-8425-55-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - IMPROVING THE CONSISTENCY OF SPEM-BASED SOFTWARE PROCESSES
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