The Novel Methods of Software Architecture Based on the UML and B Methods

Abstract:

The paper proposed a novel methods of Software Architecture Based on the UML and B methods in order to solve the aspects of the architecture of the Statute strengths and weaknesses of existing language software architecture. By the defined rules will be relatively independent of each other sub-components or connections to the executable code refinement. Finally, a concrete example to verify the feasibility of the method. The method is entirely possible refinement in the software architecture, the process of implementation, both retained the use of a systematic analysis of UML design system modeling capabilities and powerful object-oriented model of clear and concise notation, but also against the software model can be formalized The refinement process of validation, the combination of these two methods found a good balance point, making software architecture allows us to design the same time, the architecture design can ensure the consistency and reliability.

• Periodical: Advanced Materials Research (Volumes 121-122)
• Pages: 215-221
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.121-122.215
• Online since: June 2010
• Authors: Shu Zhou, Rong Hu Zhang, Yong Zhong
• Keywords: ADL, B Methods, Software Architecture

References

[1] H Ledang. Formal Techniques in the Object-Oriented Development: An Approach Based on the B Method [A]. Ph-DOOS2001: the 11th ECOOP Workshop for Ph. D Student in Object-Oriented Systems, Budapest (Hu), (2001).

[2] D. Grove, G. De Fouw, J. Dean, C. Chambers. Call graph construction in object-oriented languages, " in OOPSLA, 97 Conference Proceedings, (1997).

DOI: 10.1145/263698.264352

[3] Yang Jie. Security formal methods of software architecture research [D]. Dissertation, Wuhan: Wuhan University., (2004).

[4] Bixin. Program slicing technique and its application [M]. Beijing: Science Press, 2006, we.

[5] Hai-Yan Pan. A kind of JAVA language Program Slicing Technique [D]. Thesis, Changchun: Jilin University, (2004).

[6] Zhang Lei. Object-Oriented Software Testing Methods [D]. Dissertations, Hefei: Anhui University, (2007).

[7] Wang Feng. The state of object-oriented class testing method [D]. Dissertation, Wuhan: Wuhan University of Technology, (2009).

[8] Ma Liang. Dynamic slicing object-oriented programming system and its implementation [D]. Thesis, Nanjing: Nanjing University of Aeronautics and Astronautics, (2007).