结构描述语言的英文

• structural description language

• "结构"英文翻译    structure; composition; cons ...
• "描述"英文翻译    describe; represent
• "语言"英文翻译    language
• "结构描述" 英文翻译 :    structural description; structured description
• "单纯结构描述" 英文翻译 :    simple structural description
• "结构描述编号" 英文翻译 :    schema number
• "结构描述词汇" 英文翻译 :    schema term
• "结构描述文法" 英文翻译 :    structural description grammar
• "描述语言" 英文翻译 :    description language，dl; descriptive language; descriptor language; dl description language; durra; language description; scripting language; wsdl web service
• "描述语言学" 英文翻译 :    descriptive linguistics; ive linguistics
• "页描述语言" 英文翻译 :    page description language; postscript
• "语言描述语言" 英文翻译 :    ldl language description language
• "版权描述语言" 英文翻译 :    drm rights expression language
• "办公描述语言" 英文翻译 :    odl office description language
• "窗体描述语言" 英文翻译 :    fdl forms description language
• "调用描述语言" 英文翻译 :    cdl call description language
• "对象描述语言" 英文翻译 :    odl object description language
• "翻译描述语言" 英文翻译 :    translation description language
• "范本描述语言" 英文翻译 :    template explicit specialization
• "方法描述语言" 英文翻译 :    schema representation language
• "服务描述语言" 英文翻译 :    wsdl web
• "覆盖描述语言" 英文翻译 :    odl overlay description language; overlay description language
• "格式描述语言" 英文翻译 :    form description language
• "功能描述语言" 英文翻译 :    functional description language
• "管理描述语言" 英文翻译 :    adl administration des cription language; adl administration description language

• 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之间的双向转换问题的研究,通过研究二者之间的转换,实现将基于时序逻辑的形式化方法与面向对象的可视化建模语言相结合描述软件体系结构,来探讨如何将形式化方法应用于实际的软件开发过程中,这样不但能促进对当前软件主流技术的研究,而且能促进对形式化开发方法的研究。
• The workshop on tools and algorithms for the construction and analysis of systems tacas 99 , lncs , springer - verlag , 1999 , 1579 : 193 - 207 . 4 burch j r , clarke e m , mcmillan k l . symbolic model checking : 10 20 states and beyond . information and computation , rm 1992 , 98 : 142 - 170
  在这本文中，我们通过对kripke结构的合理扩充，提供了直接模型检测dmc direct model checking的矩阵算法，通过与体系结构描述语言adls的结合， dmc可以被直接应用在相容性consistency等关键性质的计算方面。
• Architecture description language adl is typical in formal description while in visual description uml is typical . their advantages are that adl can describe accurately and uml can describe intuitionistic , which are complement to each other . so a hotspot in software architecture description is to combining the two together
  形式化描述严格精确,以软件体系结构描述语言adl为代表;可视化描述清楚直观,以uml为代表,两者在描述软件体系结构方面具有很强的互补性,于是对adl和uml结合问题的研究成为目前软件体系结构描述领域的热点。
• Based on research and development of integrated supply chain management ( iscm ) , we adopt the process of component oriented software development , lay emphasis on the integrated modeling method of agent , petri net and acme , and research on the architecture model and component model of jit ( just in time ) software
  在集成供应链管理系统开发的背景下,本文以jit软件的研制为基础,探讨系统开发的过程、方法和工具等软件工程问题。整个研制工作贯穿基于三层体系结构的构件化软件开发过程,综合使用统一建模语言uml 、 agent方法、 petri网方法和体系结构描述语言acme建立软件模型。