Design pattern solutions as explicit entities in component-based software development

ABSTRACT

Despite patterns being reusable pieces of design knowledge, in current practice, software developers have no first-class support for their application and have to encode patterns manually in terms of low-level abstractions. We propose patterns to become explicit software system entities, both in design and implementation, by defining them as component model entities. Patterns would form high-level means for component composition. In this paper, we demonstrate the feasibility of the idea and identify research challenges that the approach raises.

References

1. F. Arbab. What do you mean, coordination? In Bulletin of the Dutch Association for Theoretical Computer Science (NVTI, pages 11--22, 1998.
2. F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329--366, 2004.
3. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in BIP. In SEFM, pages 3--12. IEEE Computer Society, 2006.
4. I. Bayley and H. Zhu. Formal specification of the variants and behavioural features of design patterns. Journal of Systems and Software, 83(2):209--221, 2010.
5. G. Booch. Back to the future. IEEE Software, 2008.
6. F. Buschmann, K. Henney, and D. C. Schmidt. Pattern-oriented Software Architecture: On Patterns and Pattern Languages, volume 5. John Wiley and Sons, 2007.
7. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-oriented Software Architecture: A System of Patterns, volume 1. John Wiley and Sons, 1996.
8. N. Carriero and D. Gelernter. Coordination languages and their significance. Comm. of the ACM, 35(2):96, Feb. 1992.
9. J. Dong, P. Alencar, D. Cowan, and S. Yang. Composing pattern-based components and verifying correctness. Journal of Systems and Software, 80(11):1755--1769, 2007.
10. J. Dong, Y. Zhao, and T. Peng. A review of design pattern mining techniques. International Journal of Software Engineering and Knowledge Engineering, 19(6):823--855, 2009.
11. M. Elaasar, L. Briand, and Y. Labiche. A metamodeling approach to pattern specification and detection. Model Driven Engineering Languages and Systems, March:1-28, 2006.
12. R. B. France, D.-K. Kim, S. Ghosh, and E. Song. A UML-based pattern specification technique. IEEE Trans. on Soft. Eng., 30(3):193--206, 2004.
13. E. Gamma, R. Helm, J. Vlissides, and R. E. Johnson. Design Patterns. Addison-Wesley, 1995.
14. J. Gibbons. Design patterns as higher-order datatype-generic programs. In R. Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, pages 1--12. ACM, 2006.
15. A. L. Guennec, G. Sunyé, and J.-M. Jézéquel. Precise modeling of design patterns. In UML 2000, York, UK, volume 1939 of LNCS, pages 482--496. Springer, 2000.
16. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. ACM SIGPLAN Notices, 37(11):161--173, Nov. 2002.
17. A. W. Kamal and P. Avgeriou. Modeling architectural patterns' behavior using architectural primitives. In ECSA 2008, volume 5292, pages 164--179. Springer, 2008.
18. K.-K. Lau, I. Ntalamagkas, C. M. Tran, and T. Rana. (behavioural) design patterns as composition operators. In CBSE 2010, LNCS 6092, pages 232--251. Springer-Verlag, 2010.
19. K.-K. Lau and T. Rana. A taxonomy of software composition mechanisms. In Proc. 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pages 102--110. IEEE, 2010.
20. K.-K. Lau, L. Safie, P. Štěpán, and C. Tran. A component model that is both control-driven and data-driven. In CBSE 2011, to appear.
21. K.-K. Lau, P. Velasco Elizondo, and Z. Wang. Exogenous connectors for software components. In CBSE 2005, LNCS 3489, pages 90--106, 2005.
22. K.-K. Lau and Z. Wang. Software component models. IEEE Trans. on Soft. Eng., 33(10), October 2007.
23. D. Manolescu, W. Kozaczynski, A. Miller, and J. Hogg. The growing divide in the patterns world. IEEE Software, 24(4):61--67, 2007.
24. D. Maplesden, J. G. Hosking, and J. C. Grundy. A visual language for design pattern modelling and instantiation. In HCC, pages 338--339. IEEE Computer Society, 2001.
25. N. R. Mehta and N. Medvidovic. Composing architectural styles from architectural primitives. In ESEC/SIGSOFT FSE, pages 347--350. ACM, 2003.
26. B. Meyer and K. Arnout. Componentization: The Visitor example. Computer, 39(7):23--30, July 2006.
27. T. Mikkonen. Formalizing design patterns. In ICSE '98, pages 115--124, 1998.
28. D. Schmidt. Model-driven engineering. IEEE Computer, 39(2):25--31, 2006.
29. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. 1996.
30. T. Taibi and F. Taibi. Formal Specification of Design Patterns and Their Instances. IEEE Int. Conf. on Computer Systems and Applications, 2006., pages 33--36, 2006.

Index Terms

• Software and its engineering

  • Software creation and management

    • Designing software

    • Software development techniques

      • Reusability

  • Software notations and tools

    • Software libraries and repositories

  • Software organization and properties

    • Software system structures

      • Software architectures