The development of an IT strategy and ensuring that it is the best possible one for business is a key problem many organizations face. This problem is that of linking business architecture to IT architecture in general and application architecture specifically. In our earlier work we proposed Category theory as the formal language to unify the business and IT worlds with the ability to represent the concepts and relations between the two in a unified way. We used rCOS as the underlying model for the specification of interfaces, contracts, and components. The concept of pseudo-category was then utilized to represent the business and application architecture specifications and the relationships contained within. The linkages between them now can be established using the matching of the business component contracts with the application component contracts. However the matching was based on manual process and in this paper we extend the work by considering automated component matching process. The ground work for a tool to support the matching process is laid out in this paper.

翻译：制定IT战略并确保其最适合业务发展是许多组织面临的关键问题。该问题本质上是将业务架构与IT架构（特别是应用架构）进行关联。在先前的研究中，我们提出使用范畴论作为形式化语言来统一业务与IT领域，能够以统一方式表示两个领域的概念及其相互关系。我们采用rCOS作为接口、契约和组件规范的基础模型，并运用伪范畴概念来表示业务架构与应用架构规范及其内部关系。通过业务组件契约与应用组件契约的匹配，可以建立两者之间的关联。然而现有匹配过程依赖于人工操作，本文通过引入自动化组件匹配流程来扩展先前工作。本文进一步构建了支持该匹配过程的工具基础框架。