论文部分内容阅读
为实现富含语义且语法严谨的功能表示,提出一种扩展于系统建模语言的功能建模方法。针对基于输入输出流状态信息的功能描述,预定义所需语义表示元模型,以消除基于简单功能动词和流名词的功能表示存在的语义模糊和二义性问题。该建模方法实现了各建模元素的抽象语法和具体语法,在规范功能语义的同时提供了可视化的模型表示符号。此外,为平衡语言的表述灵活性和语法规范性,将该建模方法实现为扩展于系统建模语言的功能建模语言配置包。基于设定的语法约束和文法规则,在IBM Rhapsody平台中实现了对建模正确性进行检测并简化设计者建模