类型元素概述
模块定义图主要用途是定义系统中的模块。模块是SysML中最基本、最常用的类型元素。同时还会在其中定义系统模型中用到的其它类型元素。在定义系统模型的过程中会用到各种类型元素。在进行SysML标准元素介绍之前，有必要对SysML的基础：UML标准中的类型元素做一个简单介绍。
在UML中最基础的类型元素是“Type”，我们称之为“类型”。“类型”元素及其继承类，可以作为一个值的类型。这个值包括属性、对象节点、变量、参数、实例等等。总之这类元素称之为“TypedElement”，就是“有类型的元素”，它们的类型就是“类型”元素或它的继承类。
“类型”元素只有一个继承类，叫“Classifier”，参考UML2.0中文标准（GJB 28174 统一建模语言(UML），本软件中翻译为“类目”。“类目”提供了一个泛化和继承的机制，为面向对象技术提供了一个基本的思想。“类目”的继承类包括“有行为的类目”（BehavioredClassifier）、“结构化类目”（StructuredClassifier）、“数据类型”（DataType）、“接口”（Interface）、“信号”（Signal）等。“有行为的类目”的继承类有“类”（Class，“类”同时从“封装的类目”：EncapsulatedClassifier继承，“封装的类目”又从“结构化类目”继承）、“用例”（UseCase）、“执行者”（Actor）。
“类”（Class）是面向对象技术中最常见的类型元素。SysML语言的“模块”（Block）是对“类”的扩展。“值类型”（ValueType）是对“数据类型（DataType）的扩展元素。这两类元素是SysML语言体系中最常见的类型元素。以上元素的关系，可图示如下：
用中文名称，上面的图表示如下：
