Formalizing in Software Architecture and State-Oriented Style

• 软件体系结构的形式化与面向状态的形式化风格