活性顺序图相关论文
活性顺序图(Live Sequence Chart,LSC)是一种基于场景的形式规约语言，可以直观且精确地刻画系统构件间的交互行为，常用于反应式系统......
随着计算机技术的发展,软件系统的可靠性问题越来越受到人们的重视。尤其对于安全关键系统,如何提高此类软件系统的可靠性已成为一......
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前......
近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者......
为了将活性顺序图用于模型检测,方便描述系统的场景需求,提出了一种将活性顺序图转换成时态逻辑的转化方法。分析活性顺序图语言并......
