Requirements Validation: Execution of UML Models with CPN Tools

  • Authors:

  • Ricardo J. Machado;Kristian Bisgaard Lassen;Sérgio Oliveira;Marco Couto;Patrícia Pinto

  • Affiliations:

  • University of Minho, Department of Information Systems, Minho, Portugal;University of Aarhus, Department of Computer Science, Aarhus, Denmark;University of Minho, Department of Information Systems, Minho, Portugal;University of Minho, Department of Information Systems, Minho, Portugal;University of Minho, Department of Information Systems, Minho, Portugal

  • Venue:
  • International Journal on Software Tools for Technology Transfer (STTT)
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Requirements validation is a critical task in any engineering project. The confrontation of stakeholders with static requirements models is not enough, since stakeholders with non-computer science education are not able to discover all the inter-dependencies between the elicited requirements. Even with simple unified modelling language (UML) requirements models, it is not easy for the development team to get confidence on the stakeholders’ requirements validation. This paper describes an approach, based on the construction of executable interactive prototypes, to support the validation of workflow requirements, where the system to be built must explicitly support the interaction between people within a pervasive cooperative workflow execution. A case study from a real project is used to illustrate the proposed approach.