A Typed Approach to User Interaction Modelling

  • Felix KossakEmail author
  • Christa Illibauer
  • Verena Geist
  • Christine Natschläger
  • Thomas Ziebermayr
  • Bernhard Freudenthaler
  • Theodorich Kopetzky
  • Klaus-Dieter Schewe


In this chapter, we propose a typed approach to business process specification that supports the integration of workflow definition and dialogue programming and is also open to business process modelling. The resulting key artefact is called workflow chart and still models the control flow of business processes but puts more emphasis on user interaction modelling. Workflow charts are specified as tripartite directed graphs and describe an alternative sequence of typed nodes for showing information and providing forms for user input. Thus, they represent the most detailed level in a hierarchy of business processes and are executable in the sense that they can be interpreted by a workflow management system using a worklist client. A formalisation of workflow charts using Abstract State Machines (ASMs) provides a precise operational semantics. The concept of workflow charts contributes to a more flexible process technology, which is demonstrated by implementing a substantial workflow of a social insurance company.


Business Process Server Action Business Process Management Business Process Modelling System Dialogue 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrams, M., Phanouriou, C., Batongbacal, A.L., Williams, S.M., Shuster, J.E.: UIML: an appliance-independent XML user interface language. In: Proceedings of the 8th International Conference on World Wide Web, WWW’99, pp. 1695–1708. Elsevier North-Holland, Inc., New York (1999)Google Scholar
  2. 2.
    Atkinson, C., Draheim, D., Geist, V.: Typed business process specification. In: Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOC’10, pp. 69–78. IEEE Computer Society (2010)Google Scholar
  3. 3.
    Auer, D., Geist, V., Draheim, D.: Extending BPMN with submit/response-style user interaction modeling. In: Proceedings of CEC’09, pp. 368–374. IEEE Computer Society (2009)Google Scholar
  4. 4.
    Auer, D., Geist, V., Erhart, W., Gunz, C.: An integrated framework for modeling process-oriented enterprise applications and its application to a logistics server system. In: Proceedings of the 2nd International Symposium in Logistics and Industrial Informatics, LINDI’09, pp. 166–171. eXpress Conference Publishing (2009)Google Scholar
  5. 5.
    Balzert, H., Hofmann, F., Kruschinski, V., Niemann, C.: Application development environment – generating more than the user interface. Computer-Aided Design of User Interfaces, pp. 183–206 (1996)Google Scholar
  6. 6.
    Blankenhorn, K., Jeckle, M.: A UML profile for GUI layout. In: Weske, M., Liggesmeyer, P. (eds.) Object-Oriented and Internet-Based Technologies, pp. 110–121. Springer, Berlin (2004)CrossRefGoogle Scholar
  7. 7.
    Bodart, F., Hennebert, A., Leheureux, J., Provot, I., Sacre, B., Vanderdonckt, J.: Towards a systematic building of software architectures: the TRIDENT methodological guide. In: Designing, Specification and Verification of Interactive Systems, pp. 262–278. Springer, Vienna (1995)Google Scholar
  8. 8.
    Börger, E., Sörensen, O.: BPMN core modeling concepts: inheritance-based execution semantics. In: Embley, D.W., Thalheim, B. (eds.) Handbook of Conceptual Modeling: Theory, Practice and Research Challenges, pp. 287–335. Springer, Berlin (2011)CrossRefGoogle Scholar
  9. 9.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin (2003)CrossRefzbMATHGoogle Scholar
  10. 10.
    Börger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering, vol. 5316, pp. 59–115. Springer, Berlin (2008)CrossRefGoogle Scholar
  11. 11.
    Börger, E., Thalheim, B.: Modeling workflows, interaction patterns, web services and business processes: the ASM-based approach. In: Börger, E., Butler, M., Bowen, J., Boca, P. (eds.) Abstract State Machines, B and Z. Lecture Notes in Computer Science, vol. 5238, pp. 24–38. Springer (2008)Google Scholar
  12. 12.
    Börger, E., Cavarra, A., Riccobene, E.: Modeling the dynamics of UML state machines. In: Gurevich, Y., Kutter, P., Odersky, M., Thiele, L. (eds.) Abstract State Machines – Theory and Applications. Lecture Notes in Computer Science., vol. 1912, pp. 167–186. Springer, Berlin (2000)Google Scholar
  13. 13.
    Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Inf. Softw. Technol. 46(5), 287–292 (2004)CrossRefGoogle Scholar
  14. 14.
    Börger, E., Sörensen, O., Thalheim, B.: On defining the behavior of OR-joins in business process models. J. Univers Comput. Sci. 5(5), 30–32 (2009)Google Scholar
  15. 15.
    Bovet, J., Parr, T.: ANTLRWorks: an ANTLR grammar development environment. Softw.: Pract. Exp. 38, 1305–1332 (2008)Google Scholar
  16. 16.
    Carey, M.J., Haas, L.M., Maganty, V., Williams, J.H.: PESTO: an integrated query/browser for object databases. In: Proceedings of the 22th International Conference on Very Large Data Bases, VLDB ’96, pp. 203–214. Morgan Kaufmann Publishers Inc., San Francisco (1996)Google Scholar
  17. 17.
    Ceri, S., Fraternali, P., Paraboschi, S.: Web modeling language (WebML): a modeling language for designing web sites. In: Proceedings of the 9th International World Wide Web Conference, pp. 137–157. Elsevier (2000)Google Scholar
  18. 18.
    Chamberlin, D., Boyce, R.: SEQUEL: a structured English query language. In: FIDET ’74: Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) Workshop On Data Description, Access and Control, vol. 1, pp. 249–264 (1974)Google Scholar
  19. 19.
    Codd, E.: The Relational Model for Database Management: Version 2. Addison-Wesley Longman Publishing Co. Inc, Boston (1990)zbMATHGoogle Scholar
  20. 20.
    Daniel, F., Soi, S., Tranquillini, S., Casati, F., Heng, C., Yan, L.: From people to services to UI: distributed orchestration of user interfaces. In: Proceedings of the 8th International Conference on Business Process Management, BPM’10, pp. 310–326. Springer, Berlin (2010)Google Scholar
  21. 21.
    Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using petri nets. Technical report 7115, Queensland University of Technology, Brisbane, Australia (2007)Google Scholar
  22. 22.
    Draheim, D.: Towards seamless business process and dialogue specification. In: Proceedings of the 19th International Conference on Software Engineering & Knowledge Engineering, SEKE’07, Knowledge Systems Institute Graduate School, Boston, Massachusetts (2007)Google Scholar
  23. 23.
    Draheim, D.: Business Process Technology - A Unified View on Business Processes, Workflows and Enterprise Applications. Springer, Berlin (2010)Google Scholar
  24. 24.
    Draheim, D., Natschläger, C.: A context-oriented synchronization approach. In: Electronic Proceedings of the 2nd International Workshop in Personalized Access, Profile Management, and Context Awareness: Databases in Conjunction with the 34th VLDB Conference, PersDB’08, pp. 20–27 (2008)Google Scholar
  25. 25.
    Draheim, D., Weber, G.: Form-Oriented Analysis – A New Methodology to Model Form-Based Applications. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  26. 26.
    Draheim, D., Weber, G., Lutteroth, C.: Finite state history modeling and its precise UML-based semantics. In: Advances in Conceptual Modeling – Theory and Practice. Lecture Notes in Computer Science, vol. 4231, pp. 43–52. Springer, Berlin (2006)Google Scholar
  27. 27.
    Draheim, D., Himsl, M., Jabornig, D., Küng, J., Leithner, W., Regner, P., Wiesinger, T.: Concept and pragmatics of an intuitive visualization-oriented metamodeling tool. J. Vis. Lang. Comput. 21, 157–170 (2010)CrossRefGoogle Scholar
  28. 28.
    Draheim, D., Geist, V., Natschläger, C.: Integrated framework for seamless modeling of business and technical aspects in process-oriented enterprise applications. Int. J. Softw. Eng. Knowl. Eng. 22(5), 645–674 (2012)CrossRefGoogle Scholar
  29. 29.
    Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae 77(1), 71–103 (2007)MathSciNetzbMATHGoogle Scholar
  30. 30.
    Fecher, H., Schönborn, J., Kyas, M., de Roever, W.P.: 29 new unclarities in the semantics of UML 2.0 state machines. In: Proceedings of the 7th International Conference on Formal Methods and Software Engineering, ICFEM’05, pp. 52–65. Springer, Berlin (2005)Google Scholar
  31. 31.
    Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., Börger, E.: Subject-Oriented Business Process Management. Springer, Berlin (2012)CrossRefGoogle Scholar
  32. 32.
    Garzotto, F., Paolini, P., Schwabe, D.: HDM - a model-based approach to hypertext application design. ACM Trans. Inf. Syst. 11, 1–26 (1993)CrossRefGoogle Scholar
  33. 33.
    Geist, V.: Integrated Executable Business Process and Dialogue Specification. Dissertation, Johannes Kepler University, Linz (2011)Google Scholar
  34. 34.
    Guerrero, J., Vanderdonckt, J., Gonzalez, J.M., Winckler, M.: Modeling user interfaces to workflow information systems. In: Proceedings of the 4th International Conference on Autonomic and Autonomous Systems, pp. 55–60. IEEE Computer Society, Washington (2008)Google Scholar
  35. 35.
    Hollingsworth, D., et al.: The workflow reference model: 10 years on. In: Fujitsu Services, UK; Technical Committee Chair of WfMC (2004)Google Scholar
  36. 36.
    International Organization for Standardization: International standard ISO 9241-10. Ergonomic requirements for office work with visual display terminals (VDTs) – part 10: dialogue principles (1991). ISOGoogle Scholar
  37. 37.
    Isakowitz, T., Stohr, E.A., Balasubramanian, P.: RMM: a methodology for structured hypermedia design. Commun. ACM 38, 34–44 (1995)CrossRefGoogle Scholar
  38. 38.
    Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Reading (1999)Google Scholar
  39. 39.
    Johnson, P.: Human computer interaction: psychology, task analysis and software engineering. McGraw-Hill, Maidenhead (1992)Google Scholar
  40. 40.
    Kopetzky, T., Geist, V.: Workflow charts and their precise semantics using abstract state machines. In: EMISA. Lecture Notes in Informatics, pp. 11–24. Gesellschaft für Informatik e.V. (2012)Google Scholar
  41. 41.
    Kossak, F., Illibauer, C., Geist, V., Kubovy, J., Natschläger, C., Ziebermayr, T., Kopetzky, T., Freudenthaler, B., Schewe, K.D.: A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer (2015)Google Scholar
  42. 42.
    Kovacevic, S.: UML and user interface modeling. In: Selected Papers from the 1st International Workshop on The Unified Modeling Language: Beyond the Notation, UML’98, pp. 253–266. Springer, London (1999)Google Scholar
  43. 43.
    Luyten, K., Clerckx, T., Coninx, K., Vanderdonckt, J.: Derivation of a dialog model from a task model by activity chain extraction. In: Proceedings of DSV-IS’03. Lecture Notes in Computer Science, vol. 2844, pp. 191–205. Springer (2003)Google Scholar
  44. 44.
    Markopoulos, P., Pycock, J., Wilson, S., Johnson, P.: Adept – a task based design environment. In: Proceedings of the 25th Hawaii International Conference on System Sciences, pp. 587–596. IEEE Computer Society Press (1992)Google Scholar
  45. 45.
    McJones, P.: The 1995 SQL reunion: people, projects and politics (1997), sRC Technical Note 1997-018, Digital Systems Research CenterGoogle Scholar
  46. 46.
    Molina, P., Trætteberg, H.: Analysis and design of model based user interfaces – an approach to refining specifications towards implementation. In: Proceedings of the 5th International Conference on Computer-Aided Design of User Interfaces, CADUI’04 (2004)Google Scholar
  47. 47.
    Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  48. 48.
    Navarre, D., Palanque, P., Paterno, F., Santoro, C., Bastide, R.: A tool suite for integrating task and system models through scenarios. In: Proceedings of DSV-IS’01. Lecture Notes in Computer Science, vol. 2220. Springer, Berlin (2001)Google Scholar
  49. 49.
    Nguyen, T., Srinivasan, V.: Accessing relational databases from the World Wide Web. In: Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, SIGMOD’96, pp. 529–540. ACM, New York (1996)Google Scholar
  50. 50.
    Object Management Group: Business Process Model and Notation (BPMN) 2.0. Accessed 06 Oct 2015 (2011)
  51. 51.
    Object Management Group: OMG Unified Modeling Language (OMG UML), version 2.5. Accessed 06 Oct 2015 (2015)
  52. 52.
    Papiani, M., Dunlop, A., Hey, J.: Automatically generating World-Wide Web interfaces to relational databases (1997), British Computer Society Seminar Series on New Directions in Systems Development: Intranets The Corporate Superhighway, University of WolverhamptonGoogle Scholar
  53. 53.
    Parnas, D.L.: Software aspects of strategic defense systems. Commun. ACM 28, 1326–1335 (1985)CrossRefGoogle Scholar
  54. 54.
    Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: a diagrammatic notation for specifying task models. In: Proceedings of Interact’97, pp. 362–369. Chapman & Hall, Sydney (1997)Google Scholar
  55. 55.
    Pinheiro da Silva, P., Paton, N.: UMLi: the unified modeling language for interactive applications. In: Proceedings of the UML’00, York. Lecture Notes in Computer Science, vol. 1939, pp. 117–132. Springer (2000)Google Scholar
  56. 56.
    Pinheiro da Silva, P., Paton, N.: User interface modelling with UML. In: Proceedings of the 10th European-Japanese Conference on Information Modelling and Knowledge Bases (2000)Google Scholar
  57. 57.
    Reichart, D., Forbrig, P., Dittmar, A.: Task models as basis for requirements engineering and software execution. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams, TAMODIA’04, pp. 51–58. ACM, New York (2004)Google Scholar
  58. 58.
    Rossi, G., Schwabe, D., Lyardet, F.: Web application models are more than conceptual models. In: Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, ER’99, pp. 239–253. Springer, London (1999)Google Scholar
  59. 59.
    Russell, N., ter Hofstede, A., Edmond, D., van der Aalst, W.: Workflow Resource Patterns. BETA Working Paper Series WP 127, Eindhoven University of Technology, Eindhoven (2004)Google Scholar
  60. 60.
    Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. Technical report, (2006)Google Scholar
  61. 61.
    Sarstedt, S., Guttmann, W.: An ASM semantics of token flow in UML 2 activity diagrams. In: Proceedings of the 6th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, pp. 349–362. Springer, Novosibirsk (2007)Google Scholar
  62. 62.
    Schewe, K.D.: Horizontal and vertical business process model integration. In: Decker, H., Lenka, L., Link, S., Basl, J., Tjoa, A. (eds.) Database and Expert Systems Applications. Lecture Notes in Computer Science, vol. 8055, pp. 1–3. Springer, Berlin (2013)CrossRefGoogle Scholar
  63. 63.
    Schewe, K.D., Schewe, B.: View-centered conceptual modelling – an object-oriented approach. In: Proceedings of the 15th International Conference on Conceptual Modeling ER’96, pp. 357–371. Springer, London (1996)Google Scholar
  64. 64.
    Schewe, K.D., Schewe, B.: Integrating database and dialogue design. Knowl. Inf. Syst. 2, 1–32 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  65. 65.
    Schreiber, S.: The BOSS system: coupling visual programming with model based interface design. In: Proceedings of DSV-IS’94, Focus on Computer Graphics, pp. 161–179. Springer (1995)Google Scholar
  66. 66.
    Spielmann, M.: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1), 40–65 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  67. 67.
    Stegmaier, B., Ebbers, M., Begovac, T.: Image and workflow library: flowmark v2.3 design guidelines. Technical report, IBM International Technical Support Organization (1998)Google Scholar
  68. 68.
    Szekely, P.: Retrospective and challenges for model-bases interface development. Computer-Aided Design of User Interfaces, pp. xxi–xliv (1996)Google Scholar
  69. 69.
    Szekely, P., Sukaviriya, P., Castells, P., Muthukumarasamy, J., Salcher, E.: Declarative interface models for user interface construction tools: the MASTERMIND approach. Engineering for Human-Computer Interaction, pp. 120–150 (1996)Google Scholar
  70. 70.
    Takemura, T.: Formal semantics and verification of BPMN transaction and compensation. In: Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference, APSCC’08, pp. 284–290. IEEE Computer Society, Washington, DC (2008)Google Scholar
  71. 71.
    Trætteberg, H., Krogstie, J.: Enhancing the usability of BPM-solutions by combining process and user-interface modelling. In: Stirna, J., Persson, A. (eds.) The Practice of Enterprise Modeling. Lecture Notes in Business Information Processing, vol. 15, pp. 86–97. Springer, Berlin (2008)CrossRefGoogle Scholar
  72. 72.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30, 245–275 (2005)CrossRefGoogle Scholar
  73. 73.
    van der Aalst, W., Barros, A., ter Hofstede, A., Kiepuszewski, B.: Advanced workflow patterns. In: Proceedings of the 7th International Conference on Cooperative Information Systems CoopIS’00. Lecture Notes in Computer Science, vol. 1901. Springer (2000)Google Scholar
  74. 74.
    van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM Sigplan Not. 35, 26–36 (2000)CrossRefGoogle Scholar
  75. 75.
    Wilson, S., Johnson, P.: Bridging the generation gap: From work tasks to user interface designs. Computer-Aided Design of User Interfaces, pp. 77–94 (1996)Google Scholar
  76. 76.
    Wong, P.Y., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) Formal Methods and Software Engineering. Lecture Notes in Computer Science, vol. 5256, pp. 355–374. Springer, Berlin (2008)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Felix Kossak
    • 1
    Email author
  • Christa Illibauer
    • 1
  • Verena Geist
    • 1
  • Christine Natschläger
    • 1
  • Thomas Ziebermayr
    • 1
  • Bernhard Freudenthaler
    • 1
  • Theodorich Kopetzky
    • 1
  • Klaus-Dieter Schewe
    • 1
  1. 1.Software Competence Center Hagenberg GmbHHagenberg im MühlkreisAustria

Personalised recommendations