Abstract: Systems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification. In some embodiments the formal specification is a process-based specification. In some embodiments, the formal specification is translated into a high-level computer programming language which is further compiled into a set of executable computer instructions.

Abstract: A method and system for transforming information between data formats.

Abstract: Message translation systems and methods are provided. In one embodiment, a method for translating messages comprises reading a first sequence of one or more message elements from a first interface, wherein the message elements are structured based on a first protocol; converging on a message mapping node based on the first sequence of one or more message elements, wherein the message mapping node is defined by a protocol metadata schema; performing one or more conversion operations on the first sequence of one or more message elements to construct a second sequence of one or more message elements, wherein the one or more conversion operations are based on the message mapping node; and writing the second sequence of one or more message elements to a second interface.

Abstract: The present invention is directed to a method and system that includes comparing first and second models. A comparison model may be generated that indicates differences between the first model and the second model. A notification manager is used to register the comparison model as a subscriber of the first and second models. The first model is updated to reflect a first designated change. Upon successful completion of the first designated change, the notification manager is used to issue a notification of the designated change to the first model. At least the comparison model is updated to reflect the first designated change, and the comparison model is displayed on a client.

Abstract: An integrated circuit includes a plurality of processor core. Processing instructions in the integrated circuit includes: managing a plurality of sets of processor cores, each set including one or more processor cores assigned to a function associated with executing instructions; and reconfiguring the number of processor cores assigned to at least one of the sets during execution based on characteristics associated with executing the instructions.

Abstract: A method of developing software comprises the steps of defining a plurality of component objects for receiving input data and producing output data, defining a plurality of connection objects for passing data between the component objects, and executing an initialization script to define a behavioral model for the system by defining relationships between the component objects and the connection objects. A software development system that performs the method is also provided.

Abstract: Software managing long names in an application programming interface receives a request to perform a requested operation on one or more fields, the application comprising a first operation operable to perform the requested operation on at least one field type. The software determines whether the field type of any of the fields is incompatible with the first operation. If the field types of the one or more fields are compatible with the first operation, then the software performs the requested operation on the one or more fields using the first operation. If the software determines that the field type of at least one of the fields is incompatible with the first operation, then it converts the request into a call for a second operation operable to perform the requested operation on the one or more fields and performs the requested operation using the second operation.

Abstract: A method for anti-piracy protection of a software application by obfuscation of the execution of portions of the applications code is described. The method includes providing a language specification and library to implement the functions of the language, providing a compiler to translate the language into byte codes, and providing an interpreter to execute the byte codes using the library. The method further includes providing the language specifications, library, compiler, interpreter, and instructions to a software publisher, where the software publisher embeds the library and interpreter in the application to be protected, and selects and prepares application code segments for processing into byte codes by the compiler. The application is then executed using the embedded library and interpreter, where the execution of the application is obfuscated by the use of byte codes.

Abstract: A computer implemented method, system and computer program product for automatically generating SIMD code. The method begins by analyzing data to be accessed by a targeted loop including at least one statement, where each statement has at least one memory reference, to determine if memory accesses are safe. If memory accesses are safe, the targeted loop is simdized. If not safe, it is determined if a scheme can be applied in which safety need not be guaranteed. If such a scheme can be applied, the targeted loop is simdized according to the scheme. If such a scheme cannot be applied, it is determined if padding is appropriate. If padding is appropriate, the data is padded and the targeted loop is simdized. If padding is not appropriate, non-simdized code is generated based on the targeted loop for handling boundary conditions, the targeted loop is simdized and combined with the non-simdized code.

Abstract: The present invention relates to a system and methodology to enable programming of generalized comprehensions in an imperative language environment. In one aspect, a system is provided to facilitate employment of user-definable and generalized comprehensions in accordance with imperative languages. The system includes a language component to enable programming of comprehension notations in an imperative language and an interface component to describe a meaning of the comprehension notations. A translation component facilitates execution of the comprehension notations in accordance with the imperative language.

Abstract: An application object for a supervisory process control and manufacturing information system application distributable to a plurality of networked computer devices and having a layered architecture, the application object comprising a set of text entries listed in a first language, a dictionary within each object drafted to enable the set of text entries to be translated into a plurality of multiple languages, and a set of one or more translation fields for storing text in each of the plurality of languages corresponding to the set of text entries listed in the first language.

