摘要
为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程。最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型。
Abstract: To ensure the correctness and traceability of software architecture refinement, so as to build up a normal mapping system between different abstract architectures, the format method is introduced, and a formal refinement grammar based on context sensitive software refinement is defined, then, the context sensitive grammar is applied on the software architecture refinement, and the process of architecture refinement based on component is given. Finally, the corresponding model is established according to the architecture refinement method, which is used to guide the software development.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第7期1678-1680,1715,共4页
Computer Engineering and Design
基金
河北自然科学基金项目(F2008000861)
关键词
体系结构
形式化
上下文相关
构件
求精
architecture
formalization
context sensitive
component
refinement