软件系统中的形式结构兼谈设计模式