结构描述语言造句

• 首先，提出了一种适合多agent系统的软件体系结构描述语言maadl 。
• 针对适应性软件系统的体系结构采用已有的体系结构描述语言存在的不足，本文中采用pi演算描述适应性软件体系结构。
• 文章首先介绍了面向构件的软件开发方法,并给出了ec - iscm的软件过程模型,讨论了软件体系结构描述语言和客户服务器模型以及设计模式应用方法,阐述了设计模式与构架和构件的关系;接着讨论了工作流管理系统设计思想以及工作流管理系统的体系结构,提出了工作流技术与采购物流管理软件结合的应用模型,并阐述了工作流建模方法;然后研究了基于工作流的采购物流管理模型,抽象领域需求框架并建立领域分析模型;进而进行相应的领域设计,建立采购物流管理软件类模型和动态交互模型,采用设计模式和三层构架进行优化设计;最后给出软件的构架与构件的模型实现。
• 本文以集成电子商务软件gecis开发项目为背景,构造一个基于ssl协议的表单数字签名软件构架模型,为电子商务提供更高安全保障.整个研制工作贯穿基于三层体系结构的构件化软件开发过程,运用设计模式等软件体系结构方法和技术,综合使用统一建模语言uml和体系结构描述语言acme建立软件模型
• 基于此,本文开展了对基于时序逻辑的软件体系结构描述语言xyz / adl和uml之间的双向转换问题的研究,通过研究二者之间的转换,实现将基于时序逻辑的形式化方法与面向对象的可视化建模语言相结合描述软件体系结构,来探讨如何将形式化方法应用于实际的软件开发过程中,这样不但能促进对当前软件主流技术的研究,而且能促进对形式化开发方法的研究。
• 在这本文中，我们通过对kripke结构的合理扩充，提供了直接模型检测dmc direct model checking的矩阵算法，通过与体系结构描述语言adls的结合， dmc可以被直接应用在相容性consistency等关键性质的计算方面。
• 形式化描述严格精确,以软件体系结构描述语言adl为代表;可视化描述清楚直观,以uml为代表,两者在描述软件体系结构方面具有很强的互补性,于是对adl和uml结合问题的研究成为目前软件体系结构描述领域的热点。
• 在集成供应链管理系统开发的背景下,本文以jit软件的研制为基础,探讨系统开发的过程、方法和工具等软件工程问题。整个研制工作贯穿基于三层体系结构的构件化软件开发过程,综合使用统一建模语言uml 、 agent方法、 petri网方法和体系结构描述语言acme建立软件模型。

• 结构描述语言的英语：structural description language