{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:30:53Z","timestamp":1725496253322},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768876"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76888-3_47","type":"book-chapter","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:46:11Z","timestamp":1195641971000},"page":"255-264","source":"Crossref","is-referenced-by-count":0,"title":["COPA-CASE: Methodological Environment for the Generation, Application and Validation of Coordination Patterns"],"prefix":"10.1007","author":[{"given":"P. L.","family":"P\u00e9rez-Serrano","sequence":"first","affiliation":[]},{"given":"M.","family":"S\u00e1nchez-Alonso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley Professional, Reading (1995)"},{"unstructured":"Andrade, L.F., Clarke, S.: Designing Reusable Patterns of Cross-Cutting Behavior with Composition Patterns. In: OOPSLA Workshop on Advanced Separation of Concerns (2000)","key":"47_CR2"},{"key":"47_CR3","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-662-04401-8_14","volume-title":"Coordination of Internet Agents: Models, Technologies, and Applications, ch.14","author":"D. Deugo","year":"2001","unstructured":"Deugo, D., Weiss, M., Kendall, E.: Reusable patterns for agent coordination. In: Coordination of Internet Agents: Models, Technologies, and Applications, ch.14, pp. 347\u2013368. Springer, Heidelberg (2001)"},{"key":"47_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48919-3_6","volume-title":"Coordination Languages and Models","author":"J.M. Murillo","year":"1999","unstructured":"Murillo, J.M., Hern\u00e1ndez, J., S\u00e1nchez, F., Alvarez, L.A.: Coordinated Roles: Promoting Re-usability of Coordinated Active Objects using Event Notification Protocols. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol.\u00a01594, Springer, Heidelberg (1999)"},{"unstructured":"Arbab, F.: What Do You Mean Coordination? Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) (March 1998)","key":"47_CR5"},{"key":"47_CR6","first-page":"231","volume":"36","author":"M. S\u00e1nchez-Alonso","year":"2004","unstructured":"S\u00e1nchez-Alonso, M., Murillo, J.M., Hern\u00e1ndez, J., COFRE,: Environment for Specifying Coordination Requirements using Formal and Graphical Techniques. Journal of Research and Practice in Information Technology\u00a0(36), 231\u2013246 (2004)","journal-title":"Journal of Research and Practice in Information Technology"},{"key":"47_CR7","volume-title":"UML Components. A Simple Process for Specifying Component-Based Software","author":"J. Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components. A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2001)"},{"key":"47_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"1996","unstructured":"Arbab, F.: The IWIM Model for Coordination of Concurrent Activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, Springer, Heidelberg (1996)"},{"key":"47_CR9","volume-title":"ACM SIGSOFT Software Engineering Notes archive","author":"P.L. P\u00e9rez-Serrano","year":"2006","unstructured":"P\u00e9rez-Serrano, P.L., S\u00e1nchez-Alonso, M.: Specification and Design of Component-based Coordination Systems by Integrating Coordination Patterns. In: ACM SIGSOFT Software Engineering Notes archive, vol.\u00a031(2), ACM Press, New York (2006)"},{"unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., et al.: Maude Manual.v2.2. SRI International (2005)","key":"47_CR10"},{"doi-asserted-by":"crossref","unstructured":"S\u00e1nchez-Alonso, M., Clemente, P.J., Murillo, J.M., Hern\u00e1ndez, J.: CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environments. In: LDTA 2003. 2nd Workshop on Languages Description Tools and Applications. ENTCS n\u00ba 82 (2003)","key":"47_CR11","DOI":"10.1016\/S1571-0661(05)82633-7"},{"unstructured":"P\u00e9rez-Serrano, P.L., S\u00e1nchez-Alonso, M.: Dise\u00f1ando Patrones de Coordinaci\u00f3n: de soluci\u00f3n \u00fanica a patr\u00f3n de coordinaci\u00f3n candidato. In: JISBD 2006 Sitges, Barcelona (2006)","key":"47_CR12"},{"unstructured":"S\u00e1nchez-Alonso, M., Murillo, J.M.: Specifying Cooperation Environment Requirements using Formal and Graphical Techniques. In: WER 2002. Proc. 5th Workshop on Requirements Engineering, Valencia (Spain) (November 2002)","key":"47_CR13"},{"key":"47_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45263-X_22","volume-title":"Coordination Languages and Models","author":"L.F. Andrade","year":"2000","unstructured":"Andrade, L.F., Fiadeiro, J.L., Gouveia, J., et al.: Coodination Patterns for Component-Based Systems. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 317\u2013322. Springer, Heidelberg (2000)"},{"issue":"4","key":"47_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/506106.506109","volume":"34","author":"D.M. Beder","year":"2000","unstructured":"Beder, D.M., Romanovsky, A., Randell, B., Snow, C.R., Stroud, R.J.: An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling. SIGOPS Oper. Syst. Rev.\u00a034(4), 21\u201331 (2000)","journal-title":"SIGOPS Oper. Syst. Rev."},{"unstructured":"Isla Montes, J.L., Guti\u00e9rrez Vela, F., Gea Mej\u00edas, M.: Patrones de organizaci\u00f3n. Integraci\u00f3n en un proceso de desarrollo centrado en grupo. In: Lor\u00e9s-Vidal, J. (ed.): HCI related papers of Interacci\u00f3n 2004. Navarro-Prieto, Raquel (2006)","key":"47_CR16"},{"key":"47_CR17","doi-asserted-by":"publisher","first-page":"1323","DOI":"10.1145\/1240624.1240824","volume-title":"CHI 2007. Proceedings of the SIGCHI Conference on Human Factors in Computing System","author":"J. Landgren","year":"2007","unstructured":"Landgren, J., Nulden, U.: A study of emergency response work: patterns of mobile phone interaction. In: CHI 2007. Proceedings of the SIGCHI Conference on Human Factors in Computing System, San Jose, California, USA, April 28 - May 03, pp. 1323\u20131332. ACM Press, New York (2007)"},{"key":"47_CR18","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-662-04401-8_14","volume-title":"Coordination of internet Agents: Models, Technologies, and Applications","author":"D. Deugo","year":"2001","unstructured":"Deugo, D., Weiss, M., Kendall, E.: Reusable patterns for agent coordination. In: Coordination of internet Agents: Models, Technologies, and Applications, pp. 347\u2013368. Springer, London (2001)"},{"key":"47_CR19","doi-asserted-by":"publisher","first-page":"1404","DOI":"10.1145\/1244002.1244305","volume-title":"Proceedings of SAC 2007","author":"D. Kim","year":"2007","unstructured":"Kim, D., Shen, W.: An approach to evaluating structural pattern conformance of UML models. In: Proceedings of SAC 2007, pp. 1404\u20131408. ACM Press, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76888-3_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:07Z","timestamp":1619520307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76888-3_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768876"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76888-3_47","relation":{},"subject":[]}}