面向钢铁质量过程控制的分布式并行软件框架模型研究
|
摘要
分布式实时软件强调信息流的实时交互和并行处理,支持实时并行的质量过程,适用于钢铁行业的生产过程质量控制。软件主要特征是完成不同功能的软件构件分布在网络的不同节点上,节点之间包含实时交互的并行信号流,设计时不但要求系统的功能正确性,而且要求计算这些功能结果的时间要及时。现代钢铁企业质量过程控制系统以质量信息流的跟踪控制为中心,具有实时性、分布性、并行性等复杂行为特征,需要分布式实时软件设计理论和方法的支持。在影响分布式实时软件的诸多因素中,基于实时交互规约的框架模型是软件运行过程执行效能的关键。
传统软件框架模型多侧重于利用面向对象技术的对象调用和状态转换传送控制作用,不能实现从系统建模到软件设计的一致性实时并行约束。而面向执行体模型通过变换数据相互作用,更适应于框架模型的实时并行处理。本论文基于云南省自然科学基金项目,针对钢铁质量过程控制领域,在模型架构定义中,由面向对象转向面向执行体；通过分离以数据为中心的功能构件和以时序为中心的交互机制,建立面向执行体结构的框架模型来支持分布式实时软件的设计和开发。
面向执行体结构的设计机制强调构件间的并行处理和时序调度,是一种适应实时模型关系的可行技术。在分布式实时软件的框架模型中,引入这种机制,将其具体应用到框架模型研究涉及的各项关键技术中,能够较好地规约软件所要求的各类行为特征,尤其是对功能性业务逻辑和时间约束特征的关注分离,并最终实现可构造的、易于动态适应的分布式实时软件框架模型。面向钢铁质量过程控制的分布式实时软件框架模型研究,主要围绕实时交互框架、构件设计模型和构件组装规约三个研究点展开,具体为面向执行体的框架模型建立、执行体结构的构件语义设计、执行体构件的组装规约分析以及应用实例验证：
1.面向执行体的框架模型研究主要建立一类面向钢铁质量过程控制,适应分布式实时应用环境的执行体交互机制,其能分离执行体之间的逻辑交互关系,支持实时并行的质量过程控制。在框架模型中,借鉴构件和连接子思想,将执行体设计为参数化行为封装,提高执行体的重用性；独立的监控器机制控制执行体之间的逻辑交互,支持并行信号流的跟踪控制；执行体端口行为优先级可配置,提供对实时性的灵活支持。这种框架模型使得以数据流为中心的执行体功能逻辑和以时序调度为中心的交互逻辑相分离,增强框架的灵活性与适应性。
2.执行体结构的构件语义设计主要研究基于谓词逻辑的执行体语义模型,其能规约执行体的静态结构和动态行为；封装执行体内部逻辑,抽象质量过程的操作规范和质量要求；建立执行体端口间行为连接,保障执行体的动态特性；提供执行体包含机制,支持执行体的任意嵌套。该设计模型不仅能够描述执行体质量过程参数的属性规约,还能满足实时并行的端口行为建模。
3.执行体构件的组装规约分析主要研究小粒度、低层次内部执行体分层递阶组合为大粒度、高层次复合执行体的组装理论,其具体分为复合执行体属性规约推导、复合执行体端口规约推导、和复合执行体行为规约推导三个部分,用于执行体模型组装时的语义行为描述和层次化抽象。同时从规约层面支持执行体的演化,降低执行体组装的不稳定性。
4.基于上面的相关研究成果,面向昆明钢铁集团有限公司质量过程控制实际,构建了执行体结构的分布式实时软件框架模型,实现对复杂钢材形成过程的有效质量控制。基于该模型开发的软件系统配置灵活、易于组装,通过实践证明了面向执行体的软件框架建模方法可以为钢铁企业质量过程控制的应用起到很好的促进作用。
本文的关键问题包括：
1.构建可构造的、易于动态适应的执行体框架模型。解决构件间的并行处理和时序调度问题,动态灵活地表示交互逻辑,支持实时并行的质量过程；并要求框架可定制,能动态优化、插入和升级,不损害平台独立。
2.设计完备的执行体语义模型。重点解决实时执行体的静态属性和动态行为建模；进而定义端口行为连接,描述执行体间的通信过程,确定复杂实时交互行为,适应更广泛意义上的时间并行模型。
3.分析执行体的组装规约推导规则。重点解决大粒度复合执行体的属性、端口和行为规约推导,从语义层面减少实时并行的质量过程建模复杂性。
In order to manage quality information better in steel manufacturing process, distributed real-time software is aimed at providing a fundamentally support of real-time and concurrent quality process behavior by the exchange of data flow to remarry time, concurrency and controlled complexity. Software focuses on developing functionality processing and timing constraints of complex multi-node on a distributed platform that has real time, interactive, and concurrent quality data flows. Quality process control system in steel industry, by the track and control of quality data, must be distributed, real time, and concurrent. It is inevitable to need the support of software design methodology. Key to distributed real-time software is research in framework model based on real-time interaction specification.
Traditional object-oriented software model focuses on the transfer of control flow through method call and state transition, and the tight timing and concurrent correspondence between system modeling and software design is often lost. Effective framework modeling must be based on actor-oriented design that is interacted by the exchange of data flow to remarry time, concurrency and controlled complexity. With the support of Nature Sceince Foundation in Yunnan Province, P.R.C, the main effort of this dissertation here, aimed at quality process control domain in steel industry, is to separate timing attributes from functional properties, based on actor-oriented model rather on object-oriented model, and introduce actor-oriented.framework model to promote distributed real-time software design and development.
Key to actor design is research in concurrent models and real time scheduling among actors. It is a feasible technology of adapting to real time model. Introducing this mechanism to the framework model of distributed real-time software and specifically applying it to each essential technology, can well specify and realize all kinds of behavior characteristics required by the software, especially give more cocncern of separation on functional logic and timing constraint characteristics in distributed real-time software, finally making realization of a flexible and adaptable distributed real-time software framework model. The research of framewok model in distributed real-time software based on steel quality process control mainly revolves three points:real-time framework, actor model and composition specification. And the research includes four parts:the establishment of actor-oriented framework model, the design of actor semantics, the analysis of actor composition specification and the verification of application in steel industry. Some contributions are shown as follows.
Firstly, actor-oriented software framework model mainly studies a kind of actor interaction mechanism adaptable for distributed real-time application in steel quality process control domain. It can separate the interactive logic among actors, and support real-time and concurrent quality process. The framework merges advantages of ideas of component and connector, regards actors as an encapsulation of parameterized actions, and imporves the reusability of actor to a great extent. Independent monitor mechanism can control the interactive behaviors among actors and support the track of concurrent signal flow. Software framework can support real-time behavior flexibly by configuring port behavior priority. The model separates interactive attributes from functionality properties, and enhance the flexibility and adaptability of the framework.
Secondly, actor semantics design mainly studies actor semantics model based on predicate logic. The model can specify static properties and dynamic behaviors of actors. Encapsulation of actor's functional logic is a particular kind of abstraction that emphasizes specification and requirement of quality process. Port behavior correlation ensures the dynamic characteristics of actors. Composite actor can be contained by another composite actors, so the hierarchy can be arbitrarily nested. Our actor model not only specifies properties of quality process parameters, but also supports port behavior modeling to remarry time and concurrency.
Thirdly, one fundamental problem of actor composition specification analysis is how to decompose a coarse-grained composite actor at higher level into more manageable fine-grained subactors at lower level from a view of specification. It is divided into three parts:properties specification, port specification and behavior specification, which are used to semantic analysis and hierarchy deduction when implementing actor composition. Meanwhile it supports the actor evolution from semantic level, and reduces the instability of actor composition.
Lastly, based on the work above, a framework model of actor-oriented distributed real-time software in Kunming Iron&Steel Co.Ltd.(KISC) quality process control, which effectively supports quality process control of complex steel manufacturing, is designed at the end of the dissertation. The resulting control software based on framework model is configurable, liable to compose on a different platform. Practice of control software proves that actor-based software modeling methodology, which is explored in this dissertation, can bring about the gains of productivity of steel industry quality process control.
The key aspects of our work are as follows:
At first, we establish actor-oriented software framework model which is adaptable in the dynamic environment, liable to compose and reuse. Software framework can manipulate concurrent processing and real time scheduling among actors, denote interactive logic flexibly, and support quality process to remarry time and concurrency. In addition, framework model can be customized, liable to optimize, plug and upgrade, independent from the platform.
Moreover, we design formal actor semantic model which focuses on static properties and dynamic behavior of real-time actor modeling. Port behavior correlation defines communication among actors, ensures real-time interactive behavior, and adapts universal timing and concurrent model.
Finally, we analyze actor composition specification at a theoretical level which emphasizes on deducing properties specification, ports specification and behavior specification of composite actor. Actor composition specification reduces the complexity of timing and concurrent quality process modeling from a view of semantics.
传统软件框架模型多侧重于利用面向对象技术的对象调用和状态转换传送控制作用,不能实现从系统建模到软件设计的一致性实时并行约束。而面向执行体模型通过变换数据相互作用,更适应于框架模型的实时并行处理。本论文基于云南省自然科学基金项目,针对钢铁质量过程控制领域,在模型架构定义中,由面向对象转向面向执行体；通过分离以数据为中心的功能构件和以时序为中心的交互机制,建立面向执行体结构的框架模型来支持分布式实时软件的设计和开发。
面向执行体结构的设计机制强调构件间的并行处理和时序调度,是一种适应实时模型关系的可行技术。在分布式实时软件的框架模型中,引入这种机制,将其具体应用到框架模型研究涉及的各项关键技术中,能够较好地规约软件所要求的各类行为特征,尤其是对功能性业务逻辑和时间约束特征的关注分离,并最终实现可构造的、易于动态适应的分布式实时软件框架模型。面向钢铁质量过程控制的分布式实时软件框架模型研究,主要围绕实时交互框架、构件设计模型和构件组装规约三个研究点展开,具体为面向执行体的框架模型建立、执行体结构的构件语义设计、执行体构件的组装规约分析以及应用实例验证：
1.面向执行体的框架模型研究主要建立一类面向钢铁质量过程控制,适应分布式实时应用环境的执行体交互机制,其能分离执行体之间的逻辑交互关系,支持实时并行的质量过程控制。在框架模型中,借鉴构件和连接子思想,将执行体设计为参数化行为封装,提高执行体的重用性；独立的监控器机制控制执行体之间的逻辑交互,支持并行信号流的跟踪控制；执行体端口行为优先级可配置,提供对实时性的灵活支持。这种框架模型使得以数据流为中心的执行体功能逻辑和以时序调度为中心的交互逻辑相分离,增强框架的灵活性与适应性。
2.执行体结构的构件语义设计主要研究基于谓词逻辑的执行体语义模型,其能规约执行体的静态结构和动态行为；封装执行体内部逻辑,抽象质量过程的操作规范和质量要求；建立执行体端口间行为连接,保障执行体的动态特性；提供执行体包含机制,支持执行体的任意嵌套。该设计模型不仅能够描述执行体质量过程参数的属性规约,还能满足实时并行的端口行为建模。
3.执行体构件的组装规约分析主要研究小粒度、低层次内部执行体分层递阶组合为大粒度、高层次复合执行体的组装理论,其具体分为复合执行体属性规约推导、复合执行体端口规约推导、和复合执行体行为规约推导三个部分,用于执行体模型组装时的语义行为描述和层次化抽象。同时从规约层面支持执行体的演化,降低执行体组装的不稳定性。
4.基于上面的相关研究成果,面向昆明钢铁集团有限公司质量过程控制实际,构建了执行体结构的分布式实时软件框架模型,实现对复杂钢材形成过程的有效质量控制。基于该模型开发的软件系统配置灵活、易于组装,通过实践证明了面向执行体的软件框架建模方法可以为钢铁企业质量过程控制的应用起到很好的促进作用。
本文的关键问题包括：
1.构建可构造的、易于动态适应的执行体框架模型。解决构件间的并行处理和时序调度问题,动态灵活地表示交互逻辑,支持实时并行的质量过程；并要求框架可定制,能动态优化、插入和升级,不损害平台独立。
2.设计完备的执行体语义模型。重点解决实时执行体的静态属性和动态行为建模；进而定义端口行为连接,描述执行体间的通信过程,确定复杂实时交互行为,适应更广泛意义上的时间并行模型。
3.分析执行体的组装规约推导规则。重点解决大粒度复合执行体的属性、端口和行为规约推导,从语义层面减少实时并行的质量过程建模复杂性。
In order to manage quality information better in steel manufacturing process, distributed real-time software is aimed at providing a fundamentally support of real-time and concurrent quality process behavior by the exchange of data flow to remarry time, concurrency and controlled complexity. Software focuses on developing functionality processing and timing constraints of complex multi-node on a distributed platform that has real time, interactive, and concurrent quality data flows. Quality process control system in steel industry, by the track and control of quality data, must be distributed, real time, and concurrent. It is inevitable to need the support of software design methodology. Key to distributed real-time software is research in framework model based on real-time interaction specification.
Traditional object-oriented software model focuses on the transfer of control flow through method call and state transition, and the tight timing and concurrent correspondence between system modeling and software design is often lost. Effective framework modeling must be based on actor-oriented design that is interacted by the exchange of data flow to remarry time, concurrency and controlled complexity. With the support of Nature Sceince Foundation in Yunnan Province, P.R.C, the main effort of this dissertation here, aimed at quality process control domain in steel industry, is to separate timing attributes from functional properties, based on actor-oriented model rather on object-oriented model, and introduce actor-oriented.framework model to promote distributed real-time software design and development.
Key to actor design is research in concurrent models and real time scheduling among actors. It is a feasible technology of adapting to real time model. Introducing this mechanism to the framework model of distributed real-time software and specifically applying it to each essential technology, can well specify and realize all kinds of behavior characteristics required by the software, especially give more cocncern of separation on functional logic and timing constraint characteristics in distributed real-time software, finally making realization of a flexible and adaptable distributed real-time software framework model. The research of framewok model in distributed real-time software based on steel quality process control mainly revolves three points:real-time framework, actor model and composition specification. And the research includes four parts:the establishment of actor-oriented framework model, the design of actor semantics, the analysis of actor composition specification and the verification of application in steel industry. Some contributions are shown as follows.
Firstly, actor-oriented software framework model mainly studies a kind of actor interaction mechanism adaptable for distributed real-time application in steel quality process control domain. It can separate the interactive logic among actors, and support real-time and concurrent quality process. The framework merges advantages of ideas of component and connector, regards actors as an encapsulation of parameterized actions, and imporves the reusability of actor to a great extent. Independent monitor mechanism can control the interactive behaviors among actors and support the track of concurrent signal flow. Software framework can support real-time behavior flexibly by configuring port behavior priority. The model separates interactive attributes from functionality properties, and enhance the flexibility and adaptability of the framework.
Secondly, actor semantics design mainly studies actor semantics model based on predicate logic. The model can specify static properties and dynamic behaviors of actors. Encapsulation of actor's functional logic is a particular kind of abstraction that emphasizes specification and requirement of quality process. Port behavior correlation ensures the dynamic characteristics of actors. Composite actor can be contained by another composite actors, so the hierarchy can be arbitrarily nested. Our actor model not only specifies properties of quality process parameters, but also supports port behavior modeling to remarry time and concurrency.
Thirdly, one fundamental problem of actor composition specification analysis is how to decompose a coarse-grained composite actor at higher level into more manageable fine-grained subactors at lower level from a view of specification. It is divided into three parts:properties specification, port specification and behavior specification, which are used to semantic analysis and hierarchy deduction when implementing actor composition. Meanwhile it supports the actor evolution from semantic level, and reduces the instability of actor composition.
Lastly, based on the work above, a framework model of actor-oriented distributed real-time software in Kunming Iron&Steel Co.Ltd.(KISC) quality process control, which effectively supports quality process control of complex steel manufacturing, is designed at the end of the dissertation. The resulting control software based on framework model is configurable, liable to compose on a different platform. Practice of control software proves that actor-based software modeling methodology, which is explored in this dissertation, can bring about the gains of productivity of steel industry quality process control.
The key aspects of our work are as follows:
At first, we establish actor-oriented software framework model which is adaptable in the dynamic environment, liable to compose and reuse. Software framework can manipulate concurrent processing and real time scheduling among actors, denote interactive logic flexibly, and support quality process to remarry time and concurrency. In addition, framework model can be customized, liable to optimize, plug and upgrade, independent from the platform.
Moreover, we design formal actor semantic model which focuses on static properties and dynamic behavior of real-time actor modeling. Port behavior correlation defines communication among actors, ensures real-time interactive behavior, and adapts universal timing and concurrent model.
Finally, we analyze actor composition specification at a theoretical level which emphasizes on deducing properties specification, ports specification and behavior specification of composite actor. Actor composition specification reduces the complexity of timing and concurrent quality process modeling from a view of semantics.
引文
[1]刘广第.质量管理学.第二版.北京：清华大学出版社,2003
[2]李秀,应维云,刘文煌CIMS环境下产品质量系统工程.北京：机械工业出版社,2004
[3]林志航.计算机辅助质量系统.北京：机械工业出版社,1997
[4]SAP钢铁行业解决方案http://www.sap.com/china/industries/millproducts/index.epx
[5]Sohn, Soyoung, Choi. In su.fuzzy QFD for supply chain management with reliability consideration. Reliability Engineering and System Safety, 2001,72(3):327-334
[6]Hammer D.K., Chaudron M.R.V. Component-based software engineering for resource-constraint systems:what are the needs? Object-Oriented Real-Time Dependable Systems,IEEE,2001:91-94
[7]Peter o. Miller, Christian Stich, Christian Zeidler. Components@work. Component Technology for Embedded Systems. IEEE,2001:64-71
[8]L.Fernando Friedrich, John Stankovic, etal. A survey of configurable, component-based operating systems for embedded applications. IEEE Micro,2001, 21(3):54-68
[9]Goderis A., Brooks C., Altintas I., etal. Composing different models of computation in kepler and ptolemy Ⅱ. In:Proceedings of International Conference on Computational Science (ICCS 2007). Beijing, China, Lecture Notes in Computer Science, Springer,2007
[10]Ledeczi A., Maroti M., Bakay A., etal. GME 2006 users manual (v6.0). Tennessee, United States:University of Vanderbilt, Technical report,2006
[11]Henzinger T. A., Kirsch C. M., Matic S.. Composable code generation for distributed giotto. In:Proceedings of International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2005). Chicago, IL, USA, ACM Press,2005
[12]Vosniakos, George., Wang, Jiemin. A software system framework for planning and operation of quality control in discrete part manufacturing. Compuetr Integrated Manufacturing Systems,1997,10(1):9-25
[13]Sylla, C., Arinze, B. A method for precordination in a quality assurance information system. IEEE Transactions on Engineering Management,1991, 38(3):245-256
[14]Henry M.Kim,Mark S.Fox. Formal models of quality and ISO 9000 complicance.http://www.eil.utoronto.ca/enterprise-modelling/papers/ASQCPaperl2-93.pdf
[15]Ward P.T., Mellor S.J. Structured development for real time systems. Boston: Prentice Hall,1985
[16]Gomaa H. A software design method for real-time systems. Communication of the ACM,1984,27(9):938-949
[17]Gomma H. Software development of real-time systems. Communication of the ACM,1986,29(7):657-668
[18]Gomma H. A software design method for Ada based real time systems. Journal of Systems & Software,1994,25:127-146
[19]Gomma H. Designing concurrent, distributed, and real-time applications with UML. Addison-Wesley,2000
[20]Kopetz H., Zainlinger R., Fohler G, etal. The design of real-time systems:from specification to implementation and verification. Software Engineering Journal, 1991,6(3):72-82
[21]Kopetz H., Obermaisser H. Temporal composability. Computing and Control Engineering Journal,2002,8:156-162
[22]Burns A.,Wellings A. HRT-HOOD:a structured design method for hard real-time Ada systems. Elsevier Science,1995
[23]Robinson P.J. Hierarchical object-oriented design. Prentice Hall,1992
[24]Stankovic J. VEST:a toolset for constructing and analyzing component based operating systems for embedded and real-time systems. In:Proceedings of the Embedded Software, First International Workshop (EMSOFT 2001). Tahoe City, CA, USA, Springer-Verlag,2001
[25]Stankovic J., Zhu R., Poornalingam R., etal. VEST:an aspect-based composition tool for real-time systems. In:Proceedings of the 9th Real-Time Applications Symposium 2003. Toronto, Canada, IEEE Computer Society Press,2003
[26]Schneider S. A., Chen V. W., Pardo-Castellote G. ControlShell:component-based real-time programming. In:Proceedings of the IEEE Real-Time Technology and Applications Symposium.1995
[27]Selic B., Gullekon G., Ward Paul T. Real-time object-oriented modeling. New York:John Wiley&Sons Inc.,1994
[28]Selic B., Rumbaugh J. Using UML for modeling complex real-time systems. http://www-128.ibm.com/developerworks/rational/library/content/03July/1000/115 5/1155_umlmodeling.pdf
[29]董军,何积丰.软硬件混成系统与协同设计介绍.世界科技研究与发展,2005，,27(4)：50-53
[30]Hoare C.A.R., He Ji-Feng. Unifying theories of programming. Boston:Prentice Hall,1998
[31]李勇坚,何积丰,孙永强Verilog操作语义研究.软件学报,2002,13(10)：2021-2030
[32]李勇坚,何积丰,孙永强Verilog代数语义研究.软件学报,2003,14(3)：317-327
[33]Xia Feng, Sun You-Xian. Control-scheduling codesign:a perspective on integrating control and computing. Dynamics of Continuous, Discrete and Impulsive Systems-Series B:Applications and Algorithms, Special.Issue on ICSCA06. Watam Press, 2006
[34]尹红霞,王智,孙优贤.一种面向弱实时的加权公平队列调度算法.浙江大学学报-工学版,2005,39(10)：1579-]584
[35]杨鸿鹏,赵丽萍,林志航.敏捷制造模式下的分布式计算机辅助质量信息系统.计算机集成制造系统-CIMS,1998,8(4):34-39
[36]史金飞,洪著财,黄仁.基于Web界面的分布式质量控制系统.东南大学学报,2000,30(1)：84-87
[37]孙蓓蓓,钟秉林,史金飞.面向敏捷制造模式的质量保证信息系统研究.东南大学学报,1999,29(3)：39-42
[38]吕庆领,唐晓青.面向扩展企业的协同质量管理信息支持系统.制造业自动化,2003,25(2)：14-32
[39]陈志祥,李孟清,黄朝意NGMS中的质量管理与质量保证信息系统初探.华中理工大学学报,1998,26(7)：22-32
[40]夏苑,张为群.一种基于CBSE的嵌入式实时软件建模方法研究.计算机科学,2005,32(8)：213-215
[41]唐稚松.时序逻辑程序设计与软件工程.北京：科学出版社,1999
[42]刘瑞成,张立臣.基于UML的面向方面的实时系统建模方法.计算机应用,2005,25(8)：1874-1877
[43]刘小君,张立臣.基于扩展UML的实时系统建模方法.计算机应用研究,2003,11：26-28
[44]谢拴勤,解月江.基于UML-RT的实时系统分析与设计.计算机工程,2004,30(15)：192-194
[45]Karsai G., Sztipanovits J., Ledeczi A., etal. Model-integrated development of embedded software. Proceedings of IEEE,2003,91(1):145-164
[46]Karsai G., Maroti M., Ldeczi A., etal. Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control System Technology,2004, special issue on Computer Automated Multi-Paradigm Modeling:263-278
[47]Lee E. A. Concurrent semantics without the notions of state or state transitions. In: Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006). Paris, LNCS 4202, Springer-Verlag,2006
[48]Liu Xiao-Jun, Matsikoudis E., Lee E. A. Modeling timed concurrent systems. In: Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006). Bonn, Germany, LNCS 4137, Springer-Verlag,2006
[49]Edwards S. A., Lee E. A. The case for the precision timed (PRET) machine. In: Proceedings of the 44th Design Automation Conference(DAC 2007). San Diego, USA,2007
[50]Liu Xiao-Jun, Lee E. A. CPO semantics of timed interactive actor networks. Berkeley, USA:EECS Department, University of California, Technical Report No. UCB/EECS-2006-67,2006
[51]Zhou Ye, Lee E. A. A causality interface for deadlock analysis in dataflow. In: Proceedings of the 6th Annual Conference on Embedded Software (EMSOFT 2006). Seoul, Korea,2006
[52]Lee E. A., Zheng Hai-Yang. Operational semantics of hybrid systems. In: Proceedings of Hybrid Systems:Computation and Control (HSCC 2005). Invited paper, Zurich, Switzerland, LNCS 3414,2005
[53]Henzinger T. A., Kirsch C. M. The embedded machine:predictable, portable real-time code. ACM Transactions on Programming Languages and Systems, 2007,29(6):315-326
[54]Ghosal A., Henzinger T. A., Iercan D., etal. A hierarchical coordination language for interacting real-time tasks. In:Proceedings of the 6th Annual Conference on Embedded Software (EMSOFT 2006). Seoul, Korea, ACM Press,2006
[55]Boasson M. Control systems software. IEEE Trans. on Automatic Control, 1993,38(7):1094-1106
[56]Flavic De Paoli, Francesco Tisato. Architectural abstraction for real-time software. In:Software Engineering Conference. IEEE,1995
[57]Rastofer U., Bellosa F. Component-based software engineering for distributed embedded real-time systems. Aspect-Oriented and Component-Based Software Engineering, IEE,2001,148(3):99-103
[58]Medvidovic N., Orcizy P., Robbins J., etal. Using object-oriented typing to support architectural design in the C2 style. In:Proceedings of the 4th Symposium on the Foundations of Software Engineering. ACM Press,1996
[59]Garlan D., Monroe R., Wile D. ACME:an architecture description interchange language. In:Proceedings of the CASCON97.1997
[60]Garlan D., Allen R., Ockerbloom J. Exploiting style in architectural design environments. In:Proceedings of SIGSOFT94 Symposium on the Foundations of Software Engineering. ACM Press,1994
[61]Magee J., Dulay N., Eisenbach S., etal. Specifying distributed software architectures. In:Proceedings of the 5th European Software Engineering Conference (ESEC95). LNCS989, Springer-Verlag,1995
[62]Milner R. Communicating and mobile systems:the Pi-calculus. Cambridge University Press,1999
[63]Luckham D., Vera J. An event-based architecture definition language. IEEE Transactions on Software Engineering,1995,21(9):717-734
[64]Shaw M., Deline R., Klein D., etal. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, Special Issue on software Architecture,1995,21(4):314-335
[65]Allen R., Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology,1997,6(3):213--249
[66]Hoare C. Communicating sequential processes. Prentice-Hall,1985
[67]Moriconi M., Qian X., Riemenschneider R. Correct architecture refinement. IEEE Transactions on Software Engineering,1995,21(4):356-372
[68]杨育,张晓冬,刘飞CIMS环境下车间级产品质量集成监控系统.计算机集成制造系统—CIMS,2002,8(5):417-420
[69]王时龙,杨丹,张宝情.代理式装配线质量监控系统的智能决策.计算机集成制造系统—CIMS,2003,9(4):320-329
[70]王灿,张根保,黄忠全.基于质量BOM和整合条码的质量信息系统的开发和实施.工业工程与管理,2001,5：22-25
[71]杨涛,马玉林,杨波．加工过程质量监控的多代理系统的结构和实现.计算机集成制造系统—CIMS,2001,7(3):42-48
[72]冯铁,张家晨,陈伟,金淳兆.基于框架和角色模型的软件体系结构规约.软件学报,2000,11(8)：1078-1086
[73]张家晨,冯铁,陈伟,金淳兆.基于主动连接件的软件体系结构及其描述方法.软件学报,2000,11(8)：1047-1052
[74]张世琨,王立福,杨芙清.基于层次消息总线的软件体系结构风格.中国科学(E辑),2002,32(3)：393-400
[75]朱雪阳,唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL软件学报,2003,14(4)：731-720
[76]骆华俊,唐稚松.可视化体系结构描XYZ/ADL软件学报,2000,11(8)：1024-1029
[77]梅宏,陈锋,冯耀东等.ABC：基于体系结构、面向构件的软件开发方法.软件学报,2003,14(4)：721-732
[78]王晓光,冯耀东,梅宏ABC/ADL一种基于XML的软件体系结构描述语言.计算机研究与发展,2004,41(9)：1521-1531
[79]Arcticus systems home page. http://www.arcticus-systems.com
[80]Stewart D. B., Volpe R. A., Khosla P. K. Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering,1997,23(12):759-776
[81]Stewart D. B., Khosla P. K. The chimera methodology:designing dynamically reconfigurable real-time software using port-based object. In:Proceedings of WORDS 94.CA, USA,1994
[82]Ulrich Hannemann, Jozef Hooman. Formal design of real-time components on a shared data space architecture. In:Computer Software and Applications Conference. IEEE,2001
[83]Szyperski C. Component software:beyond object-oriented programming. Addison-Wesley Pub. Co.,1998
[84]Wallnau K. C. Volume Ⅲ:A technology for predictable assembly from certifiable components. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, USA,2003
[85]Object Management Group. CORBA home page. http://www.omg.org/corba/
[86]Schmidt D.C., Levine D.L., Mungee S. The design of the TAO real-time object request broker. Computer Communications,1999,21:294-324
[87]Nierstrasz O., Arevalo G., Ducasse S., etal. A component model for field devices. In:Proceedings of the First International IFIP/ACM Working Conference on Component Deployment. Germany,2002
[88]Wuyts R., Ducasse S. Non-functional requirements in a component model for embedded systems. In:International Workshop on Specification and Verification of Component-Based Systems. OOPSLA,2001
[89]I-Ling Yen, Jayabharath Goluguri, Farokh Bastani, etal. A component-based approach for embedded software development. In:Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC02). IEEE,2002
[90]Stephen S. Yau, Bing Xia. An approach to distributed component-based real-time application software development. In:Object-Oriented Real-Time Distributed Computing Proceedings. IEEE,1998
[91]Stephen S. Yau, Fariaz Karim. Component customization for object-oriented distributed real-time software development. In:Object-Oriented Real-Time Distributed Computing, IEEE International Symposium.2000
[92]Pao-Ann Hsiung, Win-Bin See, etal. Formal verification of embedded real-time software in component-based application frameworks. In:Software Engineering Conference, APSEC 2001. IEEE,2001
[93]Pao-Ann Hsiung, Shang-Wei Lin, etal. VERTAF:an application framework for the design and verification of embedded real-time software. IEEE Transactions on Software Engineering,2004,30(10):656-674
[94]Markus Lumpe, Franz Achermann, Oscar Nierstrasz. A formal language for composition. Foundations of Component-based Systems. Cambridge University Press,2000
[95]Sprivery J. The notation:a reference manual. Englewood Cliffs:Prentice Hall, 1989
[96]Norman Delisle, David Garlan. Applying formal specification to industrial problems:a specification of anscilloscope. IEEE Software,1990,7(5):29-37
[97]David Garlan, David Notkin. Formalizing design spaces:implicit invocation mechanisms. In:VDM91:Formal Software Development Methods. Springer-Verlag, LNCS 551,1991
[98]Robert Allen, David Garlan. A formal approach to software architectures. In:Jan van Leeuwen, editor, Proceedings of IFIP92. Elsevier Science Publishers B. V., 1992
[99]Kevin J. Sullivan, John Socha, Mark Marchukov. Using formal methods to reason about architectural standards. In:Proceedings of the 19th International Conference on Software Engineering. Boston, MA,1997
[100]Berry G., Boudol G. The chemical abstract machine. Theoretical Computer Science, 1992,96:217-248
[101]Paola Inverardi, Alex Wolf. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Transactions on Software Engineering,1995,21(4):373-386
[102]Abrial J.R. The B-book:assigning programs to meanings. Cambridge University Presss,1996
[103]陈莉,陈忠保,赵振西.基于构件技术的工业控制软件设计.系统仿真学报,2001,7(3)：4-7
[104]徐丽萍,贾红卫,卢炎生RTCS:一种具有精确语义的实时构件描述机制.计算机科学,2005,32(8)：205-208
[105]芦王铭.基于软件构件技术的冶金工业过程控制系统.宝钢技术,2006,1：34-37
[106]吴斌,叶绿,吴朝晖.一种分布式实时嵌入式软件的构件模型Z—CCM计算机工程与应用,2005,41(3)：40-44
[107]古幼鹏,桑楠,熊光泽.嵌入式软件平台的构件化模型研究.计算机科学,2005,32(10)：216-219
[108]於朝晖,黄水松.基于软件体系结构的实时配置系统的方法.计算机工程与应用,2000,36(3)：47-49
[109]张世琨,张文娟,常欣等.基于软件体系结构的可复用构件制作和组装.软件学报,2001,12(9)：1352-1359
[110]邹炜,孙家,马肃等.青鸟网上构件库系统的访问控制机制.软件学报,2002,13(1)：92-98
[111]梅宏,谢涛,袁望洪等.青鸟构件库的构件度量.软件学报,2000,11(5)：634-641
[112]杨芙清.软件工程技术发展思索.软件学报,2005,16(1)：1-7
[113]张广泉.基于线性时序逻辑的实时系统建模与求精.小型微型计算机系统,2006,27(8)：1580-1584
[114]梅宏,刘超.软件技术进展.2004全国软件与应用学术会议(NASAC2004)论文集.北京：机械工业出版社,2004
[115]SEI,CMU. CBSE7.http://www.sei.cmu.edu/pacc/CBSE7
[116]Iowa State University. Specification and verification of component-based systems. http://www.cs.iastate.edu/SAVCBS/2004
[117]SAP中国.SAP公司简介http://www30.sap.com/china/company/index.aspx
[118]徐端,舒真,冯水华.钢铁企业质量管理系统研究与开发.控制工程.2005,12(6)：557-559
[119]顾佳晨,刘晓强,孙彦广.钢铁企业MES质量管理的功能与技术架构.冶金自动化,2004,28(1)：19-21
[120]陈冬亮.钢铁企业MES中质量控制系统的研究与设计.工业控制计算机,2005,18(6)：50-51
[121]秦悦.钢铁产品的质量控制.冶金标准化与质量,2003,40(4)：40-43
[122]张卓.钢铁产品分析的质量控制.冶金分析,2005,25(6)：82-84
[123]Gordon Stewart.Logistics information management.1997,10(2):62-67.
[124]张茂存,刁承民,元立峰.济南第三炼钢厂板坯连铸机计算机质量控制模型.山东冶金,2003,25(10)：145-146
[125]韩茂祥,黎茹,茅晓鸣MRPII/JIT集成的理论分析与应用研究.技术经济,2001,9：58-59
[126]金光熙.宝钢的生产管理.北京：冶金工业出版社,1993
[127]杨鸿鹏,赵丽萍,曾晓流.敏捷制造模式下质量保证系统体系结构研究.计算机集成制造系统,2003,9(7)：556-560
[128]项艳梅,朱林,刘清华.基于BOM的产品数据多视图集成研究.计算机应用研究,2004,2：17-20
[129]Jacobson I., Booch G., Rumbaugh J. The unified software development process. Addison-Wesley Pub Co,1999
[130]Boggs W., Boggs M. Mastering UML with rational rose 2002.Sybex,2002
[131]Ledeczi A., Maroti M., Bakay A., etal. The generic modeling environment. In: Proceedings of IEEE International Workshop on Intelligent Signal Processing (WISP'2001). Budapest, Hungary,2001
[132]Honeywell Inc. Dome guide. http://www.htc.honeywell.com/dome/
[133]Object Management Group (OMG). Common object request broker architecture. http://www.omg.org/
[134]Sessions R. COM and DCOM:microsoft's vision for distributed objects.New York, NY:JohnWiley& Sons,1997
[135]Kumaran I., Kumaran S.I. Jini technology:an overview. Prentice Hall,2001
[136]Agha G.A. Concurrent object-oriented programming. Communications of the ACM, 1990,33(9):125-141
[137]Agha G.A. Actors:A model of concurrent computation in distributed systems. Cambridge:MIT Press, MA,1986
[138]Lynch N., Segala R., Vaandrager F., etal. Hybrid I/O automata. In:R. Alur, T.A. Henzinger,and E.D. Sontag, editors, Hybrid Systems Ⅲ, volume 1066 of Lecture Notes in Computer Science. Springer-Verlag,1996
[139]Esser R., Janneck J.W. Moses-a tool suite for visual modeling of discrete-event systems.In:Proceedings of Symposium on Visual/Multimedia Approaches to Programming and Software Engineering Stresa. Italy,2001
[140]Balarin F., Chiodo M., Giusto P., etal. Hardware-software co-design of embedded systems:the polis approach. Kluwer Academic Press,1997
[141]Davis ⅡJ., Hylands C., Kienhuis B., etal. Heterogeneous concurrent modeling and design in java. Technical Memorandum UCB/ERL M01/12, EECS, University of California,Berkeley,2001,http://ptolemy.eecs.berkeley.edu/publications/papers/01/ HMAD/
[142]Liu X., Liu J., Eker J., etal. Heterogeneous modeling and design of control systems. Software-Enabled Control:Information Technology for Dynamical Systems. Tariq Samad and Gary Balas (eds.), Wiley-IEEE Press,2003
[143]De Alfaro L., Henzinger T.A. Interface theories for component-based design. In: Proceedings of the First Workshop on Embedded Software(EMSOFT 2001). Tahoe City, CA, LNCS 2211, Springer-Verlag,2001
[144]Eltefaat Shokri, Kane Kim. TMO-based programming in COTS software/hardware platforms:a case study. In:Application-Specific Systems and Software Engineering and Technology, ASSET99, IEEE Symposium 1999. TX, USA,1999
[145]Wolfe V. F.,DiPippo L.C.,etal. Real-time CORBA. In:Real-Time Technology and Applications Symposium. IEEE,1997
[146]Henzinger T. A., Matic S. An interface algebra for real-time components. In: Proceedings of the 12th Annual Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE Computer Society Press,2006
[147]Krishna C. M., Shin K. G. Real-Time Systems. New York:McGraw-Hill,1997
[148]Zhao Yang, Liu Jie, Lee E.A. A programming model for time-synchronized distributed real-time systems. In:Proceedings of 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS 2007). Bellevue, WA, USA,2007
[149]Lee E.A. Position statement for panel on grand challenges in embedded software. In:Proceedings of the 7th Annual Conference on Embedded Software (EMSOFT 2007). Salzburg, Austria,2007
[150]梅宏,黄罡,赵海燕等.一种以软件体系结构为中心的网构软件开发方法.中国科学,E辑,信息科学,2006,36(10)：1100-1126
[151]梅宏,申峻嵘.软件体系结构研究进展.软件学报,2006,17(6)：1257-1275
[152]吕建,马晓星,陶先平等.网构软件的研究与进展.中国科学,E辑,信息科学,2006,36(10)：1037-1080
[153]徐罡,黄涛,刘绍华等.分布应用集成技术核心技术研究综述.计算机学报,2005,28(4)：433-444
[154]Lee E. A., Neuendorffer S., Wirthlin M. J. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, Invited paper,2003,12(3):231-260
[155]Lee E. A., Zheng H., Zhou Y. Causality interfaces and compositional causality analysis. In:Proceedings of Foundations of Interface Technologies (FIT 2005). Invited paper, Satellite to CONCUR, San Francisco, CA,USA,2005
[156]Henzinger T. A., Sifakis J. The embedded systems design challenge. In: Proceedings of the 14th International Symposium on Formal Methods (FM 2006). Hamilton, Ontario, Canada, Lecture Notes in Computer Science, Springer,2006
[157]Michi Henning,Steve Vinoski基于C++CORBA高级编程.北京：清华大学出版社,2000
[158]Richard N. Taylor, Nenad Medvidovic,etal. A component-and message-based architectural style for GUI software. IEEE Transactions on Software Engineering, 1996,22(6):390-406
[159]李保建,曾广周,林宗楷.一种基于TriBus的软件集成框架.计算机研究与发展,1999,36(9)：1116-1120
[160]Brian W Beach, etal. Connecting software components with declarative glue. In: Proceedings of the 14th international conference on Software engineering. New York, ACM Press,1992
[161]Sangiorgi D., Walker D. The π-calculus-a theory of mobile processes. Cambridge University Press,2001
[2]李秀,应维云,刘文煌CIMS环境下产品质量系统工程.北京：机械工业出版社,2004
[3]林志航.计算机辅助质量系统.北京：机械工业出版社,1997
[4]SAP钢铁行业解决方案http://www.sap.com/china/industries/millproducts/index.epx
[5]Sohn, Soyoung, Choi. In su.fuzzy QFD for supply chain management with reliability consideration. Reliability Engineering and System Safety, 2001,72(3):327-334
[6]Hammer D.K., Chaudron M.R.V. Component-based software engineering for resource-constraint systems:what are the needs? Object-Oriented Real-Time Dependable Systems,IEEE,2001:91-94
[7]Peter o. Miller, Christian Stich, Christian Zeidler. Components@work. Component Technology for Embedded Systems. IEEE,2001:64-71
[8]L.Fernando Friedrich, John Stankovic, etal. A survey of configurable, component-based operating systems for embedded applications. IEEE Micro,2001, 21(3):54-68
[9]Goderis A., Brooks C., Altintas I., etal. Composing different models of computation in kepler and ptolemy Ⅱ. In:Proceedings of International Conference on Computational Science (ICCS 2007). Beijing, China, Lecture Notes in Computer Science, Springer,2007
[10]Ledeczi A., Maroti M., Bakay A., etal. GME 2006 users manual (v6.0). Tennessee, United States:University of Vanderbilt, Technical report,2006
[11]Henzinger T. A., Kirsch C. M., Matic S.. Composable code generation for distributed giotto. In:Proceedings of International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2005). Chicago, IL, USA, ACM Press,2005
[12]Vosniakos, George., Wang, Jiemin. A software system framework for planning and operation of quality control in discrete part manufacturing. Compuetr Integrated Manufacturing Systems,1997,10(1):9-25
[13]Sylla, C., Arinze, B. A method for precordination in a quality assurance information system. IEEE Transactions on Engineering Management,1991, 38(3):245-256
[14]Henry M.Kim,Mark S.Fox. Formal models of quality and ISO 9000 complicance.http://www.eil.utoronto.ca/enterprise-modelling/papers/ASQCPaperl2-93.pdf
[15]Ward P.T., Mellor S.J. Structured development for real time systems. Boston: Prentice Hall,1985
[16]Gomaa H. A software design method for real-time systems. Communication of the ACM,1984,27(9):938-949
[17]Gomma H. Software development of real-time systems. Communication of the ACM,1986,29(7):657-668
[18]Gomma H. A software design method for Ada based real time systems. Journal of Systems & Software,1994,25:127-146
[19]Gomma H. Designing concurrent, distributed, and real-time applications with UML. Addison-Wesley,2000
[20]Kopetz H., Zainlinger R., Fohler G, etal. The design of real-time systems:from specification to implementation and verification. Software Engineering Journal, 1991,6(3):72-82
[21]Kopetz H., Obermaisser H. Temporal composability. Computing and Control Engineering Journal,2002,8:156-162
[22]Burns A.,Wellings A. HRT-HOOD:a structured design method for hard real-time Ada systems. Elsevier Science,1995
[23]Robinson P.J. Hierarchical object-oriented design. Prentice Hall,1992
[24]Stankovic J. VEST:a toolset for constructing and analyzing component based operating systems for embedded and real-time systems. In:Proceedings of the Embedded Software, First International Workshop (EMSOFT 2001). Tahoe City, CA, USA, Springer-Verlag,2001
[25]Stankovic J., Zhu R., Poornalingam R., etal. VEST:an aspect-based composition tool for real-time systems. In:Proceedings of the 9th Real-Time Applications Symposium 2003. Toronto, Canada, IEEE Computer Society Press,2003
[26]Schneider S. A., Chen V. W., Pardo-Castellote G. ControlShell:component-based real-time programming. In:Proceedings of the IEEE Real-Time Technology and Applications Symposium.1995
[27]Selic B., Gullekon G., Ward Paul T. Real-time object-oriented modeling. New York:John Wiley&Sons Inc.,1994
[28]Selic B., Rumbaugh J. Using UML for modeling complex real-time systems. http://www-128.ibm.com/developerworks/rational/library/content/03July/1000/115 5/1155_umlmodeling.pdf
[29]董军,何积丰.软硬件混成系统与协同设计介绍.世界科技研究与发展,2005，,27(4)：50-53
[30]Hoare C.A.R., He Ji-Feng. Unifying theories of programming. Boston:Prentice Hall,1998
[31]李勇坚,何积丰,孙永强Verilog操作语义研究.软件学报,2002,13(10)：2021-2030
[32]李勇坚,何积丰,孙永强Verilog代数语义研究.软件学报,2003,14(3)：317-327
[33]Xia Feng, Sun You-Xian. Control-scheduling codesign:a perspective on integrating control and computing. Dynamics of Continuous, Discrete and Impulsive Systems-Series B:Applications and Algorithms, Special.Issue on ICSCA06. Watam Press, 2006
[34]尹红霞,王智,孙优贤.一种面向弱实时的加权公平队列调度算法.浙江大学学报-工学版,2005,39(10)：1579-]584
[35]杨鸿鹏,赵丽萍,林志航.敏捷制造模式下的分布式计算机辅助质量信息系统.计算机集成制造系统-CIMS,1998,8(4):34-39
[36]史金飞,洪著财,黄仁.基于Web界面的分布式质量控制系统.东南大学学报,2000,30(1)：84-87
[37]孙蓓蓓,钟秉林,史金飞.面向敏捷制造模式的质量保证信息系统研究.东南大学学报,1999,29(3)：39-42
[38]吕庆领,唐晓青.面向扩展企业的协同质量管理信息支持系统.制造业自动化,2003,25(2)：14-32
[39]陈志祥,李孟清,黄朝意NGMS中的质量管理与质量保证信息系统初探.华中理工大学学报,1998,26(7)：22-32
[40]夏苑,张为群.一种基于CBSE的嵌入式实时软件建模方法研究.计算机科学,2005,32(8)：213-215
[41]唐稚松.时序逻辑程序设计与软件工程.北京：科学出版社,1999
[42]刘瑞成,张立臣.基于UML的面向方面的实时系统建模方法.计算机应用,2005,25(8)：1874-1877
[43]刘小君,张立臣.基于扩展UML的实时系统建模方法.计算机应用研究,2003,11：26-28
[44]谢拴勤,解月江.基于UML-RT的实时系统分析与设计.计算机工程,2004,30(15)：192-194
[45]Karsai G., Sztipanovits J., Ledeczi A., etal. Model-integrated development of embedded software. Proceedings of IEEE,2003,91(1):145-164
[46]Karsai G., Maroti M., Ldeczi A., etal. Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control System Technology,2004, special issue on Computer Automated Multi-Paradigm Modeling:263-278
[47]Lee E. A. Concurrent semantics without the notions of state or state transitions. In: Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006). Paris, LNCS 4202, Springer-Verlag,2006
[48]Liu Xiao-Jun, Matsikoudis E., Lee E. A. Modeling timed concurrent systems. In: Proceedings of the 17th International Conference on Concurrency Theory (CONCUR 2006). Bonn, Germany, LNCS 4137, Springer-Verlag,2006
[49]Edwards S. A., Lee E. A. The case for the precision timed (PRET) machine. In: Proceedings of the 44th Design Automation Conference(DAC 2007). San Diego, USA,2007
[50]Liu Xiao-Jun, Lee E. A. CPO semantics of timed interactive actor networks. Berkeley, USA:EECS Department, University of California, Technical Report No. UCB/EECS-2006-67,2006
[51]Zhou Ye, Lee E. A. A causality interface for deadlock analysis in dataflow. In: Proceedings of the 6th Annual Conference on Embedded Software (EMSOFT 2006). Seoul, Korea,2006
[52]Lee E. A., Zheng Hai-Yang. Operational semantics of hybrid systems. In: Proceedings of Hybrid Systems:Computation and Control (HSCC 2005). Invited paper, Zurich, Switzerland, LNCS 3414,2005
[53]Henzinger T. A., Kirsch C. M. The embedded machine:predictable, portable real-time code. ACM Transactions on Programming Languages and Systems, 2007,29(6):315-326
[54]Ghosal A., Henzinger T. A., Iercan D., etal. A hierarchical coordination language for interacting real-time tasks. In:Proceedings of the 6th Annual Conference on Embedded Software (EMSOFT 2006). Seoul, Korea, ACM Press,2006
[55]Boasson M. Control systems software. IEEE Trans. on Automatic Control, 1993,38(7):1094-1106
[56]Flavic De Paoli, Francesco Tisato. Architectural abstraction for real-time software. In:Software Engineering Conference. IEEE,1995
[57]Rastofer U., Bellosa F. Component-based software engineering for distributed embedded real-time systems. Aspect-Oriented and Component-Based Software Engineering, IEE,2001,148(3):99-103
[58]Medvidovic N., Orcizy P., Robbins J., etal. Using object-oriented typing to support architectural design in the C2 style. In:Proceedings of the 4th Symposium on the Foundations of Software Engineering. ACM Press,1996
[59]Garlan D., Monroe R., Wile D. ACME:an architecture description interchange language. In:Proceedings of the CASCON97.1997
[60]Garlan D., Allen R., Ockerbloom J. Exploiting style in architectural design environments. In:Proceedings of SIGSOFT94 Symposium on the Foundations of Software Engineering. ACM Press,1994
[61]Magee J., Dulay N., Eisenbach S., etal. Specifying distributed software architectures. In:Proceedings of the 5th European Software Engineering Conference (ESEC95). LNCS989, Springer-Verlag,1995
[62]Milner R. Communicating and mobile systems:the Pi-calculus. Cambridge University Press,1999
[63]Luckham D., Vera J. An event-based architecture definition language. IEEE Transactions on Software Engineering,1995,21(9):717-734
[64]Shaw M., Deline R., Klein D., etal. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, Special Issue on software Architecture,1995,21(4):314-335
[65]Allen R., Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology,1997,6(3):213--249
[66]Hoare C. Communicating sequential processes. Prentice-Hall,1985
[67]Moriconi M., Qian X., Riemenschneider R. Correct architecture refinement. IEEE Transactions on Software Engineering,1995,21(4):356-372
[68]杨育,张晓冬,刘飞CIMS环境下车间级产品质量集成监控系统.计算机集成制造系统—CIMS,2002,8(5):417-420
[69]王时龙,杨丹,张宝情.代理式装配线质量监控系统的智能决策.计算机集成制造系统—CIMS,2003,9(4):320-329
[70]王灿,张根保,黄忠全.基于质量BOM和整合条码的质量信息系统的开发和实施.工业工程与管理,2001,5：22-25
[71]杨涛,马玉林,杨波．加工过程质量监控的多代理系统的结构和实现.计算机集成制造系统—CIMS,2001,7(3):42-48
[72]冯铁,张家晨,陈伟,金淳兆.基于框架和角色模型的软件体系结构规约.软件学报,2000,11(8)：1078-1086
[73]张家晨,冯铁,陈伟,金淳兆.基于主动连接件的软件体系结构及其描述方法.软件学报,2000,11(8)：1047-1052
[74]张世琨,王立福,杨芙清.基于层次消息总线的软件体系结构风格.中国科学(E辑),2002,32(3)：393-400
[75]朱雪阳,唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL软件学报,2003,14(4)：731-720
[76]骆华俊,唐稚松.可视化体系结构描XYZ/ADL软件学报,2000,11(8)：1024-1029
[77]梅宏,陈锋,冯耀东等.ABC：基于体系结构、面向构件的软件开发方法.软件学报,2003,14(4)：721-732
[78]王晓光,冯耀东,梅宏ABC/ADL一种基于XML的软件体系结构描述语言.计算机研究与发展,2004,41(9)：1521-1531
[79]Arcticus systems home page. http://www.arcticus-systems.com
[80]Stewart D. B., Volpe R. A., Khosla P. K. Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering,1997,23(12):759-776
[81]Stewart D. B., Khosla P. K. The chimera methodology:designing dynamically reconfigurable real-time software using port-based object. In:Proceedings of WORDS 94.CA, USA,1994
[82]Ulrich Hannemann, Jozef Hooman. Formal design of real-time components on a shared data space architecture. In:Computer Software and Applications Conference. IEEE,2001
[83]Szyperski C. Component software:beyond object-oriented programming. Addison-Wesley Pub. Co.,1998
[84]Wallnau K. C. Volume Ⅲ:A technology for predictable assembly from certifiable components. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, USA,2003
[85]Object Management Group. CORBA home page. http://www.omg.org/corba/
[86]Schmidt D.C., Levine D.L., Mungee S. The design of the TAO real-time object request broker. Computer Communications,1999,21:294-324
[87]Nierstrasz O., Arevalo G., Ducasse S., etal. A component model for field devices. In:Proceedings of the First International IFIP/ACM Working Conference on Component Deployment. Germany,2002
[88]Wuyts R., Ducasse S. Non-functional requirements in a component model for embedded systems. In:International Workshop on Specification and Verification of Component-Based Systems. OOPSLA,2001
[89]I-Ling Yen, Jayabharath Goluguri, Farokh Bastani, etal. A component-based approach for embedded software development. In:Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC02). IEEE,2002
[90]Stephen S. Yau, Bing Xia. An approach to distributed component-based real-time application software development. In:Object-Oriented Real-Time Distributed Computing Proceedings. IEEE,1998
[91]Stephen S. Yau, Fariaz Karim. Component customization for object-oriented distributed real-time software development. In:Object-Oriented Real-Time Distributed Computing, IEEE International Symposium.2000
[92]Pao-Ann Hsiung, Win-Bin See, etal. Formal verification of embedded real-time software in component-based application frameworks. In:Software Engineering Conference, APSEC 2001. IEEE,2001
[93]Pao-Ann Hsiung, Shang-Wei Lin, etal. VERTAF:an application framework for the design and verification of embedded real-time software. IEEE Transactions on Software Engineering,2004,30(10):656-674
[94]Markus Lumpe, Franz Achermann, Oscar Nierstrasz. A formal language for composition. Foundations of Component-based Systems. Cambridge University Press,2000
[95]Sprivery J. The notation:a reference manual. Englewood Cliffs:Prentice Hall, 1989
[96]Norman Delisle, David Garlan. Applying formal specification to industrial problems:a specification of anscilloscope. IEEE Software,1990,7(5):29-37
[97]David Garlan, David Notkin. Formalizing design spaces:implicit invocation mechanisms. In:VDM91:Formal Software Development Methods. Springer-Verlag, LNCS 551,1991
[98]Robert Allen, David Garlan. A formal approach to software architectures. In:Jan van Leeuwen, editor, Proceedings of IFIP92. Elsevier Science Publishers B. V., 1992
[99]Kevin J. Sullivan, John Socha, Mark Marchukov. Using formal methods to reason about architectural standards. In:Proceedings of the 19th International Conference on Software Engineering. Boston, MA,1997
[100]Berry G., Boudol G. The chemical abstract machine. Theoretical Computer Science, 1992,96:217-248
[101]Paola Inverardi, Alex Wolf. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Transactions on Software Engineering,1995,21(4):373-386
[102]Abrial J.R. The B-book:assigning programs to meanings. Cambridge University Presss,1996
[103]陈莉,陈忠保,赵振西.基于构件技术的工业控制软件设计.系统仿真学报,2001,7(3)：4-7
[104]徐丽萍,贾红卫,卢炎生RTCS:一种具有精确语义的实时构件描述机制.计算机科学,2005,32(8)：205-208
[105]芦王铭.基于软件构件技术的冶金工业过程控制系统.宝钢技术,2006,1：34-37
[106]吴斌,叶绿,吴朝晖.一种分布式实时嵌入式软件的构件模型Z—CCM计算机工程与应用,2005,41(3)：40-44
[107]古幼鹏,桑楠,熊光泽.嵌入式软件平台的构件化模型研究.计算机科学,2005,32(10)：216-219
[108]於朝晖,黄水松.基于软件体系结构的实时配置系统的方法.计算机工程与应用,2000,36(3)：47-49
[109]张世琨,张文娟,常欣等.基于软件体系结构的可复用构件制作和组装.软件学报,2001,12(9)：1352-1359
[110]邹炜,孙家,马肃等.青鸟网上构件库系统的访问控制机制.软件学报,2002,13(1)：92-98
[111]梅宏,谢涛,袁望洪等.青鸟构件库的构件度量.软件学报,2000,11(5)：634-641
[112]杨芙清.软件工程技术发展思索.软件学报,2005,16(1)：1-7
[113]张广泉.基于线性时序逻辑的实时系统建模与求精.小型微型计算机系统,2006,27(8)：1580-1584
[114]梅宏,刘超.软件技术进展.2004全国软件与应用学术会议(NASAC2004)论文集.北京：机械工业出版社,2004
[115]SEI,CMU. CBSE7.http://www.sei.cmu.edu/pacc/CBSE7
[116]Iowa State University. Specification and verification of component-based systems. http://www.cs.iastate.edu/SAVCBS/2004
[117]SAP中国.SAP公司简介http://www30.sap.com/china/company/index.aspx
[118]徐端,舒真,冯水华.钢铁企业质量管理系统研究与开发.控制工程.2005,12(6)：557-559
[119]顾佳晨,刘晓强,孙彦广.钢铁企业MES质量管理的功能与技术架构.冶金自动化,2004,28(1)：19-21
[120]陈冬亮.钢铁企业MES中质量控制系统的研究与设计.工业控制计算机,2005,18(6)：50-51
[121]秦悦.钢铁产品的质量控制.冶金标准化与质量,2003,40(4)：40-43
[122]张卓.钢铁产品分析的质量控制.冶金分析,2005,25(6)：82-84
[123]Gordon Stewart.Logistics information management.1997,10(2):62-67.
[124]张茂存,刁承民,元立峰.济南第三炼钢厂板坯连铸机计算机质量控制模型.山东冶金,2003,25(10)：145-146
[125]韩茂祥,黎茹,茅晓鸣MRPII/JIT集成的理论分析与应用研究.技术经济,2001,9：58-59
[126]金光熙.宝钢的生产管理.北京：冶金工业出版社,1993
[127]杨鸿鹏,赵丽萍,曾晓流.敏捷制造模式下质量保证系统体系结构研究.计算机集成制造系统,2003,9(7)：556-560
[128]项艳梅,朱林,刘清华.基于BOM的产品数据多视图集成研究.计算机应用研究,2004,2：17-20
[129]Jacobson I., Booch G., Rumbaugh J. The unified software development process. Addison-Wesley Pub Co,1999
[130]Boggs W., Boggs M. Mastering UML with rational rose 2002.Sybex,2002
[131]Ledeczi A., Maroti M., Bakay A., etal. The generic modeling environment. In: Proceedings of IEEE International Workshop on Intelligent Signal Processing (WISP'2001). Budapest, Hungary,2001
[132]Honeywell Inc. Dome guide. http://www.htc.honeywell.com/dome/
[133]Object Management Group (OMG). Common object request broker architecture. http://www.omg.org/
[134]Sessions R. COM and DCOM:microsoft's vision for distributed objects.New York, NY:JohnWiley& Sons,1997
[135]Kumaran I., Kumaran S.I. Jini technology:an overview. Prentice Hall,2001
[136]Agha G.A. Concurrent object-oriented programming. Communications of the ACM, 1990,33(9):125-141
[137]Agha G.A. Actors:A model of concurrent computation in distributed systems. Cambridge:MIT Press, MA,1986
[138]Lynch N., Segala R., Vaandrager F., etal. Hybrid I/O automata. In:R. Alur, T.A. Henzinger,and E.D. Sontag, editors, Hybrid Systems Ⅲ, volume 1066 of Lecture Notes in Computer Science. Springer-Verlag,1996
[139]Esser R., Janneck J.W. Moses-a tool suite for visual modeling of discrete-event systems.In:Proceedings of Symposium on Visual/Multimedia Approaches to Programming and Software Engineering Stresa. Italy,2001
[140]Balarin F., Chiodo M., Giusto P., etal. Hardware-software co-design of embedded systems:the polis approach. Kluwer Academic Press,1997
[141]Davis ⅡJ., Hylands C., Kienhuis B., etal. Heterogeneous concurrent modeling and design in java. Technical Memorandum UCB/ERL M01/12, EECS, University of California,Berkeley,2001,http://ptolemy.eecs.berkeley.edu/publications/papers/01/ HMAD/
[142]Liu X., Liu J., Eker J., etal. Heterogeneous modeling and design of control systems. Software-Enabled Control:Information Technology for Dynamical Systems. Tariq Samad and Gary Balas (eds.), Wiley-IEEE Press,2003
[143]De Alfaro L., Henzinger T.A. Interface theories for component-based design. In: Proceedings of the First Workshop on Embedded Software(EMSOFT 2001). Tahoe City, CA, LNCS 2211, Springer-Verlag,2001
[144]Eltefaat Shokri, Kane Kim. TMO-based programming in COTS software/hardware platforms:a case study. In:Application-Specific Systems and Software Engineering and Technology, ASSET99, IEEE Symposium 1999. TX, USA,1999
[145]Wolfe V. F.,DiPippo L.C.,etal. Real-time CORBA. In:Real-Time Technology and Applications Symposium. IEEE,1997
[146]Henzinger T. A., Matic S. An interface algebra for real-time components. In: Proceedings of the 12th Annual Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE Computer Society Press,2006
[147]Krishna C. M., Shin K. G. Real-Time Systems. New York:McGraw-Hill,1997
[148]Zhao Yang, Liu Jie, Lee E.A. A programming model for time-synchronized distributed real-time systems. In:Proceedings of 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS 2007). Bellevue, WA, USA,2007
[149]Lee E.A. Position statement for panel on grand challenges in embedded software. In:Proceedings of the 7th Annual Conference on Embedded Software (EMSOFT 2007). Salzburg, Austria,2007
[150]梅宏,黄罡,赵海燕等.一种以软件体系结构为中心的网构软件开发方法.中国科学,E辑,信息科学,2006,36(10)：1100-1126
[151]梅宏,申峻嵘.软件体系结构研究进展.软件学报,2006,17(6)：1257-1275
[152]吕建,马晓星,陶先平等.网构软件的研究与进展.中国科学,E辑,信息科学,2006,36(10)：1037-1080
[153]徐罡,黄涛,刘绍华等.分布应用集成技术核心技术研究综述.计算机学报,2005,28(4)：433-444
[154]Lee E. A., Neuendorffer S., Wirthlin M. J. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, Invited paper,2003,12(3):231-260
[155]Lee E. A., Zheng H., Zhou Y. Causality interfaces and compositional causality analysis. In:Proceedings of Foundations of Interface Technologies (FIT 2005). Invited paper, Satellite to CONCUR, San Francisco, CA,USA,2005
[156]Henzinger T. A., Sifakis J. The embedded systems design challenge. In: Proceedings of the 14th International Symposium on Formal Methods (FM 2006). Hamilton, Ontario, Canada, Lecture Notes in Computer Science, Springer,2006
[157]Michi Henning,Steve Vinoski基于C++CORBA高级编程.北京：清华大学出版社,2000
[158]Richard N. Taylor, Nenad Medvidovic,etal. A component-and message-based architectural style for GUI software. IEEE Transactions on Software Engineering, 1996,22(6):390-406
[159]李保建,曾广周,林宗楷.一种基于TriBus的软件集成框架.计算机研究与发展,1999,36(9)：1116-1120
[160]Brian W Beach, etal. Connecting software components with declarative glue. In: Proceedings of the 14th international conference on Software engineering. New York, ACM Press,1992
[161]Sangiorgi D., Walker D. The π-calculus-a theory of mobile processes. Cambridge University Press,2001