重庆市自然科学基金(2006BB2259)
- 作品数：13 被引量：37H指数：4
- 相关作者：张广泉戎玫杨敬中曹进明陈道喜更多>>
- 相关机构：苏州大学暨南大学重庆师范大学更多>>
- 发文基金：重庆市自然科学基金江苏省高校自然科学研究项目重庆市教育委员会科学技术研究项目更多>>
- 相关领域：自动化与计算机技术轻工技术与工程天文地球环境科学与工程更多>>
- SPS系统的一种精确语义描述
- 2008年
- 规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式。但是,它现有的语义描述不够精确。首先介绍了规约模式系统及其现有的语义,并用它描述了实例的性质,接着采用模型检测工具SPIN验证了该系统表达的性质,通过对比验证结果及现有语义,给出了系统精确的语义描述。
- 戎玫
- 关键词：形式化方法SPIN
- 基于rCOS的UML状态图语义研究被引量：1
- 2009年
- 统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
- 张晓蒙戎玫张广泉
- 关键词：统一建模语言状态图
- 主动数据仓库规则模型及其相关语法的研究被引量：1
- 2009年
- 主动数据库的简单规则形式不符合主动数据仓库(ADW)的决策特点,而基于ADW的分析规则在交互性、精确性、表达能力和扩展性等方面存在不足。根据ADW规则渐进分析分布决策的特点,结合ECA规则形式,定义了一种主动多维分析规则模型及相应语法(AMAR)作为ADW规则的表述和执行方式。AMAR不仅可以应对ADW规则的诸多挑战,还提供了对立方体、事件、规则、结果之间复杂对应关系的支持,同时具备了更好的可维护性和可执行性。
- 陈凌王辉张广泉
- 关键词：主动数据仓库ECA
- 基于SOA的中小型企业IT系统设计与实现被引量：7
- 2008年
- 从分布式计算环境中起源和发展起来的面向服务的软件体系结构(SOA)历经10余年,其研究逐渐趋热并走向广泛和深入。本文在以往研究的基础上,探讨中小型企业IT系统如何引入SOA的思想设计并实现。在信息化浪潮中,中小型企业的发展也需要IT基础支持。文章通过对中小型企业的研究与分析,提出一种符合中小型企业业务特点的,面向服务的分析与设计方法SOMAL。最后,给出一个基于SOA实现网上手机商城的例子。通过实践来验证SOA作为新型的体系结构是符合现实需求的,其研究也是具有积极意义的。
- 曹进明张广泉
- 关键词：SOA
- 实时系统动态行为模型的一种形式分析方法被引量：1
- 2009年
- 提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。
- 戎玫
- 关键词：实时系统统一建模语言UML
- NSPK协议的Spin模型检测被引量：5
- 2008年
- NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具Spin进行验证,进而生成入侵者的攻击序列.
- 陈道喜张广泉陈冬火
- 关键词：SPIN
- 基于构件的嵌入式实时软件建模与分析被引量：4
- 2008年
- 嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点。
- 张广泉林苗戎玫
- 关键词：嵌入式实时软件UML
- NSPK协议的Spin模型检测
- NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具Spin进行验证,进而生成入侵者的攻击序列.
- 陈道喜张广泉陈冬火
- 关键词：SPIN
- 文献传递
- 多维QoS在基于MOM的QoS管理模型中的应用被引量：2
- 2009年
- 服务质量QoS管理是满足分布式环境中端到端QoS需求的关键,而中间件是一种分布式系统中的主要交互平台。首先对中间件和QoS的相关概念进行介绍,在分析传统QoS管理模型的基础上,提出一种基于消息中间件(MOM)的QoS管理模型,重点分析多维QoS在该模型中的应用,最后结合一个实例说明多维QoS在实际系统中的应用。
- 李璐戎玫张广泉
- 关键词：中间件消息中间件多维QOS
- 面向方面的软件系统动态交互行为建模被引量：8
- 2007年
- 面向方面编程是一种基于关注点分离的新技术,它成功地解决了面向对象编程中存在的代码缠结和散射问题。但是,在软件设计阶段,面向方面建模并没有得到很好的支持。通过分析面向方面编程的特点以及UML2.0新增的复合片段概念,本文提出了应用顺序图中的可选片段来表示Aspect与组件之间的横切交互行为,并给出将Aspect引入顺序图的相关规定,实现了UML2.0顺序图对面向方面建模的支持。
- 杨敬中戎玫张广泉
- 关键词：面向方面建模UML2.0顺序图
