Abstract
Design Patterns have demonstrated to be an appropriate mechanism to reuse the solution of a common problem. Design patterns allow reducing time and costing in the development of complex systems. Particularly in coordination systems, the solution to a problem can be generalized constituting a coordination pattern that can be applied to another problem where the components are related following the same cooperation rules. In this paper, a set of tools to define and apply coordination patterns is presented. These tools interact with a formal environment to simulate the coordinated behavior by means of executing the system specifications. The patterns are designed considering the coordination as a transparent and independent aspect from the particular functionality of each component in the coordination system. This way, the reusing and modification of the coordination patterns and the components to be coordinated are facilitated.
This work has been supported by the project CICYT under grant TIN2005-09405-C02-02.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley Professional, Reading (1995)
Andrade, L.F., Clarke, S.: Designing Reusable Patterns of Cross-Cutting Behavior with Composition Patterns. In: OOPSLA Workshop on Advanced Separation of Concerns (2000)
Deugo, D., Weiss, M., Kendall, E.: Reusable patterns for agent coordination. In: Coordination of Internet Agents: Models, Technologies, and Applications, ch.14, pp. 347–368. Springer, Heidelberg (2001)
Murillo, J.M., Hernández, J., Sánchez, 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. 1594, Springer, Heidelberg (1999)
Arbab, F.: What Do You Mean Coordination? Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) (March 1998)
Sánchez-Alonso, M., Murillo, J.M., Hernández, J., COFRE,: Environment for Specifying Coordination Requirements using Formal and Graphical Techniques. Journal of Research and Practice in Information Technology (36), 231–246 (2004)
Cheesman, J., Daniels, J.: UML Components. A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2001)
Arbab, F.: The IWIM Model for Coordination of Concurrent Activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, Springer, Heidelberg (1996)
Pérez-Serrano, P.L., Sánchez-Alonso, M.: Specification and Design of Component-based Coordination Systems by Integrating Coordination Patterns. In: ACM SIGSOFT Software Engineering Notes archive, vol. 31(2), ACM Press, New York (2006)
Clavel, M., Durán, F., Eker, S., et al.: Maude Manual.v2.2. SRI International (2005)
Sánchez-Alonso, M., Clemente, P.J., Murillo, J.M., Hernández, J.: CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environments. In: LDTA 2003. 2nd Workshop on Languages Description Tools and Applications. ENTCS nº 82 (2003)
Pérez-Serrano, P.L., Sánchez-Alonso, M.: Diseñando Patrones de Coordinación: de solución única a patrón de coordinación candidato. In: JISBD 2006 Sitges, Barcelona (2006)
Sánchez-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)
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. 1906, pp. 317–322. Springer, Heidelberg (2000)
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. 34(4), 21–31 (2000)
Isla Montes, J.L., Gutiérrez Vela, F., Gea Mejías, M.: Patrones de organización. Integración en un proceso de desarrollo centrado en grupo. In: Lorés-Vidal, J. (ed.): HCI related papers of Interacción 2004. Navarro-Prieto, Raquel (2006)
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–1332. ACM Press, New York (2007)
Deugo, D., Weiss, M., Kendall, E.: Reusable patterns for agent coordination. In: Coordination of internet Agents: Models, Technologies, and Applications, pp. 347–368. Springer, London (2001)
Kim, D., Shen, W.: An approach to evaluating structural pattern conformance of UML models. In: Proceedings of SAC 2007, pp. 1404–1408. ACM Press, New York (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pérez-Serrano, P.L., Sánchez-Alonso, M. (2007). COPA-CASE: Methodological Environment for the Generation, Application and Validation of Coordination Patterns. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. OTM 2007. Lecture Notes in Computer Science, vol 4805. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76888-3_47
Download citation
DOI: https://doi.org/10.1007/978-3-540-76888-3_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76887-6
Online ISBN: 978-3-540-76888-3
eBook Packages: Computer ScienceComputer Science (R0)