1) UML behavior diagrams
UML行为图
3) UML statechart
UML状态图
1.
Research and Implementation of the Protocol Conformance Testing System for Routing Protocol OSPF Based on UML Statechart;
基于UML状态图OSPF路由协议一致性测试系统研究与实现
2.
To solve these problems,an approach is given to the UML Statechart be time-extended,and an approach is proposed to formalize the time-extended UML statechart with "executable UML".
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。
3.
To achieve the merit of two graphics tools,a method is proposed to transform the UML statechart to the EFSM.
将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
4) UML class diagram
UML类图
1.
Consistency checking of UML class diagram based on description logics
基于描述逻辑的UML类图一致性检测
2.
A conversion approach from UML class diagram to OWL ontology was briefly introduced.
介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术。
3.
This paper presents the rules of transforming XML Schema to UML class diagram, which is valuable to the graphic modeling for the XML schema.
提出了一套从XML模式到UML类图的转换规则,以便于对XML模式进行快速的图形化建模,从而有利于用户对XML模式的理解。
5) UML state diagrams
UML状态图
1.
By transforming UML state diagrams into extended finite state machines (EFSMs), an algorithm is presented to eliminate the infeasible paths in these EFSMs.
通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。
6) UML activity diagram
UML活动图
1.
Research on automatic generating test case method based on UML activity diagram;
基于UML活动图的测试用例自动生成方法研究
2.
Design of Test Case Based on UML Activity Diagram
基于UML活动图模型的测试用例设计
3.
An approach for generating test case from UML activity diagrams based on genetic algorithm
遗传算法在基于UML活动图生成测试用例中的应用
补充资料:《行为的原理:行为理论导论》
C.赫尔著。纽约阿普尔顿世纪克罗夫茨公司1943年第一版。这是一部阐述赫尔的假设-演绎理论体系的代表性专著。本书共20章。第 1章讲科学理论的性质。以后各章依次为:一种客观的行为理论、刺激的接受和有机体的生存、行动及其协调的生物学问题、在需要条件下内部行为的特征、基本强化、次级强化、习惯强度与各种强化内素的关系等。最后一章是总结和结论。书后还附有本书使用的各种概念符号的说明。
作者在书中提出了一种客观的行为理论体系。他认为这个理论体系应该:①能够解释已往积累的大量经验资料;②能够从相对少量的公设(本书列举了16条公设)中推导出许多定理;③能够采用具体明确的经验性的试验来加以证明;④能够用新的证据、经验证明和进一步的思辨对这个理论体系加以修订;⑤能够用数学公式对这个理论体系中的任何一个目标加以数量化的表述。作者认为,心理学应研究人类的整体性行为。这种行为包含着有机体与环境之间紧密的相互作用;它具有生物的适应性;行为的中介变量具有重要的作用,但应该用操作性的定义加以确定。在方法论上,作者严格遵守机械主义的、还原主义的和行为主义的客观原则,反对给予所观察的行为以任何主观的解释。赫尔在书中还主张严格遵守一种假设-演绎的方法。这种方法就是根据一系列事先确定的公式进行严格的演绎。它包括建立公设,并由此演绎出可以用实验检验的结论;然后再把这些结论用实验加以实际检验,修正错误的结果,经过证实再把它们纳入科学体系之中。本书所提出的学习理论是西方带有权威性的学习理论之一。它可以大体归为下列各点:①学习是刺激和反应之间的一种联结。这个联结称为习惯强度,以符号SHR表示。H为习惯;S和R分别表示有关的刺激和反应。②学习的必要条件是强化;强化兼指E.L.桑代克的强化和И.Π.巴甫洛夫的强化;强化的效果在于减少当时起作用的内驱力(D)的强度。③SHR作为一种强化作用的函数,其强度随强化而逐渐增加,而且代表一种行为的相对持久的改变。④习惯强度只有在驱力状态下才能被激起,驱力激起有效的习惯强度,使之成为反应势能(SER),反应势能是一种使反应被激起的可能性,相当于作业。赫尔认为,反应势能的量是内驱力和习惯强度的递增函数。可以用下列简明公式表示:SER=D×SHR。表示一个人在特定时刻的作业是由他的内驱力和习惯强度的积决定的。
作者在书中提出了一种客观的行为理论体系。他认为这个理论体系应该:①能够解释已往积累的大量经验资料;②能够从相对少量的公设(本书列举了16条公设)中推导出许多定理;③能够采用具体明确的经验性的试验来加以证明;④能够用新的证据、经验证明和进一步的思辨对这个理论体系加以修订;⑤能够用数学公式对这个理论体系中的任何一个目标加以数量化的表述。作者认为,心理学应研究人类的整体性行为。这种行为包含着有机体与环境之间紧密的相互作用;它具有生物的适应性;行为的中介变量具有重要的作用,但应该用操作性的定义加以确定。在方法论上,作者严格遵守机械主义的、还原主义的和行为主义的客观原则,反对给予所观察的行为以任何主观的解释。赫尔在书中还主张严格遵守一种假设-演绎的方法。这种方法就是根据一系列事先确定的公式进行严格的演绎。它包括建立公设,并由此演绎出可以用实验检验的结论;然后再把这些结论用实验加以实际检验,修正错误的结果,经过证实再把它们纳入科学体系之中。本书所提出的学习理论是西方带有权威性的学习理论之一。它可以大体归为下列各点:①学习是刺激和反应之间的一种联结。这个联结称为习惯强度,以符号SHR表示。H为习惯;S和R分别表示有关的刺激和反应。②学习的必要条件是强化;强化兼指E.L.桑代克的强化和И.Π.巴甫洛夫的强化;强化的效果在于减少当时起作用的内驱力(D)的强度。③SHR作为一种强化作用的函数,其强度随强化而逐渐增加,而且代表一种行为的相对持久的改变。④习惯强度只有在驱力状态下才能被激起,驱力激起有效的习惯强度,使之成为反应势能(SER),反应势能是一种使反应被激起的可能性,相当于作业。赫尔认为,反应势能的量是内驱力和习惯强度的递增函数。可以用下列简明公式表示:SER=D×SHR。表示一个人在特定时刻的作业是由他的内驱力和习惯强度的积决定的。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条