Towards meta-model semantics

In the filed of software process modeling, there are a lot of software process meta-models and software process modeling languages to define software process models. The main difference between them is that software process meta-models define an abstract syntax of software process models, while software process modeling languages focus on a concrete syntax. However, they do not take into account a precise description of software process models. Since semantics is essential to describe the meaning of process models for process modelers, it plays a very important role in process model analysis, verification, validation and execution. This paper presents an algebraic method in specifying process models semantics at different levels in the context of a specific metal-model. It aims to precisely express the semantics of process models at meta-model level and completely support process models execution. This work is a first step towards effectively verifying process properties over process models.