一个柔性的形式化过程建模语言

提出了一个柔性的形式化过程建模语言flex.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,flex语言可以支持不同层次和需求的过程建模.