CTML: Domain and Task Modeling for Collaborative Environments

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 language (called CTML) and the tool CTML Editor and Simulator. CTML has a precisely defined syntax and semantics and is designed to model actors, roles, collaborative tasks and their dependency and impact on the domain. The CTML Editor and Simulator is an Eclipse IDE for the interactive creation and simulation of CTML specifications.

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

[2]  David E. Kieras,et al.  The GOMS family of user interface analysis techniques: comparison and contrast , 1996, TCHI.

[3]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[4]  Peter Forbrig,et al.  Task-Based Development Methodology for Collaborative Environments , 2008, TAMODIA/HCSE.

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

[6]  Peter Forbrig,et al.  Task Model Refinement with Meta Operators , 2008, DSV-IS.

[7]  Birgit Bomsdorf.  The WebTaskModel Approach to Web Process Modelling , 2007, TAMODIA.

[8]  Ian Sommerville,et al.  Software Engineering: (Update) (8th Edition) (International Computer Science) , 2006 .

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

[10]  Jussi Kangasharju,et al.  Executable task models , 2005, TAMODIA '05.

[11]  K. D. Duncan,et al.  TASK ANALYSIS AND TRAINING DESIGN. , 1967 .

[12]  José A. Gallud,et al.  Analysis Models for User Interface Development in Collaborative Systems , 2008, CADUI.

[13]  C. A. Petri.  Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[14]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[15]  Fabio Paternò,et al.  Engineering Interactive Systems 2008 , 2008 .

[16]  Ferhat Khendek,et al.  Practical Extensions for Task Models , 2007, TAMODIA.

[17]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .

[18]  Miguel Gea Megías,et al.  A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling , 2002, DSV-IS.

[19]  Peter Forbrig,et al.  Toward a Formal Task-Based Specification Framework for Collaborative Environments , 2008, CADUI.

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

[21]  Albrecht Schmidt,et al.  There is more to context than location , 1999, Comput. Graph..

[22]  Heinz Ulrich Hoppe,et al.  CIAM: A Methodology for the Development of Groupware User Interfaces , 2008, J. Univers. Comput. Sci..

[23]  Qing Li,et al.  Unified Modeling Language , 2009 .