CN100394387C - 系统执行故障预防方法及其编译器 - Google Patents

系统执行故障预防方法及其编译器 Download PDF

Info

Publication number
CN100394387C
CN100394387C CNB2006100017722A CN200610001772A CN100394387C CN 100394387 C CN100394387 C CN 100394387C CN B2006100017722 A CNB2006100017722 A CN B2006100017722A CN 200610001772 A CN200610001772 A CN 200610001772A CN 100394387 C CN100394387 C CN 100394387C
Authority
CN
China
Prior art keywords
file
certain operations
compiler
idl
interface definition
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CNB2006100017722A
Other languages
English (en)
Other versions
CN1811713A (zh
Inventor
汪明
程建斐
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Taiwan Semiconductor Manufacturing Co TSMC Ltd
Original Assignee
Taiwan Semiconductor Manufacturing Co TSMC Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Taiwan Semiconductor Manufacturing Co TSMC Ltd filed Critical Taiwan Semiconductor Manufacturing Co TSMC Ltd
Publication of CN1811713A publication Critical patent/CN1811713A/zh
Application granted granted Critical
Publication of CN100394387C publication Critical patent/CN100394387C/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明提供一种系统执行故障预防方法及其编译器，所述系统执行故障预防方法，首先，使用一接口定义语言编译器编译一接口定义语言文件来产生一编译过的接口定义语言文件。通过在编译过的接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的接口定义语言文件。当包括此转换后的文件的一程序执行至此特定运算子时，在相应特定运算子的原始操作前执行额外操作。本发明所述系统执行故障预防方法及其编译器，提供了有效的机制来预防系统执行故障，从而节省相关人力与时间，且强化系统的稳定性。

Description

系统执行故障预防方法及其编译器
技术领域
本发明是有关于系统管理，且特别有关于一种系统执行故障的预防方法及系统。
背景技术
在系统管理中，预防系统的执行故障是非常重要且关键的。由于执行时错误可能会导致系统死机(shutdown)，需要平顺且可靠执行环境来确保生产稳定的制造系统，如制造执行系统更须对于系统执行故障进行特定的预防。大部分的300mm制造执行系统，举例来说，是采用CORBA(公共对象请求代理体系结构)。CORBA提供一称为序列(Sequence)的动态容器作为储存数据的阵列数据结构。然而，由于当一程序存取到系统上未初始化的存储器时系统将会死机，因此，此结构是非常不够稳定的。在制造厂中，要在以CORBA为基础的制造执行系统中将不安全的程序锁定是非常困难的。
IBM公司提供一种处理系统执行故障的容错机制。如图1A所示，系统100提供三个程序来同时服务相应的程序。在图1A中，程序S1与S2被用来分别服务程序P1与P2，而程序S3为闲置。当程序P2导致程序S2死机关闭时，系统可以自动取消程序S2，叫醒程序S3来重新服务程序P2，且另外启动一个在闲置状态的新程序S4，以应付新的要求，如图1B所示。
然而，IBM公司所提出的单纯使用另外一程序来重新服务程序的机制无法解决系统死机的问题。对于一个完整的解决方案，有问题的程序码必须重新进行检视且逐行修正。这样的方法将会非常耗时且无效率，且错误亦可能持续存在，从而使得系统持续暴露在死机风险之中。
另外，系统死机问题亦会出现在网络环境中。由客户所传送的数据版本必须符合服务器可以辨识与接受的版本。如果数据版本不相配，系统可能会死机关闭。图2显示解决网络环境中系统死机问题的机制。首先，客户端210传送一数据版本至服务器220的版本单元221，如S1所示。接着，版本单元221判断此数据版本是否相配服务器220上所使用的版本，且回传一回应给客户210，如S2所示。如果数据版本相配，客户端210传送数据给服务器220的处理核心222，如S3所示。否则，客户端210取消传送。然而，现有机制需要许多网络传输，使得其非常耗时且不具效率。
发明内容
有鉴于此，本发明提供一种系统执行故障预防方法。
依据本发明提供一种系统执行故障预防方法，首先，使用一接口定义语言(Interface Definition Language，IDL)编译器编译一接口定义语言文件来产生一编译过的接口定义语言文件。通过在编译过的接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的接口定义语言文件。当包括此转换后的文件的一程序执行至此特定运算子时，在相应特定运算子的原始操作前执行额外操作，且当执行该额外操作时，若该特定运算子的一参数值不在一初始值内或者该特定运算子需要存取未初始化的一存储器时，回传一错误讯息。
在编译接口定义语言文件时，更产生一标题文件，且使用一来源码编译器将一来源码文件与此标题文件进行编译。转换后的文件与编译后的来源码文件进行合并来产生程序。
特定运算子包括CORBA的订购(Subscribe)运算子。如果参数值在初始值内，允许执行特定运算子的原始操作。如果特定运算子不需要存取未初始化的存储器，允许执行特定运算子的原始操作。
本发明提供一种编译器，所述编译器包括：一接口定义语言编译器，用以编译一接口定义语言文件；以及一转换编译器，用以通过在编译过的该接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的该接口定义语言文件；当包括该转换后的文件的一程序执行至该特定运算子时，在相应该特定运算子的原始操作前执行该额外操作，且当执行该额外操作时，若该特定运算子的一参数值不在一初始值内或者该特定运算子需要存取未初始化的一存储器时，回传一错误讯息。
本发明所述的编译器，更包括：一来源码编译器，用以编译一来源码文件与一标题文件，其中该标题文件是于编译该接口定义语言文件时产生；其中该转换后的文件与编译后的该来源码文件是合并来产生该程序。
本发明所述的编译器，该特定运算子包括公共对象请求代理体系结构的一订购运算子。
本发明所述的编译器，若该参数值在该初始值内，允许执行该特定运算子的原始操作。
本发明所述的编译器，若该特定运算子不需要存取未初始化的存储器，允许执行该特定运算子的原始操作。
依据本发明提供一种使用于网络环境的系统执行故障预防方法，首先，透过一网络接收一包。此包是事先被一编码器以一数据版本与数据进行编码。接着，包被一译码器译码，以得到数据版本与数据。之后，判断数据版本是否相配于一既定版本，如果是，依据接收的数据执行操作。否则，丢弃此包。
本发明又提供一种系统执行故障预防系统，所述系统执行故障预防系统包括：一编码器，用以编码一数据版本与数据来产生一包，且透过一网络传送该包；以及一译码器，用以接收该包，译码该包，以得到该数据版本与数据，判断该数据版本是否相配于一既定版本，且若该数据版本相配于该既定版本，依据接收的该数据执行操作。
本发明所述的系统执行故障预防系统，该译码器更当该数据版本不相配于该既定版本时，丢弃该包。
本发明上述方法可以透过程序码方式收录于实体介质中。当程序码被机器载入且执行时，机器变成用以实行本发明的装置。
本发明所述系统执行故障预防方法及系统及其编译器，提供了有效的机制来预防系统执行故障，从而节省相关人力与时间，且强化系统的稳定性。
附图说明
图1A与图1B为一示意图是显示一现有容错机制；
图2为一流程图是显示解决网络环境中系统死机问题的机制；
图3为一示意图是显示一现有CORBA编译程序；
图4为一示意图是显示依据本发明实施例的编译器；
图5为一示意图是显示依据本发明实施例的系统执行故障预防方法；
图6为一流程图是显示依据本发明实施例的程序执行程序；
图7为一示意图是显示储存提供系统执行故障预防方法的计算机程序的储存介质；
图8为一示意图是显示依据本发明实施例的网络环境的系统执行故障预防方法；
图9为一示意图是显示储存提供系统执行故障预防方法的计算机程序的储存介质。
具体实施方式
为使本发明的上述目的、特征和优点能更明显易懂，下文特举实施例，并配合所附图示，进行详细说明如下。
在本发明实施例中，现有CORBA编译程序被进行修正，以有效率地避免系统死机问题。
CORBA允许程序的段(Segment)或对象(Object)来与不同的程序语言与操作系统的段或对象进行相互通信。CORBA提供一种机制，其中对象可以在不同的分散环境中的不同平台上相互通信。在此模式中，客户端透过一完善定义的接口由对象要求服务。此接口在接口定义语言(IDL)中指定。客户端可以通过发出一要求来存取一对象。此要求可以是一事件，且带有包括一操作、服务供应者的对象参考(Object Reference)与实际参数等的信息。
图3为一示意图是显示一现有CORBA编译程序。如图3所示，透过一接口定义语言编译器302，一接口定义语言文件301可以被产生一编译后的接口定义语言文件303与一标题(Header)文件304。值得注意的是，一接口定义语言文件包含一个或多个接口定义。每一接口定义是由一接口标题与一接口主体(Body)所组成。接口标题是由方括号所区分。接口主体是包含于圆括号中。
另外，透过一来源码编译器306，一来源码文件305与标题文件304可以产生一编译后的来源码文件307。值得注意的是，来源码文件305可以是一个使用C++、JAVA或是其他程序语言所撰写的文件，且来源码编译器306可以是CORBA基础的C++、JAVA或是其他编译器。接口定义语言文件303与编译后的来源码文件307被结合来产生一程序308。
图4为一示意图是显示依据本发明实施例的编译器。编译器400包括一接口定义语言编译器302、一来源码编译器306与一转换编译器410，其细节将于后说明。
图5为一示意图是显示依据本发明实施例的系统执行故障预防方法。注意的是，在图3、图4与图5中相同的元件将以相同的标示表示。首先，使用接口定义语言编译器302编译接口定义语言文件301，如S501所示，以分别产生一编译后的接口定义语言文件303，如S502a所示与一标题文件304，如S502b所示。接着，编译后的接口定义语言文件303被转换编译器410进行转换，如S503所示，以产生一转换后的文件411，如S504所示。其中，转换编译器410是在编译过的接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的接口定义语言文件。
另外，一来源码编译器306编译一来源码文件305与标题文件304，如S505所示，以产生一编译后的来源码文件307，如S506所示。之后，转换后的文件411与编译后的来源码文件307被结合来产生一程序308。值得注意的是，当包括此转换后的文件411的程序308执行至此特定运算子时，在相应特定运算子的原始操作前执行额外操作。特定运算子包括CORBA的订购运算子。额外操作包括，但不限定是，保护的操作其包括判断订购运算子是否要存取未初始化的存储器、与判断订购运算子的参数值是否在一初始值内。值得注意的是，相应订购运算子的原始操作在CORBA中已经明确定义，在此省略。
图6为一流程图是显示依据本发明实施例的程序执行程序。当一程序执行至订购运算子时，首先，如步骤S610，判断订购运算子是否要存取未初始化的存储器。类似地，步骤S610可以是判断订购运算子的参数值是否在一初始值内。如果不需要，即步骤S610的否，如步骤S611，允许依据相应的参数执行订购运算子的原始操作。若需要存取未初始化的存储器，即步骤S610的是，如步骤S612，取消执行订购运算子的原始操作，且如步骤S613，回报一个错误信息给计算机系统或相关人员以进行后续处理。
图7为一示意图是显示储存提供系统执行故障预防方法的计算机程序的储存介质。计算机程序产品包括可以使用于计算机系统700中具有储存计算机可读取程序码的储存介质710。计算机可读取程序码至少包括程序码711，用以使用一接口定义语言编译器编译一接口定义语言文件来产生一编译过的接口定义语言文件、以及程序码712，用以通过在编译过的接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的接口定义语言文件。当包括此转换后的文件的一程序执行至此特定运算子时，在相应特定运算子的原始操作前执行额外操作。
计算机可读取程序码更包括程序码(未显示)，用以判断订购运算子是否要存取未初始化的存储器、程序码(未显示)，用以当订购运算子不需要存取未初始化的存储器时，允许执行特定运算子的原始操作、以及程序码(未显示)，用以当订购运算子需要存取未初始化的存储器时，取消执行特定运算子的原始操作。计算机可读取程序码更包括程序码(未显示)，用以当订购运算子需要存取未初始化的存储器时，发出一错误信息。
图8为一示意图是显示依据本发明实施例的网络环境的系统执行故障预防方法。此环境包括分别在至少一客户端与一服务器上的一编码器803与一译码器806。
首先，客户端上的数据版本(或数据格式)802与数据801被编码器803进行编码，如步骤S811所示，以产生一包804，如步骤S812所示。此包804透过网络805被传送至服务器，如步骤S813所示。接收到包804之后，包804被译码器806译码，如步骤S814所示，以得到数据版本802与数据801，如S815所示。之后，判断数据版本802是否相配于服务器上的一既定版本，且如果是，依据接收的数据执行操作。否则，丢弃此包。
图9为一示意图是显示储存提供系统执行故障预防方法的计算机程序的储存介质。计算机程序产品包括可以使用于计算机系统900中具有储存计算机可读取程序码的储存介质910。计算机可读取程序码至少包括程序码911，用以透过一网络接收一包；程序码912，用以译码包，以得到数据版本与数据；程序码913，用以判断数据版本是否相配于一既定版本；以及程序码914，用以当数据版本相配于既定版本时，依据接收的数据执行操作。
通过本发明实施例，可以提供有效的机制来预防系统执行故障，从而节省相关人力与时间，且强化系统的稳定性。
本发明的方法与系统，或特定型态或其部分，可以以程序码的型态包含于实体介质，如软盘、光盘片、硬盘、或是任何其他机器可读取(如计算机可读取)储存介质，其中，当程序码被机器，如计算机载入且执行时，此机器变成用以参与本发明的装置。本发明的方法与装置也可以以程序码型态透过一些传送介质，如电线或电缆、光纤、或是任何传输型态进行传送，其中，当程序码被机器，如计算机接收、载入且执行时，此机器变成用以参与本发明的装置。当在一般用途处理器实作时，程序码结合处理器提供一操作类似于应用特定逻辑电路的独特装置。
虽然本发明已通过较佳实施例说明如上，但该较佳实施例并非用以限定本发明。本领域的技术人员，在不脱离本发明的精神和范围内，应有能力对该较佳实施例做出各种更改和补充，因此本发明的保护范围以权利要求书的范围为准。
附图中符号的简单说明如下：
P1、P2：程序
S1、S2、S3、S4：程序
100：系统
210：客户端
220：服务器
221：版本单元
222：处理核心
301：接口定义语言文件
302：接口定义语言编译器
303：编译后的接口定义语言文件
304：标题文件
305：来源码文件
306：来源码编译器
307：编译后的来源码文件
308：程序
400：编译器
410：转换编译器
411：转换后的文件
S501、S502a、S502b、...、S507：操作步骤
S610、S611、...、S613：操作步骤
700：计算机系统
710：储存介质
711、712：程序码
801：数据
802：数据版本
803：编码器
804：包
805：网络
806：译码器
S811、S812、...、S815：操作步骤
900：计算机系统
910：储存介质
911、912、913、914：程序码

Claims (10)

1.一种系统执行故障预防方法，使用于一计算机系统中，其特征在于，所述系统执行故障预防方法包括下列步骤：
编译一接口定义语言文件来产生一编译过的接口定义语言文件；以及
通过在编译过的该接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的该接口定义语言文件；
当包括该转换后的文件的一程序执行至该特定运算子时，在相应该特定运算子的原始操作前执行该额外操作，且当执行该额外操作时，若该特定运算子的一参数值不在一初始值内或者该特定运算子需要存取未初始化的一存储器时，回传一错误讯息。
2.根据权利要求1所述的系统执行故障预防方法，其特征在于，更包括下列步骤：
编译该接口定义语言文件，以更产生一标题文件；
使用一来源码编译器将一来源码文件与该标题文件进行编译；以及
将该转换后的文件与编译后的该来源码文件进行合并来产生该程序。
3.根据权利要求1所述的系统执行故障预防方法，其特征在于，该特定运算子包括公共对象请求代理体系结构的一订购运算子。
4.根据权利要求1所述的系统执行故障预防方法，其特征在于，更包括：
若该参数值在该初始值内，允许执行该特定运算子的原始操作。
5.根据权利要求1所述的系统执行故障预防方法，其特征在于，更包括：
若该特定运算子不需要存取未初始化的存储器，允许执行该特定运算子的原始操作。
6.一种编译器，其特征在于，所述编译器包括：
一接口定义语言编译器，用以编译一接口定义语言文件；以及
一转换编译器，用以通过在编译过的该接口定义语言文件中定义相应一特定运算子的额外操作来转换编译过的该接口定义语言文件；
当包括该转换后的文件的一程序执行至该特定运算子时，在相应该特定运算子的原始操作前执行该额外操作，且当执行该额外操作时，若该特定运算子的一参数值不在一初始值内或者该特定运算子需要存取未初始化的一存储器时，回传一错误讯息。
7.根据权利要求6所述的编译器，其特征在于，更包括：
一来源码编译器，用以编译一来源码文件与一标题文件，其中该标题文件是于编译该接口定义语言文件时产生；
其中该转换后的文件与编译后的该来源码文件是合并来产生该程序。
8.根据权利要求6所述的编译器，其特征在于，该特定运算子包括公共对象请求代理体系结构的一订购运算子。
9.根据权利要求6所述的编译器，其特征在于，若该参数值在该初始值内，允许执行该特定运算子的原始操作。
10.根据权利要求6所述的编译器，其特征在于，若该特定运算子不需要存取未初始化的存储器，允许执行该特定运算子的原始操作。
CNB2006100017722A 2005-01-25 2006-01-25 系统执行故障预防方法及其编译器 Expired - Fee Related CN100394387C (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US11/042,915 US7533373B2 (en) 2005-01-25 2005-01-25 Method for prevention of system execution malfunction
US11/042,915 2005-01-25

Publications (2)

Publication Number Publication Date
CN1811713A CN1811713A (zh) 2006-08-02
CN100394387C true CN100394387C (zh) 2008-06-11

Family

ID=36698538

Family Applications (1)

Application Number Title Priority Date Filing Date
CNB2006100017722A Expired - Fee Related CN100394387C (zh) 2005-01-25 2006-01-25 系统执行故障预防方法及其编译器

Country Status (3)

Country Link
US (1) US7533373B2 (zh)
CN (1) CN100394387C (zh)
TW (1) TWI309381B (zh)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR100871563B1 (ko) * 2007-02-14 2008-12-02 삼성전자주식회사 컴포넌트 기반의 소프트웨어 개발을 위한 장치 및 방법
EP2073155A1 (en) * 2007-12-20 2009-06-24 Siemens Aktiengesellschaft Controlling the re-execution of a rule branch
RU2675210C1 (ru) * 2018-01-31 2018-12-17 Федеральное государственное казенное военное образовательное учреждение высшего образования "Академия Федеральной службы охраны Российской Федерации" (Академия ФСО России) Система анализа программного обеспечения на отсутствие потенциально опасных функциональных объектов

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5560009A (en) * 1990-09-21 1996-09-24 Hewlett-Packard Company Generating symbolic debug information by merging translation and compiler debug information
EP0834803A2 (en) * 1991-04-23 1998-04-08 Hitachi, Ltd. Computer with program installer
JPH10301768A (ja) * 1997-04-23 1998-11-13 Nec Software Ltd Ｃｏｒｂａのｉｄｌ記述のアプリケーションビルダーへ の変換方式
CN1218222A (zh) * 1997-11-11 1999-06-02 国际商业机器公司 数据序列产生方法及设备、转换方法及计算机
JPH11296359A (ja) * 1998-04-10 1999-10-29 Hitachi Ltd プログラム開発支援ツール
US20020147902A1 (en) * 2001-02-06 2002-10-10 Kahn Opher D. Method for encoding an instruction set with a load with conditional fault instruction
US6728788B1 (en) * 1999-12-16 2004-04-27 International Business Machines Corporation Method and system for converting a remote procedure call to a local procedure call when the service is on the same device as the calling client

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5193180A (en) * 1991-06-21 1993-03-09 Pure Software Inc. System for modifying relocatable object code files to monitor accesses to dynamically allocated memory
US5860072A (en) * 1996-07-11 1999-01-12 Tandem Computers Incorporated Method and apparatus for transporting interface definition language-defined data structures between heterogeneous systems
US6412082B1 (en) * 1997-12-17 2002-06-25 Sony Corporation Method and apparatus for selecting computer programs based on an error detection mechanism
US6182277B1 (en) * 1998-04-15 2001-01-30 Oracle Corporation Methods and apparatus for declarative programming techniques in an object oriented environment
US6862635B1 (en) * 1998-11-13 2005-03-01 Cray Inc. Synchronization techniques in a multithreaded environment
US6634020B1 (en) * 2000-03-24 2003-10-14 International Business Machines Corporation Uninitialized memory watch
GB2370134A (en) * 2000-12-15 2002-06-19 Sharp Kk Method of co-simulating a digital circuit

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5560009A (en) * 1990-09-21 1996-09-24 Hewlett-Packard Company Generating symbolic debug information by merging translation and compiler debug information
EP0834803A2 (en) * 1991-04-23 1998-04-08 Hitachi, Ltd. Computer with program installer
JPH10301768A (ja) * 1997-04-23 1998-11-13 Nec Software Ltd Ｃｏｒｂａのｉｄｌ記述のアプリケーションビルダーへ の変換方式
CN1218222A (zh) * 1997-11-11 1999-06-02 国际商业机器公司 数据序列产生方法及设备、转换方法及计算机
JPH11296359A (ja) * 1998-04-10 1999-10-29 Hitachi Ltd プログラム開発支援ツール
US6728788B1 (en) * 1999-12-16 2004-04-27 International Business Machines Corporation Method and system for converting a remote procedure call to a local procedure call when the service is on the same device as the calling client
US20020147902A1 (en) * 2001-02-06 2002-10-10 Kahn Opher D. Method for encoding an instruction set with a load with conditional fault instruction

Also Published As

Publication number Publication date
CN1811713A (zh) 2006-08-02
TW200627276A (en) 2006-08-01
TWI309381B (en) 2009-05-01
US7533373B2 (en) 2009-05-12
US20060168570A1 (en) 2006-07-27

Similar Documents

Publication Publication Date Title
CN100461100C (zh) 用于提供版本感知影响分析的计算机方法和装置
Jouault et al. TCS: a DSL for the specification of textual concrete syntaxes in model engineering
Thöne et al. Process-oriented, flexible composition of web services with UML
Seifzadeh et al. A survey of dynamic software updating
US8306996B2 (en) Processing model-based commands for distributed applications
CN102395950A (zh) 与数据存储系统的通信
US8776024B2 (en) Software application fine-tuning method, system, and corresponding computer program product
EP1387262A1 (en) Method to generate synchronization contracts for software components and web services
US20070244912A1 (en) Graph theory-based approach to XML data binding
CN103473034B (zh) 一种动态发布Web服务的方法和装置
Dumez et al. Model-driven approach supporting formal verification for web service composition protocols
CN100394387C (zh) 系统执行故障预防方法及其编译器
Otte et al. Infrastructure for component-based DDS application development
US20060123387A1 (en) Apparatus and method for producing application software for streaming service and system and method for providing software streaming service with network fault tolerance
US20140082590A1 (en) System and method of reconstructing complex custom objects
Kundu et al. An approach to convert XMI representation of UML 2. x interaction diagram into control flow graph
Krishna et al. Context-specific middleware specialization techniques for optimizing software product-line architectures
Südholt A model of components with non-regular protocols
Karsai et al. A modeling language and its supporting tools for avionics systems
Wiil et al. A development environment for building component-based open hypermedia systems
Jongmans et al. St4mp: a blueprint of multiparty session typing for multilingual programming
JP2010049439A (ja) ソフトウェアモデルを用いたシステム構築方法およびモデリング装置
Kong Win Chang et al. A semantics of core Erlang with handling of signals
Drumheller et al. Online system modeling and documentation using ROS snapshot
Sriplakich et al. Applying model fragment copy-restore to build an open and distributed MDA environment

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20080611