论文标题
在使用特定领域的描述模型的联合体系结构上。 （海报）
On a federated architecture for utilizing domain-specific descriptive models. (Poster)
论文作者
论文摘要
在系统工程设置中，使用多种方法和工具生产各种模型。我们将专注于一种模型（称为描述性模型），我们认为，尽管模型的清晰度和精度对于它们的交换和重复使用至关重要，但定义了这些模型数据的方式，并且传达的信息对于（重新）利用（例如，用于分析或合成）也是必不可少的。类别理论使链接看似分开的字段或域是可能的，以便在此框架中可以重写的任何内容都受益于抽象和关系观点的级别 - 解决复杂性至关重要。因此，我们利用此框架来定义一个联合体系结构，用于投影和传达这些模型而不牺牲清晰度和精确度。联邦建筑具有两个重要的优势。一方面，它将这些模型从它们的结构中统一。另一方面，它允许在业务领域内对该结构的特定用法（实例化或解释）。 我们将这些模型的结构定义为对称多材。特别是，我们依靠半矩阵来定义形态及其组成。矩阵的选择旨在促进实践中的应用。
In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of models are essential for their exchange and reuse, the way in which the data of these models are defined and the information conveyed is also essential for their (re) utilization -- e.g., for analysis or synthesis purposes. Category Theory has made it possible to link seemingly separate fields or domains, so that anything that can be rewritten in this framework benefits from a level of abstraction and a relational viewpoint -- essential to address complexity. We therefore take advantage of this framework to define a federated architecture for projecting and conveying these models without sacrificing clarity and precision. A federated architecture has two important advantages. On the one hand, it unifies these models from their structure; on the other hand, it allows a specific usage (instantiation or interpretation) of this structure within a business domain. We define the structure of these models as a symmetric multicategory. In particular, we rely on matrices over a semiring to define morphisms and their composition. The choice of matrices is intended to facilitate the application in practice.
