期刊文献+
共找到153篇文章
< 1 2 8 >
每页显示 20 50 100
Context-aware BPEL workflow system using aspect-oriented programming
1
作者 Minsuk Kim Donggyu Kuak +1 位作者 Jongsun Choi Jaeyoung Choi 《Journal of Measurement Science and Instrumentation》 CAS 2012年第2期119-122,共4页
Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the contex... Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services. 展开更多
关键词 aspect-oriented programming(AOP) business process execution language(BPEL) context-aware workflow
下载PDF
An Embedded Software Modeling and Process by Using Aspect-Oriented Approach
2
作者 Yong-Yi FanJiang Jong-Yih Kuo Shang-Pin Ma 《Journal of Software Engineering and Applications》 2011年第2期106-122,共17页
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving ... In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach. 展开更多
关键词 Platform-Based Design aspect-oriented UNIFIED MODELING LANGUAGE EMBEDDED SOFTWARE
下载PDF
Towards Semantic Mutation Testing of Aspect-Oriented Programs
3
作者 Abdul Azim Abdul Ghani 《Journal of Software Engineering and Applications》 2013年第10期5-13,共9页
Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented progra... Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs. 展开更多
关键词 aspect-oriented PROGRAM TESTING MUTATION TESTING SEMANTIC MUTATION TESTING
下载PDF
UML statecharts的测试用例生成方法 被引量:26
4
作者 李留英 王戟 齐治昌 《计算机研究与发展》 EI CSCD 北大核心 2001年第6期691-697,共7页
测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 ... 测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 。 展开更多
关键词 测试用例产生 软件测试 面向对象 软件开发 UML statechartS
下载PDF
基于UML Statecharts的测试用例生成 被引量:8
5
作者 缪淮扣 占学德 刘玲 《小型微型计算机系统》 CSCD 北大核心 2005年第4期662-666,共5页
直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测... 直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法. 展开更多
关键词 UML statechartS FREE模型 基于规格说明的测试
下载PDF
UML Statecharts的切片模型检验方法 被引量:4
6
作者 董威 王戟 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2083-2089,共7页
统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化... 统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题. 展开更多
关键词 UML statechartS 切片 模型检验 统一建模语言
下载PDF
UML Statechart图的操作语义 被引量:22
7
作者 李留英 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2001年第12期1864-1873,共10页
面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代... 面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 . 展开更多
关键词 操作语义 UML语言 statechart 软件测试 软件开发
下载PDF
Statecharts的组合语义与求精 被引量:4
8
作者 朱雪阳 唐稚松 《软件学报》 EI CSCD 北大核心 2006年第4期670-681,共12页
由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满足某些性质的问题... 由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满足某些性质的问题,却难以在其自身的框架下进行讨论.在这方面,形式化语言XYZ/E可与其互补.XYZ/E是一种可执行线性时序逻辑语言,既可表示系统的性质,又可表示系统的行为.递归地在基本迁移系统上解释Statecharts语义,用XYZ/E公式表示它的时序语义.这一语义是模块级可组合的.求精过程的语义保持,可直接从语义定义得到保证.Statecharts所描述的系统行为模型和性质在同一个逻辑中表示,因此,系统行为是否满足所需性质的问题可由逻辑蕴涵式表示. 展开更多
关键词 statechartS 时序逻辑 XYZ/E 形式语义 组合 求精
下载PDF
基于EHA模型检验Statecharts 被引量:2
9
作者 钱俊彦 古天龙 赵岭忠 《计算机工程》 EI CAS CSCD 北大核心 2006年第3期19-21,共3页
模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EHA模型检验Statecharts的方法,首先把Statecharts转换为EHA,... 模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EHA模型检验Statecharts的方法,首先把Statecharts转换为EHA,通过其操作语义得到Büchi自动机,然后与LTL公式所得的Büchi自动机相乘,最后检查该乘积自动机所能接受的语言是否为空,来判断是否满足所期望的性质。 展开更多
关键词 模型检验 statechartS EHA 操作语义
下载PDF
Statecharts的形式化验证研究 被引量:1
10
作者 钱俊彦 古天龙 赵岭忠 《计算机工程》 EI CAS CSCD 北大核心 2005年第18期19-21,24,共4页
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来... 给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证。 展开更多
关键词 statechartS 抽象语法 操作语义 一步
下载PDF
UMLStatecharts的模型检验方法 被引量:40
11
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 UMLstatecharts 模型检验方法 软件开发 统一建模语言
下载PDF
时间UML-Statecharts建模的工作流时序约束的一致性验证 被引量:1
12
作者 张广泉 陆公正 戎玫 《计算机科学》 CSCD 北大核心 2006年第11期98-101,共4页
工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运... 工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。 展开更多
关键词 工作流 UML—statecharts 模型检测 时序约束 一致性
下载PDF
基于UML Statechart语义的测试序列生成方法 被引量:2
13
作者 缪力 张大方 《计算机工程与科学》 CSCD 2005年第4期3-5,共3页
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转... UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。 展开更多
关键词 软件开发 软件测试 测试序列生成方法 UML statechart 语义模型
下载PDF
定义及验证UML Statechart图中的数据流语义 被引量:1
14
作者 陆公正 吴澜波 张广泉 《计算机工程与应用》 CSCD 北大核心 2009年第24期56-59,共4页
在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构... 在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。 展开更多
关键词 统一建模语言(UML) UML statechart 数据流语义 时序逻辑 验证 模型检测
下载PDF
基于Statecharts的面向方面软件设计与验证 被引量:1
15
作者 文欣秀 虞慧群 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第5期601-608,共8页
为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基... 为了及时解决由于关注点横切所产生的"代码交织"与"代码散布"问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义,使用线性时态逻辑描述系统的关键属性。最后通过一个案例证明了该设计方法的可行性。 展开更多
关键词 面向方面 statechart 线性时态逻辑 编织 模型检测
下载PDF
飞行器控制软件的Statechart原型及其验证 被引量:2
16
作者 杨忠 谭皓 +1 位作者 樊琼剑 沈春林 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第2期217-221,共5页
为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为对象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层... 为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为对象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块:主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。 展开更多
关键词 飞行器 控制软件 虚拟原型 离散状态图
下载PDF
Statecharts的抽象语法分析研究 被引量:1
17
作者 钱俊彦 《计算机工程》 CAS CSCD 北大核心 2004年第16期106-107,共2页
用抽象数据类型来描述Statecharts,希望隐藏语义表述上的细节,把一个图形化的语言转换为文本的方式来描述,并为Stacecharts语法分析奠定基础。
关键词 statechartS 抽象数据类型 语法
下载PDF
Statechart规格语言的语法分析研究 被引量:2
18
作者 钱俊彦 蔡国永 +1 位作者 古天龙 庞健雄 《桂林电子工业学院学报》 1999年第3期12-17,共6页
Statechart是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求。实际上, Statechart 满足层次的描述,包括高层和低层事件,更显著地是采用广播... Statechart是一种用以规约复杂反应式系统行为的可视化语言。它在一些方面上扩展了典型的状态转移图,保留甚至发挥了可视化要求。实际上, Statechart 满足层次的描述,包括高层和低层事件,更显著地是采用广播通信机制产生连锁反应而引起多层并发。通过对 Statechart语言进行了分析研究后给出了其形式化文法表示。在此基础上,讨论了 Statechart规格语言语法正确性分析的问题。 展开更多
关键词 有限状态机 statechart 形式化方法 可视化语言
下载PDF
一种新的Statechart模型验证方法 被引量:2
19
作者 陈丽娜 赵建民 《计算机科学》 CSCD 北大核心 2011年第2期144-147,165,共5页
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言... 在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开相应的部分状态空间并对其进行验证,验证过程是基于属性树转换并以step为单位,验证step的初始status和结束status是否满足对应属性树节点公式对其的属性约束,这样既能够迅速找出错误又能屏蔽step内部系统Statechart模型的状态变化,使得验证过程更简单快捷。为了说明属性状态图和基于其的验证算法是实用和易用的,通过一个例子说明了从模型设计到具体验证整个过程。 展开更多
关键词 状态图 模型检查 模型验证 时序逻辑 状态爆炸问题 形式化语义 反应系统
下载PDF
UML Statechart在嵌入式数控系统软件中的应用研究
20
作者 董伯麟 朱华炳 罗祖平 《组合机床与自动化加工技术》 北大核心 2012年第11期67-70,共4页
针对数控系统复杂行为的描述和控制,分析了采用有限状态机方法的利弊,提出了采用UMLStatechart的系统行为描述方法。应用该方法对一嵌入式数控系统的软件开发进行了尝试,给出了系统任务管理器对象的UML Statechart及其实现方式。结果表... 针对数控系统复杂行为的描述和控制,分析了采用有限状态机方法的利弊,提出了采用UMLStatechart的系统行为描述方法。应用该方法对一嵌入式数控系统的软件开发进行了尝试,给出了系统任务管理器对象的UML Statechart及其实现方式。结果表明,该方法有效地简化了行为描述,提高了行为描述的可读性,降低了数控系统软件的实现难度。 展开更多
关键词 UML statechart 嵌入式数控系统 行为表达
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部