复杂流程分布式控制系统构件研究与模型变换
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
近年来我国复杂冶金流程工业分布式计算机控制系统对控制应用软件的复用及集成需求不断增加,计算机控制应用软件正在向着不依赖于特定的硬件和操作系统以及具有高度可重用性的方向发展。基于构件的软件开发技术已经成为现今计算机控制应用软件复用实践的研究热点,被认为是可满足流程工业控制系统所要求的体系结构的开放性及高度可重用性这一发展方向的关键技术,并面临着巨大的挑战。
     人们已经意识到,在复杂冶金流程分布式控制软件开发过程中,必须要结合主流软件工程领域中处理复杂软件系统所采用的技术和方法,如:构件化设计、软件开发工具、分层抽象、模型驱动及变换、程序自动生成等。
     复杂冶金流程分布式计算机控制系统一般是由网络连接的分布式控制来实现,把复杂系统分解成互联的容易实现精确控制的子系统,从层次上分为多级,其结构由不同的控制层次构成,具有较高的构件化特征。众多的中间件产品和开发工具提供了对不同构件模型的实现支持,但是它们由于对分布式计算机控制系统实时构件提供的服务在时间性及可预测性等诸多实时特性方面缺乏支持而不适宜于计算机控制系统的应用。目前在流程工业控制系统应用软件中,把软件的构件化作为解决软件开发、维护、扩展和升级的重要途径,而基于构件辅助设计的可视化软件工具可提高开发人员的软件生产率。
     本文着重于研究支持复杂冶金流程分布式控制系统应用软件开发的实时多任务图形化支持工具、具有实时特性的实时构件模型及接口语法语义规约以及其图形化设计工具DRSCDE的模型变换方法及代码自动生成技术。论文主要工作及创新有以下几个方面:
     (1)针对分布式控制系统应用领域研究专门的实时控制系统软件图形化设计工具。分析了实时多任务控制系统的图形化软件设计工具的实时对象图形化设计语言及伪码,包括实时多任务执行体支持的对象如任务、中断、邮箱及信号量等,以及系统调用及程序设计语言三种语句控制结构的图形符号表示及中间语言描述。
     (2)针对复杂冶金流程工业控制系统应用的实时特征,采用面向基于构件的软件工程的方法创建能够形成具有接口的实时软构件框架的分布式实时应用构件。建立了实时软构件的可视化模型,在高层抽象的含义下定义了可用于具有客户/服务器关系总体设计或架构设计的分布式实时应用构件的图形表示及接口组成成分。给出了软件架构的构件模型元素类型以及构件之间的协作关系定义。提出软件架构的建模层次,研究了DRSCDE基于构件设计的图形化建模方法。
     (3)为解决DRSCDE环境下构件接口的实时特性,提出实时构件接口语法语义规约,包括功能型接口及非功能性接口的语法语义规约。为解决该环境基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了基于C/S关系实时构件之间相互交互的协议规约。规定了构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。
     (4)鉴于UML-RT应用于复杂实时系统的日益广泛性,本文提出了从UML-RT的结构模型映射到DRSCDE环境下的体系结构模型的高层设计的映射方法,研究出了从UML-RT映射到该设计环境体系结构模型的具体方法、约束和限制。解决了UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境DRSCDE的过程设计模型问题,采用状态机有限遍历法,提出了把UML-RT状态图行为模型转换到该环境下的实时多任务可执行模型的具体方法。
     (5)研究将DRSCDE的中间代码自动生成Windows NT操作系统下的API及C++实时代码程序框架技术及代码生成器工具原型。首先研究分析了NT的实时特征及DRSCDE及NT实时执行体操纵的对象,提出了各DRSCDE实时执行体对象的文本语言中间代码对应到Windows NT实时执行体对象映射关系,必要的数据声明和系统调用API,最后采用编译技术给出代码自动生成器的设计方案。
