您的位置： 专家智库 > >

周宇

作品数：10 被引量：24H指数：3
供职机构：东南大学计算机科学与工程学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
相关领域：自动化与计算机技术电气工程文化科学更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 3篇会议论文

领域

  • 5篇自动化与计算...
  • 3篇电气工程
  • 2篇文化科学

主题

  • 3篇面向服务架构
  • 3篇架构
  • 3篇服务架构
  • 3篇WEB服务
  • 2篇业务流
  • 2篇业务流程执行...
  • 2篇执行语言
  • 2篇WEB服务组...
  • 2篇BPEL
  • 1篇档案
  • 1篇档案工作
  • 1篇档案工作者
  • 1篇档案管理
  • 1篇档案管理工作
  • 1篇电力
  • 1篇信息集成
  • 1篇学生档案
  • 1篇学生档案管理
  • 1篇应用系统
  • 1篇软件体系结构

机构

  • 10篇东南大学

作者

  • 10篇周宇
  • 5篇李必信
  • 4篇张鹏程
  • 3篇黄小庆
  • 2篇夏安邦
  • 1篇李清
  • 1篇吉顺慧
  • 1篇关维德
  • 1篇吴含前
  • 1篇徐宝文
  • 1篇杨元魁

传媒

  • 2篇东南大学学报...
  • 1篇计算机集成制...
  • 1篇计算机研究与...
  • 1篇电力系统自动...
  • 1篇档案与建设
  • 1篇计算机科学
  • 1篇中国人工智能...

年份

  • 1篇2011
  • 2篇2009
  • 3篇2008
  • 4篇2007
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
属性序列图:形式语法和语义被引量：6
2008年
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景.
张鹏程周宇李必信徐宝文
关键词：时态逻辑自动机
一种Web服务组合的数学模型被引量：1
2007年
为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.
周宇张鹏程李必信
关键词：WEB服务
基于扩展UML的Web服务组合建模及分析
更好地理解和分析Web服务组合的过程及其行为特性，提出了基于扩展UML模型的Web服务组合建模和分析方法.在WSDL和BPEL描述的服务及其组合理论基础上，分别对UML2.0的顺序图和状态图进行了扩展。用扩展的顺序图对服...
周宇张鹏程李必信
关键词：WEB服务
基于SOA和BPEL的变电检修系统
以国家电网公司SG186工程的实施为背景,本文提出一种基于工作流技术和面向服务架构(SOA)思想的方案构建电力检修信息处理系统。介绍了基于Web服务描述语言(WSDL)以及消息通讯算法进行业务流程与Web服务的交互和通信...
周宇黄小庆
关键词：面向服务架构业务流程执行语言变电检修
文献传递
基于BPEL的电厂竞价系统设计被引量：1
2009年
由于电厂竞价系统需要基于重用来灵活地应对竞价规则的频繁变更,提出采用基于Web服务的业务流程执行语言(BPEL)和面向服务架构(SOA),建立电厂竞价系统。设计了系统的架构层次和部署结构,描述了基于BPEL的系统流程管理框架。最后,应用Active VOS Desinger对电厂参与日前市场竞价的流程建模,部署到BPEL Server中,快速实现了面向竞价流程的组合服务编制和发布。
黄小庆周宇吴含前夏安邦
关键词：发电侧竞价系统面向服务架构WEB服务
基于顺序图的Web组合服务属性验证
2011年
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.
吉顺慧李必信周宇
关键词：WEB组合服务UML建模SPIN
毕业生档案管理Web应用系统的探索被引量：3
2007年
毕业生档案管理工作是毕业生就业工作中不可或缺的部分，通过学生档案管理，将学生在校的全部人事记录由校园转向社会，这是使高校毕业生档案工作提高到管理人才和储备人才要求的高度体现。随着市场经济的建立和完善，高校毕业生就业由统一分配转变成以经济市场为导向、政府调控与学校推荐相协调、毕业生与用人单位双向选择的模式，在增加就业选择的自由度的同时，也加大了学生档案工作的难度。如何有效地做好毕业生档案管理工作，值得档案工作者去探索。
李清周宇
关键词：毕业生就业工作档案管理工作应用系统学生档案管理档案工作者高校毕业生
模型检验软件体系结构研究与进展被引量：6
2007年
软件体系结构经过10多年的发展,在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前,就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种基于自动机理论的形式验证方法,采用穷举状态空间的方式来证明系统的模型是否满足要验证的属性。同传统的测试和验证的手段相比,模型检验有其自身的优势。为此,越来越多的研究人员正在将模型检验技术应用到软件体系结构的分析和验证中。本文调查了模型检验技术在软件体系结构中的应用现状,剖析了影响软件体系结构模型检验的因素,给出了软件体系结构模型检验的未来主题。
张鹏程李必信周宇
关键词：软件体系结构
面向服务架构中的服务分类及其应用被引量：7
2009年
针对当前电力信息资源建设和整合中存在的紧耦合和重用度差等问题,提出了基于面向服务架构的集成协议栈,并对涉及的所有独立的功能进行系统的分类,讨论了其实现。在此基础上,给出了分类资源协同的逻辑框架,并应用于构建电力市场竞价系统。基于分类服务的面向服务架构模式可提高资源重用,加快新业务部署。
黄小庆关维德周宇夏安邦
关键词：电力信息集成面向服务架构
基于'做中学'的儿童发展数据库的研究与实现
本课题将运用现代信息技术和生物医学工程手段为'做中学'科学教育实验项目构建一个基于个性化教育和学习过程的多媒体数据库.内容涵盖中国儿童(5-12岁)的科学概念建立和完善,探究能力和社会情绪能力发展的各种数据.该数据库建成...
周宇杨元魁周建中
关键词：科学教育教育质量
文献传递
全选 清除 导出
共1页<1>
聚类工具0