{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T18:57:40Z","timestamp":1759777060656,"version":"3.41.0"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"EICS","license":[{"start":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T00:00:00Z","timestamp":1498780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["Graduate School 1424 (MuSAMA)"],"award-info":[{"award-number":["Graduate School 1424 (MuSAMA)"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Hum.-Comput. Interact."],"published-print":{"date-parts":[[2017,6,30]]},"abstract":"<jats:p>In this paper, an extended version of task models is discussed that allows detailed specifications of cooperative activities. Within the presented specification CoTaL (Cooperative Task Language), there exist two complementary types of task models called role model and team model. One or more instances of each role model describe the specific activities of actors. The team model represents joined activities and reflects progression in cooperation between role instances. For each scenario there exists one instance of the team model. Preconditions and events can be assigned to tasks and refer to one or all running instances of a role model. An event can be a starting or finishing trigger and is activated as result of task executions. Additionally, variables can be defined. They are bound within the specified context during runtime and get the value of the identifier of a certain role instance. In this way, communication and collaboration between different actors can be specified. Tasks of a team model cannot be performed directly but present the result of the execution of other (role) models only. However, a team model can restrict the execution of role model instances.<\/jats:p>\n          <jats:p>It is shown how such models can be used to specify the activities in a smart meeting room. Snapshots of their simulation in CoTaSE (Cooperative Task Specification Environment) are presented. Additionally to the local implementation there exists an implementation in a cloud. It allows real cooperative executions of tasks.<\/jats:p>","DOI":"10.1145\/3095809","type":"journal-article","created":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T18:11:33Z","timestamp":1498846293000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Extended Features of Task Models for Specifying Cooperative Activities"],"prefix":"10.1145","volume":"1","author":[{"given":"Gregor","family":"Buchholz","sequence":"first","affiliation":[{"name":"University of Rostock, Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[{"name":"University of Rostock, Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,30]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_2_1_2_1","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction, Diaper Dan, Stanton Neville. (Eds)","author":"Anett J.","year":"2004","unstructured":"J. Anett . 2004. Hierarchical Task Analysis . In The Handbook of Task Analysis for Human-Computer Interaction, Diaper Dan, Stanton Neville. (Eds) . Lawrence Erlbaum Associates , 2004 , 67--82. J. Anett. 2004. Hierarchical Task Analysis. In The Handbook of Task Analysis for Human-Computer Interaction, Diaper Dan, Stanton Neville. (Eds). Lawrence Erlbaum Associates, 2004, 67--82."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02247-0_18"},{"key":"e_1_2_1_4_1","unstructured":"{4}A. Awad A. Grosskopf A. Meyer and M. Weske. 2009. Enabling resource assignment constraints in BPMN. Hasso Plattner Institute Potsdam. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/AndreasMeyer\/Enabling_Resource_Assignment_Constraints_in_BPMN.pdf  {4}A. Awad A. Grosskopf A. Meyer and M. Weske. 2009. Enabling resource assignment constraints in BPMN. Hasso Plattner Institute Potsdam. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/AndreasMeyer\/Enabling_Resource_Assignment_Constraints_in_BPMN.pdf"},{"key":"e_1_2_1_5_1","volume-title":"Proc AMAS","author":"Bergenti F.","year":"2012","unstructured":"F. Bergenti , G. Caire , and D. Gotta . 2012. Supporting user-centric business processes with WADE . Proc AMAS 2012 . 1435--1436. F. Bergenti, G. Caire, and D. Gotta. 2012. Supporting user-centric business processes with WADE. Proc AMAS 2012. 1435--1436."},{"key":"e_1_2_1_6_1","unstructured":"BPMN\n  : http:\/\/www.bpmn.org\/  BPMN: http:\/\/www.bpmn.org\/"},{"key":"e_1_2_1_7_1","volume-title":"Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR","author":"Br\u00fcning J.","year":"2010","unstructured":"J. Br\u00fcning , M. Gogolla , and P. Forbrig . 2010 . Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR 2010 . 130--145 J. Br\u00fcning, M. Gogolla, and P. Forbrig. 2010. Modeling and Formally Checking Workflow Properties Using UML and OCL. BIR 2010. 130--145"},{"key":"e_1_2_1_8_1","volume-title":"TTMS: A Task Tree Based Workflow Management System. In BPMDS 2011 and EMMSAD 2011 LNBIP","volume":"81","author":"Br\u00fcning J.","unstructured":"J. Br\u00fcning and P. Forbrig . 2011 . TTMS: A Task Tree Based Workflow Management System. In BPMDS 2011 and EMMSAD 2011 LNBIP , vol. 81 . T. Halpin, S. Nurcan, J. Krogstie, P. Soffer, E. Proper, R. Schmidt, and I. Bider (Eds.). Springer, Heidelberg, 186--200 J. Br\u00fcning and P. Forbrig. 2011. TTMS: A Task Tree Based Workflow Management System. In BPMDS 2011 and EMMSAD 2011 LNBIP, vol. 81. T. Halpin, S. Nurcan, J. Krogstie, P. Soffer, E. Proper, R. Schmidt, and I. Bider (Eds.). Springer, Heidelberg, 186--200"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377842"},{"volume-title":"http:\/\/giove.cnuce.cnr.it\/ctte.html, last visited January 6th 2017","author":"CTTE","key":"e_1_2_1_10_1","unstructured":"CTTE : http:\/\/giove.cnuce.cnr.it\/ctte.html, last visited January 6th 2017 CTTE: http:\/\/giove.cnuce.cnr.it\/ctte.html, last visited January 6th 2017"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882879.2882892"},{"key":"e_1_2_1_12_1","unstructured":"A. Fleischmann W. Schmidt C. Stary S. Obermeier and E. B\u00f6rger. 2012. Subject-Oriented Business Process Management. Springer ISBN 978--3--642--32391--1 pp. I-XV 1--375   A. Fleischmann W. Schmidt C. Stary S. Obermeier and E. B\u00f6rger. 2012. Subject-Oriented Business Process Management. Springer ISBN 978--3--642--32391--1 pp. I-XV 1--375"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10209-011-0236-x"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"A. Fleischmann W. Schmidt and C. Stary. 2013. Open S-BPM= open innovation. In S-BPM ONE-Running Processes. Springer Berlin Heidelberg 295--320  A. Fleischmann W. Schmidt and C. Stary. 2013. Open S-BPM= open innovation. In S-BPM ONE-Running Processes. Springer Berlin Heidelberg 295--320","DOI":"10.1007\/978-3-642-36754-0_19"},{"key":"e_1_2_1_15_1","unstructured":"A. Fleischmann W. Schmidt and C. Stary. 2015. Requirements Specification as Executable Software Design -- A Behavior Perspective in {27} 9--18  A. Fleischmann W. Schmidt and C. Stary. 2015. Requirements Specification as Executable Software Design -- A Behavior Perspective in {27} 9--18"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"P. Forbrig A. Dittmar J. Br\u00fcning and M. Wurdel. 2011. Making Task Modeling Suitable for Stakeholder-Driven Workflow Specifications. HCI (5) 2011. 51--60   P. Forbrig A. Dittmar J. Br\u00fcning and M. Wurdel. 2011. Making Task Modeling Suitable for Stakeholder-Driven Workflow Specifications. HCI (5) 2011. 51--60","DOI":"10.1007\/978-3-642-21672-5_7"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the National Conference on Human-Computer-Interaction - Romanian Journal of HCI, http:\/\/rochi.utcluj.ro\/rrioc\/articole\/RoCHI-2012\/RoCHI-2012-Forbrig.pdf","author":"Forbrig P.","year":"2012","unstructured":"P. Forbrig . 2012 . Interactions in Smart Environments and the Importance of Modelling . In Proceedings of the National Conference on Human-Computer-Interaction - Romanian Journal of HCI, http:\/\/rochi.utcluj.ro\/rrioc\/articole\/RoCHI-2012\/RoCHI-2012-Forbrig.pdf P. Forbrig. 2012. Interactions in Smart Environments and the Importance of Modelling. In Proceedings of the National Conference on Human-Computer-Interaction - Romanian Journal of HCI, http:\/\/rochi.utcluj.ro\/rrioc\/articole\/RoCHI-2012\/RoCHI-2012-Forbrig.pdf"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3040565.3040570"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWET.2008.018096"},{"volume-title":"https:\/\/www.irit.fr\/recherches\/ICS\/softwares\/hamsters\/, last visited January 6th 2017","author":"HAMSTERS","key":"e_1_2_1_20_1","unstructured":"HAMSTERS : https:\/\/www.irit.fr\/recherches\/ICS\/softwares\/hamsters\/, last visited January 6th 2017 HAMSTERS: https:\/\/www.irit.fr\/recherches\/ICS\/softwares\/hamsters\/, last visited January 6th 2017"},{"key":"e_1_2_1_21_1","first-page":"35","article-title":"Task-Related Knowledge Structures","volume":"1988","author":"Johnson P.","year":"1988","unstructured":"P. Johnson , H. Johnson , R. Waddington , and A. Shouls . 1988 . Task-Related Knowledge Structures : Analysis, Modelling and Application. BCS HCI 1988. 35 -- 62 P. Johnson, H. Johnson, R. Waddington, and A. Shouls. 1988. Task-Related Knowledge Structures: Analysis, Modelling and Application. BCS HCI 1988. 35--62","journal-title":"Analysis, Modelling and Application. BCS HCI"},{"key":"e_1_2_1_22_1","volume-title":"Prototyping with Task Models. INTERCHI","author":"Johnson P.","year":"1993","unstructured":"P. Johnson , S. Wilson , P. Markopoulos , and J. Pycock . 1993. ADEPT: Advanced Design Environment for . Prototyping with Task Models. INTERCHI 1993 . 56--56 P. Johnson, S. Wilson, P. Markopoulos, and J. Pycock. 1993. ADEPT: Advanced Design Environment for. Prototyping with Task Models. INTERCHI 1993. 56--56"},{"volume-title":"Mobile Intention Recognition","author":"Kiefer P.","key":"e_1_2_1_23_1","unstructured":"P. Kiefer . 2012: Mobile Intention Recognition . In: Mobile Intention Recognition . Springer New York , 11--53. P. Kiefer. 2012: Mobile Intention Recognition. In: Mobile Intention Recognition. Springer New York, 11--53."},{"key":"e_1_2_1_24_1","volume-title":"No Contest: The Case Against Competition. Houghton Mifflin Harcourt.","author":"Kohn A.","year":"1992","unstructured":"A. Kohn . 1992 . No Contest: The Case Against Competition. Houghton Mifflin Harcourt. 1992, ISBN 978-0-395-63125-6. 19 A. Kohn. 1992. No Contest: The Case Against Competition. Houghton Mifflin Harcourt. 1992, ISBN 978-0-395-63125-6. 19"},{"key":"e_1_2_1_25_1","first-page":"83","article-title":"Exploring the Dynamics of Collaboration in Interorganizational Settings. In Creating a Culture of Collaboration. Schuman (Ed.). Jossey-bass, 2006","volume":"4","author":"Marinez-Moyano I.J.","year":"2006","unstructured":"I.J. Marinez-Moyano . 2006 . Exploring the Dynamics of Collaboration in Interorganizational Settings. In Creating a Culture of Collaboration. Schuman (Ed.). Jossey-bass, 2006 . Ch. 4 , p. 83 . ISBN 0-7879-8116-8 I.J. Marinez-Moyano. 2006. Exploring the Dynamics of Collaboration in Interorganizational Settings. In Creating a Culture of Collaboration. Schuman (Ed.). Jossey-bass, 2006. Ch. 4, p. 83. ISBN 0-7879-8116-8","journal-title":"Ch."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2607023.2607031"},{"key":"e_1_2_1_27_1","volume-title":"et al. (Eds.): REFSQ Workshop proceedings","author":"Matulevi\u010dius R.","year":"2015","unstructured":"R. Matulevi\u010dius , R. et al. (Eds.): REFSQ Workshop proceedings . 2015 . http:\/\/ceur-ws.org\/Vol-1342\/ R. Matulevi\u010dius, R. et al. (Eds.): REFSQ Workshop proceedings. 2015. http:\/\/ceur-ws.org\/Vol-1342\/"},{"volume-title":"http:\/\/www.omg.org\/spec\/OCL\/, last visited January 6th 2017","author":"OCL","key":"e_1_2_1_28_1","unstructured":"OCL : http:\/\/www.omg.org\/spec\/OCL\/, last visited January 6th 2017 OCL: http:\/\/www.omg.org\/spec\/OCL\/, last visited January 6th 2017"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851581.2856686"},{"volume-title":"Model-Based Design and Evaluation of Interactive Application","author":"Patern\u00f2 F.","key":"e_1_2_1_30_1","unstructured":"F. Patern\u00f2 . 1999. Model-Based Design and Evaluation of Interactive Application . Springer Verlag . ISBN 1-85233-155-0 F. Patern\u00f2. 1999. Model-Based Design and Evaluation of Interactive Application. Springer Verlag. ISBN 1-85233-155-0"},{"volume-title":"Task Modelling for Collaborative Systems. TAMODIA","year":"2007","key":"e_1_2_1_31_1","unstructured":"V:M:R : Penichet, M.D. Lozano, J.A. Gallud, and R. Tesoriero. 2007 . Task Modelling for Collaborative Systems. TAMODIA 2007 . 287--292 V:M:R: Penichet, M.D. Lozano, J.A. Gallud, and R. Tesoriero. 2007. Task Modelling for Collaborative Systems. TAMODIA 2007. 287--292"},{"volume-title":"Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS -","author":"Pesic M.","key":"e_1_2_1_32_1","unstructured":"M. Pesic , M.H. Schonenberg , N. Sidorova , and W. M. P. Van Der Aalst. 2007. Constraint-based workflow models: change made easy . In Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I (OTM'07). Robert Meersman and Zahir Tari (Eds.). Springer-Verlag, Berlin, Heidelberg, 77--94 M. Pesic, M.H. Schonenberg, N. Sidorova, and W. M. P. Van Der Aalst. 2007. Constraint-based workflow models: change made easy. In Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I (OTM'07). Robert Meersman and Zahir Tari (Eds.). Springer-Verlag, Berlin, Heidelberg, 77--94"},{"key":"e_1_2_1_33_1","volume-title":"Methods and Trends in Smart Home Technology. In Communications in Computer and Information Science","volume":"78","author":"Robles R.J.","year":"2010","unstructured":"R.J. Robles and T. Kim . 2010. Context Aware Systems , Methods and Trends in Smart Home Technology. In Communications in Computer and Information Science , Vol. 78 ( 2010 ). Springer Berlin Heidelberg, 149--158. R.J. Robles and T. Kim. 2010. Context Aware Systems, Methods and Trends in Smart Home Technology. In Communications in Computer and Information Science, Vol. 78 (2010). Springer Berlin Heidelberg, 149--158."},{"key":"e_1_2_1_34_1","doi-asserted-by":"crossref","unstructured":"C. Ramos G. Marreiros R. Santos and C.F. Freitas. 2010. Smart Offices and Intelligent Decision Rooms. In Handbook of Ambient Intelligence and Smart Environments. Springer US 851--880.  C. Ramos G. Marreiros R. Santos and C.F. Freitas. 2010. Smart Offices and Intelligent Decision Rooms. In Handbook of Ambient Intelligence and Smart Environments. Springer US 851--880.","DOI":"10.1007\/978-0-387-93808-0_32"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02809-0_33"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-009-0077-9"},{"key":"e_1_2_1_37_1","doi-asserted-by":"crossref","unstructured":"A. Solano T. Granollers C. Collazos and C. Rusu. 2014. Proposing Formal Notation for Modeling Collaborative Processes Extending HAMSTERS Notation. WorldCIST (1) 2014. 257--266  A. Solano T. Granollers C. Collazos and C. Rusu. 2014. Proposing Formal Notation for Modeling Collaborative Processes Extending HAMSTERS Notation. WorldCIST (1) 2014. 257--266","DOI":"10.1007\/978-3-319-05951-8_25"},{"key":"e_1_2_1_38_1","article-title":"A Model-Driven Approach to Align Business Processes with User Interfaces","volume":"14","author":"Sousa K.","year":"2008","unstructured":"K. Sousa , H. Mendon\u00e7a , and J. Vanderdonckt . 2008 . A Model-Driven Approach to Align Business Processes with User Interfaces , Journal UCS , vol. 14 , issue 19. K. Sousa, H. Mendon\u00e7a, and J. Vanderdonckt. 2008. A Model-Driven Approach to Align Business Processes with User Interfaces, Journal UCS, vol. 14, issue 19.","journal-title":"Journal UCS"},{"key":"e_1_2_1_39_1","first-page":"68","article-title":"Rigorous Business Process Modeling with OCL. Fakult\u00e4t Informatik","volume":"2006","author":"Tsukasa T.","year":"2006","unstructured":"T. Tsukasa and T. Tamai . 2006 . Rigorous Business Process Modeling with OCL. Fakult\u00e4t Informatik , Dresden , 2006. 68 . http:\/\/www-st.inf.tu-dresden.de\/OCLApps2006\/topic\/acceptedPapers\/18_Takemura_BPMwithOCL.pdf T. Tsukasa and T. Tamai. 2006. Rigorous Business Process Modeling with OCL. Fakult\u00e4t Informatik, Dresden, 2006. 68. http:\/\/www-st.inf.tu-dresden.de\/OCLApps2006\/topic\/acceptedPapers\/18_Takemura_BPMwithOCL.pdf","journal-title":"Dresden"},{"volume-title":"http:\/\/www.uml.org\/, last visited January 6th 2017","author":"UML","key":"e_1_2_1_40_1","unstructured":"UML : http:\/\/www.uml.org\/, last visited January 6th 2017 UML: http:\/\/www.uml.org\/, last visited January 6th 2017"},{"key":"e_1_2_1_41_1","volume-title":"GTA: Groupware Task Analysis - modeling complexity. Acta Psychologica, 91","author":"Van der Veer G.C.","year":"1996","unstructured":"G.C. Van der Veer , V.F. Lenting , and B.A. Bergevoet . 1996 . GTA: Groupware Task Analysis - modeling complexity. Acta Psychologica, 91 , (1996). 297--322 G.C. Van der Veer, V.F. Lenting, and B.A. Bergevoet. 1996. GTA: Groupware Task Analysis - modeling complexity. Acta Psychologica, 91, (1996). 297--322"},{"key":"e_1_2_1_42_1","volume-title":"CTML: Domain and Task Modeling for Collaborative Environments. In Journal of Universal Computer Science 14(19) (Special Issue on Human-Computer Interaction). 3188--3201","author":"Wurdel M.","year":"2008","unstructured":"M. Wurdel , D. Sinnig , and P. Forbrig . 2008 . CTML: Domain and Task Modeling for Collaborative Environments. In Journal of Universal Computer Science 14(19) (Special Issue on Human-Computer Interaction). 3188--3201 M. Wurdel, D. Sinnig, and P. Forbrig. 2008. CTML: Domain and Task Modeling for Collaborative Environments. In Journal of Universal Computer Science 14(19) (Special Issue on Human-Computer Interaction). 3188--3201"},{"key":"e_1_2_1_43_1","volume-title":"Proc. PECCS 2013","author":"Zaki M.","year":"2013","unstructured":"M. Zaki , P. Forbrig . 2013 . Making task models and dialog graphs suitable for generating assistive and adaptable user interfaces for smart environments . In Proc. PECCS 2013 . Barcelona, Spain (2013). 66--75 M. Zaki, P. Forbrig. 2013. Making task models and dialog graphs suitable for generating assistive and adaptable user interfaces for smart environments. In Proc. PECCS 2013. Barcelona, Spain (2013). 66--75"}],"container-title":["Proceedings of the ACM on Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3095809","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3095809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:53Z","timestamp":1750217813000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3095809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,30]]},"references-count":43,"journal-issue":{"issue":"EICS","published-print":{"date-parts":[[2017,6,30]]}},"alternative-id":["10.1145\/3095809"],"URL":"https:\/\/doi.org\/10.1145\/3095809","relation":{},"ISSN":["2573-0142"],"issn-type":[{"type":"electronic","value":"2573-0142"}],"subject":[],"published":{"date-parts":[[2017,6,30]]},"assertion":[{"value":"2017-06-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}