蒋建民
- 作品数：13 被引量：15H指数：3
- 供职机构：福建师范大学更多>>
- 发文基金：国家自然科学基金福建省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 云计算中服务虚拟的形式依赖分析
- 2015年
- 建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
- 杨启帆吴亚洲蒋建民张仕
- 关键词：形式化
- 基于搜索的信息管理系统
- 传统的信息管理系统存在着查询效率低、维护困难等问题,往往是由于信息的存储结构设计不合理、过分追求减少数据冗余等原因造成的.
针对这些问题,研究了把搜索技术应用于信息管理系统设计与实现的方法.搜索技术的引入,不仅...
- 朱恒亮蒋建民肖颖
- 关键词：信息管理系统查询服务搜索技术
- 文献传递
- 基于搜索的信息管理系统
- 2009年
- 传统的信息管理系统存在着查询效率低、维护困难等问题,往往是由于信息的存储结构设计不合理、过分追求减少数据冗余等原因造成的。针对这些问题,研究了把搜索技术应用于信息管理系统设计与实现的方法。搜索技术的引入,不仅增强了信息管理系统的查询功能,而且提高了系统的可维护性,更适合设计大型的信息管理系统。
- 朱恒亮蒋建民肖颖
- 关键词：信息管理系统查询服务搜索技术索引
- 业务过程的自动配置与管理
- 2015年
- 一个可配置的业务过程模型可以通过配置来满足组织的特定要求。配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性。然而,很少有方法能够解决此问题。提出一种新方法,即先将可配置的过程模型自动分离成原子子过程模型,再由这些模型组合成需要的过程模型,该方法能保证得到的过程模型的正确性(该过程模型无异常行为问题)。与现有的方法相比,新方法与特定的语言无关,而且避免了独立处理配置活动,降低了计算复杂度。
- 吴亚洲杨启帆蒋建民张仕
- 关键词：原子
- 一种具有自动适配功能的Web服务集成系统
- 本发明涉及一种具有自动适配功能的Web服务集成系统。所述的Web服务集成系统，由服务访问服务器、映射关系库服务器和映射关系管理服务器三部分组成。其中，映射关系库服务器分别与服务访问服务器、映射关系管理服务器通过网络连接。...
- 张仕蒋建民龚平
- 文献传递
- UML活动图的一种逻辑语义被引量：4
- 2010年
- 为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.
- 林添荣蒋建民
- 关键词：UML活动图形式语义HOARE逻辑
- 对象之间连接器的设计与实现
- 面向对象的程序设计语言为对象之间传递消息提供了各种手段,但对象间的消息传递都是通过类之间的静态耦合实现,无法实现对象间的动态耦合。文中利用组件装配的思想来建立一种对象外部的连接器,并通过一个简单的例子实现。这种装配式的对...
- 肖颖蒋建民朱恒亮
- 关键词：连接器
- 文献传递
- 基于程序频谱的缺陷定位方法被引量：3
- 2019年
- 软件测试是生产可靠软件的重要保障,对测试所发现缺陷的解决可以分为缺陷定位和缺陷修改两个步骤[1],其中的缺陷定位是最耗时的.通常情况下,测试套件中成功执行的测试用例都占绝大多数,对基于程序频谱的缺陷定位方法,应该具备自主调节成功测试用例覆盖比重的能力,以提高方法的可用性.即,随着语句被成功测试用例覆盖的次数增多,该语句的覆盖次数对怀疑率的贡献度应逐渐减小,成功测试用例数的有效处理能提高缺陷定位方法的效果.基于此,本文提出EPStar(EP*)缺陷定位方法,该方法可以有效调整成功执行用例数的影响,以避免成功用例数量对缺陷定位效果的过度影响,从而提高缺陷定位的准确性,通过实验对比,说明了EP*方法比现有的几种缺陷定位方法具有更高的缺陷定位精度.
- 蔡蕊张仕张仕蒋建民
- 关键词：测试用例
- 一种高效的业务过程的合规性监控框架被引量：2
- 2017年
- 为了对业务过程的合规性进行监控,提出业务过程合规性监控框架bpCMon,包括合规性规则描述语言ECL和事件响应系统ERS。ECL建立在事件和事件关系模式上,能描述具有多业务视角的合规性规则。ERS是一个基于规则系统的监控器,包括规则系统和工作结构,工作结构中的索引能支持ERS监控器对事件的高效响应。使用真实医疗数据证实了bpCMon的实用性,通过与其他相关监控器的比较验证了ERS监控器的高效性。
- 龚平冯在文蒋建民
- 对象之间连接器的设计与实现
- 面向对象的程序设计语言为对象之间传递消息提供了各种手段,但对象问的消息传递都是通过类之间的静态耦合实现,无法实现对象间的动态耦合。文中利用组件装配的思想来建立一种对象外部的连接器,并通过一个简单的例子实现。这种装配式的对...
- 肖颖蒋建民朱恒亮
- 关键词：连接器程序设计语言可维护性
- 文献传递
