A formalization of financial statements with heterogeneous parts by graph grammars

We deal with a formalization of financial statements which is a type of business documents. In order to formalize financial statements, we have to specify the order and number of items, and specify calculation methods. In this paper, we construct a context-sensitive graph grammar to specify the order of items of financial statement with heterogeneous parts. We also show examples of derivation.