Abstract: An aspect includes a method for policy to source code conversion. Policy information is received in a natural language format. Class generator data, including a plurality of classes and relationships between the classes, is accessed. A computer processor identifies at least one class in the plurality of classes and at least one data value associated with the at least one class in the policy information. The identifying is based on the class generator data. The computer processor creates an instance of the at least one class and generates source code from the instance of the at least one class. The source code is configured to create a subsequent instance of the at least one class.

Abstract: The invention relates to the creation of a HTML/CSS representation of a geometric symbol by processing (1000) a symbol definition from a file and by creating a web browser specific shape CSS class for each geometric shape (1080) comprised in the symbol definition. The generated HTML/CSS representation (1150) comprises the one or more created web browser specific CSS classes (1080, 1130).

Abstract: A system is provided that invokes an external web service using a composite application. The system creates a composite application definition, where the composite application definition includes external web service information and a mapping of a task operation to a service operation. The system further dynamically generates the composite application based on the composite application definition, where the composite application includes computer code. The system further deploys the composite application.

Abstract: We describe a high-level computational framework especially well suited to parallel operations on large datasets. In a system in accordance with this framework, there is at least one, and generally several, instances of an architecture deployment as further described. We use the term “architecture deployment” herein to mean a cooperating group of processes together with the hardware on which the processes are executed. This is not to imply a one-to-one association of any process to particular hardware. To the contrary, as detailed below, an architecture deployment may dynamically spawn another deployment as appropriate, including provisioning needed hardware. The active architecture deployments together form a system that dynamically processes jobs requested by a user-customer, in accordance with customer's monetary budget and other criteria, in a robust and automatically scalable environment.

Abstract: A computer implemented method and apparatus for providing a dynamic execution environment comprising receiving a base user interface from a server, creating and storing one or more intermediate representations (IR) which represent a mapping between the base user interface and a modified user interface, executing the one or more IRs to intercept network communication from the server, map between the base user interface and the modified user interface, and to send the modified user interface to one or more clients and executing the one or more IRs to intercept network communication from the one or more clients to the server with user data, map between the modified user interface and the base user interface, and to send the base user interface along with the user data to the server

Abstract: A computer with a processor and a memory is used to set instructions for both a first component of a service and a second component of the service. The instructions include a flow of dialogs to present to requesters of the service to obtain information. Each instruction includes a dialog to present to the requesters of the service to obtain information. The first component of the service is provided via a first user interface over a first communication channel using a first communication mode. The second component of the service is provided via a second user interface over a second communication channel using a second communication mode. The first component of the service and the second component of the service are provided continuously in a single session in accordance with the instructions using a common rule set of the instructions.

Abstract: The transformation of an abstract syntax tree of a dynamic language program at evaluation time in a manner that is helpful for evaluating the program. For instance, the abstract syntax tree may be altered such that metadata is attached to variables generated during execution. The tree might also be altered to force code to execute faster or more likely than would occur otherwise. This might occur so that the dynamic language program might be executed at authoring time up to a halt point that represents a point of interest to the author. Without transformation of the abstract syntax tree, the execution might have not proceeded to the halt point or might have taken a long time. Once at the halt point, the program state at the halt point may be evaluated, allowing the program to perform functions such as generating an available symbol set at the halt point.

Abstract: A method and a system for first, expressing relationships between design contexts as a set of simultaneous parameterized type equations and then, automatically solving those type equations to produce type difference transformations that automatically convert code from one design context to a different design context. For example, a set of solution transforms might redesign code from a simple image convolution expression within a specification context to a set of thread based, parallelized expressions of the convolution designed to fit the “holes” within a design framework from a reusable library. The type equations are expressed in terms a generalization of programming data types (called Context Qualified Types or CQ Types) that may have embedded variable parameters. In addition to programming data type information, CQ Types incorporate design features or concepts that fall outside of the programming data type domain (e.g., a planned program scope or a design skeleton).

Abstract: Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for supporting software application extensions including receiving, by the one or more processors, application information associated with a to-be-extended application, the application including a plurality of logical layers and including a computer-executable application that can be executed using one or more computing devices; processing, by the one or more processors, the application information; providing, based on the processing, graphical representations of one or more extensible artifacts associated with the application; displaying a first graphical representation within a browser interface, the first graphical representation being based on a first logical layer of the plurality of logical layers, the browser interface being provided as a computer-executable program that is executed using the one or more processors; and receiving user input provided using the browser interface, and in response to t

