王夕宁
- 作品数：5 被引量：5H指数：1
- 供职机构：北京航空航天大学更多>>
- 发文基金：中国博士后科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 企事业过程模型获取UML类图规则的研究
- 企事业过程模型是一种用VPML语言来表达企事业过程结构及其相关数据的优秀模型,它形象生动、通俗易懂,尤其在描述企业业务流程方面具有很强的表达能力,弥补了用UML进行业务建模时的不足.然而在进行面向对象分析和设计时,UML...
- 李红霞罗燕京王夕宁
- 关键词：企事业过程模型统一建模语言UML类图
- 文献传递
- 一种Web服务模型的动态行为转换方法研究实现被引量：4
- 2006年
- 随着业务流程的复杂性与日俱增,编排和协调Web服务的价值也日益被人们所认识。近年来,国内外一些研究机构和IT企业在关于模型驱动架构MDA在Web服务中的应用方面作了不同程度的研究,但仅仅集中于Web服务模型的静态结构转换。根据MDA的思想,在Web服务模型的转换中,使用动态行为的平台无关模型PIM来定义业务流程,并提供将PIM转换成平台相关模型PSM的方法。研究Web服务模型的动态行为转换,讲述用UML活动图定义业务流程,并提供一种如何从UML活动图转换成BPEL的方法。
- 王夕宁刘岩罗燕京王君
- 关键词：WEB服务UML活动图业务流程执行语言
- 企事业过程模型获取UML类图规则的研究
- 2005年
- 企事业过程模型是一种用VPML语言来表达企事业过程结构及其相关数据的优秀模型,它形象生动、通俗易懂,尤其在描述企业业务流程方面具有很强的表达能力,弥补了用UML进行业务建模时的不足.然而在进行面向对象分析和设计时,UML已经成为了一种标准的建模语言,因此有必要在企事业过程模型和UML模型之间建立一座转换的桥梁,以便提高UML模型的准确度和精确度,节约软件开发成本.以企事业过程模型的核心--过程模型和UML类图作为具体研究对象,探讨了二者之间的相互关系,提出了它们的映射规则,并针对转换实现时可能存在的问题,进行了详细的分析,并给出了解决方案.
- 李红霞罗燕京王夕宁
- 关键词：企事业过程模型类图
- 一种模型驱动的原型生成方法研究实现被引量：1
- 2005年
- 随着模型驱动技术的重要性与日俱增,一系列基于模型的软件开发策略也日益被提出.提出一种模型驱动的原型生成方法,即从包含类模型与形式化约束的UML模型自动生成原型.该方法基于UML模型与OCL约束的形式化表示,对UML模型特别是静态结构部分作出形式化表示,并通过示例给予分析.基于类模型及形式化约束,原型按以下步骤生成:首先从类模型中生成实体对象集合(entityobjectset,EOS);然后从类模型中生成包含操作按钮的原型界面;最后生成操作及约束的处理程序.为生成原型,须将类模型及约束条件转换成可执行的原子操作代码.这些原子操作用来创建、删除或更新对象,或者用来创建、删除对象间的关联关系.基于Java语言开发出一个从UML模型生成原型的支持工具,并通过一个简单的示例论证该方法的可行性.
- 王夕宁罗燕京李红霞
- 关键词：OCLUML形式化方法
- 基于模型驱动技术的原型生成方法研究与实现
- 王夕宁
- 关键词：统一建模语言对象约束语言形式化规约
