The Novel Methods of Software Architecture Based on the UML and B Methods
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.
Donald C. Wunsch II, Honghua Tan, Dehuai Zeng, Qi Luo
S. Zhou et al., "The Novel Methods of Software Architecture Based on the UML and B Methods", Advanced Materials Research, Vols. 121-122, pp. 215-221, 2010