I. Introduction
Software process modeling is becoming more and more popular in software engineering field, and there comes growing requirements for it, e.g., supporting for multiple perspectives, versatile goals, multiple granularities, different degrees of formality, multiple abstract layers, easy human enactment or machine automation, easy comprehension, and reasoning [1], [2].