{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T18:40:44Z","timestamp":1771008044699,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642237645","type":"print"},{"value":"9783642237652","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23765-2_40","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T09:47:31Z","timestamp":1314784051000},"page":"589-609","source":"Crossref","is-referenced-by-count":48,"title":["Structuring and Composition Mechanisms to Address Scalability Issues in Task Models"],"prefix":"10.1007","author":[{"given":"C\u00e9lia","family":"Martinie","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"Amboss, http:\/\/wwwcs.uni-paderborn.de\/cs\/ag-szwillus\/lehre\/ws05_06\/PG\/PGAMBOSS"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"Barboni, E., Ladry, J.-F., Navarre, D., Palanque, P., Winckler, M.: Beyond modeling: an integrated environment supporting co-execution of tasks and systems models. In: Proc. of the 2nd ACM SIGCHI Symp. on Engineering Interactive Computing Systems (EICS 2010), pp. 165\u2013174 (2010)","DOI":"10.1145\/1822018.1822043"},{"key":"40_CR3","first-page":"251","volume-title":"DSVIS 1997","author":"I. Breedvelt","year":"1997","unstructured":"Breedvelt, I., Paterno, F., Sereriins, C.: Reusable structures in task models. In: Harrison, M.D., Torres, J.C. (eds.) DSVIS 1997, pp. 251\u2013265. Springer, Heidelberg (1997)"},{"key":"40_CR4","volume-title":"The Psychology of Human-Computer Interaction","author":"S. Card","year":"1983","unstructured":"Card, S., Moran, T., Newell, A.: The Psychology of Human-Computer Interaction. Lawrence Erlbaum, Hillsdale (1983)"},{"issue":"1","key":"40_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. Chen","year":"1976","unstructured":"Chen, P.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Transactions on Database Systems\u00a01(1), 9\u201336 (1976)","journal-title":"ACM Transactions on Database Systems"},{"key":"40_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1006\/jvlc.2002.0240","volume":"13","author":"J. Chattratichart","year":"2002","unstructured":"Chattratichart, J., Kuljis, J.: Exploring the effect of control-flow and traversal direction on VPL usability for novices. Journal of Visual Languages and Computing\u00a013, 471\u2013500 (2002)","journal-title":"Journal of Visual Languages and Computing"},{"issue":"4","key":"40_CR7","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1037\/0021-9010.78.4.531","volume":"78","author":"A. Dennis","year":"1993","unstructured":"Dennis, A., Valacich, J.: Computer Brainstorms: More Heads are Better than One. Journal of Applied Psychology\u00a078(4), 531\u2013537 (1993)","journal-title":"Journal of Applied Psychology"},{"key":"40_CR8","first-page":"650","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","author":"D. Diaper","year":"2004","unstructured":"Diaper, D., Stanton, N.A.: The Handbook of Task Analysis for Human-Computer Interaction, 650 pages. Lawrence Erlbaum Associates, Mahwah (2004)"},{"issue":"3","key":"40_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1037\/0022-3514.53.3.497","volume":"53","author":"M. Diehl","year":"1987","unstructured":"Diehl, M., Stroebe, W.: Productivity Loss in Brainstorming Groups: Towards a Solution of a Riddle. Journal of Personality and Social Psychology\u00a053(3), 497\u2013509 (1987)","journal-title":"Journal of Personality and Social Psychology"},{"key":"40_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-44675-3_10","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"A. Dittmar","year":"2001","unstructured":"Dittmar, A.: More precise descriptions of temporal relations within task models. In: Patern\u00f3, F. (ed.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 151\u2013168. Springer, Heidelberg (2001)"},{"key":"40_CR11","unstructured":"European Cooperation for Space Standardization, Space Engineering, Ground Systems and Operations, ECSS-E-70C (July 31, 2008)"},{"key":"40_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/1045446.1045465","volume-title":"Proceedings of the 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004)","author":"A. Gaffar","year":"2004","unstructured":"Gaffar, A., Sinnig, D., Seffah, A., Forbrig, P.: Modeling patterns for task models. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams (TAMODIA 2004), pp. 99\u2013104. ACM, New York (2004)"},{"key":"40_CR13","first-page":"1","volume-title":"Temporal aspects of tasks in the User Action Notation in Human Computer Interaction","author":"R.H. Hartson","year":"1992","unstructured":"Hartson, R.H., Gray, P.D.: Temporal aspects of tasks in the User Action Notation in Human Computer Interaction, vol.\u00a07, pp. 1\u201345. Lawrence Erlbaum Associates, Mahwah (1992)"},{"key":"40_CR14","volume-title":"Introduction To Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"1990","unstructured":"Hopcroft, J., Ullman, J.: Introduction To Automata Theory, Languages, and Computation. Addison-Wesley Longman Publishing Co., Inc., Boston (1990)"},{"key":"40_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0001-6918(91)90003-I","volume":"78","author":"H. Johnson","year":"1991","unstructured":"Johnson, H., Johnson, P.: Task Knowledge Structures: Psychological basis and integration into system design. Acta Psychologica\u00a078, 3\u201326 (1991)","journal-title":"Acta Psychologica"},{"key":"40_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-45522-1_10","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"Q. Limbourg","year":"2001","unstructured":"Limbourg, Q., Pribeanu, C., Vanderdonckt, J.: Towards Uniformed Task Models in a Model-Based Approach. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, pp. 164\u2013182. Springer, Heidelberg (2001)"},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/ICRE.2003.1232752","volume-title":"Proc. 11th Int. Conf. on Requirements Engineering","author":"A. Mavin","year":"2003","unstructured":"Mavin, A., Maiden, N.A.M.: Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking Through Scenarios. In: Proc. 11th Int. Conf. on Requirements Engineering, pp. 213\u2013222. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"40_CR18","volume-title":"Proceedings of ACM SIGCHI EICS 2011","author":"C. Martinie","year":"2011","unstructured":"Martinie, C., Palanque, P., Navarre, D., Winckler, M., Poupart, E.: Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. In: Proceedings of ACM SIGCHI EICS 2011. ACM Press, Pisa (2011)"},{"key":"40_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-45522-1_6","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., Palanque, P., Bastide, R., Patern\u00f3, F., Santoro, C.: A tool suite for integrating task and system models through scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, pp. 88\u2013113. Springer, Heidelberg (2001)"},{"issue":"4","key":"40_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D. Navarre","year":"2009","unstructured":"Navarre, D., Palanque, P., Ladry, J., Barboni, E.: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM TOCHI\u00a016(4), 1\u201356 (2009)","journal-title":"ACM TOCHI"},{"key":"40_CR21","first-page":"309","volume-title":"Interacting With Computers","author":"D. Navarre","year":"2003","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems. In: Interacting With Computers, vol.\u00a015(3), pp. 309\u2013328. Elsevier, Amsterdam (2003)"},{"key":"40_CR22","volume-title":"User Centred System Design","year":"1986","unstructured":"Norman, D., Drapper, S. (eds.): User Centred System Design. L. Erlbaum, U.S (1986) ISBN-10: 0898597811"},{"key":"40_CR23","unstructured":"Petri, C.A.: Kommunikation Mit Automaten. Technical University Darmstadt (1962)"},{"key":"40_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/1-4020-8153-7_8","volume-title":"IFIP 13.5 Working Conf. on Human Error, Safety and Systems Development (HESSD)","author":"P. Palanque","year":"2004","unstructured":"Palanque, P., Basnyat, S.: Task Patterns For Taking Into Account In An Efficient and Systematic Way Both Standard And Erroneous User Behaviours. In: IFIP 13.5 Working Conf. on Human Error, Safety and Systems Development (HESSD), pp. 109\u2013130. Kluwer Academic Publisher, Dordrecht (2004)"},{"key":"40_CR25","volume-title":"ACM CHI 2001 (Seattle, 2001) Extended Abstracts","author":"F. Patern\u00f2","year":"2001","unstructured":"Patern\u00f2, F.: CTTE: An Environment for Analysis and Development of Task Models of Cooperative Applications. In: ACM CHI 2001 (Seattle, 2001) Extended Abstracts. ACM Press, New York (2001)"},{"key":"40_CR26","first-page":"483","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","author":"F. Patern\u00f2","year":"2003","unstructured":"Patern\u00f2, F.: ConcurTaskTrees: An Engineered Notation for Task Model. In: The Handbook of Task Analysis for Human-Computer Interaction, pp. 483\u2013503. Lawrence Erlbaum Associates, Mahwah (2003)"},{"key":"40_CR27","first-page":"362","volume-title":"Proc. of Interact 1997","author":"F. Patern\u00f2","year":"1997","unstructured":"Patern\u00f2, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proc. of Interact 1997, pp. 362\u2013369. Chapman & Hall, Boca Raton (1997)"},{"key":"40_CR28","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1045446.1045466","volume-title":"Proc. of TAMODIA 2004","author":"F. Patern\u00f2","year":"2004","unstructured":"Patern\u00f2, F., Zini, E.: Applying information visualization techniques to visual representations of task models. In: Proc. of TAMODIA 2004, pp. 105\u2013111. ACM, New York (2004)"},{"key":"40_CR29","unstructured":"Rational Software Corporation. UML Notation Guide. 1.1 ed (1997)"},{"key":"40_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"issue":"4","key":"40_CR31","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/175276.175288","volume":"37","author":"M. Rettig","year":"1994","unstructured":"Rettig, M.: Prototyping for Tiny Fingers. Communication of the ACM\u00a037(4), 21\u201327 (1994)","journal-title":"Communication of the ACM"},{"issue":"3","key":"40_CR32","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1080\/01449298808901878","volume":"7","author":"S. Sebillotte","year":"1988","unstructured":"Sebillotte, S.: Hierarchical planning as method for task analysis: the example of office task analysis. Behaviour & Information Technology\u00a07(3), 275\u2013293 (1988) 1362-3001","journal-title":"Behaviour & Information Technology"},{"key":"40_CR33","unstructured":"Scapin, D.L.: K-MADe. In: COST294-MAUSE 3rd International Workshop, Review, Report and Refine Usability Evaluation Methods (R3 UEMs), Athens (March 5, 2007)"},{"key":"40_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-77222-4_5","volume-title":"Task Models and Diagrams for User Interface Design","author":"D. Sinnig","year":"2007","unstructured":"Sinnig, D., Wurdel, M., Forbrig, P., Chalin, P., Khendek, F.: Practical Extensions for Task Models. In: Winckler, M., Johnson, H. (eds.) TAMODIA 2007. LNCS, vol.\u00a04849, pp. 42\u201355. Springer, Heidelberg (2007)"},{"key":"40_CR35","unstructured":"van Welie, M., van der Veer, G.C., Eli\u00ebns, A.: Euterpe - Tool support for analyzing cooperative environments. In: Ninth European Conf. on Cognitive Ergonomics, pp. 25\u201330 (August 24-26, 1998)"},{"key":"40_CR36","doi-asserted-by":"crossref","unstructured":"van Welie, M., van der Veer, G.C., Eli\u00ebns, A.: An Ontology for Task World Models. In: 5th International Eurographics Workshop on Design Specification and Verification of Interactive Systems DSV-IS 1998, Abingdon, UK, pp. 57\u201370 (June 3-5, 1998)","DOI":"10.1007\/978-3-7091-3693-5_5"},{"issue":"4","key":"40_CR37","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1145\/299917.299919","volume":"30","author":"R. Wieringa","year":"1998","unstructured":"Wieringa, R.: A survey of structured and object-oriented software specification methods and techniques. ACM Comput. Surv.\u00a030(4), 459\u2013527 (1998)","journal-title":"ACM Comput. Surv."},{"issue":"10","key":"40_CR38","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1145\/355598.362773","volume":"13","author":"W.A. Wood","year":"1970","unstructured":"Wood, W.A.: Transition network grammars for natural language analysis. Communications of the ACM\u00a013(10), 591\u2013606 (1970)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction \u2013 INTERACT 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23765-2_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:13:42Z","timestamp":1606187622000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23765-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237645","9783642237652"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23765-2_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}