探讨E-NNI连接建立的信令控制协议

E-NNI连接建立的信令控制协议是自动交换光网络中域间网络互联互通的关键协议之一。基于OPNET进程状态实现E-NNI连接建立的信令控制协议状态,符合标准化的E-NNI连接建立的信令控制协议。这种状态功能方法可以在VxWorks平台下实现实际需要的标准协议。文中将采用这种方法实现Ssreq状态协议原语。

UML状态图在并行环境的应用研究

标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法。根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性。

基于UML扩展机制的MDA协议建模语言研究

由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。

基于STEP/XML的集成化工艺信息描述方法研究

针对计算机辅助工艺设计系统复杂的工艺信息描述问题,提出了一种基于可扩展标记语言的数据描述方法,设计了一种类似"Native-XML数据库"的存储方式,把工艺设计中的大部分信息以可扩展标记语言原始格式存储,将关键信息抽取出来以字段的形式存储,减少了存储实现的难度。探讨了如何通过产品模型数据交换标准中性文件转换器,把计算机辅助设计系统输出的AP203文件转换成AP224文件,计算机辅助工艺设计系统通过AP224中性文件来获取零件的几何和工艺信息,并进行相应的工艺设计。利用STEP AP28所制定的转换规则,将产品模型数据交换标准文件转换为相应的可扩展标记语言中性文件,建立XML schema库,以实现制造信息的数据交换和共享。

用于通信网络协议开发的形式化方法

阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价。

基于统计的语言处理模型的局限性

本文通过介绍和评论基于统计的语言处理模型的工作原理和有关的应用实例 ,从语言学理论的角度来说明统计模型的局限性。通过讨论N元语法模型及其在词类标注上的应用 ,展示基于统计的语言处理模型的工作原理及其应用。讨论了语言结构的递归性特点和语言学知识的结构依赖性特点 ,指出递归嵌入会使得统计规律被任意数目的嵌入词语打乱 。

利用框架设计模式开发嵌入式网络协议

为了规范地开发嵌入式网络协议,设计了一个软件框架,它将UML状态机的事件、定时器、状态、状态机等核心数据结构整合为一体,提供了实现UML状态的各种接口。项目开发结果表明,该软件框架清晰地反映了状态机各个状态之间的嵌套层次关系,能够将嵌入式网络协议的UML状态图高效地转化为该网络协议的实现代码,成功地生成特定的嵌入式网络协议。

基于CSP的网络协议描述与仿真

首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础.

DSML ProcGraph: Overview and a Mid-Size Industrial Application Example

This paper presents model-based approach to process-control software development. The presented approach enables modelling of control software in a straightforward manner and, at the same time, on a high level of abstraction. The essence of the presented approach is a high-level, domain-specific modelling language ProcGraph, which is based on three types of diagrams that describe the modelled system using a domain-oriented hierarchical structure of interdependent procedural control entities and state-transition diagrams describing the behaviour of the procedural control entities. The presented concept is demonstrated by means of higher-level model segments of a real process-control application that deals with the micronisation process in the production of titanium dioxide. The presented industrial case shows that the application of ProcGraph provides adequate expressive power for an elegant preparation of graphic specifications in a transparent and easy way.