李景峰
- 作品数:10 被引量:75H指数:5
- 供职机构:西安电子科技大学计算机学院软件工程研究所更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于可重用构件的软件开发模型
- 该文首先讨论了软件构件(简称构件)的概念,给出了构件的两种描述方法:语法描述和用扩充的UML描述,以及构造构件的原则.然后从提高构件的抽象层次和可重用性的角度出发,提出了一种新的可重用构件模型--类属构件,并对其性质和参...
- 李景峰
- 关键词:软件体系结构体系结构软件开发模型
- 文献传递
- 基于Z规范的统一建模语言序列图语义分析方法被引量:8
- 2003年
- 针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法.该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过检查上下文约束与对象状态间的一致性对序列图进行语义分析.通过一个应用实例说明了该方法的有效性.
- 李景峰陈平
- 关键词:Z规范统一建模语言序列图语义分析UML
- UML序列图的Z形式规范被引量:15
- 2002年
- 用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.
- 李景峰李琰陈平
- 关键词:UML序列图统一建模语言形式化Z语言
- 互联网软件工程的概念及关键问题被引量:2
- 2001年
- 1.引言
随着Web和Web技术的发展,互联网应用系统变得日益广泛.同时,其规模越来越大,结构变得越来越复杂.此外,对互联网应用系统的动态性、灵活性和易维护性的需求也使得其设计、开发和维护变得越来越困难.
- 李景峰李琰陈平
- 关键词:互联网软件工程WWWWEB
- 基于上下文约束的UML序列图语义分析方法被引量:3
- 2003年
- 统一建模语言 (UML)半形式化的特征使得难以对复杂系统的模型进行严格的语义分析和正确性验证。提出了一种对UML序列图进行语义分析的方法。它以序列图的事件序语义为基础 ,用消息序列表示序列图 ,并将其具体上下文表示为对消息序列的语义约束 ,通过上下文约束与系统状态间的一致性检查对序列图进行语义分析。最后通过一个实例说明了该方法的有效性和实用性。
- 李景峰李琰陈平
- 关键词:统一建模语言序列图语义分析
- 基于事件序的UML序列图语义规范被引量:4
- 2002年
- UML缺乏准确的语义 ,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对 UML序列图 ,给出了形式定义、基于事件序的语义规范及其消息间关系 ;并定义了基本序列图 ,证明其具有全序的消息关系的性质 ,为序列图的语义分析与验证提供了基础。
- 李景峰李琰陈平
- 关键词:UML统一建模语言序列图语义分析动态模型
- UML顺序图的形式化描述被引量:8
- 2002年
- 1引言
统一建模语言UML(Unified Modeling Language)[6]是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模.然而,UML却是半形式化的--其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的[4,5].由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性[1,2].
- 李景峰李琰陈平
- 关键词:UML语言统一建模语言顺序图形式化描述
- 一种新的互联网应用体系结构被引量:2
- 2001年
- 1 引言
Internet, Intranet,Extranet和WWW的发展已经对工业、商业、金融业、娱乐业、教育、政府部门以及我们个人的工作和生活产生了巨大的影响.现在许多原有的信息系统和数据库系统正在被移植到Internet和互联网环境中,一些新的复杂的分布式系统也出现在Web环境中,互联网应用系统变得日益广泛.同时,互联网应用系统的复杂性也随之增加.从简单的用于信息发布的网站到基于互联网的大型企业的管理系统、电子商务系统,互联网应用系统的规模越来越大,结构变得越来越复杂[1].这样,现有的互联网应用体系结构已不能适应复杂的互联网应用系统.
- 李景峰李琰陈平
- 关键词:互联网应用系统体系结构WWW
- 一种可重用构件模型——类属构件被引量:11
- 1999年
- 软件重用是在开发一个新的应用系统时,重复使用以前在别的应用系统开发活动中所建立和使用过的软件资源。这些软件资源不仅包括源代码,还包括软件开发方法、需求规格说明、设计结构、开发工具与支撑环境、测试分析数据和维护信息等。软件重用技术有助于提高软件开发的生产率,提高软件系统的可靠性。降低软件开发的成本.因而它已成为软件工程的重要研究课题。
- 李景峰刘西洋陈平
- 关键词:软件开发
- 一种特定领域软件开发模型被引量:27
- 2000年
- 实际的应用系统都有其领域背景 ,而领域工程是对同一领域内系统的特性进行分析、归纳的软件过程 .将领域工程与应用工程相结合 ,给出了一种特定领域软件开发模型———双工程模型 ,并说明了特定领域软件体系结构和可重用构件的演化过程 .一个系统的开发实践说明 。
- 李景峰李琰陈平
- 关键词:软件工程软件开发模型程序设计