对象形式语义模型

在面向对象的软件构造中，对象视为软件系统的基本构件，本给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本给出对象聚俣，特化，继承和对象类等概念在此语义模型框架中的解释。     

对象语义理论和行为约束推理

本文基于时序模型观点建立对象语义理论，将对象定义为对象操作，对象属性和对象踪迹的集合，并由此给出对象继承，对象复合等概念的语义解释。对象类型是满足一组对象约束的同类对象的集合。有两类不同的对象约束：状态约束表示对象属性之间的关联，而时序约束则表示事件操作之间的时序关联。文章最后用例子表明对象约束推理应用。     

对象语义约束检验系统的设计和实现

我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特片和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束，本文介绍一个对象语义约束检验系统。     

基于BOM本体的概念模型语义研究

模型的语义是模型语义重用、互操作和组合的基础,针对模型语义没有一个精确定义的问题,采用基本对象模型（BOM）规范中的概念模型来定义模型的状态转换、模型之间的交互关系,在基本对象模型规范的约束下给出了概念实体的语义模型,并通过基于描述逻辑的本体来描述基本对象模型规范和语义模型,将模型的语义匹配转化为本体查询和推理,给出了查询语义模型的方法,实验结果表明,语义模型能够很好地定义模型的不同语义,通过语义查询方法可以快速找到期望的模型,提高仿真系统建模的效率。     

SPIN语义引擎执行方式研究

模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述PROMELA指称语义。最后针对SPIN中atomic序列和同步通信等复杂问题给出解决方法。     

基于语义对象网络模型的产品知识表达方法

为表达产品知识及其语义内涵和约束关系,提出采用语义对象网络模型（Semantic Object Semantic Networks,SOSNs）表达产品知识。SOSNs是基于图并结合面向对象方法表达的知识模型,其中节点表示产品语义对象,有向边显性定义语义对象之间的语义关系,这种基于图的语义模型能够清晰的表示产品功能、行为、原理、结构、配置管理、约束等知识及其语义关系,将与产品开发相关的知识集成为一个逻辑整体,形成分层的结构化语义对象网络结构,便于组织和管理产品知识,易于实现知识的共享和重用。     

软件构造过程中的对象规范和实现*

面向对象的软件构造过程中的一个关键技术是对象的描述．本文介绍的ADL语言就是用于描述软件对象的基本特征．一个ADL对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束．另一是对象体，它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出从抽象数据到具体数据的映射关系．     

基于分布式虚拟环境的装配约束语义模型

装配约束是用来支持分布式虚拟环境中装配交互操作的关键信息.装配约束信息的抽象性关系到对装配单元行为的支持力度,装配约束信息的组织机制决定了分布式虚拟装配计算机实现的效率.针对目前装配约束的抽象和使用方面存在的问题,首先研究装配约束的语义抽象与表达,从产品装配应用域中捕获知识,提取共性,归纳装配约束基本语义并形式化表达;然后提出一种扩展对象语义建模方法,通过该方法对装配约束语义进行组织,赋予其功能行为特性,构建装配约束语义模型.通过VEADAM系统实例,装配约束语义模型能够有效地支持分布式虚拟装配的实现,并能很好地适应应用的变化和扩展.     

语义特征造型中对象族模型研究

提出了一种新的对象族模型,即陈述式对象族模型。定义了陈述式对象族模型,给出了模型的几何结构和拓扑结构,通过约束详细说明了特征的语义,以约束图的形式给出了该模型中特征的表示,给出了模型的语法描述。通过实例验证了模型的有效性,克服了传统的基于历程建模的不足,提高了CAD建模设计效率,降低了设计成本。     

基于代数-时态逻辑的象形对象语义模型探讨

本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代数模型和基于时态逻辑模型这两种方法结合，通过OOCPN描述形式，对象形对象语义模型进行了探索式研究，具体包括象形对象标记，象形对象语义解释结构，象形对象语义结构模型结构，定义了状态运算符，操作运算符并给出其语义域上的解释，提出了可继承属性和可继承操作，完全继承和和部分继承等概念，并用来刻画象形对象系统中的类结构及继承性，在分类结构，组装结构的基础上提出了聚合类结构及分类－聚合类结构；给出了象形对象类类型的代规范描述，给出了有关象形对象系统的公理和定理；并用OOCPN（Object-Oriented Color Petri Net）对象形对象的继承性，类结构及类变化，重码语义的可能性和有害性等进行了描述。