Research on a Formal Method for Software Composite Connectors

• 软件复合连接件的形式化研究