结构描述语言 meaning in English
structural description language
Examples
- Firstly , an architecture description language suitable for multi - agents system , ma adl , has been proposed , which based on csp formalism
首先，提出了一种适合多agent系统的软件体系结构描述语言maadl 。 - Because many existing architectural description languages lack specification of dynamic interaction on architectural level , which makes modeling the adaptive software system insufficient , i use the pi calculus to formalize the adaptive software architecture
针对适应性软件系统的体系结构采用已有的体系结构描述语言存在的不足，本文中采用pi演算描述适应性软件体系结构。 - First the article introduces component - oriented software development method , presents ec - iscm model for software procedure , discusses the software architecture description language , c / s model and design pattern used methods , and expounds the relationship between design pattern and architecture and component ; then discusses the workflow ' s design philosophy and architecture , raises an applying model that integrates the purchasing management with workflow model , and expounds workflow modeling method ; then researches into a module of purchasing management based workflow , make the demand frame in abstraction region and set up a region model ; moreover expounds the region design , set up the purchasing management software model and dynamic interaction model ; then brings about the software architecture and components model . the purchasing management software development indicates that design pattern and software architecture philosophy have improve the software reusability . because of bringing in the workflow , this system realizes the purchasing process automation and the purchaseing process reorganization , and improves the enterprise purchase efficiency
文章首先介绍了面向构件的软件开发方法,并给出了ec - iscm的软件过程模型,讨论了软件体系结构描述语言和客户服务器模型以及设计模式应用方法,阐述了设计模式与构架和构件的关系;接着讨论了工作流管理系统设计思想以及工作流管理系统的体系结构,提出了工作流技术与采购物流管理软件结合的应用模型,并阐述了工作流建模方法;然后研究了基于工作流的采购物流管理模型,抽象领域需求框架并建立领域分析模型;进而进行相应的领域设计,建立采购物流管理软件类模型和动态交互模型,采用设计模式和三层构架进行优化设计;最后给出软件的构架与构件的模型实现。 - Taking the research and development of integrated electronic commerce software gecis as background , this paper brings forward a framework model of form digital signature based on ssl protocol to provide higher security guarantee for ec . the whole task penetrates the developing process based on 3 - layer architecture . it uses architecture methods and technologies such as design pattern ect . moreover , it integrates uml and acme to establish software models
本文以集成电子商务软件gecis开发项目为背景,构造一个基于ssl协议的表单数字签名软件构架模型,为电子商务提供更高安全保障.整个研制工作贯穿基于三层体系结构的构件化软件开发过程,运用设计模式等软件体系结构方法和技术,综合使用统一建模语言uml和体系结构描述语言acme建立软件模型 - So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
基于此,本文开展了对基于时序逻辑的软件体系结构描述语言xyz / adl和uml之间的双向转换问题的研究,通过研究二者之间的转换,实现将基于时序逻辑的形式化方法与面向对象的可视化建模语言相结合描述软件体系结构,来探讨如何将形式化方法应用于实际的软件开发过程中,这样不但能促进对当前软件主流技术的研究,而且能促进对形式化开发方法的研究。