For the most recent entries see the Petri Nets Newsletter.

Executable Use Cases: Requirements for a Pervasive Health Care System.

Jørgensen, Jens Bæk; Bossen, Claus

In: IEEE Software, Vol. 21, No. 2, pages 34-41. March 2004.

Abstract: The authors introduce executable use cases and describe how they were applied in requirements engineering for a new pervasive health care system for hospitals in Denmark. EUCs combine prose, formal models, and animation to represent new work processes and their proposed computer support. The representation enables stakeholders to interactively investigate system requirements in the context of the envisioned work processes.

Keywords: Prototyping; requirements animation and execution; pervasive (ubiquitous) requirements; requirements engineering case studies and experiences.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography