Diagrammatic logic applied to a parameterization process

Details Diagrammatic logic applied to a parameterization process Diagrammatic logic applied to a parameterization process

2009-08-26

arxiv.org/abs/0908.3737v1

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Diagrammatic logic applied to a parameterization process does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Diagrammatic logic applied to a parameterization process, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Diagrammatic logic applied to a parameterization process will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-623826