戎玫
- 作品数：82 被引量：236H指数：9
- 供职机构：苏州大学更多>>
- 发文基金：江苏省高校自然科学研究项目国家自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信天文地球更多>>
- 网络协议形式化模型的分析与应用被引量：5
- 2005年
- 网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
- 张广泉黄正宝戎玫
- 关键词：网络协议时序逻辑
- 一种CPS建模的方法及装置
- 本发明公开了一种CPS建模的方法及装置，根据预设模型融合规则，将预先建立的基本网模型和方面网模型进行融合，得到CPS模型；其中，上述预设模型融合规则包括表征各个方面网模型间执行顺序的组合规则，以及基本网模型与方面网模型间...
- 张广泉戎玫宋相君宋振华
- 一个基于模型的诊断推理系统
- 戎玫沈一栋
- 关键词：故障诊断
- 一种面向复用的增量软件开发过程框架被引量：2
- 2006年
- 以复用思想指导软件开发是软件产业发展的趋势,而当前主要面向复用的软件开发方法没有考虑到我国软件企业以中小型为主的现状,缺乏针对性,使得复用在我国软件开发中应用不够广泛。在基于构件开发的基础上提出了一种面向复用的增量软件开发过程框架。该过程框架适于我国中小型软件企业,采用了以体系结构为指导的增量开发模式,涵盖了可复用资产的生产过程和利用可复用资产的软件开发过程。
- 张广泉戎玫陆明
- 关键词：软件复用
- 形式化与可视化相结合的软件体系结构描述方法研究被引量：13
- 2005年
- 软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。
- 戎玫张广泉
- 关键词：软件体系结构形式化方法逻辑理论电梯控制ADL
- 一种Web服务组合的建模与概率验证方法及装置
- 本发明公开了一种Web服务组合的建模及概率验证方法，包括：根据获取到的BPEL源码建立对应的WSC‑XTS模型；将所述WSC‑XTS模型转化为对应的CTMC模型；将所述CTMC模型及预设的属性规约输入到概率模型检测器中对...
- 张广泉沈兴勤戎玫
- 文献传递
- 一种基于场景的嵌入式软件设计方法
- 2010年
- UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT(Timed Sequence Diagram Template),用来建立嵌入式软件基于场景的需求规约模型。对消息传递自动机进行实时扩展,得到时间消息传递自动机TMPA(Timed Message Passing Automata),TMPA以自动机的形式刻画了所建立的需求规约模型,为在需求阶段验证所建立的模型是否满足用户需求奠定了基础。
- 戎玫
- 关键词：嵌入式软件
- UML 2.0的形式化语义研究被引量：10
- 2007年
- 由于UML2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证。基于此,在描述UML2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础。
- 张广泉戎玫黄正宝
- 关键词：线性时序逻辑形式化语义UML2.0顺序图XYZ/E
- 并发系统性质描述的一种形式化方法被引量：3
- 1998年
- 给出并发系统性质的一种形式化描述方法———时态逻辑方法，其时间模型是离散的和线性的。
- 张广泉戎玫
- 关键词：软件系统并发系统形式化方法时态逻辑安全性
- 基于稠密时间的实时系统模型检测的一个应用被引量：7
- 2005年
- 模型检测是一种用于并发系统性质验证的算法技术。实际生活中广泛应用的是带有时间约束的并发系统即实时系统,现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。这类系统通常用时间自动机来表示,而它们的性质则用时序逻辑公式表示。本文简要介绍了时间自动机和时序逻辑TCTL,并着重说明了如何进行基于稠密时间的实时系统的模型检测,最后给出了一个应用实例。
- 陆公正戎玫张广泉
- 关键词：实时系统时间自动机时序逻辑
