刘小丽
- 作品数：6 被引量：5H指数：1
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 多视点中不一致性的处理:一种基于认知逻辑的方法
- 2006年
- 衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源。不一致性是多视点需求工程中一个必须解决的问题。本文提出了基于问题域的多视点需求建模框架,并利用认知逻辑对该框架进行解释和推理,希望可以用形式化的方法来发现和解决存在于不同视点间的不一致性。
- 江敏毋国庆刘小丽
- 关键词：多视点公共知识认知逻辑
- 从时序图描述推导目标描述的方法研究被引量：1
- 2007年
- 面向场景的需求建模方法自面世以来,在需求分析过程中被越来越广泛的使用.但是面向场景的需求分析方法在保证需求的一致性和完整性上存在着很大的困难.面向目标的需求分析方法,以目标需求为研究内容,目前已经成功的解决了需求完整性和一致性的判定问题.本文希望将场景描述转化为目标描述,然后通过保证目标的完整性和一致性来保证场景描述的完整性和一致性.因此,本文从场景的时序图描述出发,通过时序图的语义描述提出了一种时序图向操作目标集合的推导方法,并提供了判定推导等价的判定定理.
- 李勇华毋国庆刘小丽张帆
- 关键词：时序图
- 用UML进行面向服务的软件开发
- ＜正＞1 引言软件开发经历了从传统的程序设计到面向对象的开发,再到面向组件的开发,软件发展正在沿着重用化这一方向发展。软件重用能够降低软件的生产成本,提高软件的开发效率和质量。软件重用是指
- 刘小丽毋国庆李勇华张帆杨敏
- 关键词：SERVICE-ORIENTEDDEVELOPMENTUML
- 文献传递
- 一种通过量化分析实现非功能需求的方法被引量：3
- 2006年
- 提供了一种面向过程非功能需求处理方法,通过量化需求领域信息实现;对非功能需求目标进行分析得到目标优化树,在目标优化树中加入领域信息产生设计分析图,然后对图中领域信息结点进行量化赋以特定的量值,权衡各量值来选择合适的解决方案,还提供了简便的方法来支持系统升级。
- 刘小丽毋国庆江敏
- 关键词：非功能需求领域信息
- 集成安全策略到系统建模:一个实例
- 2008年
- 安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤。同时,形式化开发方法也是高可信、高安全的系统开发所必需的。因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模、编码当中,是一项有意义的工作。结合一个实际的安全启动系统,利用B方法把Biba模型集成到了系统建模当中。
- 张帆毋国庆刘小丽喻超
- 关键词：B方法形式化开发
- CLOSET^+:基于CLOSET的改进算法被引量：1
- 2006年
- 分析了用各种不同的方法挖掘频繁闭合模式的优缺点,以及在什么时候该采取什么样的策略以取得较好的表现。提出了一个CLOSET+算法,该算法不仅综合了其他算法的优点,而且还提出了新的思想和算法。
- 杨敏朱福喜刘小丽余永宏
- 关键词：关联规则FP-TREE
