蒋建民
- 作品数：13 被引量：16H指数：3
- 供职机构：福建师范大学更多>>
- 发文基金：国家自然科学基金福建省自然科学基金福建省教育厅资助项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 云计算中服务虚拟的形式依赖分析
- 2015年
- 建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
- 杨启帆吴亚洲蒋建民张仕
- 关键词：形式化
- 基于搜索的信息管理系统
- 传统的信息管理系统存在着查询效率低、维护困难等问题,往往是由于信息的存储结构设计不合理、过分追求减少数据冗余等原因造成的.
针对这些问题,研究了把搜索技术应用于信息管理系统设计与实现的方法.搜索技术的引入,不仅...
- 朱恒亮蒋建民肖颖
- 关键词：信息管理系统查询服务搜索技术
- 文献传递
- 基于搜索的信息管理系统
- 2009年
- 传统的信息管理系统存在着查询效率低、维护困难等问题,往往是由于信息的存储结构设计不合理、过分追求减少数据冗余等原因造成的。针对这些问题,研究了把搜索技术应用于信息管理系统设计与实现的方法。搜索技术的引入,不仅增强了信息管理系统的查询功能,而且提高了系统的可维护性,更适合设计大型的信息管理系统。
- 朱恒亮蒋建民肖颖
- 关键词：信息管理系统查询服务搜索技术索引
- 业务过程的自动配置与管理
- 2015年
- 一个可配置的业务过程模型可以通过配置来满足组织的特定要求。配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性。然而,很少有方法能够解决此问题。提出一种新方法,即先将可配置的过程模型自动分离成原子子过程模型,再由这些模型组合成需要的过程模型,该方法能保证得到的过程模型的正确性(该过程模型无异常行为问题)。与现有的方法相比,新方法与特定的语言无关,而且避免了独立处理配置活动,降低了计算复杂度。
- 吴亚洲杨启帆蒋建民张仕
- 关键词：原子
- 一种具有自动适配功能的Web服务集成系统
- 本发明涉及一种具有自动适配功能的Web服务集成系统。所述的Web服务集成系统，由服务访问服务器、映射关系库服务器和映射关系管理服务器三部分组成。其中，映射关系库服务器分别与服务访问服务器、映射关系管理服务器通过网络连接。...
- 张仕蒋建民龚平
- 文献传递
- 对象之间连接器的设计与实现
- 面向对象的程序设计语言为对象之间传递消息提供了各种手段,但对象间的消息传递都是通过类之间的静态耦合实现,无法实现对象间的动态耦合。文中利用组件装配的思想来建立一种对象外部的连接器,并通过一个简单的例子实现。这种装配式的对...
- 肖颖蒋建民朱恒亮
- 关键词：连接器
- 文献传递
- 一种高效的业务过程的合规性监控框架被引量：3
- 2017年
- 为了对业务过程的合规性进行监控,提出业务过程合规性监控框架bpCMon,包括合规性规则描述语言ECL和事件响应系统ERS。ECL建立在事件和事件关系模式上,能描述具有多业务视角的合规性规则。ERS是一个基于规则系统的监控器,包括规则系统和工作结构,工作结构中的索引能支持ERS监控器对事件的高效响应。使用真实医疗数据证实了bpCMon的实用性,通过与其他相关监控器的比较验证了ERS监控器的高效性。
- 龚平冯在文蒋建民
- 对象之间连接器的设计与实现
- 面向对象的程序设计语言为对象之间传递消息提供了各种手段,但对象问的消息传递都是通过类之间的静态耦合实现,无法实现对象间的动态耦合。文中利用组件装配的思想来建立一种对象外部的连接器,并通过一个简单的例子实现。这种装配式的对...
- 肖颖蒋建民朱恒亮
- 关键词：连接器程序设计语言可维护性
- 文献传递
- 面向对象的需求规格说明文档研究被引量：4
- 2020年
- 需求分析是软件开发过程中最重要的阶段,包括需求获取、分析、验证、需求规格说明等部分,其中需求规格说明是需求获取、分析、验证最终得到的结果描述,也是需求工程师、用户及系统设计师分析与理解软件系统的文档。统一建模语言(UML)是面向对象的标准建模语言,可利用其对系统进行需求分析。由于许多软件工程师和研究者对该语言有不同认识,导致采用UML建模的需求规格说明文档存在不同结构和内容,从而使相互交流变得困难。为避免该问题出现,提出面向对象的需求规格说明文档结构应遵从问题分析的逻辑性,并给出具体分析步骤及文档模板,解释了该模板中的每部分内容。最后利用提出的方法,以物流系统项目为例,详细说明了物流软件需求规格文档结构。
- 陈杨杨蒋建民
- 关键词：面向对象需求规格说明文档模板UML软件工程
- UML活动图的一种逻辑语义被引量：4
- 2010年
- 为使UML活动图在软件过程中精确地建模系统,必须给出它的形式语义.首先将UML活动图形式化为一个关系结构,其次用Hoare逻辑给出了它的语义表示,最后讨论了该语义的若干性质,并用一个实例来说明.
- 林添荣蒋建民
- 关键词：UML活动图形式语义HOARE逻辑
