论文部分内容阅读
形式化方法以其精确的描述能力,可验证性,和自动化潜力而得到了人们的关注。特剐是在一些对安全性要求非常高的领域，已经有了很多成功的案例。但他始终没有在业界得到推广。原因之一就是基于数学符号的形式化语法十分晦涩难懂，这给开发人员之间，开发人员和客户之间的交流造成了巨大的障碍。我们认为要解决这一问题。就需要为形式化规范提供更直观，更为大家所熟悉的行为表现方式。文章介绍如何自动生成MSC（message sequence chart）来描述SOFL（Structured Object oriented Forma