应用于参数化过程的图解逻辑
Diagrammatic logic applied to a parameterization process
摘要：
本文给出了几种逻辑的抽象定义，称为图解逻辑，以及图解逻辑之间的态射和2-态射的定义。图解逻辑2-范畴的定义依赖于范畴论，主要是借助附加范畴、分数范畴和极限草图。该框架被应用于参数化过程的形式化。这个过程，其中包括在一个给定的规范中添加一个形式参数的一些操作，提出作为一个态射的逻辑。然后，参数传递过程，用于从参数化规格说明的模型和实际参数恢复给定规格说明的模型，被视为逻辑的2-态射。
英文摘要：
This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logics. The definition of the 2-category of diagrammatic logics rely on category theory, mainly on adjunction, categories of fractions and limit sketches. This framework is applied to the formalization of a parameterization process. This process, which consists in adding a formal parameter to some operations in a given specification, is presented as a morphism of logics. Then the parameter passing process, for recovering a model of the given specification from a model of the parameterized specification and an actual parameter, is seen as a 2-morphism of logics.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
