Models allow us to describe complex systems at different abstract and conceptual levels, hence amplify our analytical and problem solving capabilities, However, a lot of human effort and experience is needed to build correct models, and to translate them to concrete artifacts: in our case a usable user interface. This paper introduces the concept of task… (More)
A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for collaborative environments. In particular we highlight the interplay of task specifications and domain models. The framework consists of two components: A formal specification… (More)
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of software systems. In this paper, we define a formal semantics for use case models. We build on an abstract syntax definition formalizing the sequencing of use case steps. As a… (More)
In this paper, we are exploring the roles of patterns in model-based design. In particular, we discuss the fundamental concepts underlying a generic notation for task patterns. Different views of patterns are suggested using UML and Concurrent Task Tree notations. A first classification of patterns according to models is also suggested.
A user-centred design approach in combination with a tool-supported development of abstract prototypes is proposed. Based on task, object and user models an editor for modelling the navigation structure of a user interface as a dialogue graph is demonstrated. This editor is based on the XIML technology and allows simulations considering temporal relations… (More)
Transformation by patterns class diagramm task mode l user model b.-object model device model class diagramm Transformation Implementation dialogue graph abstract user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device model class diagram… (More)
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 an integrated development methodology in order to narrow the conceptual gap between software engineering and user interface design. This methodology rests upon a… (More)
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 an integrated development methodology in order to narrow the conceptual gap that exists between software engineering and user interface design. A prerequisite is… (More)