咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 6 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 1 篇 仪器科学与技术
    • 1 篇 网络空间安全
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 7 篇 良构性
  • 1 篇 良柄性
  • 1 篇 硬件实现
  • 1 篇 web服务
  • 1 篇 最简运行
  • 1 篇 schema验证
  • 1 篇 事务
  • 1 篇 wf—net
  • 1 篇 构件
  • 1 篇 接口自动机
  • 1 篇 用户可接受状态
  • 1 篇 xml解析
  • 1 篇 操作系统
  • 1 篇 事务工作流
  • 1 篇 ocap
  • 1 篇 事务流
  • 1 篇 操作语义
  • 1 篇 微内核
  • 1 篇 形式化
  • 1 篇 正确性

机构

  • 1 篇 华北电力大学
  • 1 篇 国防科技大学
  • 1 篇 南京大学
  • 1 篇 清华大学
  • 1 篇 上海交通大学
  • 1 篇 江南大学
  • 1 篇 中南大学

作者

  • 1 篇 姜新文
  • 1 篇 陈树根
  • 1 篇 欧阳松
  • 1 篇 刘强
  • 1 篇 阎玮
  • 1 篇 闫成洋
  • 1 篇 宋宝松
  • 1 篇 宋狄
  • 1 篇 谢俊
  • 1 篇 朱嘉钢
  • 1 篇 李雪
  • 1 篇 李康杰

语言

  • 7 篇 中文
检索条件"主题词=良构性"
共 7 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
接口自动机的良构性检测算法及其实现
收藏
分享
引用
计算机应用 2017年 第2期37卷 574-580页
作者： 李雪 朱嘉钢 江南大学物联网工程学院 江苏无锡214122
针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题,提出一种基于接口自动机(IA)来分析和检测构件良构性(well-formedness)的算法,并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图;其... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
ITWM事务工作流模型研究
收藏
分享
引用
南京大学学报（自然科学版） 2005年 第z1期41卷 509-515页
作者： 闫成洋 刘强 清华大学 软件学院北京100084 清华大学软件学院北京100084
事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
Web服务事务模型的形式化建模
收藏
分享
引用
计算机应用 2006年 第S2期26卷 239-241页
作者： 陈树根 姜新文 宋狄 国防科技大学计算机学院 湖南长沙410073
为了解决分布式环境中Web服务的可靠性和一致性问题,给出了可靠的Web服务事务模型及其形式化描述。提出了Web服务事务模型的一种基于一阶逻辑的满足事务可靠性和一致性要求的建模方法,并且以用户可接受状态作为准确性判断标准,对建模方... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于.Net的分布式事务处理的研究与应用
基于.Net的分布式事务处理的研究与应用
收藏
分享
引用
作者： 宋宝松 华北电力大学（北京）
学位级别：硕士
随着信息化的发展,人力资源管理已成为企业发展中举足轻重的原动力,人力资源管理已成为企业间竞争的主要支撑力。进行人力资源系统的开发,必然涉及到其中复杂的工作流程,保证用户数据的一致性与完整性。 本文主要讨论了分布式事务中,事... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
XML解析技术研究及其实现
XML解析技术研究及其实现
收藏
分享
引用
作者： 阎玮 上海交通大学
学位级别：硕士
经过十多年的发展,XML已经成为最受欢迎的Web数据存储和交换标准。XML占网络流量的比重迅速增长,与此同时也给企业网络、处理器和存储结构带来了很大的负载压力。传统的基于软件的XML处理方法已经越来越难满足网络发展的需求,随着更多We... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
VTOS形式化验证框架与VTOS消息模块的验证
VTOS形式化验证框架与VTOS消息模块的验证
收藏
分享
引用
作者： 李康杰 南京大学
学位级别：硕士
作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确定性。形式化方法是目前被认可的可以保证系统软件的可靠性、... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
WF-net工作流过程模型的合理性研究
收藏
分享
引用
电脑与信息技术 2006年 第1期14卷 9-13页
作者： 谢俊 欧阳松 中南大学信息科学与工程学院 湖南长沙410083
文章介绍了一种工作流建模工具——WF-net,并着重讨论了WF-net工作流过程模型的一个基本特性,即合理性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件