用PTA模型形式化分析基于Gossip 协议的发布/订阅系统

在研究传统的发布／订阅消息中间件系统的基础之上,结合Gossip协议的特点来研究发布／订阅消息中间件,最后运用形式化方法,通过PRISM仿真工具,对仿真的模型进行形式化分析．实验结果表明,发布／订阅消息中间件系统的实时性受消息产生速度的影响,在各个订阅者订阅相同消息和不同消息两种情况之下网络特性展现不同的变化,但最终都是随着消息产生速度的增加而减小．可靠性随着消息产生速度的增加而减小,并且订阅者的接收缓存越大可靠性越高,但增幅率会越来越小．该实验模型和实验方法对于发布／订阅消息中间件系统的研究,以及在现实环境中配置系统的相关参数有一定的帮助．     

《电脑开发与应用》月刊 欢迎订阅 欢迎赐稿 诚征广告

<正>《电脑开发与应用》月刊,现特向全社会征订、征稿、征集广告,并将来稿注意事项刊出,望积极订阅,踊跃投稿,推荐广告。《电脑开发与应用》月刊,大16开(A4)版本,80页,定价8元/册,全年96元。     

基于完成端口的消防通信服务器设计和实现

为满足消防灭火救援接处警系统中对通信服务器的性能和稳定性要求,在完成端口的基础上设计了分层结构的通信服务器架构。本文给出了该服务器架构的框架组成,并说明如何利用了完成端口框架实现通信处理并给出实现程序代码。最后给出了该架构在实现接处警系统中订阅发布业务中的具体应用。     

《计算机应用》征订通知

本刊以应用技术为主,内容丰富多彩,现审稿周期为1～2个月,发表周期为6个月。欢迎投稿,欢迎订阅。全国各地邮局均可订阅,也可直接从编辑部订阅。     

《计算机应用》征订通知

本刊以应用技术为主,内容丰富多彩,现审稿周期为2个月、发表周期为6个月。欢迎投稿,欢迎订阅。全国各地邮局均可订阅,也可直接从编辑部订阅。     

Management Methods and Execution Engine of the Workflow based on Event Driven

随着经济的飞速发展,企业业务流程构成复杂、多变,而传统的工作流所建立的流程模型只能按照线性的路由执行,已不能满足现实需要.通过引入事件驱动机制,对事件进行建模,并采用事件的发布与订阅机制实现不同流程之间的事件关联,其后详细介绍了事件驱动的工作流系统实现原理.最后,采用工作流服务平台进行仿真和验证.     

欢迎订阅《可再生能源》杂志

何再生能源》（ISSNl671—5292／CN21—1496／TK）是国家中核心期刊，辽宁省一级期刊。以发布国家新能源和可再生能源方针、政策；报道该技术领域科研成果和应用技术；普及新能源和可再生能源知识；介绍国内外科研信息和前沿动态；宣传新产品、新技术、新工艺为办刊宗旨。突出能源、生态、环保三大主题，汇集新能源、可再生能源、清洁能源技术之精粹，注重理论应用，突出实用技术。涉及太阳能、生物质能、风能、地热能、水能、垃圾再利用能、能源节约、生态环保等方面内容。     

面向事件的Agent感知模型研究

感知环境是Agent的基本属性，不同的环境要求Agent采用不同的感知方法。文章针对发布／订阅消息环境，以事件为感知对象，提出了一种网状事件合成机制，构建了一个适于Agent异步协作的感知体模型，给出了模型的定义、实现机制及应用评价。     

基于JMS体系结构的消息服务技术的应用研究

根据企业应用程序间进行消息服务的实际需要，深入研究Java消息服务(Java Message Service，JMS)技术，结合其中的“发布／订阅式”和“点对点式”两种消息收发模式，提出了一个基于JMS体系结构的全新的消息服务模型，并针对股票交易系统中的报价“发布／订阅”服务功能的具体实现进行了详细的论述。     

一种基于多Agent的Internet上JavaBean构件挖掘方法

基于构件的开发是软件重用的主流技术，人们迫切需要一种能够有效地在Internet进行构件挖掘的方法或工具．目前流行的构件库的建设方法之一是人工建设构件库并为用户提供查询接口，这种方法为用户提供了较高的查询效率但是带来了沉重的维护负担。另一种方法是按照用户的查询要求直接到Internet上去为用户搜索构件，这种方法避免了构件库的维护，但是查询效率较低。本文以Java Bean构件为研究对象，在对JavaBean构件的发布特征进行了分析的前提下，结合多Agent技术提出了一种新的JavaBean构件挖掘方法。该方法利用及时反馈服务模式和订阅服务模式提供用户需要的分布在Internet上JavaBeans构件接口和函数信息。