Executable use cases as links between application domain requirements and machine specifications
Jens Bæk Jørgensen · 2004
We explain how executable use cases (EUCs) constitute links between application domain requirements and machine specifications. As example, we use an EUC describing the hospital work process medicine administration and its proposed support by a new pervasive health care system. The EUC is based on a generalised state machine in the form of a coloured Petri nets model. We demonstrate how the EUC supports investigation of whether a specification of a machine satisfies the users' requirements.