The invention discloses a method of transforming node information in adaptive sequence diagram into global parameter declaration in UPPALL based on adaptive sequence diagram, transforming object into process in UPPALL, transforming Local into private parameter declaration of template, transforming state start s into position T in template, and setting the value of migration FL_T as updated attribute value of state S. Set the constraints of migrating FL_T as the combination fragment constraints of state S and the state constraints between state S and source state FS; if the source state FS has the message to send or receive, set the channel message of migrating FL_T! Or message? If the state S is not over state, the source state FS is set as state S, and the source position FL is set as position T, traversing all nodes and all objects in the sequence diagram. It improves the efficiency of modeling, reliability and the development efficiency of adaptive software.
【技术实现步骤摘要】
一种基于自适应序列图转换为时间自动机的方法
本专利技术是对自适应序列图模型提出的一种自动转换算法,旨在使得该技术处理后的自适应软件模型能够通过UPPAAL验证自适应软件的可靠性。
技术介绍
随着计算机技术的不断发展,软件的规模和复杂性不断增加,希望软件系统具有多功能、可靠性等诸多特点,这些给软件开发、维护方面带来极大的困难。因此,提出了软件自适应技术,以应对环境和用户需求变化的自适应能力,使得软件在运行过程中实时获取上下文信息,并根据预定好的方案对自身进行调整,便以应对需求变化的影响。具有这种自适应调整能力的软件称为自适应软件。为了提高自适应软件开发的效率以及模型的可靠性,国内外学者都做了大量研究,杨启亮等人改进了IBM提出的MAPE-K自治计算模型,提出了MV4SAS模型,并将可视化的UML序列图模型与状态图进行有机结合,提出了用以描述自适应软件的自适应序列图模型。
技术实现思路
本专利技术针对现有技术的不足,提出了一种基于自适应序列图的转换时间自动机方法。步骤一:将自适应序列图的Note信息转换为UPPAAL中的全局参数声明;若Note节点中存在整型变量,则在UPPAAL相应声明一个整型变量;若Note中存在时钟变量,则在UPPAAL相应声明一个时钟变量;若Note中存在不变量,则在UPPAAL中相应声明一个不变量。步骤二:将对象ObjectLifeline转换为UPPAAL中的进程,在UPPAAL中声明一个模板取名为ID,在模型声明system项中声明进程,以ID中第一个字母小写作为进程名称,并在UPPAAL模型声明实例项中模板进行实例化得到进程。步骤三 ...
【技术保护点】
1.一种基于自适应序列图转换为时间自动机的方法,包括以下步骤:步骤一:将自适应序列图的Note信息转换为UPPAAL中的全局参数声明;若Note节点中存在整型变量,则在UPPAAL相应声明一个整型变量;若Note中存在时钟变量,则在UPPAAL相应声明一个时钟变量;若Note中存在不变量,则在UPPAAL中相应声明一个不变量;步骤二:将对象Object Lifeline转换为UPPAAL中的进程,在UPPAAL中声明一个模板取名为ID,在模型声明system项中声明进程,以ID中第一个字母小写作为进程名称,并在UPPAAL模型声明实例项中对进程进行实例化;步骤三:对象Object Lifeline中本地变量转换为模板的私有参数声明;若本地变量Local存在整型变量,则在模板相应声明一个整型变量;若本地变量Local存在时钟变量,则在模板相应声明一个时钟变量;若本地变量Local存在不变量,则在模板中相应声明一个不变量;步骤四:对象Object Lifeline中状态State节点转换为模板中的位置节点;若状态S为Over状态且模板未声明Over Location,在模板中声明一个紧迫位 ...
【技术特征摘要】
1.一种基于自适应序列图转换为时间自动机的方法,包括以下步骤:步骤一:将自适应序列图的Note信息转换为UPPAAL中的全局参数声明;若Note节点中存在整型变量,则在UPPAAL相应声明一个整型变量;若Note中存在时钟变量,则在UPPAAL相应声明一个时钟变量;若Note中存在不变量,则在UPPAAL中相应声明一个不变量;步骤二:将对象ObjectLifeline转换为UPPAAL中的进程,在UPPAAL中声明一个模板取名为ID,在模型声明system项中声明进程,以ID中第一个字母小写作为进程名称,并在UPPAAL模型声明实例项中对进程进行实例化;步骤三:对象ObjectLifeline中本地变量转换为模板的私有参数声明;若本地变量Local存在整型变量,则在模板相应声明一个整型变量;若本地变量Local存在时钟变量,则在模板相应声明一个时钟变量;若本地变量Local存在不变量,则在模板中相应声明一个不变量;步骤四:对象ObjectLifeline中状态State节点转换为模板中的位置节点;若状态S为Over状态且模板未声明OverLocation,在模板中声明一个紧迫位置T,否则获取模板中已经声明的位置T;若状态S是对象ObjectLifeline中第一个状态,在模板中声明一个初始位置T,若状态S的状态内部约束属性值为t<=n...
【专利技术属性】
技术研发人员:陈滨,蔡运克,方景龙,魏丹,王兴起,
申请(专利权)人:杭州电子科技大学,
类型:发明
国别省市:浙江,33
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。