Formal requirements modeling with executable use cases and Coloured Petri Nets

• Author(s): Jorgensen, Jens B. ; Tjell, Simon ; Fernandes, João M.
• Date: 2009
• Persistent ID: http://hdl.handle.net/1822/11005
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Requirements engineering; Requirements and specifications; Platform-independent models; Model-driven development; Coloured Petri nets
• Document Type: Article
• Language: English

Description

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.