Abstract: It is possible to reduce a data amount of an execution binary image. An execution binary reading section (1) reads configuration information representing the internal configuration of an execution binary program to be executed on a computer. A deletable area detecting section (2) acquires the configuration information of the execution binary program, analyzes the information to be used in performing address resolution at the time of execution, and detects a deletable area in the execution binary program, if the address resolution is not performed. An execution binary rewriting section (3) rewrites the deletable area in the execution binary program into specific data. An execution binary image creating section (4) reduces the data amount of the specific data included in the execution binary program, and converts the execution binary program into an execution binary image in a format recognizable on the computer.

Abstract: Conversions can be applied to various asynchronous and/or concurrent mechanisms. In particular, such mechanism can be transformed into first-class events to facilitate processing with respect to first-class events including but not limited to querying. Both conventional events and asynchronous computations can be transformed to these events, for example by generating and linking a proxy event thereto.

Abstract: A method and apparatus for executing an instruction of a Java virtual machine are provided. The method includes extracting a bytecode of a method of a Java class, transforming the bytecode into a second code which comprises information regarding a location of an opcode handler and uses 16-bit memory elements, the opcode handler performing an operation corresponding to an opcode included in the bytecode, and executing the second code.

Abstract: A Managed Add-in Framework (MAF) proxy generation tool comprises a library analyzer module operable for taking as input either a type library or managed software code assembly of the existing host application, and a proxy code generation module. Also, an additional input XML file that describes changes that a user would like to be made may be received by the tool and data acquired form the inspection of the additional input XML file and the inspection of the other inputs is merged and used to create the code of the proxy to the host object model. The proxy to the host's object model conforms to requirements of the MAF.

Abstract: An information converter includes: an input for receiving non-structured information transformation specification and a processor. The processor is adapted to (i) convert the non-structured information transformation specification to a structured information transformation specification; (ii) generate information transformation code responsive to the structured information transformation specification; and (iii) associate a code alteration indication to the non-structured information transformation specification in response to an alteration of the information transformation code.

Abstract: A system and a method for using a computer program to automate the process of searching and or retrieving data from a particular data pool for introduction to a user is provided. More specifically, a program is used that may robotically manipulate existing web sites using computer source codes that are generated all or in part by the computer program and/or software. The system may trace, monitor and analyze a browser or network application to produce transactions and manipulate the data retrieved to automatically access previously un-accessible data from a web site.

Abstract: The present invention provides a component-based tool for converting a data source from a first format into a second format. Specifically, the present invention includes reusable importer and resource writer components. Each importer component is designed to import all or a portion of a data source of a particular first data type and convert this data source from the first data type into an intermediate data type. A resource writer component may then convert the data source in the intermediate data type into an application artifact in the specific second data format that corresponds to the resource writer. Furthermore, a framework may be included within which the appropriate importer and resource writer may be stored and/or chosen from a plurality of importers and resource writers for performing a required conversion.

Abstract: A method for executing non-native binaries on a host computer architecture comprises receiving the guest executable binary into a computer readable medium. The guest executable binary is executed on the host computer architecture by translating the guest executable binary into a translated executable binary. Each instruction of the translated executed binary is then executed on the host computer architecture. Signals are responded to by placing signal information on a signal queue and deferring signal handling until a safe point is reached. A computer system implementing the method is also provided.

Abstract: A system for providing an assembler for a microprocessor has a file which contains data describing the instruction set of the microprocessor. A translation device for translating into machine language accesses the instruction set descriptors to constrain the machine code output of the assembler to conform to the architecture of the instruction set.

Abstract: A method of generating commands for a database server includes accessing a script having parser-specific commands, a first set of database-specific commands and optional shell commands. A componentized batch parser splits out the different command types and converts the parser-specific commands into a second set of database-specific commands. The first set and second set of database-specific commands may be sent to a target database for execution. The optional shell commands may be executed by a user tool at a local console. The batch parser offers features including separation of parsing functions using batch separators, performing automatic substitution of tokens in the script with defined values or substitution of tokens by requesting token values via a client tool, stripping off comments and blanks spaces from processed commands, referencing and editing files outside the script, and the ability to connect to different servers.

Abstract: A user interface and associated methods for machine aided authoring and translation is provided. The user interface can display strings and associated metadata to assist with authoring and translations. The metadata can be used to mark the strings. The metadata can include one or more constraints which correspond to evaluation criteria and one or more anchor points operable to project the constraints against a string.

