面向服务的群件设计方法

为了提供人员协作的群件技术应用,提出一个面向服务的群件设计方法.利用该方法,群件设计人员和最终用户通过选择与组合群件行为来匹配一个协作环境.对于不同的目标群体,该方法确定了两个不同程度的粒度选择和组合群件行为.另外,描述了群件的两个层次:每个元素的水平构成和元素之间的相互关系,参考模型中给出了群件结果.以服务为导向的群件设计方法可以激发群件设计人员利用在切换到实施细则之前,提供协作支持来服务于群件应用这一特性.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于对象Petri网的军事信息服务组合与验证方法

在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了层次化建模能力,改善了基本Petri网模型描述的不足之处。为保证模型的正确合理,还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法。最后针对具体的应用案例,对该方法进行了实例分析。结果表明,该方法能满足军事信息服务组合模型构建的需要,并具备良好的描述与分析能力。     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。     

基于动态CVaR模型的房地产组合投资的风险度量与控制策略

研究了基于动态条件风险值(CVaR)模型的房地产组合投资风险度量问题.定义一种动态CVaR模型,它是一个动态规划问题,证明了它可以等价一个非线性规划问题求解.据此,建立了一个基于动态CVaR的房地产组合投资优化模型,通过计算这个模型可以得到在一定置信水平下的房地产投资的风险损失值和组合投资比例.应用这个模型对全国10个城市的房屋价格数据进行了多阶段的风险值和投资比例数值计算,结果表明多阶段组合投资的风险值要比单个阶段更小.控制风险的主要策略是选择低风险的CVaR值的投资组合.     

Petri网的分层递归模型

Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段.在传统的Petri网分层模型中,是不考虑递归的.这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力.在分层模型中引入递归的概念,可以使系统的模拟能力增强.可以证明,任意一个上下文无关语言都可以被一个分层递归Petri网识别.     

单阶段R&D项目与有价证券投资组合优化的情景生成模型

不确定性是市场的本质, 分散投资于不同种类的资产可以降低投资整体的风险, 并增加在长期投资中获得更多收益的可能性. 基于矩近似方法, 建立了单阶段R&D项目与有价证券的投资组合优化问题的情景生成模型, 并通过一个实例来说明该模型的分析过程. 研究成果为进一步研究单阶段R&D项目与有价证券的投资组合问题奠定了理论基础和决策支持.     

基于着色Petri网的最小代价服务合成方法

如何动态地把现存的各种Web服务整合起来以形成新的、满足不同用户需求的服务已成为新的应用需求和研究热点.针对现有服务合成中服务选择技术的不足,提出了一种基于着色Petri网的最小代价服务合成方法。该方法主要思想是根据候选服务输入输出之间的逻辑关系建立有色Petri网,从而找出所有合成方案,然后根据原子服务的服务质量(quality of service, QOS)参数选择具有最小代价的合成方案,通过服务实例验证,基于着色Petri网服务合成方法能够获得最小代价的组合方式。