Abstract: Embodiments are directed to declaratively managing software applications, dynamically applying configuration changes to a specified software application based on a service level objective (SLO) and to efficiently performing an impact analysis for a specified service level agreement SLO.

Abstract: The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules. Upon execution of a procedural instruction that changes a variable participating in a declarative rule, other variables associated with the rule are updated so as to maintain a relationship imposed by the rule among the variables. The updating of the other variables is performed prior to execution of other procedural instructions.

Abstract: The present invention extends to methods, systems, and computer program products for creating and manipulating custom compound data types in declarative programs. The present invention allows a developer to create and use custom compound data types without requiring the custom type to be specifically defined (e.g. via registering a custom assembly) in the underlying framework. This is accomplished by providing a data container that is configurable to represent virtually any combination of primitive or compound types defined within the framework. The present invention also provides a declarative model for interacting with data containers representing custom compound data types. This declarative model employs a path-based syntax (or other type of syntax) for accessing the elements of a custom compound data type. Multiple paths can be defined within a single unit of developer input so that multiple elements of a custom data type can be manipulated by the single unit of input.

Abstract: An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.

Abstract: A system is provided and includes a first computing device operable to execute an application, and a second computing device, remotely and continuously communicable with the first device, by which a non-distractive description of updated information of the application is automatically issuable to a user substantially immediately following an occurrence of the update, wherein a form of the non-distractive description is defined in accordance with an activity currently performed by the user.

Abstract: A technique and associated mechanism that guides the user through a set of questions relating to operation rules used in the design of Service Oriented Architecture Systems (SOAs). The questions are related to key aspects of a solution—security, maintenance frequency, usage demand/performance and complexity. Preferably, the questions are yes-or-no questions. Based on the answers provided, an appropriate path will be selected categorize into an appropriate category. The category of the rule will require, or at least suggest, the SOA component into which the rule will be implemented when it is implemented by the SOA designer. the technique is technology specific agnostic and helps in selecting an appropriate tool/platform in a standard and consistent manner.

Abstract: Declaratively implementing a command. A method includes declaring an input gesture in a declarative programming language. Declaring an input gesture includes declaring one or more user performed actions. A command name is declared in a declarative programming language. A workflow is declared in a declarative programming language. Declaring a workflow includes declaring schedulable activities that are to be performed without specific specifications of the low level algorithms that are used to accomplish the activities. In an alternative example, workflows may be declared by declaring a wrapper to wrap imperative programming commands. The declared input gestures are bound with the declared workflow through the declared command name.

Abstract: A machine is disclosed in data communication with at least one remote computing device configured as a user interface, for example. The machine may include first logic to process non-compiled, non-linked rules providing desired functionality on a remote computing device upon the occurrence of an event. The machine may also include second logic to selectively implement an authorized rule change changing a non-compiled, non-linked rule and storing the changed rule in storage. Changing the non-compiled, non-linked rule may be accomplished in run-time and provide changed functionality on the remote computing device upon an event.

Abstract: A context-based action determiner is configured to facilitate the application of context-based smart tags. The context-based action determiner includes a type determining module configured to determine a type of a context object based on a context in which the context object is being used. The context-based action determiner also includes an action determining module configured to determine one or more context-specific actions that may be performed for the context object based on the type of the context object and to provide the context-specific actions to a user. The context-based action determiner further includes a selection receiving module configured to receive a selection from the user of a context-specific action to be performed and an action performing module configured to perform the selected context-specific action. The type of the context object and the action to be performed are determined based on a smart tag configuration.

Abstract: A file containing code for customizing a server's functionality can be “hot plugged” into the server without requiring server restart. The file is added in a class path of its own. The server's class path is not modified during this process, and, consequently, the server does not need to be shut down or restarted. Changes are made to the class-loading pattern of a JVM. Whenever the JVM starts, the JVM's own container class loader component loads the classes. Custom plug-in jar file code is loaded by a parallel class loader that executes in parallel with the container class loader. When the parallel class loader is started, the container class loader is made the parent of the parallel class loader. Because the container class loader is made a super class of the parallel class loader, components loaded by the parallel class loader become recognized by the parent container class loader.

Abstract: A system and method for supporting the development and instantiation of web and locally installed interactive software applications that are configurable through editing and processing of formatted XML files originating through programmed or manual means. Software applications load and instantiate native applications embedded within in combination with core framework/runtime supported components. The application runtime environment and framework has the ability to implement runtime-configurable design templates to facilitate object reuse. This, in combination with de-coupled integration with custom data sets and services in addition to support for dynamic layout calculations make for efficient development and maintenance of applications.