In recent years, requirement of reuseability and integration for control application software are increasing continuously in distributed computer control system for complex metallurgy process industry in our country. Computer control application software is development toward independent on specific hardware and operating system and reusability with a high degree. Component-based software development technology is becoming one of the hot research issues nowadays in computer control application software reuse practice. It is considered a key technology to meet this development direction of the open architecture and high reusability required by the industrial process control system, and faced with a tremendous challenge.
     People have realized that in the software development processes for complex metallurgical process distributed control, it is necessary to combine mainstream technology and method used in software engineering for complex software systems, such as: component-based design, software development tools, layered abstraction, model driven and transformation, program automatic generation.
     Distributed computer control system for complex metallurgy process industry is implemented by distributed control connected by net. It is decomposition into interconnection and easily implenmented precise control subsystems, and divided into multi-level. Its structure consists of different layers of control. It is with higher component-based features. Many middleware products and development tools provide implementation support for different component models. However, they are not suitable for computer control system applications because they are not provided in timing and predictability of services of components in the distributed real-time computer control system, and lack of many other aspects of real-time characteristics. Currently, component-based software is regared as an important way for solution to software development, maintenance, expansion and upgrading in application softwares of control systems for process industry, and component-based visual software tools aided design can increase productivity of software developers.
     In this thesis, we focuses on research real-time multitasking graphical support tools, real-time component model, specifications of syntax and semantic of interface, and the model transformation methods of its graphical design tools DRSCDE and technology of automatic code generation, so as to support application software development in the distributed control system for complex metallurgical process. The main contributions and innovations of our work are as follows:
     Firstly, a specialized real-time control system software graphical design tool is researched for distributed control system application areas. Real-time software design objects and symbol representation of graphic design language and intermediate pseudo-code used by this tool are analyzed, including supporting objects by real-time multitasking executive such as task, interruption, mailbox and semaphore, system calland three statement of control structure in programming language.
     Secondly, aiming at features of real-time applications of control system for complex metallurgical process industry, Component-based software engineering oriented approach is adopted to create a real-time software component framework of distributed applications with interfaces. A real-time model of visual component is created. In high-level abstraction meanings, graphical representations of distributed real-time application components and elements comprised interface are defined which can be used in preliminary or architecture design step with a client / server relationship. Types of elements of component model that are used for describing software architecture, and types of collaboration relationship between components are introduced. A modeling layer method of software architecture and the component-based graphical modeling method are proposed in DRSCDE.
     Thirdly, syntax and semantic specifications of real-time component interfaces of functional and non-functional are provided so as to solve to real-time features of component interfaces in DRSCDE enviroment. In order to work out reusability and assembly of components for distributed and involved in C/S relation component-based real-time software, interaction syntax and semantic specifications of textual description language are proposed. Semantic specifications of component non-functional interface in time, schedulability, composition, synchronization, mutual exclusion and resource device control are given.
     Fourthly, guidelines of mapping UML-RT structure models into the high-level architecture models in DRSCDE environment are presented considering UML-RT growing breadth used in complex real-time system. Specific methods and constrains of mapping UML-RT model to the architecture description of this design environment are given. In order to overcome easy translation UML-RT behavior models into this design environment, specific guidelines of transformation UML-RT behavior model into the execution model of the procedural design in this environment are proposed by using finite traverse for the state machine.
     Lastly, technology of program framework which intermediate textual language in DRSCDE is automatically generated API and C + + codes under Windows NT operating system, and code generator tool prototype are researched. Real-time features of the NT, real-time object manipulated in DRSCDE and exective of the NT are analyzed. The map ping relationships with necessary data declarations and the system call API statements between intermediate textual language in DRSCDE and objects of kernel executive of Windows NT are presented. We focus on research the design scheme of a code automatic generator by using compiler technology.
