• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium; 20051002-07; Montego Bay(JM) >Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
【24h】

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

机译：使用过程代数验证面向对象模型的行为方面

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformations and process algebra and combines semi-formal object-oriented models with formal validation. We perform the validation of behavioral aspects of object-oriented models by using a projection into a well-defined formal technical space (Finite State Process algebra) where model-checkers are available (we use LTSA; a model checker for Labeled Transition Systems). We then target an implementation platform, which conforms to the semantics of the formal technical space; in turn, this ensure con-formance of the final application to the validated specification.
机译：我们在本文中提出了一种基于严格和自动化的方法来对控制软件系统进行行为验证。这种方法依赖于元建模，模型转换和过程代数，并将半正式的面向对象模型与形式验证结合在一起。我们通过投影到定义模型技术可用的定义明确的正式技术空间（有限状态过程代数）中来执行面向对象模型的行为方面的验证（我们使用LTSA； Labeled Transition Systems的模型检查器）。然后，我们针对一个实现平台，该平台符合形式技术空间的语义；反过来，这可以确保最终应用程序符合经过验证的规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号