{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:57:24Z","timestamp":1742943444760,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_45","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"634-648","source":"Crossref","is-referenced-by-count":8,"title":["An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,"],"prefix":"10.1007","author":[{"given":"Eva","family":"K\u00fchn","sequence":"first","affiliation":[]},{"given":"Richard","family":"Mordinyi","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Schreiber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"45_CR1","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1109\/32.126768","volume":"18","author":"H.E. Bal","year":"1992","unstructured":"Bal, H.E., Kaashoek, M.F., Tanenbaum, A.S.: Orca: a language for parallel programming of distributed systems. IEEE Transactions on Software Engineering\u00a018(3), 190\u2013205 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"45_CR2","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Commun. ACM"},{"issue":"3","key":"45_CR3","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF03037345","volume":"12","author":"P. Ciancarini","year":"1994","unstructured":"Ciancarini, P.: Distributed programming with logic tuple spaces. New Gen. Comput.\u00a012(3), 251\u2013284 (1994)","journal-title":"New Gen. Comput."},{"issue":"2","key":"45_CR4","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/234528.234732","volume":"28","author":"P. Ciancarini","year":"1996","unstructured":"Ciancarini, P.: Coordination models and languages as software integrators. ACM Comput. Surv.\u00a028(2), 300\u2013302 (1996)","journal-title":"ACM Comput. Surv."},{"key":"45_CR5","unstructured":"Ecker, S.: Communication protocols in XVSM - design and implementation. Master\u2019s thesis, Vienna University of Technology, E185\/1 (2005)"},{"key":"45_CR6","unstructured":"Franklin, S.: Coordination without communication. Technical report, Inst. For Intelligent Systems, Univ. of Memphis (April 2008)"},{"key":"45_CR7","volume-title":"JavaSpaces Principles, Patterns, and Practice","author":"E. Freeman","year":"1999","unstructured":"Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice. Addison-Wesley Longman Ltd., Essex (1999)"},{"issue":"1","key":"45_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst.\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"45_CR9","volume-title":"Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions","author":"G. Hohpe","year":"2003","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"key":"45_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"45_CR11","unstructured":"K\u00fchn, E.: Virtual Shared Memory for Distributed Architecture. Nova Science Publishers (2001)"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"K\u00fchn, E.: The zero-delay data warehouse: mobilizing heterogeneous database. In: Proceedings of the 29th international conference on Very large data bases (VLDB 2003), pp. 1035\u20131040 (2003)","DOI":"10.1016\/B978-012722442-8\/50099-9"},{"key":"45_CR13","first-page":"1801","volume":"4","author":"E. K\u00fchn","year":"2006","unstructured":"K\u00fchn, E., Fessl, G., Schmied, F.: Aspect-oriented programming with runtime-generated subclass proxies and net dynamic methods. Journal of NET Technologies\u00a04, 1801\u20132108 (2006)","journal-title":"Journal of .NET Technologies"},{"key":"45_CR14","unstructured":"K\u00fchn, E., Riemer, J., Mordinyi, R., Lechner, L.: Integration of XVSM spaces with the web to meet the challenging interaction demands in pervasive scenarios. Ubiquitous Computing And Communication Journal (UbiCC), special issue on Coordination in Pervasive Environments\u00a03 (2008)"},{"key":"45_CR15","unstructured":"Lehman, T.J., McLaughry, S.W., Wycko, P.: T-spaces: The next wave. In: HICSS (1999)"},{"issue":"1","key":"45_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/174666.174668","volume":"26","author":"T.W. Malone","year":"1994","unstructured":"Malone, T.W., Crowston, K.: The interdisciplinary study of coordination. ACM Comput. Surv.\u00a026(1), 87\u2013119 (1994)","journal-title":"ACM Comput. Surv."},{"key":"45_CR17","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1109\/EDOC.2007.31","volume-title":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)","author":"D. Martin","year":"2007","unstructured":"Martin, D., Wutke, D., Scheibler, T., Leymann, F.: An eai pattern-based comparison of spaces and messaging. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), Washington, DC, USA, p. 511. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"45_CR18","doi-asserted-by":"crossref","unstructured":"Mor, M., Mordinyi, R., Riemer, J.: Using space-based computing for more efficient group coordination and monitoring in an event-based work management system. In: The Second International Conference on Availability, Reliability and Security (ARES 2007), pp. 1116\u20131123 (April 2007)","DOI":"10.1109\/ARES.2007.158"},{"key":"45_CR19","unstructured":"Mordinyi, R.: Shared virtual space distribution manager - SVSDM - design and implementation. Master\u2019s thesis, Vienna University of Technology, E185\/1 (2005)"},{"issue":"3","key":"45_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"A.L. Murphy","year":"2006","unstructured":"Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol.\u00a015(3), 279\u2013328 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"45_CR21","first-page":"368","volume-title":"ICSE 1999: Proceedings of the 21st international conference on Software engineering","author":"G.P. Picco","year":"1999","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda meets mobility. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 368\u2013377. IEEE Computer Society Press, Los Alamitos (1999)"},{"issue":"2","key":"45_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0167-6423(98)00021-5","volume":"34","author":"L. Semini","year":"1999","unstructured":"Semini, L., Montangero, C.: A refinement calculus for tuple spaces. Science of Computer Programming\u00a034(2), 79\u2013140 (1999)","journal-title":"Science of Computer Programming"},{"key":"45_CR23","unstructured":"MozartSpaces WebSite (2008), http:\/\/www.mozartspaces.org"},{"key":"45_CR24","unstructured":"SWIS WebSite (2008), http:\/\/www.isis.tuwien.ac.at\/node\/4841"},{"key":"45_CR25","unstructured":"XVSM WebSite (2008), http:\/\/www.xvsm.org"},{"key":"45_CR26","unstructured":"Weigand, H., van der Poll, F., de Moor, A.: Coordination through communication. In: Proc. of the 8th International Working Conference on the Language-Action Perspective on Communication Modelling (LAP 2003), pp. 1\u20132 (2003)"},{"key":"45_CR27","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1133373.1133386","volume-title":"EW10: Proceedings of the 10th workshop on ACM SIGOPS European workshop","author":"M. Welsh","year":"2002","unstructured":"Welsh, M., Culler, D.: Overload management as a fundamental service design primitive. In: EW10: Proceedings of the 10th workshop on ACM SIGOPS European workshop, pp. 63\u201369. ACM Press, New York (2002)"},{"issue":"5","key":"45_CR28","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/502059.502057","volume":"35","author":"M. Welsh","year":"2001","unstructured":"Welsh, M., Culler, D., Brewer, E.: Seda: an architecture for well-conditioned, scalable internet services. SIGOPS Oper. Syst. Rev.\u00a035(5), 230\u2013243 (2001)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"45_CR29","doi-asserted-by":"crossref","unstructured":"Zhen, L., Parashar, M.: Comet: a scalable coordination space for decentralized distributed environments. In: Second International Workshop on Hot Topics in Peer-to-Peer Systems (HOT-P2P 2005), 21 July 2005, pp. 104\u2013111 (2005)","DOI":"10.1109\/HOT-P2P.2005.7"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:30:22Z","timestamp":1557873022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_45","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}