公开(公告)号：EP2122464A4

公开(公告)日：2010-06-30

申请号：EP08724024

申请日：2008-02-26

申请人： INNAWORKS DEV LTD

发明人： CHENG STEPHEN MING KO ,  POTANIN ALEX ,  ANDREAE CHRISTOPHER MICHAEL ,  ROBINSON SIMON MARSH DAVID

IPC分类号： G06F9/45

CPC分类号： G06F8/76 ,  G06F8/42 ,  G06F8/51

公开(公告)号：EP1588235A4

公开(公告)日：2010-05-19

申请号：EP04704890

申请日：2004-01-23

申请人： BEA SYSTEMS INC

发明人： BAU DAVID

IPC分类号： G06F20060101 ,  G06F1/00 ,  G06F9/44 ,  G06F9/45 ,  G06F17/00 ,  G06F17/30

CPC分类号： G06F17/30917 ,  G06F8/30 ,  G06F8/51

公开(公告)号：EP2136293A1

公开(公告)日：2009-12-23

申请号：EP09251597.2

申请日：2009-06-18

申请人： Sony Corporation

发明人： Khan, Md Ashfaquzzaman ,  Yasushi, Fukuda

IPC分类号： G06F9/44

CPC分类号： G06F8/51

摘要： A data processing apparatus includes a host processing apparatus that can cooperatively verify, using generated Timed software, hardware and software of a semiconductor device mounted with a target processing device and an operating system (OS). The host processing apparatus analyzes an assembler of the target processing device and recognizes a Basic Block, which is a basic unit for calculating information concerning time, and generates Timed software for the cooperative verification with reference to the Basic Block.

摘要翻译： 数据处理装置包括主机处理装置，其可以使用生成的定时软件协调地验证安装有目标处理装置和操作系统（OS）的半导体装置的硬件和软件。 主机处理装置分析目标处理装置的汇编器，并识别作为计算关于时间的信息的基本单元的基本块，并且参考基本块生成用于协作验证的定时软件。

公开(公告)号：EP2122464A1

公开(公告)日：2009-11-25

申请号：EP08724024.8

申请日：2008-02-26

申请人： Innaworks Development Limited

发明人： CHENG, Stephen, Ming, Ko ,  POTANIN, Alex ,  ANDREAE, Christopher, Michael ,  ROBINSON, Simon, Marsh, David

IPC分类号： G06F9/45

CPC分类号： G06F8/76 ,  G06F8/42 ,  G06F8/51

摘要： A computer implemented method for automatically translating a first source code associated with a first programming language to a second source code associated with a second programming language wherein the first and second source codes are associated with the same functionality, the method comprising the steps of: parsing the first source code to form a program structure representation comprising a plurality of program structure elements associated with the first programming language, analysing the program structure elements, wherein the analysis includes the step of searching for at least one program structure element that has no direct associated representation that produces the same result in the second programming language, and transforming the program structure representation into the second source code based on said analysis.

公开(公告)号：EP1913498A4

公开(公告)日：2009-08-05

申请号：EP06774349

申请日：2006-06-29

申请人： MICROSOFT CORP

发明人： WARREN MATTHEW J ,  HEJLSBERG ANDERS ,  BOLOGNESE LUCA ,  KULKARNI DINESH CHANDRAKANT ,  MEIJER HENRICUS JOHANNES MARIA ,  HALLAM PETER A ,  FISHER JOMO AHAB

IPC分类号： G06F17/30

CPC分类号： G06F17/30595 ,  G06F8/51 ,  G06F17/30427

摘要： A system for converting a query from a representation in a first computing language (Figure 1, 110) to an equivalent query in a representation in a second computing language that is different from the first computing language (Figure 1, 130), comprises a query module that accepts a query in an object-oriented representation for translation to an equivalent query in a target query language. The system also includes a translation module (Figure 1, 120) that uses the object-oriented representation of the query to create a first version of the query in an idealized version of a target query language aid uses the first version of the query to create a second version of the query in an implemented version of the target query language (Figure 1). Methods of using the system are also provided.

公开(公告)号：EP1600854A3

公开(公告)日：2008-12-31

申请号：EP05104221.6

申请日：2005-05-18

申请人： SIEMENS AKTIENGESELLSCHAFT

发明人： Balassa, Béla ,  Megyeri, Gergely ,  Pfahlmann, Lothar ,  Schaer, Stephan

IPC分类号： G06F9/44 ,  G06F17/30

CPC分类号： G06F8/51

摘要： Beim Arbeiten mit den grafikorientierten Programmiersprachen Kontaktplan und Funktionsplan besteht die Notwendigkeit, mit verschiedenen Datenformaten zu arbeiten. Die Transformation der unterschiedlichen Datenformate ineinander ist aufwändig und fehleranfällig. Es wird vorgeschlagen, XML als zentrales Dateiformat vorzusehen, und FUP- und/oder KOP-Netzwerke als XML-Dateien abzulegen, ggf. ergänzt durch darin eingebettete spezielle FUP- bzw. KOP-Grafik- und Debuginformationen.

公开(公告)号：EP1395903A4

公开(公告)日：2008-02-27

申请号：EP02738577

申请日：2002-06-10

