{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:32Z","timestamp":1759033232412},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428077"},{"type":"electronic","value":"9783540455226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45522-1_8","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T10:22:20Z","timestamp":1182162140000},"page":"128-143","source":"Crossref","is-referenced-by-count":4,"title":["Modelling Dynamic Group Behaviours"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luis","family":"Garrido","sequence":"first","affiliation":[]},{"given":"Miguel","family":"Gea","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,29]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/142394.142401","volume":"24","author":"Arch A metamodel for runtime architecture of an interactive system","year":"1992","unstructured":"Arch: A metamodel for runtime architecture of an interactive system. The UIMSTool Developers\u2019 Workshop. SIGCHI Bulletin 24(1), ACM (1992) 32\u201337","journal-title":"SIGCHI Bulletin"},{"key":"8_CR2","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. SEI Seriesin Software Engineering. Addison-Wesley (1998)"},{"key":"8_CR3","unstructured":"Calvary, G., Coutaz, J., Nigay, L.: From Single-User Architectural Design to PAC*:a Generic Software Architecture Model for CSCW. Proceedings CHI\u201997. ACMPress (1997) 242\u2013249"},{"key":"8_CR4","unstructured":"Coutaz, J.: PAC-ing the architecture of your user interface. In Proceedings ofthe Fourth Eurographics Workshop on Design, Specification and Verification ofInteractive Systems (DSVIS\u201997). Sringer-Verlag (1997) 15\u201332"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Dewan, P.: Multiuser Architectures. IFIP Conference on Engineering for Human-Computer Interaction (1995)","DOI":"10.1007\/978-0-387-34907-7_14"},{"key":"8_CR6","unstructured":"Dix, A.: \u201cFormal Methods for Interactive Systems\u201d. Academic Press (1991)"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Design, Specification and Verification ofInteractive System (DSVIS\u20192001)","author":"G. Doherty","year":"2001","unstructured":"Doherty, G., Massink, M., Faconti, G.: Reasoning about Interactive Systems withStochastic Models. In C.W. Johnson (ed.) Design, Specification and Verification ofInteractive System (DSVIS\u20192001). Lecture Notes in Computer Science, Springer-Verlag (2001)"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D. Duke","year":"1993","unstructured":"Duke, D., Harrison, M.: Abstract Interaction Objects. Computer Graphics Forum,12 (3), (1993) 25\u201336","journal-title":"Computer Graphics Forum"},{"key":"8_CR9","unstructured":"Ellis, C.: A Framework and Taxonomy for Workflow Architecture. In: Dieng, R., Giboin, A., Karsenty, L., De Michelis, G. (eds.): Designing Cooperative Systems-The Use of Theories and Models. IOS Press-Ohmsha (2000) 99\u2013112"},{"key":"8_CR10","unstructured":"Faconti, G., Paterno, F.: An approach to the formal specification of the component of the interaction. Proceeding of Eurographics 1990. North-Holland (1990)"},{"key":"8_CR11","unstructured":"Garrido, J.L., Gea, M., Guti\u00e9rrez, F.L.,Padilla, N.: Designing Cooperative Systems for Human Collaboration. In: Dieng, R., Giboin, A., Karsenty, L., De Michelis, G.(eds.): Designing Cooperative Systems-The Use of Theories and Models. IOSPress-Ohmsha (2000) 399\u2013412"},{"key":"8_CR12","unstructured":"Garrido, J.L., Gea, M.: Analysis and Design of Cooperative Systems. Technical ReportLSI-2001-1. Department of Computer Science. University of Granada (2001)"},{"key":"8_CR13","unstructured":"Gea, M., Garrido, J.L., Guti\u00e9rrez, F.L., Padilla, N.: World Wide Users: ExploringNew Approaches to Active a Better Design Strategy. Proceedings of Basic ResearchSymposium at CHI\u20192000, The Hague, The Netherlands (April 2000)"},{"key":"8_CR14","unstructured":"Gea, M., Padilla, N., Garrido, J.L., Guti\u00e9rrez, F.L.: Dise\u00f1o de entornos cooperativos.In: Arinyo, R.J., Navazo, I., Quir\u00f3s, R. (eds.) X Congreso Espa\u00f1ol deInform\u00e1tica Gr\u00e1fica (CEIG\u20192000). Castellon, Spain (June 2000) 143\u2013156"},{"key":"8_CR15","unstructured":"Grudin, J.: Groupware and Cooperative Work: Problems and Prospect. The Art of Human Computer Interface. Addison-Wesley (1990)"},{"key":"8_CR16","unstructured":"Harrison, M., Thimbleby, H. (eds.): Formal Methods in Human-Computer Interaction.Cambridge University Press (1990)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"John, B.E., Kieras, D.E.: The GOMS Family of user Interface Analysis Techniques:Comparison and Contrast. ACM Transactions on Human-Computer Interaction,vol 3, no 4 (1996)","DOI":"10.1145\/235833.236054"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Jordan, B.: Ethnographic Workplace Studies and CSCW. In: Shapiro, D., Tauber, M.J., Traunmueller, R. (eds.): The Design of Computer Supported CooperativeWork and Groupware System. North-Holland, Amsterdam (1996) 17\u201342","DOI":"10.1016\/S0923-8433(96)80005-0"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Kieras, D.E., Polson, P.G.: An approach to the formal analysis of user complexity.International Journal Man-Machine Studies, 22 (1985)","DOI":"10.1016\/S0020-7373(85)80045-6"},{"issue":"3","key":"8_CR20","first-page":"26","volume":"1","author":"G.E. Krasner","year":"1988","unstructured":"Krasner, G.E., Pope, S.T. A cookbook for using the Model-View-Controller userinterface paradigm in Smalltalk-80. Journal of Object-Oriented Programming, 1(3)(August-September 1988) 26\u201349","journal-title":"Journal of Object-Oriented Programming"},{"key":"8_CR21","first-page":"357","volume-title":"Proceedings of the Conference on ComputerSupported Cooperative Work (CSCW\u201990)","author":"T.W. Malone","year":"1990","unstructured":"Malone, T.W., Crowston, K.: What is Coordination Theory and How Can It HelpDesign Cooperative Work Systems. Proceedings of the Conference on ComputerSupported Cooperative Work (CSCW\u201990). ACM Press, New York (1990) 357\u2013370"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Markopoulos, P., Johnson, P., Rowson, J.: Formal Aspects of Task based Design. In Design, Specification and Verification of Interactive System (DSVIS\u201997). Springer Computer Science (1997)","DOI":"10.1007\/978-3-7091-6878-3_14"},{"key":"8_CR23","unstructured":"McGrath, J.: Time, Interaction and Performance: a theory of groups. In Readings in Groupware and Computer-Supported Cooperative Work. R. Baecker (ed). Morgan Kauffman (1993)"},{"issue":"2","key":"8_CR24","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/319806.319810","volume":"31","author":"K.L. Mills","year":"1999","unstructured":"Mills, K.L.: Introduction to the Electronic Symposium on Computer-SupportedCooperative Work. ACM Computing Surveys, Vol. 31, no 2, (June 1999) 105\u2013116","journal-title":"ACM Computing Surveys"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Nardi, B. (ed): Context and Consciousness: Activity Theory and Human Computer Interaction. MIT Press, Cambridge MA (1995)","DOI":"10.7551\/mitpress\/2137.001.0001"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Navarre, D., Palanque, P., Patern\u00f2, F., Santoro, C., Bastide, R.: A Tool Suitefor Integrating Task and System Models through Scenarios. InC.W. Johnson (ed.)Design, Specification and Verification of Interactive System (DSVIS\u20192001). LectureNotes in Computer Science, Springer-Verlag (2001)","DOI":"10.1007\/3-540-45522-1_6"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Paine, S.J., Green, T.: Task-Action Grammars: A model of the mental representationof task languages. Human-Computer Interaction, 2 (1986)","DOI":"10.1207\/s15327051hci0202_1"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notationfor Specifying Task Models. Proceeding of Interact\u2019 97. (July 1997) 362\u2013369","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"8_CR29","unstructured":"Patern\u00f2, F., Santoro, C., Tahmassebi C.: Formal Models for Cooperative Tasks:Concepts and Application for En-Route Air-Traffic Control. In Design, Specificationand Verification of Interactive Systems (DSVIS\u201998). Springer Computer Science(1998) 71\u201386"},{"key":"8_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Design, Specification and Verification of Interactive System (DSVIS\u20192001)","author":"C. Pribeanu","year":"2001","unstructured":"Pribeanu, C., Limbourg, Q., Vanderdonckt, J.: Task Modelling for Context-Sensitive User Interfaces. In C.W. Johnson (ed.) Design, Specification and Verification of Interactive System (DSVIS\u20192001). Lecture Notes in Computer Science,Springer-Verlag (2001)"},{"key":"8_CR31","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language-ReferenceManual. Addison-Wesley (1999)"},{"key":"8_CR32","unstructured":"Salvendy, G.: The Human Factors of the Information Society. In Proceeding of the6th ERCIM Workshop of User Interfaces for All (2000)"},{"key":"8_CR33","unstructured":"Terveen, L.G.: An Overview of Human-Computer Collaboration. In Knowledge-Based Systems Journal, Special Issue on Human-Computer Collaboration (1995)67\u201381"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"van der Veer, G., Lenting, B., Bergevoet B.: GTA: Groupware Task Analysis-Modelling Complexity. Acta Psycologica, 91 (1996)","DOI":"10.1016\/0001-6918(95)00065-8"},{"key":"8_CR35","unstructured":"van derVeer, G.C., vanVliet, J.C., Lenting, B.F.: Designing complex systems-astructured activity. In: Olson, G.M., Schuon, S. (eds.): Symposium on DesigningInteractive Systems (DIS\u201995). ACM Press, New York (1995) 207\u2013217"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"van Welie, M., van der Veer, G.C., Eliens, A.: An Ontology for Task World Models.In Design, Specification and Verification of Interactive System (DSV-IS\u201998).Springer Computer Science (1998) 57\u201370","DOI":"10.1007\/978-3-7091-3693-5_5"},{"key":"8_CR37","unstructured":"Whalen, J.: Expert systems versus system for experts. Computer-aided dispatch asa support system in real-world environments. In: Thomas, P.J. (eds.): The socialand interactional dimensions of human-computer interfaces. Cambridge UniversityPress (1995) 161\u2013183"},{"key":"8_CR38","unstructured":"Workflow Management Coalition (WfMC): Coalition Overview, Reference Model,and Glossary. Document Numbers WfMC TC-1003-TC-1016 (1994-1998) http:\/\/www.aiai.ed.ac.uk\/WfMC"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems: Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45522-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T03:57:16Z","timestamp":1556510236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45522-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428077","9783540455226"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-45522-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}