引文
[1]熊光楞,吴柞宝,棘光明.计算机集成制造系统的组成与实施.北京:清华大学出版杜,1997
    [2]高秀兰.我国计算机集成制造系统(CIMS)的现状及前景展望.机械制造,2002,40(456):20-23
    [3]王明端.计算机集成制造系统的应用.信息技术,2001,8:12-14
    [4]孙鹤旭,花季伟,董砚等.流程工业中的信息集成系统.电工技术杂志,2002,10:53-55
    [5]CIMS应用集成平台技术发展现状与趋势.http://info.machine.hc360.com/list/info.shtml
    [6]第四代分布式控制系统(DCS).http::\\www.com.cn
    [7]OMG.CORBA/IIOP Specifications.http://www.omg.org/technology/documents/
    [8]Microsoft Corporation,The Component Object Model Specification,v0.99,1996
    [9]Sun Microsystems.Enterprise JavaBeans technology.http://java.sun.com/products/ejb
    [10]Pasetti,W.Pree.The component software challenge for real-time systems.In Proceedings of the First International Workshop on Real-Time Mission-Critical Systems,Scottsdale,AZ,Nov./Dec.1999
    [11]张云生.实时控制系统软件设计原理及应用.第三版.北京:国防工业出版社,2002
    [12]J.-J.Schwarz,J.Skubich,M.Miquel.A Graphical Language for Multitasking Real-time Application Design.An Application to iRMX Programming,In 18th IRUG International Conference,Baltimore,USA,October 1991
    [13]J.-J.Schwarz,J.Skubich and R.Aubry.LACATRE:the Basis for a Real-time Software Engineering Workshop.In PEARL'91 Workshop über Realzeitsysteme,Boppart,Allemagne,November 1991
    [14]J.-J.Schwarz.LACATRE:Langage d'Aide à la Conception d'Application Temps Réel.In Revue d'Automatique,In Productique et Informatique lndustrielle,APII AFCET, Dunod, Vol. 26, No.5,1992
    [15] J.-J. Schwarz, J. Skubich. Graphical Design of Real-time Applications. In NATO Advanced Study Institute (ASI) on Real-time Computing, Saint Martin, Antilles N6erlandaises, October 1992
    [16] J.-J. Schwarz, J. Skubich. Graphical Programming for Real-time Systems. Control Engineering Practice, 1993, Vol.1 (1): 112-114
    [17] J.-J. Schwarz, J. Skubich, P. Szwed etal. Real-time Multitasking Design with a Graphical Tool. In First IEEE Workshop on Real Time Applications, New York,USA, May 1993
    [18] J.-J. Schwarz, J. Skubich, P. Szwed etal. CASE Tools for iRMX Applications. In 10th IRUG International Conference, Portland, USA, October 1993
    [19] M. Maranzana, J.-J. Schwarz, J. Skubich etal. Application Objects and Modularity in Real-time Graphical Modelling. In 6th Euromicro Workshop on Real-time Systems, Vaesteraas, Sweden, June 1994
    [20] J.-F. Petit, J.-J. Schwarz, M. Maranzana etal. Data Flow Modelling in Real-time Multitasking Graphical Design. In Second IEEE Workshop on Real-time Applications, Washington, USA, July 1994
    [21] Ward P.T., Mellor S.J. Structured Development for Real Time Systems. Vol. 1-3. Prentice Hall. 1985
    [22] Gomaa H. A Software Design Method for Real-time Systems. Communication of the ACM. 1984,27(9):938~949
    [23] Gomma H. Software Development of Real-time Systems. Communication of the ACM. 1986,29(7):657~668
    [24] H. Gomaa. A Software Design Method for Ada Based Real Time Systems. J Systems & Software, 1994,25: 127 ~ 146
    [25] H. Gomaa. Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, 2000
    [26] H. Kopetz, R. Zainlinger, G. Fohler etal. The design of real-time systems: from specification to implementation and verification. Software Engineering Journal, 1991, 6(3): 72-82
    [27] H. Kopetz, H. Obermaisser. Temporal Composability. Computing and Control Engineering Journal, 2002, 8: 156-162
    [28] A. Burns, A.Wellings. HRT-HOOD: a Structured Design Method for Hard Real-Time Ada Systems. Real-Time Systems, 1995, vol.6 (1): 0922~6443
    [29] Robinson P.J. Hierarchical Object-Oriented Design. Prentice Hall, 1992
    [30] Reenskaug T., Wold P., Lehne O. Working with Objects: The OORAM Software Development Method. Manning/ Prentice Hall, 1996
    [31] J. Stankovic. 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, October 2001
    [32] J. Stankovic, R. Zhu, R. Poornalingam 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, May 2003
    [33] S. A. Schneider, V. W. Chen, G. Pardo-Castellote. ControlShell: Component-Based Real-Time Programming. In Proceedings of the IEEE Real-Time Technology and Applications Symposium, 1995
    [34] Graham I., O'Callaghan A., Wills A. C. Object-Oriented Methods: Principles and Practice. Addison-Wesley, 2001
    [35] Rumbauh J., Blaha M., Premerlani W. etal Object-oriented Modeling and Design. Prentice Hall, 1991
    [36] Coleman D., Arnold P., Bodoff S etal. Object-oriented Development. The Fusion Method. Prentice Hall, 1994
    
    [37] Jacobson I. Object-Oriented Software Engineering. Addison-Wesley, 1992
    [38] Selic B., Gullekon G., Ward Paul T. Real-time Object-oriented Modeling. New York: John Wiley&Sons Inc., 1994
    [39] B. Selic, J. Rumbaugh. Using UML for modeling complex real-time systems. March, 1998, http://www-128.ibm.com/developerworks/rational/library/content/03July/1000/1155/1155_umlmodeling.pdf
    [40]Andrew Lyons.UML for real-time overview.April 1998,http://www.umlorg.cn/UMLApplication/pdf/umlrt_overview.pdf
    [41]K.C.Wallnau.Volume Ⅲ:A Technology for Predictable Assembly from Certifiable Components,Technical report,Software Engineering Institute,Carnegie Mellon University,Pittsburgh,USA,April 2003
    [42]Arcticus Systems Home Page.http://www.-arcticus.se.
    [43]D.B.Stewart,R.A.Volpe,P.K.Khosla.Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects.IEEE Transactions on Software Engineering,1997,vol.23(12):759-776
    [44]D.B.Stewart,D.E.Schmitz,P.K.Khosla.The Chimera Ⅱ Real-Time Operating System for Advanced Sensor- Based Control Applications.IEEE Transactions on Systems,Man and Cybernetics,1992,vol.22(6):1282-1295
    [45]Stewart D B,Khosla P K.The Chimera Methodology:Designing Dynamically Reconfigurable Real-Time Software using Port-Based Object.In Proc.of WORDS 94,CA,USA.,1994
    [46]O.Nierstrasz,G.Arévalo,S.Ducasse etal.A Component Model for Field Devices.In Proceedings of the First International IFIP/ACM Working Conference on Component Deployment,Germany,June 2002
    [47]R.Wuyts,S.Ducasse.Non-Functional Requirements in a Component Model for Embedded Systems.In International Workshop on Specification and Verification of Component-Based Systems,OOPSLA,2001
    [48]Object Management Group.CORBA HomePage.http://www.omg.org/corba/
    [49]Object Managment Group.Minimum CORBA 1.0,http://www.omg.org/technology/-documents/formal/minimum_CORBA.htm
    [50]D.C.Schmidt,D.L.Levine,S.Mungee.The Design of the TAO real-time object request broker.Computer Communications,1999,vol.21:294-324
    [51]OMG,CORBA Component Model 3.0,June 2002,http://www.omg.org/technology/documents/formal/components.htm
    [52]陈莉,陈忠保,赵振西.基于构件技术的工业控制软件设计.系统仿真学报,2001.Vol.7(3):4
    [53]芦王铭.基于软件构件技术的冶金工业过程控制系统.宝钢技术,2006,1:34-37
    [54]於朝晖,黄水松.基于软件体系结构的实时配置系统的方法.计算机工程与应用,2003,3:47-50
    [55]张广泉.基于线性时序逻辑的实时系统建模与求精.小型微型计算机系统,2006,Vo1.27(8):1580-1584
    [56]夏苑,张为群.一种基于CBSE的嵌入式实时软件建模方法研究.计算机科学,2005.Vo1.32(8):213-215
    [57]唐稚松等.时序逻辑程序设计与软件工程.北京:科学出版社,2002
    [58]刘瑞成,张立臣.基于UML的面向方面的实时系统建模方法.计算机应用,2005,Vo1.25(8):1874-1877
    [59]刘小君,张立臣.基于扩展UML的实时系统建模方法.计算机应用研究,2003,11:26-28
    [60]谢拴勤,解月江.基于UML-RT的实时系统分析与设计.计算机工程,2004,Vol.30(15):192-194
    [61]刘小君,张立臣.基于UML的实时系统开发.微机发展,2003,Vo1.13(5):81-83,87
    [62]徐丽萍,贾红卫,卢炎生.RTCS:一种具有精确语义的实时构件描述机制.计算机科学,2005,Vo1.32(8):205-208
    [63]吴斌,叶绿,吴朝晖.一种分布式实时嵌入式软件的构件模型Z-CCM.计算机工程与应用,2005,3:40-44
    [64]古幼鹏,桑楠,熊光泽.嵌入式软件平台的构件化模型研究.计算机科学,2005,Vo1.32(10):216-219
    [65]张世琨,张文娟,常欣等.基于软件体系结构的可复用构件制作和组装.软件学报,2001,12(9):1352-1359
    [66]邹炜,孙家,马肃等.青鸟网上构件库系统的访问控制机制.软件学报,2002,13(1):92-98
    [67]梅宏,谢涛,袁望洪等.青鸟构件库的构件度量.软件学报,2000,11(5):634-641
    [68]梅宏,陈锋,冯耀东等.ABC:基于体系结构,面向构件的软件开发方法.软 件学报,2003,14(4):721-731
    [69]杨芙清.软件工程技术发展思索.软件学报,2005,16(1)
    [70]黄罡,王千祥,曹东刚等.PKUAS:一种面向领域的构件运行支撑平台.电子学报,2002,30(12A):1938-1942.
    [71]杨荚清,梅宏,李克勤.软件复用与软件构件技术.电子学报.1999,2:68-75
    [72]徐小明.基于构架构件化的软件复用技术研究.武汉理工大学学报,2004,26(5):42-46
    [73]韦华颖,詹剑锋,王沁.分布式构件技术综述.计算机应用与研究,2004,(10):12-15
    [74]熊光泽,古幼鹏,桑楠.嵌入式应用软件设计方法学研究综述.计算机应用,2004,24(4)
    [75]杨鹏,杜庆伟,顾冠群.实时CORBA规范分析与评述.计算机工程与应用,2002.13:88-90
    [76]胡峰,林子禹,潘小进等.一种基于构件模型的分布式实时应用程序设计方法.计算机工程与科学,2003,vol.25(1):10-13
    [77]古幼鹏,桑楠,熊光泽等.一种基于构件的嵌入式实时软件框架.计算机科学,2004.vol.31(12):173-178
    [78]Institute of Electrical and Electronics Engineers.IEEE Standard Glossary of Software Engineering Terminology.IEEE Std.610,1990
    [79]P.A.Laplante.Real-Time Systems Design and Analysis:An Engineer's Handbook,2nd edition.IEEE Press,1997
    [80]Jane W.S.Liu.Real-Time Systems.First edition.北京:高等教育出版社,2002,11
    [81]蔡德聪等,工业控制计算机实时操作系统.北京:清华大学出版社,1999
    [82]何克忠,李伟.计算机控制系统.北京:清华大学出版社,1998
    [83]International Electrotechnical Commission,Programmable Controllers - Part 1:General Information,2nd edition.International Standard IEC 61131-1,2003
    [84]Overcoming the Crisis in Real-Time Software Development.http://www.Object.com
    [85] F. Luders, Use of Component-Based Software Architectures in Industrial Control Systems, Technology Licentiate Thesis, Malardalen University, Sweden, 2003
    [86] Christer Eriksson, Jukka M aki-Turja, Kjell Post etal. An Overview of RTT: A Design Framework for Real-Time Systems. Journal of Parallel and Distributed Computing, 2004, 64(5): 578-590
    [87] L. Sha, R. Rajkumar, M. Gagliardi. Evolving Dependable Real-Time Systems. In Proc. IEEE Aerospace Applications Conference. IEEE Computer Society Press. 1996
    [88] Lui Sha. Dependable System Upgrade. In Proc. 19th Real-Time Systems Symposium, IEEE Computer Society Press, 1998
    [89] Frank Luders. Adopting a Software Component Model in Real-Time Systems Development. In 28th Annual NASA Goddard Software Engineering Workshop (SEW'03), Sew, 2003
    [90] Ivica Crnkovic. Component-based Software Engineering: Building systems from components. In Proceedings COMPSAC 2002 Conference, IEEE, Oxford, UK, 2002
    [91] Damir Isovic, Ivica Crnkovic. System Development with Real-Time Components.In Proceedings of the International ECOOP2000 Workshop 22 - Pervasive Component-based systems, Sophia Antipolis and Cannes, France, 2000
    [92] D'souza D.F., Wills A.C.. Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1998
    [93] G. T. Heineman, W. T. Councill. Component-Based Software Engineering: Putting the Pieces Together. Addison Wesley Professional, 2001
    [94] G. T. Leavens. M. Sitaraman. Foundations of Component-Based Systems. Cambridge University Press, 2000
    [95] C. Szyperski. Component Software: Beyond Object-Oriented Programming, 2nd Edition. Addison Wesley Professional, 2002
    [96] Mei H. A component model for perspective management of enterprise software reuse. Annals of Software Engineering, 2001,11 (1): 219-236
    [97] Alan Brown. Building Systems from Pieces with Component-Based Software Engineering,July,1999,http://www.cbd-hq.com/articles/Bios/bio_alan_w_brown.asp
    [98]Bruce Powel Douglass.柳翔等译.嵌入式与实时系统开发、使用UML、对象技术、框架与模式.北京:机械工业出版社.2005
    [99]Mary Shaw,David Garlan.Software Architecture.北京:清华大学出版社,1998
    [100]Allen R,Garlan,D..Formalizing architectural connection.In Proceedings of the 16th International Conference on Software Engineering.Los Alamitos,CA:IEEE Computer Society,1994,http://acm.lib.tsinghua.edu.cn/acm/main.nsp?view=ACM
    [101]Shaw M.The coming-of-age of software architecture research.In Proceedings of the 23rd International Conference on Software Engineering,Washington DC,IEEE Computer Society,2001,http://acm.lib.tsinghua.edu.cn/acm/main.nsp?view=ACM
    [102]Allen P.,Frost S.Component-based Development for Enterprise Systems,Applying the SELECT Perspective.Cambridge University Press/SIGS,1998
    [103]Chessman J.,Daniels J.UML Components:A simple Process for Specifying Component-based Software.Addison-Wesley,2000
    [104]Ivar Jacobson,Martin Griss,Partrik Jonsson.SOSTWARE REUSE Architecture,Process and Organization for Business Success.北京:世界图书出版公司,1997
    [105]C.Atkinson,J.Bayer.顾剑等译.基于构件的产品线工程UML方法.北京:机械工业出版社,2005
    [106]Ian Sommerville.Software Engineering,7th edition.北京:机械工业出版社,2004
    [107]Roger S.Pressman.Software Engineering:A Practitioner's Approach,7th edition.北京:机械工业出版社,2005
    [108]Jacobson Ivar,Booch Grady,Rumbaugh James.周伯生,冯学民,樊东平译.统一软件开发过程.北京:机械工业出版社,2002
    [109]史济民,顾春华,李昌武等.软件工程--原理、方法及应用,第二版.北京:高等教育出版社,2002
    [110]Kim K H,Liu Juqiang,Kim Moon-Hae.Deadline Handling in Real-Time Distributed Objects..In Proc Object-Oriented Real-Time Distributed Computing,Third IEEE International Symposium,2000
    [111] CORBA and CCM Page, http://www.ditec.um.es/~dsevilla/ccm/
    
    [112] Wolfe V F, DiPippo L C. Real-time CORBA. In Real-Time Technology and Applications Symposium, IEEE, 1997
    [113] Pyarali I, Schmidt D C, Cytron R K.. Techniques for enhancing real-time CORBA quality of service. In Proc. of the IEEE, 2003
    [114] OMG CORBA Component Specification.http://www.omg.org/technology/documents/formaVcomponents.htm
    [115] Philippe Merle. CORBA Component Model Tutorial. http://www.omg.org/docs/ccm/02-04-01.pdf
    [116] Frank Pilhofer. Writing and Using CORBA Components. 2002-4, http ://www.fpx.de/MicoCCM/download/mico-ccm .pdf
    [117] Douglas C.Schmidt, Fred Kuhns. An Overview of the Real-Time CORBA Specification. http:// www.cs.wustl.edu/~schmidt/PDF/orc.pdf
    [118] Chen D, Mok A, Nixon M. Real-time Support in COM. System Sciences. In Proc. of the 32nd Annual Hawaii International Conference, Maui, HI USA., 1999
    [119] Yau S S, Taweponsomkiat C. An Approach to Object-Oriented Component Customization for Real-time Software Development. Object-Oriented Real-Time Distributed Computing. In (ISORC 2002) Proc. Fifth IEEE Intl. Symposium, Washington, DC USA., 2002
    [120] Hermann Kopetz, Neeraj Suri. Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces. http://www.vmars.tuwien.ac.at/courses/dse/papers/12-003.pdf
    [121] Shengquan Wang, Sangig Rho. Real-Time Component-based Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), San Francisco, California, 2005
    [122] Schwarz J-J., Maranzana M., Skubich J.J. etal. Applicative Objects Interconnectionin a Graphical Design for Real-Time Applications. In 20th IFAC Workshop on Real Time Programming (WRTP'95), Florida, USA, 1995
    [123] Fabio Kon., Roy H. Campbell. Dependence Management in Component-Based Distributed Systems. http://choices.cs.uiuc.edu/2k/papers/DependenceManagement-concurrency.pdf
    [124]R.Alur,R.Grosu,I.Lee etal.Compositional refinement for hierarchical hybrid systems.In Hybrid Systems:Computation and Control,Lecture Notes Computer Science,Springer-Verlag,2001
    [125]O.Defour,J.-M.Jeequel,N.Plouzeau.Extra-functional contract support in components.In Component-Based Software Engineering,7th International Symposium,CBSE 2004,Lecture Notes Computer Science,Springer-Verlag,2004
    [126]吴建,郑潮,汪杰.UML基础与Rose建模案例.北京:人民邮电出版社,2004
    [127]Wendy Boggs等著.邱仲潘等译.UML with Rational Rose从入门到精通.北京:电子工业出版社,2002
    [128]蒋慧,吴礼发等著.UML Programming Guide设计核心技术.北京:希望电子出版社,2001
    [129]Andrew Lyons.UML for real-time overview.April 1998,http://www.uml.org.cn/UMLApplication/pdf/umlrt_overview.pdf
    [130]B.Selic,J.Rumbaugh.Using UML for modeling complex real-time systems.March 11,1998,http://www-128.ibm.com/developerworks/rational/library/content/03July/1000/1155/1155_umlmodeling.pdf
    [131]Selic B.The Real-time UML Standard:Definition and Application.In Proceedings of the 2002 Design Automation and Test in Europe Conference and Exhibition(DATE.02),2002
    [132]G.Booch,J.Rumbaugh,I.Jacobson.姚淑珍等译.UML参考手册.北京:机械工业出版社,2001
    [133]G.Booch,J.Rumbaugh,I.Jacobson.邵维忠等译.UML用户指南.北京:机械工业出版社,2001
    [134]Rational software Corporation.Rational Rose RealTime 2003.http://www.rational.com/product/rosert,2003
    [135]Rational software Corporation.Modeling Language Guide.http://www.rational.com/rosert_modeling_language.pdf
    [136]Rational software Corporation.Model Examples.http://www.rational.com/ rosert_model_examples.pdf
    [137]Rational Software Corporation.Tutorials.http://www.rational.com/rosert_tutorials_guide.pdf
    [138]Rational Software Corporation.Orientation Manual-Rational Rose Real Time 2003Enterprise Edition.http://www.rational.com/RationalRealTimeOrientation03.pdf
    [139]Rational Software Corporation.Guide to Team Development.http://www.rational.com/rosert_team_development.pdf
    [140]J.J.Schwarz,Jelemenska etal.From CRSM specification to a real-time multitasking execution model.In Proceedings of the IEEE International Symposium on Industrial Electronics,ISIE '99,Bled-Slovenia,1999
    [141]屠祁,屠立德.操作系统基础.北京:清华大学出版社,2000
    [142]Jeffrey Richter著.王书洪,刘光明译.Windows高级编程指南.北京:清华大学出版社,1999
    [143]Jeffrey Richter著.王建华等译.Windows核心编程.北京:机械工业出版社,1999
    [144]Jeffrey Richter著.郑全战等译.Windows NT高级编程指南.北京:清华大学出版社,1992
    [145]Helen Custer著.程渝荣译.Windows NT技术内幕.北京:清华大学出版社,1993
    [146]张幸儿.计算机编译原理.北京:科学出版社,1999
    [147]郑宗汉.实时系统软件基础.北京:清华大学出版社,2003

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700