This paper discusses the fundamental concepts of software process modeling and the basic requirements on software process modeling languages, introduces briefly several typical software process modeling languages,gives a formal process modeling language XYZ/PME.XYZ/PME supports the process modeling approach using a stepwise refinement technique,can represent process models of different abstract levels in a unified formal framework.