SysML(系统建模语言Systems Modeling Language)是一种通用的图形化的建模语言,是UML2.O的一个外廓。目前,SysML已经成为系统工程建模领域的标准,但是SysML的语义仍是半形式化的。这种半形式化的语义降低了SysML模型的精确性,给模型的自动分析和验证带来了困难,一种解决方法就是使用某种形式化方法来精确的描述SysML元模型的语义信息。目前,形式化地支持基于UML开发的大多数工作已经存在,但据我们所知,几乎没有关于SysML的形式化语义研究及其协调性精化方面的工作,因此这个工作在计算机科学和软件工程领域都有理论意义和实用价值。本文主要研究如何使用面向对象的形式语言rCOS描述SysML元模型并在确保其一致性的基础上提出了一个论断性的集成的SysML语义模型。为了使形式化工作尽可能系统化,我们首先给出SysML元模型(主要为模块定义图和顺序图)的形式化语义,在此基础上将SysML元模型转化到rCOS的规范形式。本文给出了SysML部分元模型的精确描述,解决了协调性问题,即各种观点下的模型在语法和语义上的相容性问题,为模型的转换和精化奠定了坚实的基础。