中文

接口群与金融转移架构

软件工程 2007-07-12 v1

摘要

分析执行架构由同一批作者提出,旨在概念化程序、线程、状态和服务等异构组件集合之间的协作。接口群被提出作为一种形式化处理分析执行架构中接口信息的手段。这些概念被适配于组织架构,并重点关注金融转移。接口群(以及幺半群)现在提供了一种技术,可将接口元素组合成接口,并具备根据实体命名区分流向的灵活性。利用接口群的主要原则是:在组合一个由相互作用的组件集合构成的封闭系统时,其接口之和必须在模反射意义下于接口群中消去。这对于金融转移接口无疑至关重要。作为示例,我们指定了一个接口群,并在其中定义了一些特定接口,涉及我们本地学术组织部分机构的金融转移架构。金融转移接口群是更通用服务架构接口的一个特例。

关键词

引用

@article{arxiv.0707.1639,
  title  = {Interface groups and financial transfer architectures},
  author = {Jan A. Bergstra and Alban Ponse},
  journal= {arXiv preprint arXiv:0707.1639},
  year   = {2007}
}

评论

22 pages

R2 v1 2026-06-29T01:46:58.607Z