Abstract
This chapter shows how flexible systems of user interfaces with an underlying formal model can be created by learning from the success story of apps on mobile devices and leveraging the concept of business process modelling. It is shown how these multi-app user interfaces are modelled and how they can be transformed into Petri nets in order to apply existing formal analysis methods. The created user interfaces are called App-Ensembles and resemble interactive systems comprised of self-contained apps that are connected in a purposeful manner via navigation links and data channels. A formal language for modelling these App-Ensembles is introduced (AOF-L). The graphical modelling elements are taken exclusively from BPMN 2.0 (Business Process Model and Notation). The underlying notation is formalized using an OWL 2 ontology. It is shown how App-Ensembles can be easily integrated into existing classical business process models. Two use cases illustrate the utility of App-Ensembles and the practicality of the modelling approach. This chapter demonstrates that it is useful to combine a semi-formal graphical notation with a strictly formal mathematical model. Strengths of the approach include the ability to run reasoning algorithms on the model, to query the model using languages such as SPARQL, and to perform a formal verification regarding contradictions and BPMN compliance.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Accessible at https://dkm.fbk.eu/bpmn-ontology.
References
Barnett J, Akolkar R, Auburn RJ et al (2015) State Chart XML (SCXML): state machine notation for control abstraction
Beckett D, Berners-Lee T (2008) Turtle-terse RDF triple language
Bizer C, Heath T, Berners-Lee T (2009) Linked data-the story so far. Int J Semant Web Inf Syst IJSWIS 5:1–22
Brickley D, Miller L (2014) FOAF vocabulary specification. http://xmlns.com/foaf/spec/
Daniel F, Soi S, Tranquillini S et al (2010) From people to services to UI: distributed orchestration of user interfaces. In: Hull R, Mendling J, Tai S (eds) Business process management. Springer, Berlin, Heidelberg, pp 310–326
Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and analysis of BPMN process models using Petri nets
Erl T (2005) Service-oriented architecture: concepts, technology, and design. Prentice Hall PTR, Upper Saddle River, NJ, USA
Fischer L (2011) BPMN 2.0 handbook, 2nd edn. Future Strategies Inc., Lighthouse Point, FL
Garcia JG, Vanderdonckt J, Calleros JMG (2008) FlowiXML: a step towards designing workflow management systems. Int J Web Eng Technol 4:163–182
Graube M, Pfeffer J, Ziegler J, Urbas L (2011) Linked data as integrating technology for industrial data. In: Proceedings 14th international conference network-based information systems (NBiS), pp 162–167
Graube M, Ziegler J, Urbas L, Hladik J (2013) Linked data as enabler for mobile applications for complex tasks in industrial settings. In: Proceedings 18th IEEE conference emerging technologies factory automation (ETFA), pp 1–8
Hayes J, Gutierrez C (2004) Bipartite graphs as intermediate model for RDF
ISO-15836 (2009) The Dublin Core metadata element set. https://www.iso.org/obp/ui/#iso:std:iso:15836:ed-2:v1:en
Klyne G, Carroll JJ (2004) Resource description framework (RDF): concepts and abstract syntax. http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/
Lager T (2013) Statecharts and SCXML for dialogue management. In: Habernal I, Matoušek V (eds) Text, speech, and dialogue. Springer, Berlin, Heidelberg, p 35
Morales AAM, Serodio MEV (2007) A directed hypergraph model for RDF. In: Proceedings of knowledge web PhD symposium
Münch T, Hladik J, Salmen A, et al (2014) Collaboration and interoperability within a virtual enterprise applied in a mobile maintenance scenario. Revolut Enterp Interoper Sci Found 137–165
OMG (2011) Business process modelling notation, v.2.0—specification. http://www.omg.org/spec/BPMN/2.0/
Pfeffer J (2015) AOF language specification version 002. http://eatld.et.tu-dresden.de/aof/spec/
Pfeffer J, Graube M, Ziegler J, Urbas L (2013) Networking apps for complex industrial tasks—orchestrating apps efficiently. atp edition 55(3):34–41
Pietschmann S, Voigt M, Rümpel A, Meißner K (2009) CRUISe: composition of rich user interface services. In: Gaedke M, Grossniklaus M, Díaz O (eds) Web engineering. Springer, Berlin, Heidelberg, pp 473–476
Rospocher M, Ghidini C, Serafini L (2014) An ontology for the business process modelling notation. In: Garbacz P, Kutz O (eds) Formal ontology in information systems—proceedings of the eighth international conference, FOIS2014, 22–25 Sept 2014. IOS Press, Rio de Janeiro, Brazil, pp 133–146
Sousa K, Mendonça H, Vanderdonckt J (2008) A model-driven approach to align business processes with user interfaces. J Univers Comput Sci 14:3236–3249
Urbas L, Leuchter S (2005) Model based analysis and design of human-machine dialogues through displays. KI 19:45–51
van der Aalst WMP, ter Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30:245–275
W3C OWL Working Group (2012) OWL 2 Web ontology language document overview, 2nd edn. http://www.w3.org/TR/owl2-overview/
Weyers B (2012) Reconfiguration of user interface models for monitoring and control of human-computer systems. Dr. Hut Verlag, Berlin
Ziegler J, Pfeffer J, Graube M, Urbas L (2012) Beyond app-chaining: mobile app orchestration for efficient model driven software generation. In: Proceedings of the 17th international IEEE conference on emerging technologies and factory automation. Krakau, Poland
Acknowledgements
The research leading to the presented work was partially funded by the German Ministry of Education and Research (BMBF Grant No. 01IS14006A) and by the European Community’s Seventh Framework Programme under grant agreement no. FP7-284928 ComVantage.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Pfeffer, J., Urbas, L. (2017). Formal Modelling of App-Ensembles. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds) The Handbook of Formal Methods in Human-Computer Interaction. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-51838-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-51838-1_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51837-4
Online ISBN: 978-3-319-51838-1
eBook Packages: Computer ScienceComputer Science (R0)