可恢复程序语句组件模型.pptVIP

XML作为一种集成技术 * * 面向互联网的Web服务对象 Microsoft .NET平台面向新一代Web应用的开发，通过在开发工具Visual Studio.NET中提供Visual C# Projects中的ASP.NET Web Service模版类型以及建立支持属性编程的新型程序设计语言C#，直接支持面向Web Services的应用开发。 * 2.3.6 抽象模型 抽象模型主要包括基于归纳思维策略的可恢复程序语句组件模型和基于演绎思维策略的元模型。 可恢复程序语句组件模型，通过书签机制来实现其可恢复特性。 书签是指一个物理恢复点，对应于可恢复程序语句组件中的一个逻辑定位点及可恢复程序语句组件实例的当前执行状态。 * 书签机制的完整解析 可恢复程序语句组件的基本模型 可恢复程序基本结构 基于可恢复程序语句组件模型的可恢复程序，是由可恢复程序语句组件和复合语句组件及其逻辑关系定义所建立的一个复合语句组件。 亦即，可恢复程序本质上也是一个复合语句组件，其描述的控制流是相对独立的某种业务工作流。 * 可恢复程序设计思想与面向对象设计思想的思维通约性 * 可恢复程序的执行流程 * * 2.4 深入认识软件模型 2.4.1 软件体系结构的描述 1. 非形式化描述 （缺陷 ） 语义模糊 由语义模糊引起的沟通障碍 无法实现系统验证 不适于描述体系结构行为 *