SAME模型构件的形式语义和应用研究.pdfVIP

摘 要 摘 要 现代造船模式的应用和推广，加快了船舶结构设计模块化和标准化技术的形成。 随着先进制造理论的引入，使得现代造船模式迅速向敏捷制造方向发展。这种船舶敏 捷制造，是将某船舶项目的船舶设计、生产计划、船舶总装等管理功能作为一个独立 的主体或盟主，以船厂内部的各生产中心和大量的配套厂、原材料供应商和外协厂组 成的多项目动态联盟。船舶敏捷制造对企业建模理论和方法提出了新的要求，基于构 件的企业建模方式和形式化模型构件描述顺应了这一要求。 从企业建模角度看，基于形式语义的船舶敏捷制造企业(SAME, Ship-Building Agile Manufacture Enterprise)动态建模和模型构件自动组合的必要性和实用价值是显 而易见的：船舶敏捷制造企业的模型构件自动组合能大大提高企业建模的效率，减少 人工参与；静态语义和动态语义刻画了船舶敏捷制造的模型构件的本质属性，有利于 人们把握船舶企业信息和业务活动的根本特征；模型构件的自动组合是构件复用的直 接表现形式，能最大程度的实现船舶敏捷制造企业模型的功能增值。 综合考虑敏捷制造企业中主体(Agent)行为的过程性、并发性和协同性，本文提出 一种基于动态属性的企业模型构件抽象表示，旨在刻画主体在外部动作或者环境作用 下的演变过程。首先，给出了一种基于自动机理论的构件模型定义，并着重刻画了构 件在动作作用下的状态迁移，采用邻接链表实现了构件及其迁移过程在计算机中的表 示，同时给出了一个基于行为的构件模型观察等价判定算法。上述研究有效的刻画了 构件动态属性及模型之间的通讯，得到SAME这一个复杂系统的动态模型，刻画了模 型构件的操作语义。 现有模型接口大多是基于语法的描述，然而，模型构件自动组合过程依赖于接口 解释的形式语义。为了满足模型构件的共享和复用需求，本文引入形式本体实现模型 静态属性的语义支撑，为模型构件的端口提供了语义解释模版。针对SAME的分布特 性，给出了一个分布式本体集成算法以构造更高层次上的共享语义空间。 本文着重研究面向SAME模型构件的本体静态语义和进程操作语义，奠定SAME 模型构件机器可读和自动化组合基础。模型构件的形式语义理论对SAME建模具有深 远意义，能有效的提高建模效率和模型质量。 关键词：敏捷制造；企业建模；模型构件；形式语义； I Abstract Abstract The pattern of modern shipbuilding application and the physical design extension have extended ship modularization and standardize the technology formation. With advanced manufacture theory introduction, the modern shipbuilding pattern has been developing directly in the direction of agile manufacture. This agile manufacture treats the general design, production design, assembly and other administration function of a ship as an independent main body or chief of alliance based on all manufacture centers inside the shipyard and the many supporting workshops, raw material suppliers