韦银星
- 作品数：6 被引量：165H指数：2
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 企业应用集成技术研究被引量：124
- 2002年
- 为适应迅速变化的市场 ,企业需要柔性、集成的信息系统。企业应用集成技术可以把各个应用程序集成为一个无缝整体。本文提出了企业应用集成的体系结构 ,研究了企业应用集成的工作流技术、XML技术、可靠消息传递技术和Legacy系统封装技术等关键技术。使用企业应用集成技术 ,企业能快速适应变化的商业环境。
- 韦银星张申生周晓俊曹健黄越
- 关键词：企业应用集成中间件电子商务企业信息化
- 多视图软件过程模型研究
- 软件过程是保障软件质量的重要手段.本文改进了RUP的'驼峰模型'使之全面地支持软件过程的要素.基于OMG通过的UML2.0和SPEM标准,提出了一个多视图的软件过程模型PPTOM,该模型比较完整地表达了产品、过程、时间、...
- 韦银星曹健张申生钟发荣
- 关键词：元模型体系结构软件工程
- 文献传递
- 基于Agent与工作流技术的面向实施的企业业务过程建模与评价环境
- 曹健张申生韦银星步丰林刘建勋张晓光牟玉洁张建宏王庆国刘英华何忠黄鹤远胡涛
- 该项目在Agent与工作流技术的基础上，实现了过程建模系统的功能从支持描述向支持实施的转变、过程模型的语义从流程逻辑向系统逻辑的扩展，形成业务过程建模、仿真、评价与实施的集成化解决方案。该课题的技术路线和关键技术在研究过...
- 关键词：
- 关键词：企业工作流技术AGENT
- UML类图的形式化及分析被引量：40
- 2002年
- 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。
- 韦银星张申生曹健
- 关键词：UML类图形式化统一建模语言对象约束语言
- 基于UML活动图的软件过程模型研究
- 软件过程主要是研究软件开发过程的建模、执行和环境,它对保证软件质量和合理安排项目进度有着重要的作用。其中,软件过程模型是软件过程的核心。UML活动图是一种重要的可视化的软件过程建模语言。采用UML活动图来表示软件过程模型...
- 韦银星张申生曹健
- 关键词：UML活动图ECA规则
- 文献传递
- 面向软件产品和过程的变更管理技术研究
- 本论文首先建立一个反映产品、过程、组织、时间等要素的多视图模型,在此基础上针对软件产品和过程,从形式化描述与验证、变更影响分析和自动化工具这几个方面进行了研究.具体内容安排如下:第一章分析了软件变更产生的原因,讨论了解决...
- 韦银星
- 关键词：多视图模型软件配置管理统一建模语言形式化方法
- 文献传递
