位置：成果数据库 > 期刊 > 期刊详情页
基于场景规约的系统行为建模
  • ISSN号：0255-8297
  • 期刊名称：应用科学学报
  • 时间：0
  • 页码：526-529
  • 语言：中文
  • 分类：O212.7[理学—概率论与数理统计;理学—数学]
  • 作者机构：[1]上海大学计算机工程与科学学院,上海200072
  • 相关基金：基金项目：国家“973”重点基础研究发展计划基金（No.2007CB310800）：国家自然科学基金（No.60673115）;国家“863”高技术研究发展计划基金（No.2007AA012144）;上海市教委科研项目基金（No.07ZZ06）;上海市重点学科建设项目基金（No.J50103）资助
  • 相关项目：基于规格说明的Web应用测试方法研究
作者： 陈中育|缪淮扣|
关键词： 消息序列图, 场景规约, 构件行为, 商自动机, message sequence chart, scenario-based specifications, component behavioral, quotient automaton
中文摘要：

提出一种基于场景规约的系统行为建模方法．采用消息序列图描述场景，把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示，通过场景正样本构造前缀树接受器．此前缀树接受器是一个能接受正样本的最大确定有限自动机，通过合并状态得到商自动机，给出一个状态合并算法．该算法支持交互式增量的场景产生．

英文摘要：

We propose to adopt semi-formal graphic language-message sequence charts to describe scenarios, regard events sequence of message transferring between use cases as an explicit scenario, and give its semantic. The main idea of this approach is to construct a prefix tree with positive scenario samples, which is a deterministic finite state automaton （DFA） accepting these positive scenario samples. A state combination algorithm that can get quotient automation is given.

同期刊论文项目
基于规格说明的Web应用测试方法研究
期刊论文 39 会议论文 32
　需求工程—对复杂系统的软件工程的基础研究
期刊论文 40
同项目期刊论文
DNA分子计算与DNA计算机的研究进展
Applying SMV for security protocol verification
A formal framework for WS-CDL based on process algebra
UML模型到FSM模型的转换
基于角色的设计模式形式建模及演化
一种用于模型验证的Web应用模型抽取方法
Towards common acquaintance immunization strategy for complex network
Web应用功能交互的建模与测试用例生成
Uppaal到PVS的时间自动机翻译器
基于场景的形式化测试模型生成方法研究
Web 应用自动化测试的研究
基于规格说明的若干逻辑覆盖测试准则
构件式系统的建模与验证
构件组合的抽象精化验证
Web应用程序建模和测试用例生成方法
基于ORD和FSM的Web应用的建模与测试
从集合表达式产生测试数据的方法
基于复杂网络面向对象集成测试的研究
Towards Automatic Transformation from UML Model to FSM Model for Web Application
Multiple UIO-based test sequence generation for distributed systems
面向用户会话的Web应用测试用例生成及其优化
Automatic Generating Test Cases for Testing Web applications
Web应用的UML协作图建模与形式化规格说明
基于MDA的模糊本体生成方法
UML状态图测试充分性准则的公理化评估
一种验证Web应用设计的方法
一种基于功能构件的Web应用建模与测试方法
一种基于Object-Z规格说明的集成测试用例生成方法
一种基于Web软件集成测试的建模方法
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于接口自动机的Web应用验证
Web应用自动化测试的研究
形式概念分析在Web应用测试用例选取中的应用
反例引导的模型检验工具的设计
移动Ad Hoc网络网格路由协议研究进展
Timed automata for metric interval temporal logic formulae in prototype verification system
基于LSC模型检验的性质抽取
一种用于模型验证的Web应用模型抽取方法
基于FSM的测试理论、方法及评估
基于模型的Web应用测试
确定性有限状态机的最小测试成本迁移覆盖准则
基于维基百科的语义知识库及其构建方法研究
软件网络的多粒度拓扑特性分析及其应用
一种基于拓扑势的网络社区发现方法
网络时代的人工智能
软件结构属性分析与恶意软件检测
A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems
Novel encryption model for multimedia data
Web应用功能交互的建模与测试用例生成
基于规格说明的若干逻辑覆盖测试准则
构件组合的抽象精化验证
Automatic Generating Test Cases for Testing Web applications
一种面向语义Web服务的软件设计语言和设计方法
一种基于签名和属性的可执行文件比较
网络化软件的复杂网络特性实证
Steady state speed distribution analysis for a combined cellular automaton traffic model
Object-Z规格说明测试用例的自动生成器
基于UML的Web应用建模与测试方法
构件式实时系统建模与验证研究
图形转换的构件组装框架唯一性研究
基于复杂网络社团划分的Web services聚类
一种基于语义消息的Web服务组合方法
一种基于Spring的轻量级面向服务组件框架
一种体系结构层方面组合的冲突处理方法
基于层次赋时CPN的网络系统建模与可生存性优化
一种支持设计时软件重用的方法ArchBean
基于小波变换的真菌隐球酵母菌图像参数压缩
复杂软件第三方自适应测试研究
非一致OWL本体的推理方法研究
Classification evolution algorithm based on cloud model
A Method for Trust Management in Cloud Computing： Data Coloring by Cloud Watermarking
Generating test case specifications of web service composition using model checking
战场关键事件提取技术研究
需求工程——对复杂系统的软件工程的基础研究
提高程序代码通用性和易维护性问题的研究
期刊信息
  • 《应用科学学报》
  • 中国科技核心期刊
  • 主管单位:上海市教育委员会
  • 主办单位:上海大学 中国科学院上海技术物理研究所
  • 主编：王延云
  • 地址：上海市上大路99号123信箱
  • 邮编：200444
  • 邮箱：yykxxb@departmenl.shu.edu.cn
  • 电话：021-66131736
  • 国际标准刊号：ISSN：0255-8297
  • 国内统一刊号：ISSN：31-1404/N
  • 邮发代号:4-821
  • 获奖情况:
  • 首届中国高校优秀科技期刊,第2届中国高校优秀科技期刊奖,全国高校优秀科技期刊,中国科技期刊方阵双效期刊,上海市优秀科技期刊,首届《CAJ-CD》执行优秀期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,荷兰文摘与引文数据库,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:4747