面向方面分布式系统形式化规格说明语言

计算机科学 ›› 2007, Vol. 34 ›› Issue (6): 258-261.

• 软件工程与数据库技术 • 上一篇下一篇

面向方面分布式系统形式化规格说明语言

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受：1.国家自然科学基金（No.60474072、No.60174050）、2.广东省自然科学基金（N0.04009465、No.010059）、3.广东省高校自然科学研究项目（No.Z03024）基金资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsi

关键词: 面向方面分布式系统形式化方法 Ocsid

Abstract: Increasing complexity of distributed system, and demands for enabling their configurability and reusability are strong motivations for aspect-oriented, and correctness of distributed systems requires that formal development methods are taken during softw

Key words: Aspect-oriented, Distributed system, Formal method, Ocsid

. 面向方面分布式系统形式化规格说明语言[J]. 计算机科学, 2007, 34(6): 258-261. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

面向方面分布式系统形式化规格说明语言

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0