Abstract: The UML model integration and refactoring method steps include extending the metamodels, composing an integrated UML model derived from the extended metamodels, defining refactoring opportunities and transformation operations during the integrated UML composition, and applying a set of composite refactorings to remove an identified smell from the integrated UML model.

Abstract: A management tool can be included in a software appliance. The management tool can be configured to provide control, management, and maintenance of the software appliance. The management tool can be utilized in order to start/stop, configure, repair, and update a software appliance. The management tool can be configured to provide an interface for management of the software appliance. The interface allows for management of the software appliance and the individual components of the software appliance.

Abstract: Build-result packages are created for functionally different programs from a source code package of a single program.

Abstract: A system and method allow a user to extract the set of customizations performed on an application and use these to estimate the time and effort and cost of (a) migrating to a new version of the application and/or (b) consolidating systems. The user can browse the extracted data and select configuration elements for re-use. After downloading the one or more configurations and comparing them, the user selects elements of the configurations for re-use. The first step is to scan one or more application systems and extract the configuration data using a surveyor. The method according to the invention automatically identifies configuration differences. The user then selects configuration elements for re-use. A graphic user interface (GUI) can be provided which allows the user to make these selections by dragging and dropping selected elements to a “To Be” configuration. The selected configurations are then uploaded and installed on an instance of the application.

Abstract: A method of applying formal verification methodologies to event processing applications is provided herein.

Abstract: An appliance support module can be configured to receive a request to build a demo software appliance from a user. The appliance support module can be configured to build the demo appliance and to include configuration data in demo software appliance. The appliance support module can be configured to receive a request to migrate the demo software appliance to a production software appliance. The appliance support module can be configured to migrate the demo software appliance by modifying the configuration data in order to provide full functionality to the demo software appliance that was previously limited. The appliance support module can also receive a request to scale the production software appliances. The appliance support module can scale the production software appliance by dividing the applications contained in the production software appliances into separate software appliance.

Abstract: An appliance support module can be configured to build software appliances for use in a hosted environment. The appliance support module can be configured to build the hosted appliances based on a request by a user for the hosted appliances. The appliance support module can be configured to receive a request to migrate the hosted appliances to an on-premise system. To migrate the hosted appliance, the appliance support module can be configured to convert the hosted appliances into a format capable of being supported by the on-premise systems.

Abstract: An appliance support module can be configured to update and upgrade the software incrementally. To achieve this, the appliance support module can be configured to receive a request to update or upgrade a software appliance. The request can include the update or upgrade requested and information describing the software appliance to upgrade or update. Based on the request, the appliance support module can be configured to determine alterations to make to a original binary image of the software appliance to upgrade or update.

Abstract: Migrating a computer-provided solution to a service-oriented architecture is disclosed. One or more primary concerns, each representing a core operation of the computer-provided solution, are identified. One or more secondary concerns, each being associated with a manner in which a core operation of the computer-provided solution is performed, are identified. One or more services, each of which addresses one or more of said one or more primary concerns in a manner determined at least in part by a service context configured to address one or more of said one or more secondary concerns at least in part by indicating as applicable a manner in which applicable ones of said one or more services are to be performed, are defined.

Abstract: An appliance module can provide software appliances to users. The appliance module can provide the software appliances in view of a role desired by the users. The role can be the desired functionality to be provided by the software appliance. To achieve this, the appliance module can receive a request for a software appliance. In view of the request, the appliance module can determine a software appliance that includes one or more applications that meets the role set forth in the request and just enough operating system to support the one or more applications. The appliance module can provide the software appliance to the requesting user.

Abstract: Concepts and technologies are described herein for incremental generation of managed assemblies. In accordance with some of the concepts and technologies disclosed herein, a compiler incrementally generates a managed assembly thereby facilitating a rapid application development environment in which changes to the assembly require recompilation of only a changed portion of the assembly instead of recompilation of the entire assembly.

