%0 Journal Article
%T Formalizing Architectural Styles with XYZ/E<br>用XYZ/E形式化体系结构风格
%A JIAO Wen-pin
%A SHI Zhong-zhi
%A <br>焦文品
%A 史忠植
%J 软件学报
%D 2000
%I 
%X 该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格.在刻画风格之前,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系,然后通过对特定组件和连接方式的组合产生了完整的体系结构风格的形式化描述.
%K Software architecture
%K style
%K formalization
%K XYZ/E<br>软件体系结构
%K 风格
%K 形式化
%K XYZ/E.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=11A045A16FDEB4CD&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=38B194292C032A66&sid=FED44C0135DC1D9C&eid=BFB86B6ED3A99B9D&journal_id=1000-9825&journal_name=软件学报&referenced_num=13&reference_num=5