张萌
- 作品数：4 被引量：4H指数：1
- 供职机构：中国科学院研究生院更多>>
- 相关领域：自动化与计算机技术更多>>
- Web服务组合的可靠性分析
- 提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析 Web服务组合流程的可靠性。最后通过一个实例...
- 郭峰张萌
- 关键词：WEB服务组合PETRI网可靠性分析数据采集
- 文献传递
- 基于UML的多agent系统软件体系结构建模研究被引量：1
- 2009年
- 针对面向agent软件开发方法普遍缺乏对多agent系统软件体系结构的描述的问题,基于UML 2.0规定的两种扩充方式,在UML元模型的基础上增加了描述多agent系统和软件体系结构两个方面特征的建模元素,并用八个视图对多agent系统的软件体系结构进行描述,最后通过实例说明了该方法适用于多agent系统软件体系结构的构造。
- 郭峰张萌
- 关键词：多AGENT系统软件体系结构多视图
- Web服务组合的可靠性分析被引量：1
- 2008年
- 提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
- 郭峰张萌
- 关键词：WEB服务组合PETRI网可靠性
- UML2.0顺序图的形式化研究被引量：2
- 2009年
- 在UML2.0规范中顺序图的语义仍然是以自然语言的形式描述的,为实现对顺序图的自动化分析和验证,必须为顺序图定义一种形式化的语义模型。为此首先给出了UML顺序图的一种符合BNF范式的形式化语法,然后为该语法中的非终止符定义转换规则,将UML顺序图中的基本动作转换为加标Petri网组件,最后定义了各种合成操作,利用这些合成操作可以将UML顺序图的加标Petri网组件转换为加标Petri网。
- 郭峰张萌
- 关键词：统一建模语言顺序图PETRI网语义模型