Abstract: Techniques are described herein that are capable of executing a computer program in accordance with a declarative dynamic control flow in a continuation-based runtime. A declarative dynamic control flow identifies a set of continuations. A representation of logic that corresponds to the declarative dynamic control flow is provided in accordance with execution of the computer program in the continuation-based runtime. The declarative dynamic control flow identifies a set of continuations. Each continuation identifies a respective rule, which defines a respective event, and a respective action, which is to be performed upon occurrence of the respective event. A determination is made that a specified event occurs. The set of continuations is dynamically modified based on occurrence of the specified event.

Abstract: The invention concerns a method, a computer, and software for analysis of software code that includes code written in multiple languages. A static analysis on source code of an embedded system that has source code written in a low-level language embedded within a high level language is accompanied by transforming the embedded low level language source code to a common high level representation for performing the static analysis. This transformation only retains sufficient semantic meaning of the low level source code necessary to perform the static analysis.

Abstract: A method and computer program product for integrating risk management concepts into a standard business process metamodel by defining a set of metamodel extensions to standard process modeling languages that incorporate risk information directly in the process model. The method includes collecting risk-relevant information for addition to a business process model, and enabling visualizing of a risk-extended business process model. using a notation to express notions as failure modes of resources, root cause events, and sources of execution failure and low job output quality directly in the context of process models. Additionally, the method enables the computation of risk-related impacts on the distribution of process performance measures using a Bayesian network model or a discrete-event simulation model.

Abstract: A system for generating a plurality of surveillance and compliance scenarios includes a first user interface comprising a graphical modeling tool for writing fraud detection logic in a first language and a second user interface for creating one or more configurable threshold parameters, one or more general parameters, as well as one or more configurable subsets of filters to be applied to the detection logic. The system is configured to interpret the fraud detection logic in the first language and translate the fraud detection logic into a second language that is capable of performing the fraud detection on a subset of transactions data after application of the one or more configurable subsets of filters to the detection logic, as well as limiting a number of alerts that can be generated after application of the threshold and general parameters.

Abstract: A system and method for improving software maintainability, performance, and/or security by associating a unique marker to each software code-block; the system comprising of a plurality of processors, a plurality of code-blocks, and a marker associated with each code-block. The system may also include a special hardware register (code-block marker hardware register) in each processor for identifying the markers of the code-blocks executed by the processor, without changing any of the plurality of code-blocks.

Abstract: Embodiments include a method comprising providing a design interface that depicts a plurality of interface elements of an application under development, each element defined in source code accessible by the application development environment in a declarative markup language. The method can comprise receiving, through the design interface, data representing a selection of a plurality of the interface elements, identifying the declarative expressions corresponding to the selected interface elements, defining a new declarative expression, and generating at least one code segment using the identified declarative expressions. The method an comprise storing the generated code segment in a computer readable medium, with the stored code segment associated with the new declarative expression, so that the new declarative expression can be inserted into the source code in place of the identified declarative expressions and/or can used in a second application under development.

Abstract: Example methods, apparatuses, or articles of manufacture are disclosed that may be implemented, in whole or in part, using one or more computing devices to facilitate or otherwise support one or more processes or operations for Jabba language.

Abstract: Static type checking is performed against external data sources in an interacting editing environment. A rich editing experience can be provided to users for external data equivalent to that provided for internal static, typed data. An extensible compiler is provided so that a user or third party can extend type checking facilities to any external data source. An extensible language service is provided so that a user or third party can extend the language service to provide a consistent, current static view of external data. The extensible compiler and language service allow language extensions to plug into the type checking process. This enables the compiler and language service to provide an extension point that allows extensions of the compiler and allow the language service to render dynamic information statically.

Abstract: Improved systems and methods for developing rule packs can include receiving monitoring rules specified in a markup language, and combining them to produce a rule pack. Combining processes can leverage product development processes such as Integrated Development Environments (IDEs), thereby allowing any number of developers to work on the same rule pack simultaneously. Common settings may be added to rule packs in an automated, platform-specific way, thereby eliminating the need for rule writers to concern themselves with such common settings. Rule packs may be converted from a markup language to a binary file for use by a monitoring service.

Abstract: An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. A bidirectional type checking algorithm is provided for the type system including synthesis and checking steps to statically verify types of code based on the type system.

