The Semi-formal Meta-model of C# Blueprint Based on Class Diagram and OCL

Combined with the features of C# and the core modeling idea of Procedure Blueprint, C# Blueprint (ProB Model) was presented. Based on the existing manifestations of Procedure Blueprint, using class diagram and Object Constraint Language, the abstract syntax and well-formed rules of C# Blueprint were defined, which provides a new described framework of modeling, and extends the application field of application Procedure Blueprint. Compared with the previous Procedure Blueprint defined mathematically, the semi-formal meta-model of C# Blueprint which based on class diagram and OCL is easier to understand.