Ticket #581 (new task)

Opened 15 months ago

Last modified 15 months ago

Keep structure when flattening out heterogeneity and renaming

Reported by: till Owned by: stassiy
Priority: critical Milestone: 0.95
Component: development-graph Version: 0.87
Keywords: Cc:

Description (last modified by till) (diff)

  • Currently, heterogenoeus theorem link just vanish, this is not correct
  • Keep structuring of the theory that is translated along a comorphism; how far this is possible depends on properties of the comorphism, see T. Mossakowski: Relating CASL with Other Specification Languages: the Institution Level. Theoretical Computer Science 286, p. 367-475, 2002.
  • A similar remark applies for renaming (instead of heterogeneity)

Change History

Changed 15 months ago by till

  • description modified (diff)
  • summary changed from Keep structure when flattening out heterogeneity to Keep structure when flattening out heterogeneity and renaming
Note: See TracTickets for help on using tickets.