Formal requirements modeling with executable use cases and Coloured Petri Nets

• Autor(es): Jorgensen, Jens B. ; Tjell, Simon ; Fernandes, João M.
• Data: 2009
• Identificador Persistente: http://hdl.handle.net/1822/11005
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Requirements engineering; Requirements and specifications; Platform-independent models; Model-driven development; Coloured Petri nets
• Tipo de Documento: Artigo
• Idioma: Inglês

Descrição

This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from user-level requirements via specifications to implementations of computer-based systems.