Towards trusted composition in software design

In this paper, we investigate the issues on software composition at the design level. A formal framework for component composition, replacement, refinement in software design is proposed. This framework can help software designers to design software systems from existing design components and to rigorously analyze these systems. Thus, wrong design decisions, errors, and inconsistencies can be detected early in the development process.

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  Paulo S. C. Alencar,et al.  Ensuring structure and behavior correctness in design composition , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[3]  Rudolf K. Keller,et al.  Design components: towards software composition at the design level , 1998, Proceedings of the 20th International Conference on Software Engineering.

[4]  Paulo S. C. Alencar,et al.  A behavioral analysis and verification approach to pattern-based design composition , 2003, Software and Systems Modeling.

[5]  Jean-Marc Jézéquel,et al.  Design by Contract: The Lessons of Ariane , 1997, Computer.

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[7]  Paulo S. C. Alencar,et al.  A formal framework for design component contracts , 2003, Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications.

[8]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[9]  Jing Dong.  Adding pattern related information in structural and behavioral diagrams , 2004, Inf. Softw. Technol..

[10]  Darren Dalcher,et al.  Abstract‐I , 2002 .