结构描述语言 meaning in Chinese
structural description language
Examples
- 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建立软件模型。