Abstract: An SQL procedure deployment system deploys a query procedure comprising a procedural logic component and a database request component from a source system to a target system. At generation of the query procedure, the system generates a query procedure source code, a symbol table, and an encapsulated optimization results to regenerate run-time instructions for query statements of the database request component and make the query statements function with a deployed procedural logic component. The system maintains an association between the procedural logic component and the database request component during deployment. The system copies an internal representation of the procedural logic component to the target system without regeneration. The system regenerates the database request component to recreate the query procedure on the target system and to maintain a consistent interface between the procedural logic component and database request component.

Abstract: The present invention translation verification system and method verifies code fragment translations and/or optimizations that are bounded by externally observable information.

Abstract: An apparatus, system, and method are disclosed for converting data into source code such that the data can be translated and become part of a load module suitable for accessing from a load library. The apparatus includes a parser module, a format module, and an output module. The parsing module analyzes a data file having one or more data lines. The format module automatically formats the data file so that it can be translated by a translator. The formatted data file includes one or more computer language instructions containing the appropriate syntax corresponding to the particular translator. The output module outputs the formatted data file as an output file that can be renamed to preserve the original data file. A verification module allows the formatting of the data file to be verified.

Abstract: A software development architecture is provided for constructing a wide range of software development tools. A software development tool can be created by integrating a specification specifying functionality specific to a set of software development scenarios into a software development scenario-independent framework. The integrated specification can then be compiled to create the software development tool. Alternatively, integration can be achieved at runtime without access to source code. The architecture can use any combination of the following: a software scenario independent intermediate representation format, one or more exception handling models capable of supporting a plurality of programming language specific exception handling models, a type system capable of representing the type representations of a plurality of source languages, and a code generator capable of generating code targeted for a plurality of execution architectures.

Abstract: An environment for developing clientside/serverside code is disclosed. The environment supports programming in an event-driven paradigm while the execution of the resultant programs are executed in a serial execution paradigm. Through shielding the developer from complex scripting segments, the environment provides the developer with the suggestion that that resultant execution model is event-driven.

Abstract: An XML document can use tags such that scripts can be generated from the documents. The scripts can be start up scripts for different operating systems. For example, the same XML document can be used to produce a UNIX shell script as well as a Windows command file.

Abstract: A method, system, and computer program product to provide a single platform to unify benefits, claims, membership, billing, and servicing. One embodiment provides a computer program-assisted system to provide a single point source for host benefits management having a centralized benefit data manager (BDM); a selector communicatively connected to said BDM to allow a user to view, select, and assemble benefit components from BDM; an editor communicatively connected to the BDM allows the ability to define and update benefit components and variables for benefit and payment policies; a read-only explainer communicatively connected to the BDM provides understandable “read-only” descriptions of benefits available; and a connector communicatively connected to the BDM as an interface layer to exchange electronic benefit data with all system processes, including external claims systems. The connector can translate rules from a user's natural language to computer code language.

Abstract: A translator converts an input model, such as resulting from a simulation of a design to be verified, into an output model suitable for verification by a model checker. The input model, for example, may be produced using Simulink, and the output model, for example, may be a NuSMV model.

Abstract: A method and system for generating schema to Java™ mapping description. In one embodiment, default schema to Java™ mapping information is customized into customized schema to Java™ mapping information. An object having the customized mapping information is created, and schema to Java™ generation is initialized via the object.

Abstract: Provided are methods, computer programs and apparatus supporting use of generic shortcuts. Generic shortcut sequences are sequences of generic inputs that are defined to an application program to initiate specific operations of the application, and which translate to a respective input sequence receivable from each of a plurality of different types of input device. An application program written to support generic shortcut sequences will initiate specific application operations when received device-specific inputs translate into a sequence of generic inputs and the sequence includes a generic shortcut sequence. An event translator applies mappings between receivable device-type-specific inputs and respective generic inputs, to allow received input sequences to be translated into sequences of generic inputs. The resulting sequences of generic inputs are compared with defined generic shortcut sequences.

Abstract: The present invention extends to methods, systems, and computer program products for mapping between anonymous modules in an event environment. Through the use of one or more event type to executable module bindings, a binding/dispatch manager maps events, for example, peer-to-peer, grid, or parallel processing computing events, to appropriate methods for processing the events. When an event is received from an event infrastructure, the binding/dispatch manager refers to annotations (e.g., based on the shape of the parameters) to identify an appropriate method for processing the event. Parameters are transferred to the appropriate method, which processes the parameters and returns any results to the binding/dispatch manager. In some embodiments, the binding/dispatch manager then forwards a response to the event infrastructure.

