IMPROVING THE CONSISTENCY OF SPEM-BASED SOFTWARE PROCESSES

摘要：

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.

关键词： Software process metamodel Process checking SPEM Well-formedness rule

作者: Eliana B. Pereira Ricardo M. Bastos Michael da C. Móra Toacy C. Oliveira

作者单位: Faculty of Informatics, Pontifical University Catholic of Rio Grande do Sul, Porto Alegre, Brazil COPPE Department, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil

会议类型: 国际会议

会议名称: 13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)

会议地点: 北京

会议语种:英文

页码: 149-159

在线出版日期: 2011-06-08（万方平台首次上网日期，不代表论文的发表时间）