Abstract: One embodiment includes a method that may be practiced in a computing environment. The method enables design and testing of web pages locally at a local machine. After being designed and tested at the local machine, the web pages will be deployed at a remote server remote from the local machine. The web pages include relative references to resources from the perspective of the remote server. The relative references to resources are intended to be resolved by the remote server. The method includes accessing code at a local machine. The code defines a web page. The code includes relative references to resources. The relative references are expressed from the perspective of a remote server remote from the local machine, such that the relative references are only natively resolvable by the remote server. The method further includes translating the relative references to local references.

Abstract: An object oriented programming environment with an improved object, referred to herein as a “peculiar object”, which among other things, facilitates the implementation of a defined transition between object types is described. A peculiar object includes a programming construct referred to herein as a selector, which maps a set of object behaviors to a set of values for a special type of attribute, referred to herein as a “peculiar attribute.” As such, as the value of a peculiar attribute changes, so too does the type or state of the peculiar object. With each transition of the object from one type or state to another, the available behaviors dynamically change.

Abstract: Instances of a same application execute on different respective hosts in a cloud computing environment. Instances of a monitor application are distributed to concurrently execute with each application instance on a host in the cloud environment, which provides user access to the application instances. The monitor application may be generated from a specification, which may define properties of the application/cloud to monitor and rules based on the properties. Each rule may have one or more conditions. Each monitor instance running on a host, monitors execution of the corresponding application instance on that host by obtaining from the host information regarding values of properties on the host per the application instance. Each monitor instance may evaluate the local host information or aggregate information collected from hosts running other instances of the monitor application, to repeatedly determine whether a rule condition has been violated. On violation, a user-specified handler is triggered.

Abstract: Services are integrated by providing a first component of a service via a first user interface over a first communications channel using a first communications mode. A second component of the service is provided via a second user interface over a second communications channel using a second communications mode. The first component of the service and the second component of the service are provided continuously in a single session using a common rule set for user interface dialog management.

Abstract: Methods are provided for thread-agile script execution. Thread-agile script execution may be carried out by receiving, in a message queue, a message for an instance of a script and determining whether the web browser has a stored state object for the instance of the script identified by the message. If the web browser has a stored state object for the script, thread-agile script execution may be carried out by retrieving the state object; preparing a thread available from a thread pool for execution of the instance of the script in dependence upon the state object and an execution context for the instance of the script; providing, to an execution engine for executing the script, the state object and the prepared thread; and passing the message to the execution engine.

Abstract: A method for facilitating the processing of markup language documents, e.g., XML documents, uses a code generator that creates programs configured to read dynamic XML documents at run time, avoiding many of the complexities arising from the use of conventional “XML Parse” statements. In one embodiment, this process involves (1) creating a template document using the markup language, wherein the template document includes a set of tags associated with the markup language documents; (2) parsing the template document to determine a data structure corresponding to the tags in the template document; and (3) generating an application program in the programming language (e.g., COBOL), wherein the application program includes a definition of the data structure, and is configured to read, during run-time, the markup language document and generate a corresponding set of data elements corresponding to the data structure.

Abstract: In an embodiment, a computer system instantiates a parent activity configured for execution in a continuation based runtime. The parent activity includes various child activities configured to perform pulses of work. The parent activity is also configured to add execution properties to an execution context. The computer system adds execution properties to the parent activity's execution context to generate a modified execution context which includes execution properties that extend the functionality of the parent and child activities. The added execution properties include corresponding identifiers that identify the added execution properties. The computer system also executes the parent activity including the various child activities within the modified execution context in the continuation based runtime.

Abstract: A method and apparatus for applying a rule to a data object using a computing device having at least a processor, a computer-readable memory, a display device and an input device. A rule template is provided in the computer-readable memory, the rule template having attributes corresponding to attributes of at least one type of data object. A rule template icon associated with the rule template and a data object icon associated with a data object having corresponding attributes are also provided in the computer-readable memory. A developer of an application is allowed to associate the rule template icon with the data object icon and, as a result of the association of the rule template icon with the data object icon, the rule template is instantiated with the data object.

Abstract: A programming language support for debugging heap related errors includes one or more queries for determining one or more global properties associated with use of the area by the program. The one or more queries may be executed in parallel or concurrently and dynamically utilize available number of cores.

