Static analysis of programs with external components is considered in this article. Existing methods of component specification description are analyzed. Requirements and restrictions for special-purpose language are developed using analysis results. Description of the PanLang specification language is presented. This language is used as the part of the static analysis tool.