行为描述语言相关论文
针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法.该方法基于行为描述语言(Behavior Descr......
以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,......
为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior des......
针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言（Behavior Descr......
在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并......
随着计算机技术的发展,软件的复杂程度越来越高,对软件质量的要求也越来越严格。在软件开发过程中决定软件质量的一个重要步骤便是......
随着信息技术日益渗透到人们的日常生活、信息空间与物理空间的日趋融合,计算技术正在改变着我们的生存环境。与此同时,人们对信息......
针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(B......