Abstract: The claimed subject matter provides a system and/or a method that facilitates managing an incoming data communication in connection with unified communications. A unified communications component can employ unified communications for a data communication with at least the following data communication modes: an email data communication mode, a voice data communication mode, and a voicemail data communication mode. A unified rules component can automatically redirect the data communication to a delegate for receipt based upon a universal rule, the universal rule is uniformly applicable to at least two of the email data communication mode, the voice data communication mode, or the voicemail data communication mode.

Abstract: Described are techniques for configuring a target data store. Code written in a scripting language is provided. The scripting language includes environment blocks that retrieve data used in a subsequent block and execution blocks that execute an operation to configure said target data store. The retrieved data includes data from said target data store. The code is processed and includes retrieving data in accordance with environment blocks included in the code, and updating said target data store in accordance with execution blocks included in said code.

Abstract: Embodiments of the disclosure are directed to systems and methods to process a declaratively-specified computer application by interpreting a structure and a behavior specification. Application data items are interpreted using a processing concrete model based on the structure specification. Application functionality is provided by processing the application data items in accordance to the behavior specification. The application information may further be used in an embodiment of the disclosure to perform additional processing and provide an added functionality. Various embodiments of the disclosure allow additional functions for declarative application such as performing domain activities, accessing data items, transferring application data, storing data and milestones and rendering data items.

Abstract: A computer implemented method, a computer program product and a data processing system provide a method for modifying a computer program during execution of the computer program by a processor unit. A computer receives an instruction string. The instruction string has a new function data therein for replacing current function data of a function of the computer program during execution of the computer program by a processor unit. The function is capable of being changed during execution of the computer program to modify the behavior of the computer program. The computer replaces the current function data with the new function data. The new function data modifies the computer program. The computer program is modified while the computer program is executed by the processor unit.

Abstract: The invention relates to a method for programming and/or diagnosis of a memory-programmable controller, having at least one memory-programmable function component. For programming, a predetermined programming system is used. In the context of this programming system variables are predetermined, and information exchange sequences are used for the programming. Results of the programming are output during at least one programming mode via an output device, and input information is at least in part stored permanently in memory.

Abstract: A computer-implemented method of generating output computer code, for an application executable via a server running application logic in communication with a client running a presentation layer for the application, from input computer code of a synchronous application in which logic and presentation layers run locally on a single computer. The output code runs asynchronously.

Abstract: A business object model, which reflects data that is used during a given business transaction, is utilized to generate interfaces. This business object model facilitates commercial transactions by providing consistent interfaces that are suitable for use across industries, across businesses, and across different departments within a business during a business transaction. In some operations, software creates, updates, or otherwise processes information related to a business rule business object.

Abstract: Local areas of a visualized modeling language diagram are viewable at different levels of detail without losing information such as model elements and their connectivity. Multiple elements are associated with a group element, which has a visual portion derived from the appearance of a group member element. Connectors between group member elements and non-member elements are suppressed in favor of replacement connectors between the group element and the non-member element(s). The integrity of incoming and outgoing connections to the group is maintained relative to the rest of the model. Ungrouping elements restores the elements to their original state. Grouping can be applied locally to one or more parts of the visual model.

Abstract: Tools and techniques are described for estimating web accessibility and remediation efforts. One or more web accessibility standards can be indicated to be included in the effort estimate. A user can indicate which individual guidelines are to be included in standard test effort estimates by selecting individual guidelines, sub-guidelines or priority or success criteria levels. Standard test effort estimates are calculated based on test factors associated with the indicated individual guidelines or sub-guidelines. A total test effort estimate is calculated based on the standard test effort estimates and one or more web page counts, and a web accessibility and remediation effort estimate is calculated based on the total test effort estimate. A framework implementing the effort estimation methods can comprise multiple spreadsheets for use within a spreadsheet application running on a computing device.

Abstract: A method and system for implementing WS-Policy is described. In one embodiment, the system includes an API that may be used to call one or more methods for processing a WS policy file. These methods are associated with one or more classes.

Abstract: Method, system, apparatus, and computer program and computer program product provide on-demand, scalable computational resources to application providers over a distributed network and system. Resources are made available based on demand for applications. Application providers are charged fees based on the amount of resources utilized to satisfy the needs of the application. In providing compute resources, method and apparatus is capable of rapidly activating a plurality of instances of the applications as demand increases and to halt instances as demand drops. Application providers are charged based on metered amount of computational resources utilized in processing their applications. Application providers access the network to distribute applications onto network to utilize distributed compute resources for processing of the applications. Application providers are further capable of monitoring, updating and replacing distributed applications.