【摘 要】
：
该论文所完成的工作有:(1)对主流的形式化技术(Estelle、LOTOS、EFSM、Petri Net、UML)的要素和特征进行了分析、对比;分析了这些形式化方法的优势和劣势,并指出了形式化技术
论文部分内容阅读
该论文所完成的工作有:(1)对主流的形式化技术(Estelle、LOTOS、EFSM、Petri Net、UML)的要素和特征进行了分析、对比;分析了这些形式化方法的优势和劣势,并指出了形式化技术在物流信息系统中的应用前景.(2)结合形式化技术的优势和物流信息系统的特点,提出了物流信息系统设计的FAM模型—EFSM建模方法,并对EFSM建模方法进行了详细论述.(3)定义了FAML形式描述语言的基本语法和状态与转换的语义,用于EFSM模型描述,为软件综合提供基础.(4)在EFSM建模方法学指导下,设计并实现了一个物流信息系统的核心子系统—自动订舱系统,同时提出和实现一种基于"三级安全管理机制"的安全应用模型,增强了系统的安全性.实际系统运行状况表明,在EFSM建模方法的指导下,对物流信息系统进行建模、实施是成功的.该方法为一类具有复杂控制条件、状态变化、自动处理和协同计算主要特征的系统的建模,提供了一种精确的、可行的方法,对于构造新型物流系统具有一定的指导意义,同时为形式化方法的应用提供了范例.
其他文献
该文结合铁路货运数据仓库系统的开发对数据仓库的相关技术进行了讨论,重点研究了数据仓库的OLAP工具.根据系统需要,我们实现了基于关系数据库的ROLAP子系统.首先,我们研究并
随着计算机在应用中的不断扩展，在面向对象和主动性方面的要求也越来越多，传统的数据库系统已经无法满足现代的许多应用的需要，本文设计了一个主动面向对象数据库系统以满足这种
在实现方式上,该文采用了以在现有IMS问题测试协同工作规范为基础,结合当今Semantic Web技术的发展,利用RDF知识描述方法,设计实现了一个Semantic Web内容管理工具和一个同时
人脸识别是人类视觉最杰出的能力之一，它的研究涉及模式识别、图像处理、生理学，心理学、认知科学，与基于其它生物特征的身份鉴别方法以及计算机人机感知交互领域都有密切联系。
多信道共用技术已经广泛应用于卫星通信、移动通信、以及其它类型的通信系统。多信道共用意味着系统中的任一空闲信道可为任一用户所用，因而系统可以容纳比信道数更多的用户数
服务器集群是一组用高性能的网络连接起来的独立的服务器的集合。他们能够协同工作，共同处理INTERNET上日益增长的客户请求。它具有良好的可用性，可伸缩性以及优秀的性能价格比
WWW是一个非常大的知识库,在其上进行信息的查询回答和自动推理很困难.为此,W3C组织提出了下一代Web-语义互联网(Semantic Web),其目的是让不同的计算机代理能在"理解"的基础
数据挖掘(Data Mining),又称知识发现,是在数据库或数据仓库中提取隐含的、先前未知的、潜在有用的知识或信息模式的决策支持方法.通过数据挖掘发现的知识能够反映一定的客观
随着网络技术的迅猛发展,网络逐渐深入到生活和工作的各个方面,随之而来的网络安全问题日益严峻。黑客攻击屡见不鲜,分布式拒绝服务攻击DDoS是黑客管用的一种方便有效的攻击
无线传感器网络(Wireless Sensor Networks,WSN)是一种涉及无线通信、微机电系统(Micro-Electro-Mechanical Systems,MEMS)、片上系统(System on Chip,SOC)和低能耗嵌入式技