重庆市教育委员会科学技术研究项目(040803)
- 作品数：26 被引量：145H指数：8
- 相关作者：张广泉戎玫王友刘艳魏艳铭更多>>
- 相关机构：重庆师范大学苏州大学暨南大学更多>>
- 发文基金：重庆市教育委员会科学技术研究项目国家重点实验室开放基金重庆市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学天文地球机械工程更多>>
- 网络协议形式化模型的分析与应用被引量：5
- 2005年
- 网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
- 张广泉黄正宝戎玫
- 关键词：网络协议时序逻辑
- 基于XYZ/E的CA系统体系结构描述被引量：2
- 2005年
- XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见。本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例。
- 张广泉刘剑云黄正宝
- 关键词：XYZ/ECARA体系结构组件
- 形式化与可视化相结合的软件体系结构描述方法研究被引量：13
- 2005年
- 软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。
- 戎玫张广泉
- 关键词：软件体系结构形式化方法逻辑理论电梯控制ADL
- 基于SOA的中小型企业IT系统设计与实现被引量：7
- 2008年
- 从分布式计算环境中起源和发展起来的面向服务的软件体系结构(SOA)历经10余年,其研究逐渐趋热并走向广泛和深入。本文在以往研究的基础上,探讨中小型企业IT系统如何引入SOA的思想设计并实现。在信息化浪潮中,中小型企业的发展也需要IT基础支持。文章通过对中小型企业的研究与分析,提出一种符合中小型企业业务特点的,面向服务的分析与设计方法SOMAL。最后,给出一个基于SOA实现网上手机商城的例子。通过实践来验证SOA作为新型的体系结构是符合现实需求的,其研究也是具有积极意义的。
- 曹进明张广泉
- 关键词：SOA
- 基于UML景区管理系统建模被引量：2
- 2006年
- 以景区管理系统为开发背景,阐述了UML在建模中的应用。以Rose作为建模工具构建了景区管理系统的需求模型、动态行为模型、对象结构模型、部署模型。
- 王友
- 关键词：UML面向对象分析与设计
- XYZ/AE描述程序性质的探讨被引量：1
- 2007年
- 为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它能与可执行语言XYZ/EE结合,描绘程序中间程度的抽象性,具有很好的扩展性。文章从上述几方面探讨了XYZ/AE描述程序性质的能力。
- 左春华张广泉戎玫
- 关键词：XYZ/E
- UML2.0类图的一种形式化描述方法被引量：9
- 2007年
- UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规则,利用转换法实现了对UML2.0类图的XYZ/E形式化描述。
- 杨敬中张广泉戎玫
- 关键词：形式化描述XYZ/E
- 基于UML和Z的软件体系结构求精方法及其应用被引量：5
- 2006年
- 论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制。最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程。
- 祝义张广泉
- 关键词：UMLZ软件体系结构形式化方法
- UML在研究生成绩管理系统建模中的应用被引量：16
- 2007年
- 以研究生成绩管理系统的开发为背景,探讨了UML在该系统建模中的应用问题。在对系统进行需求分析的基础上,采用ROSE对系统进行需求模型、静态模型、动态模型及实现模型的建模。
- 肖岗张广泉
- B方法在家庭智能控制系统开发中的应用被引量：2
- 2006年
- 精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化方法以其精确的数学语义为基础,可以保证开发过程中的一致性和准确性,以B方法尤为突出,它可以适用于软件过程中的任一阶段。文章以家庭智能控制系统为例,介绍了B方法在软件开发过程中的应用。
- 王友张广泉
- 关键词：B方法抽象机形式规约软件设计
