Lightweight analysis of software design models at the whiteboard

While many software design tools exist and are in use daily, when faced with a design problem, developers will more often then not turn to the whiteboard to work on potential solutions. It has been observed that the sketches that software engineers create in this process transition from quite informal, rough sketches to sketches that reflect design notations like UML diagrams or user interfaces with quite precise layout and content. This behavior leads to an interesting opportunity: what if, during this refinement phase, it becomes possible for a whiteboard sketching tool to insert lightweight analyses that provide the developer with feedback about their design at hand? This paper investigates this opportunity, particularly focusing on exploring whether it might be possible to add a lightweight analysis and feedback mechanism to one sketching tool, Calico, that gives the designer insight into the perceived performance of their application.

[1]  Frank M. Shipman,et al.  Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems , 1999, Computer Supported Cooperative Work (CSCW).

[2]  M. Hirsch,et al.  The Fujaba real-time tool suites: model-driven development of safety-critical, real-time systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[3]  André van der Hoek,et al.  Software design sketching with calico , 2010, ASE.

[4]  Steffen Becker,et al.  The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..

[5]  Luciano Baresi,et al.  A logic-based semantics for the verification of multi-diagram UML models , 2012, SOEN.

[6]  Matteo Pradella,et al.  The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties , 2007, ESEC-FSE '07.

[7]  James D. Herbsleb,et al.  Notation and representation in collaborative object-oriented design: an observational study , 2007, OOPSLA.

[8]  Mark W. Newman,et al.  DENIM: finding a tighter fit between tools and practice for Web site design , 2000, CHI.

[9]  Rik Eshuis,et al.  Tool support for verifying UML activity diagrams , 2004, IEEE Transactions on Software Engineering.

[10]  Jeffrey Parsons,et al.  How UML is used , 2006, CACM.

[11]  E. LESTER SMITH,et al.  AND OTHERS , 2005 .

[12]  Steffen Mazanek,et al.  Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[13]  Marian Petre,et al.  Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework , 1996, J. Vis. Lang. Comput..

[14]  D. Schoen The Reflective Practitioner , 1983 .

[15]  John C. Grundy,et al.  An e-whiteboard application to support early design-stage sketching of UML diagrams , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[16]  Christian Heide Damm,et al.  Supporting Several Levels of Restriction in the UML , 2000, UML.

[17]  James A. Landay,et al.  Interactive sketching for the early stages of user interface design , 1995, CHI '95.

[18]  Victoria Hoban,et al.  The Reflective Practitioner , 2013 .

[19]  Holger Giese,et al.  The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems , 2005, ICSE.

[20]  Axel Thümmler,et al.  Performance analysis of time-enhanced UML diagrams based on stochastic processes , 2002, WOSP '02.

[21]  Jason Hong,et al.  Computational Support for Sketching in Design: A Review , 2009, Found. Trends Hum. Comput. Interact..

[22]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[23]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[24]  Carlo Ghezzi,et al.  Quality Prediction of Service Compositions through Probabilistic Model Checking , 2008, QoSA.

[25]  Joost-Pieter Katoen,et al.  Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST) , 2006, IEEE Trans. Software Eng..

[26]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[27]  Jean Vanderdonckt,et al.  Generating systems from multiple sketched models , 2010, J. Vis. Lang. Comput..

[28]  Wang Yi,et al.  UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).