申请人： VERISITY LTD

发明人： KASHAI YARON ,  MORLEY MATHEW JOHN

IPC分类号： G06F9/45 ,  G06F20060101 ,  G06F9/44 ,  G06F17/50

CPC分类号： G06F17/504 ,  G06F8/51

摘要： A method for synthesizing a verification language, and thereby enabling the verification language to be compiled into a target language. This method enables the underlying control structure of the verification language to be determined, and then used to map the dynamic behavior of the verification language onto the target language as part of a static framework. The process of synthesizing any type of verification language causes at least a portion of the implicit control structure of the software program to be constructed into the compiled output code, such that an additional scheduler or other type of runtime system may not be required. Therefore, the compiled output code should have a greater execution speed and should be operated more efficiently than the software programs which are written in the verification language itself.

公开(公告)号：EP1576513A4

公开(公告)日：2007-12-26

申请号：EP03786996

申请日：2003-11-21

申请人： CYBERSOURCE CORP

发明人： JIMENEZ MICHAEL ,  KING JEFFREY ,  STROUT THEODORE ,  HARDING TIMOTHY

IPC分类号： G06Q10/06 ,  G06Q10/10 ,  G06Q30/02 ,  G06Q30/06 ,  G06F17/60

CPC分类号： G06F8/51 ,  G06Q10/0637 ,  G06Q10/101 ,  G06Q20/40 ,  G06Q30/02 ,  G06Q30/0601 ,  G06Q30/0613 ,  G06Q30/0625 ,  G06Q30/0635 ,  H04L67/025 ,  H04L67/16 ,  H04L67/34

摘要： A merchant (104) generates a customized service strategy (502A) related to a suite of electronic transaction services (206) hosted by a service provider (106). The custom strategy specifies services to perform, and possibly an order in which to perform the services, by a service provider in relation to an electronic transaction associated with the merchant. Through use of a user interface, the strategy can be represented as a graphical decision tree (700), with terminal nodes representing services or actions. A customized strategy is transmitted to a service provider, as is transaction related information, whereby the service provider can service the transaction according to the strategy and based on the transaction information. Scheduling information that specifies different strategies to apply to different transaction scenarios can be generated. A strategy is selected by a service provider based on the scheduling information and transaction information, and is used to service one or more electronic transactions.

公开(公告)号：EP1836568A2

公开(公告)日：2007-09-26

申请号：EP05804180.7

申请日：2005-10-07

申请人： Plumtree Software, Inc.

发明人： OSBORNE, John Alexander ,  MILLER, Jeffrey Scott ,  AICKIN, Alexander Rothschild ,  MANI, Raja ,  MCDERMOTT, Adrian, Peter ,  VYDRA, David

IPC分类号： G06F9/45

CPC分类号： G06F8/51

摘要： A method, computer program product, and apparatus comprise providing a Java developer kit class library (120) comprising first Java classes; providing a Java Open Foundation class library (116) comprising second Java classes each containing one or more of the first Java classes; providing a .NET SDK class library (122) comprising .NET classes; providing a .NET language Open Foundation class library (118) comprising first .NET language classes each containing one or more of the .NET classes; wherein each of the .NET language classes presents the same method signature (128, 130) as one of the second Java classes; receiving Java source code defining third Java classes (112) , first calls to the first Java classes, and second calls to the second Java classes; translating the third Java classes into second .NET language classes (202); and translating the first calls to calls into the .NET SDK class library without modifying the second calls.

公开(公告)号：EP1672485A1

公开(公告)日：2006-06-21

申请号：EP05292645.8

申请日：2005-12-13

申请人： Genigraph

发明人： Nicolas, Olivier Jacques Alain

IPC分类号： G06F9/44

CPC分类号： G06F8/51 ,  G06F8/34

摘要： L'invention concerne un système de développement d'une application interactive, dite téléprocédure, pour la dématérialisation des procédures administratives, notamment en affichant des formulaires à renseigner et en gérant des formulaires renseignés, caractérisé en ce que le système comprend:

un éditeur graphique interactif doté :

o d'un module fonctionnel apte à générer une application prototype à partir de données de spécifications fonctionnelles saisies, cette application prototype comprenant une définition de formulaires, une définition de scénario dit "workflow" interactif, une définition de règles métiers, une définition d'un modèle métier et une définition de mode d'interfaçage avec des éléments extemes,
o d'un module technique apte à générer, à partir de la dite application prototype et de données de spécifications techniques saisies, l'application de téléprocédure, une application d'interfaçage et une application de gestion de la téléprocédure; et

un moteur apte à exécuter lesdites applications de prototype, de téléprocédure, d'interfaçage et de gestion.

摘要翻译： 该系统具有到交互图形编辑器（1）用功能模块，用于从在输入功能规范数据创建原型应用程序（2），和一个技术模块。 技术模块创建一个远程过程应用，接口应用程序并从原型应用和输入数据的技术规范遥测程序管理应用程序。 发动机执行原型和其他应用程序。 该远程应用程序对应于前面的办公室和管理应用程序对应的后台。 因此包含一个独立的claimsoft一种方法来开发交互式应用：如远程过程中，为了管理程序取消实现，通过显示查询形式和通过管理被查询的形式。