Abstract: When a source program written in Java or the like and using methods of BigDecimal class, a priority conforming to a predetermined arithmetic rule is identified for an arithmetic operational method included in an arithmetic operation statement, and the arithmetic operational method and the identified priority are registered into a storage device. Then, in a case where it is judged based on data stored in the storage device that a plurality of arithmetic operational methods are included in an arithmetic operational statement, and an arithmetic operational method with low priority is defined as an instance of an arithmetic operational method with high priority, following processing is carried out to generate specification data, that is, the arithmetic operational method with low priority and an instance and argument of the arithmetic operational method with low priority are converted into a first subexpression using an arithmetic operational sign in accordance with a predetermined rule.

Abstract: The invention provides a method of processing a sequence of operands to produce compiled code for a target data processor, the method comprising the steps of: automatically analysing a source code to produce a fist representation of that code in single static assignment form; transforming the first representation into a second representation by unlooping ? nodes within the single static assignment form so as to create code suitable for tree pattern matching to be performed thereon; performing tree pattern matching on the second representation of the code; and re-looping the ? nodes.

Abstract: One or more embodiments, described herein, are directed towards a technology for performing transformations and/or modifications to managed byte code. In order to perform the transformations and/or modifications, a mutable programmable representation (MPR) is laid out. A programmer then performs an arbitrary adjustment using the MPR.

Abstract: A method, computer program product and system for monitoring execution behavior of a program product in a data processing system include development of a trace tool having trace strings written in a human language and provided with data fields for diagnostic information relevant to executable portions of the program product. Identifiers of the trace tool, trace strings, and data fields and components of the diagnostic information are encoded using a coded binary language. After monitoring execution of the program product, a trace report of the trace tool is translated for an intended recipient from the coded binary language into the human language, whereas an unauthorized access to the contents of the trace record is restricted. The encoding or decoding operations are performed using databases containing the respective identifiers and components of the diagnostic information in the coded binary language and the human language.

Abstract: A plurality of source files and one or more header files are provided. The header files that contain information that several of the source files refer to. The original files are preprocessed, each to generate a respective preprocessed file, said preprocessing comprising expanding the several of the source files with the information from a first header 5 file. A collective processing step is applied to make coordinated changes to information from the preprocessed files. The changed preprocessed files are used to regenerate modified source and header files. For regenerating the first header file, one of the preprocessed files is selected on the basis of detection that the selected file elaborates the information from the first header file. The first header file is regenerated from the information in the selected file.

Abstract: A method for cross-platform porting of applications includes extracting one or more platform independent models from an existing one or more composite applications running on a given source platform. These platform independent models are then transformed into implementation artifacts on another, target platform, thereby effectively porting the composite application from one platform to another. The generated implementation artifacts on the target platform leverage existing assets in the target environment, which makes these generated artifacts “contextually-aware”.

Abstract: The present invention provides a system and method for translating an asset for distribution to a multi-tiered network node. An asset may represent network and/or application components (e.g., data, objects, applications, program modules, etc.) that may be distributed among the various resources of the network. In an embodiment, an asset has a logic/data section and an extended environment section. The logic/data section defines a function of the digital asset along with the asset's type, while the extended environment section supports the function of the logic/data section within at least one source environment. The asset type is determined and a process asset adapter, associated with the asset type and a target environment, is selected. The asset is then translated into a processed asset having a processed extended environment section supporting the function of the logic/data section in the target environment.

Abstract: A method and protocol tester for decoding data for the performance of a measurement task, which data is encoded in accordance with a protocol description, includes modifying the protocol description with respect to the measurement task by compressing protocol elements that are of no relevance to the measurement task and decoding the encoded data according to the modified protocol description to provide only decoded data relevant to the measurement task. The decoded data may be filtered before further processing according to a filter condition determined by the measurement task. Alternatively the filter condition may be installed as part of the modified protocol description. Then additional filtering may be applied when there are further filter conditions determined by the measurement task. The result is a protocol tester that permanently stores the protocol description while allowing modification of the protocol description for each measurement task, reducing storage and calculation requirements.

Abstract: An adjustable precision exception handling technique is providing for handling exceptions encountered during translation of subject code to target code at varying levels of precision, depending upon the particular type of exception encountered. As an exception signal is detected by the translator, the state of the subject processor is captured at a precision determined to be sufficient for the detected exception.

