An exploration of perspective changes within MBD

Abstract

Most current model-based design approaches tend to be specifi cation -driven. Using task models solely at the specification level, contradicts the very idea inherent to task-based design. This paper suggests to look for improvements of the situation at different levels of artifact use. First, HOPS is introduced as a general specification formalism for the interaction paradigm which also allows advanced task modeling. Second, we propose to apply formal modeling in different modes during the different stages of a design process. "Task sketching" is elaborated more deeply. And third, a combination with complementary techniques is recommended to embed the development of formal system specifications in a reflective conversation between all stake holders. An example is used throughout the paper to illustrate our ideas. © 2009 Springer Berlin Heidelberg.