Towards a Common Semantic Foundation for Use Cases and Task Models

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 the definition of a common semantic framework. With respect to the definition of a suitable semantic domain, we discuss core requirements and review related work. A preliminary approach based on (sets of) partially ordered sets is presented. A mapping from CTT task models and use case graphs to the before-mentioned formalism is proposed.

[1]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[2]  Mordechai Ben-Menachem,et al.  Writing effective use cases , 2001, SOEN.

[3]  Ferhat Khendek,et al.  Refining Timed MSCs , 2003, SDL Forum.

[4]  Anke Dittmar,et al.  Higher-Order Task Models , 2003, DSV-IS.

[5]  Kexing Rui.  Refactoring use case models , 2007 .

[6]  Roger Pressman,et al.  Software Engineering: A Practitioner's Approach, 7Th Edition , 2009 .

[7]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

[8]  K. Kuutti.  Activity theory as a potential framework for human-computer interaction research , 1995 .

[9]  Rajeev Alur,et al.  An Analyzer for Message Sequence Charts , 1996, Softw. Concepts Tools.

[10]  Ken Moody.  An Introduction to Formal Languages and Automata , 1992 .

[11]  Joost-Pieter Katoen,et al.  Pomsets for message sequence charts , 1998 .

[12]  Marisa E. Campbell,et al.  Conference preview: HCI 2000: usability or else! , 2000, INTR.

[13]  Fabio Paternò,et al.  CTTE: Support for Developing and Analyzing Task Models for Interactive System Design , 2002, IEEE Trans. Software Eng..

[14]  Giorgio De Michelis,et al.  Concurrency versus interleaving: an instructuve example , 1987, Bull. EATCS.

[15]  Vaughan R. Pratt,et al.  Modeling concurrency with partial orders , 1986, International Journal of Parallel Programming.

[16]  Jean Vanderdonckt,et al.  Task Modelling in Multiple Contexts of Use , 2002, DSV-IS.

[17]  Philippe A. Palanque,et al.  Design, specification, and verification of interactive systems , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[18]  Björn Regnell,et al.  A hierarchical use case model with graphical representation , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[19]  B. Nardi.  Context and consciousness: activity theory and human-computer interaction , 1995 .

[20]  Roger S. Pressman,et al.  Software engineering (3rd ed.): a practitioner's approach , 1992 .

[21]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process , 2001 .

[22]  Michel A. Reniers,et al.  An Algebraic Semantics of Basic Message Sequence Charts , 1994, Comput. J..

[23]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[24]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[25]  Rajeev Alur,et al.  An Analyser for Mesage Sequence Charts , 1996, TACAS.

[26]  Peter Merrick,et al.  The Rationale for OO Associations in Use Case Modelling , 2005, J. Object Technol..

[27]  Peter Linz,et al.  An Introduction to Formal Languages and Automata , 1997 .

[28]  Fabio Paternò,et al.  Towards a UML for Interactive Systems , 2001, EHCI.

[29]  Gregory Butler,et al.  Use case refactoring: a tool and a case study , 2004, 11th Asia-Pacific Software Engineering Conference.

[30]  Jos C. M. Baeten,et al.  Process Algebra , 2007, Handbook of Dynamic System Modeling.