Abstract: Systems, methods, and computer program products for reconfiguring computer instructions to accelerate a given instruction set. At run time, during the loading of a class (in the context of objected oriented programming, for example), method invocations that have arguments that meet certain conditions are replaced by faster processing methods, which are made available in a support class that replaces the originally invoked class. In one embodiment, conditions to be met by arguments include that an argument refer to a constant value, be at a specified position in an argument list, or exhibit a pre-determined pattern, form, or type (e.g., be an alpha-numeric string only, an integer in a given range, or a specific integer).

Abstract: A method for capturing and converting legacy applications into a Business Process Execution Language (BPEL) model supporting a Service Oriented Architecture (SOA), the method comprising: starting a recorder for recording the legacy applications; mapping the plurality of variables of the legacy applications to a plurality of fields and to a plurality of sub-fields of the BPEL model; highlighting and identifying the plurality of fields and the plurality of sub-fields; identifying and generating partner links; identifying additional input variables of the legacy applications; mapping the additional input variables of the legacy applications to arbitrary variables; repeating the previous steps until an end result is generated; and ending the recorder.

Abstract: The present invention relates to a method for realizing a generic assembler capable of translating a source code into machine codes for various processor-architectures comprising the steps of: (a) providing an assembler capable of reading a definitions file for translating source code commands into machine code commands; (b) loading said definitions file, which holds definitions related to a processor-architecture, into said assembler; (c) parsing and assessing, by said assembler, said definitions file for finding errors; (d) preparing the internal data structures of said assembler based on said definitions of said definitions file; and (e) translating a source code into a machine code, by said assembler, using said definitions from said definitions file.

Abstract: Reference architecture instructions are translated into target architecture operations. In some embodiments, an execution unit of a processor executes a function determined from a collection of operations, the function specifying functionality based on instructions, the collection selected from operations translated from the instructions. In further embodiments, the function is specified as a fused operation. Sequences of operations are optimized by fusing collections of operations; fused operations specify a same observable function as respective collections, but advantageously enable more efficient processing. In some embodiments, a collection comprises multiple register operations. Sequences of operations, in a predicted execution order in some embodiments, form traces. In some embodiments, fusing operations requires setting only final architectural state, such as final flag state; intermediate architectural state is used implicitly in a fused operation.

Abstract: Strategies are described for organizing the runtime components of an application into an entity domain framework. The entity domain framework includes one or more entity domains arranged in a hierarchical fashion. Each entity domain further groups one or more components together in a hierarchical fashion. Each entity domain can include one or more services that provide a policy to the components within the entity domain. Composite functionality couples the framework together, and further provides a bus-like mechanism whereby an entity can forward service requests up through the hierarchy until a domain is found that satisfies the requests. Exemplary services provided by the entity domain framework include lifetime management services, error handling services, and so forth.

Abstract: Software managing long names in an application programming interface receives a request to perform a requested operation on one or more fields, the application comprising a first operation operable to perform the requested operation on at least one field type. The software determines whether the field type of any of the fields is incompatible with the first operation. If the field types of the one or more fields are compatible with the first operation, then the software performs the requested operation on the one or more fields using the first operation. If the software determines that the field type of at least one of the fields is incompatible with the first operation, then it converts the request into a call for a second operation operable to perform the requested operation on the one or more fields and performs the requested operation using the second operation.

Abstract: Dynamic binary translators enable binaries of a source platform to execute on a target platform without recompilation. This is achieved by runtime (on-the-fly) translation of source machine instructions into equivalent target machine instructions. Typically dynamic binary translators are used for migrating from an older platform to a newer one, implementing complex instruction set architectures, speeding up simulators and in profiling tools. In all these applications, the speed of translation is critical to ensure that the overheads incurred by the translator do not outweigh the advantages of dynamic translation. One such overhead is created by the analysis required when code is translated for execution in a parallel processing environment.

Abstract: Method and apparatus for automating translation of language specific constructs to UML (Unified Modeling Language) during wizard workflow. The invention provides an integration of UML mapping within the wizards that are available within integrated development environments (IDE's). As the user specifies the language specific details within a wizard, the appropriate corresponding UML element (depiction) is drawn and displayed within the wizard. This provides a user with an automated visual depiction of his work utilizing UML and yet allows him to work in the programming language of the wizard. Further, this allows the user to learn UML. Other modeling languages may be applied.