共查询到19条相似文献,搜索用时 593 毫秒
1.
一种基于Web,Java和CORBA技术的工作流管理系统结构 总被引:7,自引:0,他引:7
基于Web的工作流管理系统受到商业界的广泛关注.但目前常用的Web技术难以解决现代分布式应用中存在的诸多问题.本文提出的工作流管理系统结构综合利用了Web、Java和CORBA技术,以Web技术作为客户与服务器的通信基础,以Java进行Internet编程,以CORBA简化分布系统的设计,在Petri网模型的协调下,很好地实现了工作流管理.. 相似文献
2.
3.
4.
多线程机制使应用程序能够并行执行,容易实现网络上的实时交互行为本文分析了Java多线程机制的基本特点,介绍了在多用户远程协同工作系统中,运用Java多线程机制实现Server端和Client端交互信息的实时处理 相似文献
5.
多线程机制使用程序能够并行执行,容易实现网络上的实时交互行为,本文分析了Java多线程机制的基本特点,介绍了在多用户远程协同工作系统中,运用Java多线程机制实现Server和Client端交互信息的实时处理。 相似文献
6.
多线程在网络程序设计中的应用 总被引:4,自引:0,他引:4
林晓 《华侨大学学报(自然科学版)》1999,20(3):308-311
讨论多线程思想在网络程序设计中的优越性,同时论及多线性的基本原理,多线程与传统的多进程的区别和Java语言对多线程支持。在网络中使用Java语言为开发工具,利用多线程的思想进行网络通讯程序的设计,以实现接收数据和发送数据的并行性,所设计的程序简洁明了,且易于实现。 相似文献
7.
Java作为新一代的编程语言,具有众多优点。它简单、面向对象、可移植、与硬件无关、系统强健安全、具有很高的性性能,并提供了分布性、多线程、动态性支持。其多线程机制受到程序设计者极大关心。本文对Java的多线程机制进行了探讨。 相似文献
8.
基于Java网络管理代理的研究和实现 总被引:1,自引:0,他引:1
介绍了基于Java的网络管理代理和传统的网络管理结构和代理在其中所起的起用.分析了传统网络管理系统方案所存在的缺憾.针对这些缺憾,将Java的技术优点结合到网络管理中,实现一个基于Java的网络管理代理,从而使网络管理代理具有可扩展性、跨平台、安全性强,能方便地支持和管理者间进行异步操作的特性.最后,介绍了实现的代理的模型和功能. 相似文献
9.
介绍了Java网络通信方面的内容。在基于TCP(传输控制协议)及UDP(用户数据报协议)协议的前题下,运用Java丰富的类库,完成了双机通信及多机通信等功能。给出了创建多线程的一些关键技术,为利用Java语言开发通信程序的软件设计者提供了一些方法和经验。 相似文献
10.
基于前后断言的多线程形式功能规格说明语言 总被引:2,自引:0,他引:2
探索用基于公理语义的前后断言方法来刻划多线程程序的功能,设计了一个功能规格说明语言JAVASPEC,用来形式地表达程序的功能规格说明,为支持多线程的Java程序自动生成奠定了基础 相似文献
11.
为了解决现有Petri网分析工具(可达性树和矩阵方程)不能很好对扩展型Petri网进行分析的问题,提出用Signal语言对扩展型Petri网进行分析的方法.Sig-nal语言不仅能够解答扩展型Petri网安全性、有界性等问题,还能够直观地表示扩展型Petri网中各变量之间的约束关系及特性,更好地揭示网络的动态变化行为. 相似文献
12.
基于Petri网的ECA规则集终止性分析 总被引:2,自引:0,他引:2
对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好. 相似文献
13.
14.
一种并发Java程序控制流模型 总被引:1,自引:0,他引:1
研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序. 相似文献
15.
面向对象Petri网的离散事件系统仿真建模 总被引:7,自引:0,他引:7
将Petri网技术和O-O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网(OOPN),它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0-O技术和Petri网结合起来,以实现仿真建模。 相似文献
16.
17.
基于Petri网的应用软件开发及其关键技术 总被引:3,自引:3,他引:0
讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML也格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment). 相似文献
18.
提出了基于模糊Petri网的误用入侵检测方法,并将类似于神经网络的学习引入模糊Petri网,以调整攻击知识模型参数. 理论分析表明,基于模糊Petri网的误用入侵检测系统具有更高的推理效率,能从环境中动态学习调整知识模型的相关参数,如阈值、权值、确信度. 仿真结果表明,在大多数情况下,学习调整后的知识模型能够提高误用检测系统的检测率. 相似文献
19.
基于LabVIEW的Petri网控制器实现 总被引:2,自引:0,他引:2
为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值... 相似文献