{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:37Z","timestamp":1750220917463,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319518374"},{"type":"electronic","value":"9783319518381"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_19","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T08:23:43Z","timestamp":1493022223000},"page":"529-547","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modelling of App-Ensembles"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Pfeffer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leon","family":"Urbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"19_CR1","unstructured":"Barnett J, Akolkar R, Auburn RJ et al (2015) State Chart XML (SCXML): state machine notation for control abstraction"},{"key":"19_CR2","unstructured":"Beckett D, Berners-Lee T (2008) Turtle-terse RDF triple language"},{"key":"19_CR3","first-page":"1","volume":"5","author":"C Bizer","year":"2009","unstructured":"Bizer C, Heath T, Berners-Lee T (2009) Linked data-the story so far. Int J Semant Web Inf Syst IJSWIS 5:1\u201322","journal-title":"Int J Semant Web Inf Syst IJSWIS"},{"key":"19_CR4","unstructured":"Brickley D, Miller L (2014) FOAF vocabulary specification. http:\/\/xmlns.com\/foaf\/spec\/"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-15618-2_22","volume-title":"Business process management","author":"F Daniel","year":"2010","unstructured":"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\u2013326"},{"key":"19_CR6","unstructured":"Dijkman RM, Dumas M, Ouyang C (2007) Formal semantics and analysis of BPMN process models using Petri nets"},{"key":"19_CR7","volume-title":"Service-oriented architecture: concepts, technology, and design","author":"T Erl","year":"2005","unstructured":"Erl T (2005) Service-oriented architecture: concepts, technology, and design. Prentice Hall PTR, Upper Saddle River, NJ, USA"},{"key":"19_CR8","unstructured":"Fischer L (2011) BPMN 2.0 handbook, 2nd edn. Future Strategies Inc., Lighthouse Point, FL"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1504\/IJWET.2008.018096","volume":"4","author":"JG Garcia","year":"2008","unstructured":"Garcia JG, Vanderdonckt J, Calleros JMG (2008) FlowiXML: a step towards designing workflow management systems. Int J Web Eng Technol 4:163\u2013182","journal-title":"Int J Web Eng Technol"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013167","DOI":"10.1109\/NBiS.2011.33"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"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\u20138","DOI":"10.1109\/ETFA.2013.6647948"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Hayes J, Gutierrez C (2004) Bipartite graphs as intermediate model for RDF","DOI":"10.1007\/978-3-540-30475-3_5"},{"key":"19_CR13","unstructured":"ISO-15836 (2009) The Dublin Core metadata element set. https:\/\/www.iso.org\/obp\/ui\/#iso:std:iso:15836:ed-2:v1:en"},{"key":"19_CR14","unstructured":"Klyne G, Carroll JJ (2004) Resource description framework (RDF): concepts and abstract syntax. http:\/\/www.w3.org\/TR\/2004\/REC-rdf-concepts-20040210\/"},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-40585-3_5","volume-title":"Text, speech, and dialogue","author":"T Lager","year":"2013","unstructured":"Lager T (2013) Statecharts and SCXML for dialogue management. In: Habernal I, Matou\u0161ek V (eds) Text, speech, and dialogue. Springer, Berlin, Heidelberg, p 35"},{"key":"19_CR16","unstructured":"Morales AAM, Serodio MEV (2007) A directed hypergraph model for RDF. In: Proceedings of knowledge web PhD symposium"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"M\u00fcnch 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\u2013165","DOI":"10.4018\/978-1-4666-5142-5.ch007"},{"key":"19_CR18","unstructured":"OMG (2011) Business process modelling notation, v.2.0\u2014specification. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"19_CR19","unstructured":"Pfeffer J (2015) AOF language specification version 002. http:\/\/eatld.et.tu-dresden.de\/aof\/spec\/"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Pfeffer J, Graube M, Ziegler J, Urbas L (2013) Networking apps for complex industrial tasks\u2014orchestrating apps efficiently. atp edition 55(3):34\u201341","DOI":"10.17560\/atp.v55i03.242"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-642-02818-2_41","volume-title":"Web engineering","author":"S Pietschmann","year":"2009","unstructured":"Pietschmann S, Voigt M, R\u00fcmpel A, Mei\u00dfner K (2009) CRUISe: composition of rich user interface services. In: Gaedke M, Grossniklaus M, D\u00edaz O (eds) Web engineering. Springer, Berlin, Heidelberg, pp 473\u2013476"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"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\u2014proceedings of the eighth international conference, FOIS2014, 22\u201325 Sept 2014. IOS Press, Rio de Janeiro, Brazil, pp 133\u2013146","DOI":"10.3233\/978-1-61499-438-1-133"},{"key":"19_CR23","first-page":"3236","volume":"14","author":"K Sousa","year":"2008","unstructured":"Sousa K, Mendon\u00e7a H, Vanderdonckt J (2008) A model-driven approach to align business processes with user interfaces. J Univers Comput Sci 14:3236\u20133249","journal-title":"J Univers Comput Sci"},{"key":"19_CR24","first-page":"45","volume":"19","author":"L Urbas","year":"2005","unstructured":"Urbas L, Leuchter S (2005) Model based analysis and design of human-machine dialogues through displays. KI 19:45\u201351","journal-title":"KI"},{"key":"19_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst WMP, ter Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30:245\u2013275","journal-title":"Inf Syst"},{"key":"19_CR26","unstructured":"W3C OWL Working Group (2012) OWL 2 Web ontology language document overview, 2nd edn. http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"19_CR27","volume-title":"Reconfiguration of user interface models for monitoring and control of human-computer systems","author":"B Weyers","year":"2012","unstructured":"Weyers B (2012) Reconfiguration of user interface models for monitoring and control of human-computer systems. Dr. Hut Verlag, Berlin"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/ETFA.2012.6489541"}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:51:35Z","timestamp":1750204295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_19"}},"subtitle":["A Formal Method for Modelling Flexible Systems of User Interfaces Driven by Business Process Models"],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_19","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}