{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:08Z","timestamp":1725574388314},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_4","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:57:55Z","timestamp":1294354675000},"page":"5-19","source":"Crossref","is-referenced-by-count":11,"title":["Problem Frames: A Case for Coordination"],"prefix":"10.1007","author":[{"given":"L.","family":"Barroca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L.","family":"Fiadeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Laney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Nuseibeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connectors. ACM TOSEM\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM TOSEM"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/3-540-46852-8_40","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"L.F. Andrade","year":"1999","unstructured":"Andrade, L.F., Fiadeiro, J.L.: Interconnecting Objects via Contracts. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 566\u2013583. Springer, Heidelberg (1999)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-39800-4_8","volume-title":"Formal Methods for Software Architectures","author":"L.F. Andrade","year":"2003","unstructured":"Andrade, L.F., Fiadeiro, J.L.: Architecture Based Evolution of Software Systems. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 148\u2013181. Springer, Heidelberg (2003)"},{"key":"4_CR4","unstructured":"Andrade, L.F., Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Architectural Techniques for Evolving Control Systems. In: Tarnai, G., Schnieder, E. (eds.) Formal Methods for Railway Operation and Control Systems, L\u2019Harmattan Press (2003)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Berry, D., Kazman, R., Wieringa, R. (eds.): Proceedings of Second International Workshop from Software Requirements to Architectures (STRAW 2003), Portland, USA (2003)","DOI":"10.1109\/ICSE.2003.1201291"},{"key":"4_CR6","unstructured":"Castro, J., Kramer, J.: Proceedings of First International Workshop from Software Requirements to Architectures (STRAW 2001), Toronto, Canada (2001)"},{"key":"4_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Software Engineering","author":"L. Chung","year":"2000","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Elrad, T., Filman, R., Bader, A.: Special Issue on Aspect Oriented Programming. Communications of the ACM\u00a044(10) (2001)","DOI":"10.1145\/383845.383853"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-45191-4_5","volume-title":"Generic Programming","author":"J.L. Fiadeiro","year":"2003","unstructured":"Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A Mathematical Semantics for Architectural Connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol.\u00a02793, pp. 190\u2013234. Springer, Heidelberg (2003)"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination Languages and their Significance. Communications ACM\u00a035(2), 97\u2013107 (1992)","journal-title":"Communications ACM"},{"key":"4_CR11","volume-title":"Fourth IEEE International Symposium on Requirements Engineering (RE 1999)","author":"J. Grundy","year":"1999","unstructured":"Grundy, J.: Aspect-Oriented Requirements Engineering for Component-based software systems. In: Fourth IEEE International Symposium on Requirements Engineering (RE 1999), IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Hall, J.G., Jackson, M., Laney, R.C., Nuseibeh, B., Rapanotti, L.: Relating Software Requirements and Architectures using Problem Frames. In: IEEE Proceedings of RE 2002 (2002)","DOI":"10.1109\/ICRE.2002.1048516"},{"key":"4_CR13","volume-title":"Problem Frames: Analysing and Structuring Software Development Problems","author":"M. Jackson","year":"2000","unstructured":"Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison Wesley, Reading (2000)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-002-0005-7","volume":"1","author":"M. Jackson","year":"2002","unstructured":"Jackson, M.: Some Basic Tenets of Description. Software System Modelling\u00a01, 5\u20139 (2002)","journal-title":"Software System Modelling"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Jackson, M.: Why Software Writing is Difficult and Will Remain So. In: Fiadeiro, J., Madey, J., Tarlecki, A. (eds.) Information Processing Letters Special Issue in Honour of Wlad Turski, vol.\u00a088(1-2) (2003)","DOI":"10.1016\/S0020-0190(03)00384-3"},{"key":"4_CR16","first-page":"133","volume-title":"New Developments on Distributed Applications and Interoperable Systems","author":"G. Koutsoukos","year":"2001","unstructured":"Koutsoukos, G., Gouveia, J., Andrade, L., Fiadeiro, J.L.: Managing Evolution in Telecommunications Systems. In: Zielinski, K., Geihs, K., Laurentowski, A. (eds.) New Developments on Distributed Applications and Interoperable Systems, pp. 133\u2013139. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"4_CR17","unstructured":"Koutsoukos, G., Kotridis, T., Andrade, L., Fiadeiro, J.L., Gouveia, J., Wermelinger, M.: Coordination technologies for business strategy support: a case study in stock-trading. In: Corchuelo, R., Ruiz, A., Toro, M. (eds.) Advances in Business Solutions, pp. 45\u201356. Catedral Publicactiones (2002)"},{"key":"4_CR18","first-page":"249","volume-title":"Proceedings of the 5th International Symposium on Requirements Engineering (RE 2001)","author":"Lamsweerde van","year":"2001","unstructured":"van Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour. In: Proceedings of the 5th International Symposium on Requirements Engineering (RE 2001), pp. 249\u2013261. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"5","key":"4_CR19","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1145\/78607.316059","volume":"33","author":"M. Lehman","year":"1990","unstructured":"Lehman, M.: Uncertainty in Computer Application. Communications ACM\u00a033(5), 584\u2013586 (1990)","journal-title":"Communications ACM"},{"key":"4_CR20","first-page":"3","volume-title":"4th Symp. on Foundations of Software Engineering","author":"J. Magee","year":"1996","unstructured":"Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: 4th Symp. on Foundations of Software Engineering, pp. 3\u201314. ACM Press, New York (1996)"},{"key":"4_CR21","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1991)"},{"issue":"3","key":"4_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/2.910904","volume":"34","author":"B.A. Nuseibeh","year":"2001","unstructured":"Nuseibeh, B.A.: Weaving Together Requirements and Architecture. IEEE Computer\u00a034(3), 115\u2013117 (2001)","journal-title":"IEEE Computer"},{"issue":"4","key":"4_CR23","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D. Perry","year":"1992","unstructured":"Perry, D., Wolf, A.: Foundations for the Study of Software Architectures. ACM SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Rashid, A., Moreira, A., Araujo, J.: Modularisation and Composition of Aspectual Requirements. In: Aspect Oriented Software Development 2003 (2003)","DOI":"10.1145\/643603.643605"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Zave, P.: Feature Interactions and Formal Specifications in Telecommunications. IEEE Computer XXVI(8), 20\u201330 (1993)","DOI":"10.1109\/2.223539"},{"issue":"4","key":"4_CR26","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Zave, P., Jackson, M.: Conjunction as Composition. ACM TOSEM\u00a02(4), 371\u2013411 (1993)","journal-title":"ACM TOSEM"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:05:07Z","timestamp":1559912707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}