Abstract:SLC is a translating system of the specification language JSL. The implementation of JSLC implies a model of specification language translation. In this paper, thesystem organization, the fundamentals of implementation, and the key points of techniques for JSLC, are described in detail.