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.
Back to the Petri Nets Bibliography