基于UML和时序逻辑语言的银行ATM系统描述与求精
发布时间：2021-10-25 00:35
软件体系结构是20世纪90年代国际软件工程领域出现的一个研究热点,随着软件系统规模和复杂性的不断增大,软件体系结构的设计已成为系统成功的关键因素。软件体系结构描述是软件体系结构的一个首要研究内容。目前主流的软件体系结构描述方法主要有两类,分别是可视化描述和形式化描述。两者在描述软件体系结构方面具有很强的互补性。可视化描述清楚直观,以UML为代表。UML提供了一套描述软件系统模型的概念和图形表示法,但缺乏精确的语义,难以对所表示的模型进行严格分析。形式化描述语义精确,如XYZ/E。XYZ/E是一种可执行的形式化的时序逻辑语言,可以在统一的时序逻辑框架下表示从形式化规范到可执行程序的不同抽象层次的系统描述,它的这一特性可以应用于软件体系结构的描述、求精和设计中。本文主要探讨了如何将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的问题。首先介绍了软件体系结构的基本概念和描述方法,在此基础上,分析了将UML和XYZ/E相结合描述软件体系结构的可行性。UML的各类视图适合对不同系统结构和行为的描述,但缺乏一致的语义基础,难以说明系统的内在联系。时序逻辑语言XYZ/E适合作为...
【文章来源】：苏州大学江苏省 211工程院校
【文章页数】：80 页
【学位级别】：硕士
【部分图文】：
体系结构概念之间关系
图 2.3 管道与过滤器风格的体系结构(2) 仓库风格和黑板风格仓库(repositories )风格的体系结构由两类组件构成：一类是中央数据结构，示当前状态；另一类是独立构件的集合，它对中央数据结构进行操作。对于系中数据和状态的控制方法有两种：一种是根据输入事务来决定进行何种处理，把执行结果作为当前状态存储到中央数据结构中，此时仓库是一个传统的数据体系结构；另一种就是由中央数据结构的当前状态决定进行何种处理，此时仓是一个黑板(blackboard)体系结构。即黑板体系结构是仓库体系结构的特殊化。图 2.4 所示。黑板体系结构主要由以下三部分组成：①知识源：知识源中包含独立的、应用程序相关的知识，每个知识源按照它们自己的方式，专注它们能够处理的
图 2.4 黑板风格的体系结构数据抽象和面向对象(data abstraction & object oriented)风格的体系结抽象和面向对象的基础上，其示意图如图 2.5 所示。组件即是对象，数据类型的实例，连接件通过过程调用来实现。它适合于以相互关的标识和保护为中心问题的应用程序。面向对象风格的例子很多，BA。对象 对象对象抽象数据类型
【参考文献】：
期刊论文
[1]软件体系结构研究进展[J]. 梅宏,申峻嵘. 软件学报. 2006(06)
[2]ABC/ADL:一种基于XML的软件体系结构描述语言[J]. 王晓光,冯耀东,梅宏. 计算机研究与发展. 2004(09)
[3]功耗-体系结构描述语言XP-ADL及其设计环境[J]. 熊悦,李曦,周学海,瞿晓明. 小型微型计算机系统. 2003(08)
[4]基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 朱雪阳,唐稚松. 软件学报. 2003(04)
[5]CSP和RSL应用于协议形式化描述的研究[J]. 贾若宇,赵保华,屈玉贵,顾翔. 计算机应用. 2003(01)
[6]软件体系结构研究综述[J]. 孙昌爱,金茂忠,刘超. 软件学报. 2002(07)
[7]A-ADL:一种多智能体系统体系结构描述语言[J]. 马俊涛,傅韶勇,刘积仁. 软件学报. 2000(10)
[8]基于主动连接件的软件体系结构及其描述方法[J]. 张家晨,冯铁,陈伟,金淳兆. 软件学报. 2000(08)
[9]基于框架和角色模型的软件体系结构规约[J]. 冯铁,张家晨,陈伟,金淳兆. 软件学报. 2000(08)
[10]Z规格说明构造方法[J]. 刘玲,缪淮扣. 计算机工程. 2000(02)
硕士论文
[1]可视化与形式化相结合的软件体系结构描述研究[D]. 黄正宝.苏州大学 2006
[2]基于UML和Z的软件体系结构求精方法及其应用[D]. 祝义.苏州大学 2005
[3]UML与ADLs在软件体系结构建模中的应用[D]. 张玲红.苏州大学 2004
本文编号：3456307
【文章来源】：苏州大学江苏省 211工程院校
【文章页数】：80 页
【学位级别】：硕士
【部分图文】：
体系结构概念之间关系
图 2.3 管道与过滤器风格的体系结构(2) 仓库风格和黑板风格仓库(repositories )风格的体系结构由两类组件构成：一类是中央数据结构，示当前状态；另一类是独立构件的集合，它对中央数据结构进行操作。对于系中数据和状态的控制方法有两种：一种是根据输入事务来决定进行何种处理，把执行结果作为当前状态存储到中央数据结构中，此时仓库是一个传统的数据体系结构；另一种就是由中央数据结构的当前状态决定进行何种处理，此时仓是一个黑板(blackboard)体系结构。即黑板体系结构是仓库体系结构的特殊化。图 2.4 所示。黑板体系结构主要由以下三部分组成：①知识源：知识源中包含独立的、应用程序相关的知识，每个知识源按照它们自己的方式，专注它们能够处理的
图 2.4 黑板风格的体系结构数据抽象和面向对象(data abstraction & object oriented)风格的体系结抽象和面向对象的基础上，其示意图如图 2.5 所示。组件即是对象，数据类型的实例，连接件通过过程调用来实现。它适合于以相互关的标识和保护为中心问题的应用程序。面向对象风格的例子很多，BA。对象 对象对象抽象数据类型
【参考文献】：
期刊论文
[1]软件体系结构研究进展[J]. 梅宏,申峻嵘. 软件学报. 2006(06)
[2]ABC/ADL:一种基于XML的软件体系结构描述语言[J]. 王晓光,冯耀东,梅宏. 计算机研究与发展. 2004(09)
[3]功耗-体系结构描述语言XP-ADL及其设计环境[J]. 熊悦,李曦,周学海,瞿晓明. 小型微型计算机系统. 2003(08)
[4]基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 朱雪阳,唐稚松. 软件学报. 2003(04)
[5]CSP和RSL应用于协议形式化描述的研究[J]. 贾若宇,赵保华,屈玉贵,顾翔. 计算机应用. 2003(01)
[6]软件体系结构研究综述[J]. 孙昌爱,金茂忠,刘超. 软件学报. 2002(07)
[7]A-ADL:一种多智能体系统体系结构描述语言[J]. 马俊涛,傅韶勇,刘积仁. 软件学报. 2000(10)
[8]基于主动连接件的软件体系结构及其描述方法[J]. 张家晨,冯铁,陈伟,金淳兆. 软件学报. 2000(08)
[9]基于框架和角色模型的软件体系结构规约[J]. 冯铁,张家晨,陈伟,金淳兆. 软件学报. 2000(08)
[10]Z规格说明构造方法[J]. 刘玲,缪淮扣. 计算机工程. 2000(02)
硕士论文
[1]可视化与形式化相结合的软件体系结构描述研究[D]. 黄正宝.苏州大学 2006
[2]基于UML和Z的软件体系结构求精方法及其应用[D]. 祝义.苏州大学 2005
[3]UML与ADLs在软件体系结构建模中的应用[D]. 张玲红.苏州大学 2004
本文编号：3456307
本文链接：https://www.wllwen.com/shekelunwen/ljx/3456307.html
