图7.3显示一个模块定义图,其中有三个模块在公司企业模型中,称为ACME Surveillance Systems Inc。模块的名称使用包含路径的限定名称,显示它们在模型的包层次内部的定位,显示在图6.4。模块显示包含了使用范围:Camera是一个ACME产品的一个描述;Stepper Motor模块是一个现成的组件使用在ACME的摄像头中;和Video被使用来描述摄像头生成的视频图像,。
图7.9 包含一个更详细的连接器的查看在子装配的内部在图7.7。经过进一步的调查之后,连接器m1已经增强使用一个连接器称为platform to housing,它的内嵌的终点直接连接ma(Mount Assembly)的Platform与Camera Module的Camera Housing。相似的,电子的连接器e1已经增强使用一个连接器称为imaging to video,其连接Camera Module的Imaging Assembly与Electronics Assembly的Image Processor。
图7.9 在一个内部模块图上,内嵌的连接器
当一个连接器在结构的一个层级被使用来添加更多关于一个连接器的细节在一些更高层次,有潜在的问题使用维护结果模型。例如,如果来自图7.7的m1连接器被删除从模型中,platform to housing应该也被被删除? 如果这种类型的关系是重要的,随后一个关联的模块可以被用来显示连接器的分解以模块显示组成部分的分解相似的方式。关联的模块被描述在第7.3.3节。端口的使用也是重要的对应解决这种类型的问题,正如描述在第7.6节。
图7.10显示一个模块名称为Mechanical Power subsystem,其使用引用关联来引用摄像头的Power Supply,它的动力机械组件,包含在多个装配体中的电机和Distribution Harness。Distribution Harness包含引用属性引用其它harnesses,它们是摄像头中的不同装配的部分。在摄像头的组合层次中, 组件是许多不同装配的部分,其中的一些被显示在图7.5。Mechanical Power subsystem表示这些组件的一个逻辑组合,交互为摄像头提供动力。白色钻石修饰被使用在这个例子中来强调Mechanical Power subsystem的本质是引用关联,但这种强调是严格的符号和没有语义隐藏。
不同的基于模型的方法可以包含一个模块,诸如,Mechanical Power Subsystem在模型结构的不同部分。这里它被包含在摄像头模块自身,但它可以仅作为简单的已经被放置进相似的子系统的一个特定的包。Mechanical Power Subsystem的一个实例不显示在摄像头的装备树,但是更像一个装备树的部分的一个交叉视图。
图7.17显示一些数值类型在Basic Definitions包中。Size是一个结构化的类型,带有三个子元素:width、height和length;它们的数值类型是数值类型m(对应米)。m的定义包含它的单位制和数量类型和被随后显示在图7.19。Image Quality是一个枚举被使用来指定通过摄像头捕捉到的图像的质量,其可以被用来控制,多少数据被需要捕捉到每个视频帧。其它数值类型都是实数类型,所以指定SysML数值类型为Real。在这种情况下指定被简单开始,数值类型对应MHz、MB和Frames per Second是实数类型。参考第7.7节获取更专业的讨论关于符号和意义。
国际标准单位制(SI)是一个标准对应单位制和数量类型发布通过国际标准组织(ISO)。SI数量类型和单位制的完整集,描述在一个模型库OMG SysML标准的附录D,基于一个复杂的基础库,其支持定量分析。这个模型库可以被导入到任何模型允许SI definitions被使用,或使用它们作为定义更特定的单位制和数量类型。尽管这个模型库是SysML标准的非正式的部分,其不需要工具供应商兼容,它鼓励更多的SysML建模工具将包含这个库和可能的扩展。正如先前陈述在第6章,这个库被重命名在SysML1.3中为“SysML Quantity Kinds and Units for ISO 80000-1”,但在本章中,我们保留使用初始的名称SI Definitions。
图7.20显示一个模块定义图包含三个带有数值属性的模块:Camera、Electronics Assembly和Optical Assembly。数值属性中的一些,诸如,Electronics Assembly模块的clock speed和memory类型化使用数值类型定义在图7.17。其它类型化使用显示在图7.19。例如,Camera模块的sensitivity数值属性键入lux,其测量照度。数值类型的名称并不限于字母数字字符。例如, Camera模块中的pan field of regard键入字符“0”,其是一个角度的标志。
图7.22显示多个分布属性,其中的pan field of regard和focal length。pan field of regard是弧的尺寸,Camera可以在这个范围内旋转,被定义作为一个内部分布带有一个最小值00和一个最大值3600,由于实际的pan field of regard值依赖于摄像头的安装。Optical Assembly的focal length被定义作为一个正态分布带有一个7mm的平均值和和一个0.35mm的标准偏离(standardDeviation)。这对应使用制造过程造成的的超差,微小偏差的将影响组合透镜和反射镜的位置。
pan field of regard和focal length的分布在整个相机的入口和光学组件上。Camera的dimensions和Optical Assembly的aperture有默认值,一个简单的标量对应aperture,和dimensions的每个方向(3维)都有对应的值。
项也可以流动在连接的引用属性之间。图7.28显示电流(被表示通过模块DC)通过Mechanical Power Subsystem模块,对应前面的图7.11。来自power source的整个流通过Distribution Harness到多个电机。在这种情况下,每个项被表示通过一个相应的项属性占有通过Mechanical Power Subsystem。
图7.34显示接口模块来自图7.33,使用来显示一个Wired Camera 的物理接口(关键字full和proxy被省略在所有端口上为了减少混乱)。Wired Camera有三个代理端口对应ethernet、power和video和一个mount的完整端口,正如显示在图7.32。注:仅墙面上的安装点被显示在mount上,由于这个图试图仅显示摄像头的外部接口。
在图7.35,Wired Camera的power端口与Power Supply的power端口连接通过一个隐式的内部连接器。2个端口类型都是3 Pin AC Plug Interface,定义在图7.37。连接器的终点是特征兼容的,由于2个都有一个current的流属性,兼容的类型和inout流方向,并且它们都有一个power流属性使用兼容的类型和相同的方向。
模块定义图在图7.37中,显示3 Pin AC Plug Interface和3 Pin AC Socket Interface的定义,在它们之间使用一个关联, Plug to Socket。它也显示一个模块称为Wired Camera Wall Mounting使用结构舱段显示电源如何被供应到摄像头。墙面和摄像头之间的的外部连接器类型为Plug To Socket。正如讨论在第7.3.3节,连接器的终点是兼容的与连接器终点的类型。连接器的终点也有兼容的流属性,包含一个current流属性,它的类型是相同的和方向是inout,和一个power属性,它的类型是相同的和它的方向相互之间是相反的。它们也都有max current的数值属性,它的类型是AC Current;由于它不是一个有向的特征,方向兼容性规则不适用。
此外对于数值属性,Motor Module定义一个control input的通用概念使用一个代理端口。Brushless DC Motor Module和Stepper Motor Module被表示作为这个通用概念的子类带有它们自己的特定特征,诸如,Stepper Motor Module的step size和position输出端口。此外, 来自Motor Module的通用的属性已经被重定义在子类中为了放置绑定在它们的值上,是适合的到电机的类型。数值属性被描述通过一个?interval?概率分布表示数值属性的范围可以有在它们给定的子类中。
图7.52显示监控摄像机的一个特定模型的小片段SC Model 1 A,专业相机。在SC Model 1 A中,通用的Stepper Motor Module使用在摄像机的Mount Assembly(ma)已经被替换通过一个特定的电机模块包含Maxon EC10。为了进行这个替换,而不是专门生成一个模块表示这个Mount Assembly的变体,一个属性特定类型的被使用。Maxon EC10明显的属性被显示在组成部分的:values舱段中。