Consistency between Task Models and Use Cases

Use cases are the notation of choice for functional requirements documentation, whereas task models are used as a starting point For user interface design. In this paper, we motivate the need for,in integrated development methodology in order to narrow the conceptual gap between software engineering and user interface design. This methodology rests upon a common semantic framework for developing and handling use cases and task models. Based oil the intrinsic characteristic of both models we define a common formal semantics and provide a formal definition of consistency between task models and use cases. The semantic mapping and the application of the proposed consistency definition are supported by an illustrative example.