周宇

作品数：7被引量：16H指数：3
导出分析报告
供职机构：东南大学计算机科学与工程学院更多>>
发文主题：面向服务架构WEB服务业务流程执行语言BPEL信息集成更多>>
发文领域：自动化与计算机技术电气工程文化科学更多>>
发文期刊：《计算机研究与发展》《电力系统自动化》《东南大学学报（自然科学版）》《档案与建设》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于顺序图的Web组合服务属性验证
《东南大学学报（自然科学版）》2011年第2期305-311,共7页吉顺慧 李必信 周宇 
国家高技术研究发展计划(863计划)资助项目(2008AA01Z113);国家自然科学基金资助项目(60773105;60973149)
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相...
关键词：WEB组合服务 UML建模 模型验证 SPIN 
面向服务架构中的服务分类及其应用被引量：3
《计算机集成制造系统》2009年第9期1844-1853,共10页黄小庆 关维德 周宇 夏安邦 
针对当前电力信息资源建设和整合中存在的紧耦合和重用度差等问题,提出了基于面向服务架构的集成协议栈,并对涉及的所有独立的功能进行系统的分类,讨论了其实现。在此基础上,给出了分类资源协同的逻辑框架,并应用于构建电力市场竞价系...
关键词：电力 信息集成 面向服务架构 集成协议 分类服务 
基于BPEL的电厂竞价系统设计被引量：1
《电力系统自动化》2009年第4期77-81,共5页黄小庆 周宇 吴含前 夏安邦 
由于电厂竞价系统需要基于重用来灵活地应对竞价规则的频繁变更,提出采用基于Web服务的业务流程执行语言(BPEL)和面向服务架构(SOA),建立电厂竞价系统。设计了系统的架构层次和部署结构,描述了基于BPEL的系统流程管理框架。最后,应用Act...
关键词：发电侧 竞价系统 面向服务架构 WEB服务 业务流程执行语言(BPEL) 
属性序列图:形式语法和语义被引量：6
《计算机研究与发展》2008年第2期318-328,共11页张鹏程 周宇 李必信 徐宝文 
国家自然科学基金项目(60473065;60773105);江苏省自然科学基金项目(BK2007513);国家"八六三"高技术研究发展计划基金项目(2007AA01Z141);国家杰出青年科学基金项目(60425206)
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用...
关键词：时态逻辑 场景 属性序列图 Büchi 自动机 模型检验 
毕业生档案管理Web应用系统的探索被引量：3
《档案与建设》2007年第9期21-23,共3页李清 周宇 
毕业生档案管理工作是毕业生就业工作中不可或缺的部分，通过学生档案管理，将学生在校的全部人事记录由校园转向社会，这是使高校毕业生档案工作提高到管理人才和储备人才要求的高度体现。随着市场经济的建立和完善，高校毕业生就业由...
关键词：毕业生就业工作 档案管理工作 应用系统 Web 学生档案管理 档案工作者 高校毕业生 人才要求 
一种Web服务组合的数学模型被引量：1
《东南大学学报（自然科学版）》2007年第4期593-598,共6页周宇 张鹏程 李必信 
国家自然科学基金资助项目(60473065)
为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上...
关键词：WEB服务 服务组合 形式化模型 
模型检验软件体系结构研究与进展被引量：2
《计算机科学》2007年第4期7-12,共6页张鹏程 李必信 周宇 
国家自然科学基金(批准号:60473065);计算机软件新技术国家重点实验室(南京大学)课题资助
软件体系结构经过10多年的发展,在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前,就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种...
关键词：软件体系结构 模型检验 应有属性 形式验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部