{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:41:48Z","timestamp":1775054508234,"version":"3.50.1"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Interact. Intell. Syst."],"published-print":{"date-parts":[[2014,1]]},"abstract":"<jats:p>The Service-Oriented Computing (SOC) paradigm is currently being adopted by many developers, as it promises the construction of applications through reuse of existing Web Services (WSs). However, current SOC tools produce applications that interact with users in a limited way. This limitation is overcome by model-based Human-Computer Interaction (HCI) approaches that support the development of applications whose functionality is realized with WSs and whose User Interface (UI) is adapted to the user's context. Typically, such approaches do not consider various functional issues, such as the applications' semantics and their syntactic robustness in terms of the WSs selected to implement their functionality and the automation of the service discovery and selection processes. To this end, we propose a model-driven design method for interactive service-based applications that is able to consider the functional issues and their implications for the UI. This method is realized by a semiautomatic environment that can be integrated into current model-based HCI tools to complete the development of interactive service front-ends. The proposed method takes as input an HCI task model, which includes the user's view of the interactive system, and produces a concrete service model that describes how existing services can be combined to realize the application's functionality. To achieve its goal, our method first transforms system tasks into semantic service queries by mapping the task objects onto domain ontology concepts; then it sends each resulting query to a semantic service engine so as to discover the corresponding services. In the end, only one service from those associated with a system task is selected, through the execution of a novel service concretization algorithm that ensures message compatibility between the selected services.<\/jats:p>","DOI":"10.1145\/2559979","type":"journal-article","created":{"date-parts":[[2014,1,21]],"date-time":"2014-01-21T13:31:00Z","timestamp":1390311060000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Task model-driven realization of interactive application functionality through services"],"prefix":"10.1145","volume":"3","author":[{"given":"K.","family":"Kritikos","sequence":"first","affiliation":[{"name":"IS Lab, ICS-FORTH, Heraklion, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Plexousakis","sequence":"additional","affiliation":[{"name":"IS Lab, ICS-FORTH, Heraklion, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Patern\u00f2","sequence":"additional","affiliation":[{"name":"HIIS Lab, ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,1]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"R. Baeza-Yates and B. Ribeiro-Neto. 1999. Modern Information Retrieval 1st ed. Addison Wesley.   R. Baeza-Yates and B. Ribeiro-Neto. 1999. Modern Information Retrieval 1st ed. Addison Wesley."},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391949.1391953"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"e_1_2_2_4_1","volume-title":"Proceedings of the Semantic Desktop and Social Semantic Collaboration Workshop at ISWC","author":"Broll G.","year":"2006","unstructured":"G. Broll , S. Siorpaes , M. Paolucci , E. Rukzio , J. Hamard , M. Wagner , and A. Schmidt . 2006. Supporting mobile service interaction through semantic service description annotation and automatic interface generation . In Proceedings of the Semantic Desktop and Social Semantic Collaboration Workshop at ISWC 2006 . G. Broll, S. Siorpaes, M. Paolucci, E. Rukzio, J. Hamard, M. Wagner, and A. Schmidt. 2006. Supporting mobile service interaction through semantic service description annotation and automatic interface generation. In Proceedings of the Semantic Desktop and Social Semantic Collaboration Workshop at ISWC 2006."},{"key":"e_1_2_2_5_1","unstructured":"J. M. G. Calleros G. Meixner F. Patern\u00f2 J. Pullmann D. Raggett D. Schwabe and J. Vanderdonckt. 2010. Model-Based UI XG Final Report. W3C Incubator Group Report W3C. 04 May. Retrieved from http:\/\/ www.w3.org\/2005\/Incubator\/model-based-ui\/XGR-mbui\/.  J. M. G. Calleros G. Meixner F. Patern\u00f2 J. Pullmann D. Raggett D. Schwabe and J. Vanderdonckt. 2010. Model-Based UI XG Final Report. W3C Incubator Group Report W3C. 04 May. Retrieved from http:\/\/ www.w3.org\/2005\/Incubator\/model-based-ui\/XGR-mbui\/."},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.12.792"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646088.679914"},{"key":"e_1_2_2_8_1","volume-title":"Proceedings of the 30th International Conference on Very Large Data Bases. 372--383","author":"Dong X.","unstructured":"X. Dong , A. Halevy , J. Madhavan , E. Nemes , and J. Zhang . 2004. Similarity search for web services . In Proceedings of the 30th International Conference on Very Large Data Bases. 372--383 . X. Dong, A. Halevy, J. Madhavan, E. Nemes, and J. Zhang. 2004. Similarity search for web services. In Proceedings of the 30th International Conference on Very Large Data Bases. 372--383."},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10383-4_7"},{"key":"e_1_2_2_10_1","unstructured":"J. M. C. Fonseca (ed.). 2010. W3C Model-Based UI XG Final Report May 2010. Retrieved from http:\/\/ www.w3.org\/2005\/Incubator\/model-based-ui\/XGR-mbui-20100504\/.  J. M. C. Fonseca (ed.). 2010. W3C Model-Based UI XG Final Report May 2010. Retrieved from http:\/\/ www.w3.org\/2005\/Incubator\/model-based-ui\/XGR-mbui-20100504\/."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85481-4_12"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.95"},{"key":"e_1_2_2_13_1","volume-title":"Proceedings of the IADIS WWW\/Internet Conference.","author":"Janeiro J.","unstructured":"J. Janeiro , A. Preubner , T. Springer , A. Schill , and M. Wauer . 2009. Improving the development of service-based applications through service annotations . In Proceedings of the IADIS WWW\/Internet Conference. J. Janeiro, A. Preubner, T. Springer, A. Schill, and M. Wauer. 2009. Improving the development of service-based applications through service annotations. In Proceedings of the IADIS WWW\/Internet Conference."},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11574620_65"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2008.10.001"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2011.27"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1822018.1822059"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1842993.1843009"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.10"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009386.1010170"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843009001975"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1084772.1084773"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1027801"},{"key":"e_1_2_2_24_1","volume-title":"Model-based design and evaluation of interactive applications","author":"Patern\u00f2 F.","unstructured":"F. Patern\u00f2 . 1999. Model-based design and evaluation of interactive applications . Springer-Verlag . F. Patern\u00f2. 1999. Model-based design and evaluation of interactive applications. Springer-Verlag."},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.05.025"},{"key":"e_1_2_2_26_1","doi-asserted-by":"crossref","unstructured":"P. F. Pires M. R. F. Benevides and M. Mattoso. 2003. Building reliable web services compositions. In Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web Web-Services and Database Systems. Springer-Verlag 59--72.   P. F. Pires M. R. F. Benevides and M. Mattoso. 2003. Building reliable web services compositions. In Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web Web-Services and Database Systems. Springer-Verlag 59--72.","DOI":"10.1007\/3-540-36560-5_5"},{"key":"e_1_2_2_27_1","volume-title":"Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS'05)","author":"Pistore M.","unstructured":"M. Pistore , P. Traverso , and P. Bertoli . 2005. Automated composition of web services by planning in asynchronous domains . In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS'05) . 2--11. M. Pistore, P. Traverso, and P. Bertoli. 2005. Automated composition of web services by planning in asynchronous domains. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS'05). 2--11."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.35"},{"key":"e_1_2_2_29_1","unstructured":"F. Rossi P. V. Beek and T. Walsh. 2006. Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc. New York NY.   F. Rossi P. V. Beek and T. Walsh. 2006. Handbook of Constraint Programming (Foundations of Artificial Intelligence). Elsevier Science Inc. New York NY."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11908883_23"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011267.2011269"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001213"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014897210525"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_2"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92698-6_27"},{"key":"e_1_2_2_36_1","volume-title":"Proceedings of the International Semantic Web Conference (ISWC'03)","volume":"2870","author":"Wu D.","unstructured":"D. Wu , B. Parsia , E. Sirin , J. A. Hendler , and D. S. Nau . 2003. Automating DAML-S web services composition using SHOP2 . In Proceedings of the International Semantic Web Conference (ISWC'03) . LNCS, vol. 2870 . Springer, 195--210. D. Wu, B. Parsia, E. Sirin, J. A. Hendler, and D. S. Nau. 2003. Automating DAML-S web services composition using SHOP2. In Proceedings of the International Semantic Web Conference (ISWC'03). LNCS, vol. 2870. Springer, 195--210."},{"key":"e_1_2_2_37_1","volume-title":"Multiple attribute decision making: An introduction","author":"Yoon K. P.","unstructured":"K. P. Yoon and C.-L. Hwang . 1995. Multiple attribute decision making: An introduction . Sage Publications Inc . K. P. Yoon and C.-L. Hwang. 1995. Multiple attribute decision making: An introduction. Sage Publications Inc."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/261640.261641"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.11"}],"container-title":["ACM Transactions on Interactive Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2559979","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2559979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:25Z","timestamp":1750234225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2559979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["10.1145\/2559979"],"URL":"https:\/\/doi.org\/10.1145\/2559979","relation":{},"ISSN":["2160-6455","2160-6463"],"issn-type":[{"value":"2160-6455","type":"print"},{"value":"2160-6463","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1]]},"assertion":[{"value":"2012-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}