基于规格说明的面向对象软件原型开发

基于规格说明的面向对象软件原型开发 OBJECT ORIENTED PROTOTYPING DEVELOPMENT ON SPECIFICATION 魏峻 Wei Jun 1 first-author 范明 Fan Ming 1 李健东 Li Jiandong 1 何克清 He Keqing 1 武汉大学软件工程国家重点实验室 武汉大学软件工程国家重点实验室 State Key Labortory of Software Engineering, Wuhan University Wuhan State Key Labortory of Software Engineering, Wuhan University Wuhan 提出了一种基于规格说明的面向对象软件原型开发方法．规格说明分为结构部分和行为部分．结构部分利用了面向对象开发方法ＯＭＴ的直观可视的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文法和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行行为分析．并且通过一个实例说明了此方法的特点 An object oriented prototyping development approach on specifications is presented in this paper. Specifications are composed of structure part and behavior part. The part of structure utilizes the visible notations and analyzing & designing process of OMT. The part of behavior is described by CCS liked expressions and its verification is done by employing itself formal mechanisms. The original specification and refinement are all presented in the language, so they can be analyzed in the same framework on their behaviors. we show these properties of the approach by an example. 面向对象 原型化 规格说明 进程代数 结构 行为 求精 object orientation prototyping specification process algebra Structure behavior refinement TP311.5 国家教委博士基金 1996-05-01 2021-04-01 5