Abstract: The method and the device are used for updating a medical apparatus that has a memory for an operating program. The memory is at least partially designed as a variable memory and is connected with an input device for a current operating program. The memory and the input device are connected to control devices, which have testing means for evaluating at least one code. At least one function of the apparatus is released only when the code agrees with a reference value.

Abstract: A device receives input that includes definitions of components of a computational pipeline, where the components include one or more buffers, one or more kernels, and one or more stages within a control graph. The device generates, based on the input, kernel signatures for a graphics processor, where the kernel signatures compile into an executable streaming program for the computational pipeline. The device also generates, based on the input, host-side runtime code to execute the streaming program.

Abstract: A solution (300) for metering usage of software products on a data processing system is proposed. In this context, it is often necessary to known a processing power of each computer wherein a generic software product ran (for example, for licensing accounting based on differentiated charging rates). In the proposed solution, the processing power is estimated dynamically on the computer directly. For this purpose, a (single-threaded) benchmark program written in a low-level language is executed (308-322), such as at the startup or periodically. In this way, dividing (324) the measured execution time of the benchmark program by the known number of its instructions it is possible to determine an execution rate of a single microprocessor of the computer. This value multiplied (326) by the detected (306; 332) number of available microprocessors provides an accurate estimate of the processing power of the computer.

Abstract: A method and apparatus for automatically generating a run-time instrumenter are disclosed. In accordance with the illustrative embodiment, an off-line analyzer first determines instrumentation locations for a program under test in accordance with a method called the Super Nested Block Method. After the instrumentation locations have been determined, source code for a run-time instrumenter is automatically generated based on the source code for the program under test and the instrumentation locations. The source code for the program under test and the run-time instrumenter are then compiled into executables, and a testing tool then executes the program under test and the run-time instrumenter in parallel.

Abstract: Described are techniques for generating a parser. A graphical representation of a finite state machine is provided for determining whether an input is syntactically valid in accordance with a syntax represented by the graphical representation. A second representation is generated which corresponds to the graphical representation. Using the second representation, a parser is generated for parsing an input. The parser determines whether the input is syntactically valid in accordance with the syntax.

Abstract: Technologies are described herein for deploying a solution artifact to a client-side application. In one method, an instruction to deploy the solution artifact to the client-side application program is received. Upon receiving the instruction, a determination is made whether a package associated with the solution artifact and the client-side application program was generated. Upon determining that the package was generated, a determination is made whether the package is current. Upon determining that the package is not current or that the package was not generated, the package is generated based on the solution artifact and the client-side application program. Upon determining that the package is current or upon generating the package, the package is deployed to the client-side application program.

Abstract: A system and method for automatic efficient parallelization of code combined with hardware transactional memory support. A software application may contain a transaction synchronization region (TSR) utilizing lock and unlock transaction synchronization function calls for a shared region of memory within a shared memory. The TSR is replaced with two portions of code. The first portion comprises hardware transactional memory primitives in place of lock and unlock function calls. Also, the first portion ensures no other transaction is accessing the shared region without disabling existing hardware transactional memory support. The second portion performs a fail routine, which utilizes lock and unlock transaction synchronization primitives in response to an indication that a failure occurs within said first portion.

Abstract: A computer-implemented method of controlling version branching within a software configuration management system (SCMS) can include, responsive to a user initiating a check-out operation of a file within the SCMS, identifying the file and a workspace of the user and searching nodes of the repositories of the SCMS for a successor version of the file. When a successor version of the file is located within a node that is within a predetermined distance of the workspace of the user, a notification that the successor version of the file is within the predetermined distance of the workspace of the user can be output. When a successor version of the file is not located within a node within a predetermined distance of the workspace of the user, the file can be checked-out to the workspace of the user.

Abstract: An application provisioning model is automatically created. The model is created from a high-level application and specifies dependencies of the application. It is used to provision the application on one or more nodes or other actions.