Toward a Domain Description with CafeOBJ

In our work, we try to describe a domain description with CafeOBJ. A domain description means a document which describes observable phenomena of the domain. It also means the process of of domain capture, analysis and synhesis, and the document which result from that process[3]. We formalise the domain description in [2] in CafeOBJ. CafeOBJ is a formal specication language. By formalisation of domain description, we can avoid the ambiguities and inconsistency of the description, and can prove propertiess in a domain precisely.