现代造船模式的应用和推广，加快了船舶结构设计模块化和标准化技术的形成。随着先进制造理论的引入，使得现代造船模式迅速向敏捷制造方向发展。这种船舶敏捷制造，是将某船舶项目的船舶设计、生产计划、船舶总装等管理功能作为一个独立的主体或盟主，以船厂内部的各生产中心和大量的配套厂、原材料供应商和外协厂组成的多项目动态联盟。船舶敏捷制造对企业建模理论和方法提出了新的要求，基于构件的企业建模方式和形式化模型构件描述顺应了这一要求。 从企业建模角度看，基于形式语义的船舶敏捷制造企业(SAME，Ship-Building Agile Manufacture Enterprise)动态建模和模型构件自动组合的必要性和实用价值是显而易见的：船舶敏捷制造企业的模型构件自动组合能大大提高企业建模的效率，减少人工参与；静态语义和动态语义刻画了船舶敏捷制造的模型构件的本质属性，有利于人们把握船舶企业信息和业务活动的根本特征；模型构件的自动组合是构件复用的直接表现形式，能最大程度的实现船舶敏捷制造企业模型的功能增值。 综合考虑敏捷制造企业中主体(Agent)行为的过程性、并发性和协同性，本文提出一种基于动态属性的企业模型构件抽象表示，旨在刻画主体在外部动作或者环境作用下的演变过程。首先，给出了一种基于自动机理论的构件模型定义，并着重刻画了构件在动作作用下的状态迁移，采用邻接链表实现了构件及其迁移过程在计算机中的表示，同时给出了一个基于行为的构件模型观察等价判定算法。上述研究有效的刻画了构件动态属性及模型之间的通讯，得到SAME这一个复杂系统的动态模型，刻画了模型构件的操作语义。 现有模型接口大多是基于语法的描述，然而，模型构件自动组合过程依赖于接口解释的形式语义。为了满足模型构件的共享和复用需求，本文引入形式本体实现模型静态属性的语义支撑，为模型构件的端口提供了语义解释模版。针对SAME的分布特性，给出了一个分布式本体集成算法以构造更高层次上的共享语义空间。 本文着重研究面向SAME模型构件的本体静态语义和进程操作语义，奠定SAME模型构件机器可读和自动化组合基础。模型构件的形式语义理论对SAME建模具有深远意义，能有效的提高建模效率和模型质量。