03-01 An Attempt at Formal Modeling of Civil Law Based on Category Theory and Formal Language Theory - Top-Level Framework Design (I)