A Valid Formal Description Technology: Graphical E-LOTOS

We use the Object Oriented Programming Language Java to perfect the software of tools from text E LOTOS into GE LOTOS proposed dynamic exploring the subprocess or all subprocesses of GE LOTOS in the paper 〔1〕 in the form of abstract level. In order to convenience users and satisfy requirements of industries and other fields, we propose an arithmetic of describing GE LOTOS by E LOTOS.