template signature patterns (experimental ISO15926)

A template signature is a formal approach to specifying the roles in a template definition; template signatures can be instantiated into template instances.  Template signatures in turn derive from template signature patterns (TSP), providing linkage to part 2 and some additional automatic decomposition into binary relations.  Instantiating a template signature therefore allows some of the part 2 decomposition to be inferred.

Comments are closed.