The Formal Research and Application Based on Design Patterns | IEEE Conference Publication | IEEE Xplore