Task model refinement with meta operators

Abstract

In model-based user interface (UI) development task models are successively refined into more detailed task specifications. To ensure that analysis information is correctly translated into requirements and design artifacts it is important to verify that for each transformation step the derived task model is a valid refinement of its base specification. In this paper we present a versatile refinement relation between task models based on the principle of mandatory scenario equivalence. Which scenarios are mandatory is determined by metaoperators. These operators are assigned to tasks by the requirements engineer depending on the role of the task model in the development lifecycle. © 2008 Springer-Verlag Berlin Heidelberg.