Skip to main content
Springer Nature Link
Log in

Requirements Validation: Execution of UML Models with CPN Tools

  • Special Section CPN 04/05
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. IEEE 610.12-1990: IEEE Standard Glossary of Software Engineering Terminology, 1990

  2. Zowghi D. and Coulin C. (2005). Requirements elicitation: A survey of techniques, approaches and tools. In: Aurum, A. and Wohlim, C. (eds) Engineering and Managing Software Requirements, pp 19–46. Springer, Heidelberg

    Chapter  Google Scholar 

  3. Machado R.J., Ramos I. and Fernandes J.M. (2005). Specification of requirements models. In: Aurum, A. and Wohlim, C. (eds) Engineering and Managing Software Requirements, pp 47–68. Springer, Heidelberg

    Chapter  Google Scholar 

  4. Liang Y. (2003). From use cases to classes: A way of building object model with UML. Inf. Softw. Technol. 45: 83–93

    Article  Google Scholar 

  5. Whittle, J., Kwan, R., Saboo, J.: From scenarios to code: an air traffic Control case study. Softw. Systems Model. 4(1) 71–93

  6. Krüger I., Grosu R., Scholz P. and Broy M. (1999). From MSCs to statecharts. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems, pp 61–72. Kluwer Academic, Dordrecht

    Google Scholar 

  7. Machado, R.J., Fernandes, J.M., Monteiro, P., Rodrigues, H.: Transformation of UML models for service-oriented software architectures. In: The 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, Maryland, USA, pp. 173–182. IEEE CS Press, New York (2005)

  8. Aalst W.M.P. (2004). Business process management demystified: A tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W. and Rosenberg, G. (eds) Lecture Notes in Computer Science, vol. 3098, pp 1–65. Springer, Heidelberg

    Google Scholar 

  9. Beaudouin-Lafon, M., Mackay, W.E., Andersen, P., Janecek, P., Jensen, M., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., Jensen, K.: CPN/Tools: A post-Wimp interface for editing and simulating coloured petri nets. In: The 22nd International Conference on Applications and Theory of Petri Nets (ICATPN 2001), pp. 71–80, Newcastle upon Tyne, UK (2001)

  10. Gemino A. (2003). Empirical Comparisons of Animation and Narration in Requirements Validation. Requir. Eng. 9: 153–168

    Google Scholar 

  11. Fenkam, P., Gall, H., Jazyeri, M.: Visual requirements validation: Case study in a CORBA-supported environment. In: IEEE Joint International Conference on Requirements Engineering (RE’2002) (2002)

  12. Ozcan, M.B., Parry, P.W., Morrey, I.C.: Siddiqi, J.: Requirements validation based on the visualisation of executable formal specifications. In: International Conference on Computer Software and Applications, pp. 381–386, Austria. IEEE CS Press, New York (1998)

  13. Uchitel, S., Chatley, R., Kramer, J., Magee, J.: Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation. In: The 12th IEEE Requirements Engineering International Conference (RE’04) (2004)

  14. Winter, V., Desovski, D., Cukic, B.: Virtual environment modeling for requirements validation of high consequence systems. In: Proceedings of the IEEE International Conference on Requirements Engineering, pp. 23–30 (2001)

  15. Jensen, K.: Coloured petri nets: basic concepts, analysis methods and practical use. In: Monographs in Theoretical Computer Science, vols. 1–3. Springler, Heidelberg (1992–1997)

  16. Kristensen L.M., Christensen S. and Jensen K. (1998). The practitioner’s guide to coloured petri nets. Int. J. Softw. Tools for Technol. Transf. 2: 98–132

    Article  MATH  Google Scholar 

  17. BRITNeY Animation tool. wiki.daimi.au.dk/tincpn

  18. Pryce, N., Magee, J.: SceneBeans: a component-based animation framework for java. http://www-dse.doc.ic.ac.uk/ Software/SceneBeans/

  19. ISO 9241-11: Guidance on Usability, 1998

  20. McDougall S.J.P., Curry M.B. and de Bruijn O. (2000). Exploring the effects of icon characteristics on user performance: The role of icon Concreteness, complexity, and distinctiveness. J. Exp. Psychol. Appl. 6(4): 291–306

    Article  Google Scholar 

  21. McDougall S.J.P., Curry M.B. and de Bruijn O. (2001). The effects of visual information on users’ mental models: An evaluation of pathfinder analysis as a measure of icon usability. Int. J. Cogn. Ergonom. 5(1): 59–84

    Article  Google Scholar 

  22. Welie M., Eliëns A. and Veer G. (1999). Breaking Down Usability. Interact 99. Edinburgh, Scotland

    Google Scholar 

  23. Pane, J.F.: A Programming System for Children that is Designed for Usability. PhD Thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA, May, 2002

  24. Machado R.J. and Fernandes J.M. (2002). Heterogeneous information systems integration: organizations and methodologies. In: Oivo, M. and Komi-Sirviö, S. (eds) The 4th International Conference on Product Focused Software Process Improvement (PROFES’02), Rovaniemi, Finland. Lecture Notes in Computer Science Series, vol. 2559, pp 629–643. Springer, Heidelberg

    Google Scholar 

  25. Machado R.J. and Fernandes J.M. (2005). Integration of embedded software with corporate information systems. In: Rettberg, A., Zanella, M.C. and Rammig, F.J. (eds) From Specification to Embedded Systems Application. IFIP Series vol. 184, pp 169–178. Springer, Heidelberg

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Systems, University of Minho, Minho, Portugal

    Ricardo J. Machado, Sérgio Oliveira, Marco Couto & Patrícia Pinto

  2. Department of Computer Science, University of Aarhus, Aarhus, Denmark

    Kristian Bisgaard Lassen

Authors
  1. Ricardo J. Machado
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Kristian Bisgaard Lassen
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Sérgio Oliveira
    View author publications

    You can also search for this author inPubMed Google Scholar

  4. Marco Couto
    View author publications

    You can also search for this author inPubMed Google Scholar

  5. Patrícia Pinto
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Ricardo J. Machado.

Additional information

This work has been supported by projects uPAIN (AdI/IDEIA/70/2004/3.1B/00364/007) and STACOS (FCT/POSI/CHS/48875/2002).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Machado, R.J., Lassen, K.B., Oliveira, S. et al. Requirements Validation: Execution of UML Models with CPN Tools. Int J Softw Tools Technol Transfer 9, 353–369 (2007). https://doi.org/10.1007/s10009-007-0035-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-007-0035-0

Keywords