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 metamodels 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 metalmodel. 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.
component model semantics algebraic semantics process model
Fei Dai Tong Li Ping Lu Yong Yu Zhongwen Xie
School of Software, Yunnan University Kunming, China
国际会议
太原
英文
646-651
2010-10-22（万方平台首次上网日期，不代表论文的发表时间）