Abstract: Methods, systems, and products simplify widgets for graphical mashups, such as digital dashboards and other user interfaces. When a software widget is a component of a graphical mashup, the widget is completely defined using a single file. The single file specifies both source data and presentation of the source data. Because the widget is completely defined by the single file, the single file allows faster processing of the widget.

Abstract: The present disclosure describes methods, systems, and computer program products providing an integrated development environment for client/server environments. One computer-implemented method includes reading a derived business application data model (BADM) associated with a business application into an integrated development environment (IDE), defining a client application data model (CADM) for a client application, defining at least one data mapping rule (DMR) to map at least data translations between the BADM and the CADM, developing the client application based upon at least the CADM, developing at least one web service based upon the BADM, CADM, and the at least one DMR, generating the client application and the at least one web service, and deploying the client application, the at least one web service, and the at least one DMR.

Abstract: Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for model-to-model transformation including actions of providing a source meta-model, the source meta-model having a plurality of classes and one or more references, receiving first user input to a graphical editor, processing the first user input to provide a plurality of class modules and one or more reference modules, each class module corresponding to a class of the plurality of classes and each reference module corresponding to a reference of the one or more references, automatically generating transformation code based on the plurality of class modules and the one or more reference modules, receiving a source model, the source model being provided based on the source meta-model and being provided in a computer-readable file that is stored in memory, and generating a simulation model based on the source model and the transformation code.

Abstract: The present invention generally relates to systems and methods for checking the conformance of a process behavior against a theoretical process model, and for further providing a detailed diagnostic regarding the process behavior's expectedness and frequency. The provision of this detailed diagnostic includes discovering the empirical models generated by the system's business processes, and matching the defined process model to its corresponding empirical model.

Abstract: A method may include detecting a change in a user repository that includes product code and test code. The product code and the test code may correspond to a software program. The change in the user repository may include a change in the product code with a corresponding changed portion of the product code. The method may also include generating, by a test tool, a test code update for the test code. The test code update may be generated based on detecting the change in the user repository and based on the changed portion of the product code. The method may further include communicating a pull request that requests that the user repository add the test code update to the user-managed repository.

Abstract: A system and method for configuring objects in a system diagram to access interfaces of other objects are described. A first node and a second node may be displayed in the system diagram. The second node may implement one or more interfaces, where each interface includes one or more callable functions. An interface wire connecting the first node to the second node may be displayed in response to user input. The system may automatically configure the first node to access at least one of the one or more interfaces of the second node in response to displaying the interface wire.

Abstract: The disclosure includes a system and method for building an integrated system using a formal language. The method may include designing one or more models for one or more software components to be included in the integrated system. The one or more models may describe one or more requirements for the one or more software components. The method may include assigning one or more contracts written in the formal language to the one or more models. The method may include integrating the one or more models based on the composition of the one or more contracts to form an integrated model. The integrated model may include each requirement for the one or more software components. The method may include analyzing the one or more contracts and the integrated model to determine whether the one or more contracts include each requirement described by the integrated model.

Abstract: A code generating framework generates code for a model Application Program Interface (API). The framework comprises three components: an API code generator, a serialization code generator, and a deserialization code generator. The API code generator generates code for a model API. This model API produces a first model instance version in a first language. Code from the serialization code generator converts the model instance into a second version in a different language accessible to other applications (e.g., graphical modeling editors). Code from the deserialization code generator converts the second version of the model instance back into the original language. In a particular embodiment, the code generation framework generates JavaScript/XSJS APIs for manipulating model instances compatible with the Eclipse Modeling Framework (EMF).

Abstract: A computer program to be subjected to static analysis includes at least one framework, in turn including high-level code and at least one configuration file. A specification which describes run-time behavior of the program, including run-time behavior of the at least one framework including the high-level code and the at least one configuration file, is created from the computer program. Based on the specification, synthetic high-level code which accurately simulates the run-time behavior of the at least one framework including the high-level code and the at least one configuration file, without framework usage, is created. Static analysis of the computer program is carried out based on the synthetic high-level code.

Abstract: The method may include designing one or more software models for one or more software components to be included in an embedded system. The method may include collecting information from the one or more requirements, the one or more software components, and the one or more software models. The method may include generating one or more architecture models that describe an execution platform, physical constraints, non-functional constraints, and characteristics of the embedded system based on the collected information. The method may include determining timing semantics to be satisfied by execution of functions in the embedded system. The method may include generating, by an electronic device, contracts based on the one or more requirements, the one or more software components, the one or more software models, the one or more architecture models, and the timing semantics.

Abstract: A computer-controlled method can include providing a resource adapter with an object wrapper having a plurality of features, a wrapper generation tool receiving a change to be made to the object wrapper, and the wrapper generation tool generating a new object wrapper based on the change. The resource adapter can receive an object from a messaging provider, adapt the object based on the newly generated object wrapper, and send the wrapped object to an application.

Abstract: Removing high level logic structure from a source program. Two or more source program fields are characterized by their respective value characteristics. A first field is mapped, with respect to the source program, to a second field having similar value characteristics as the first field. A target program is then created by replacing, in the source program, the first field with the second field and replacing each first field value with a corresponding second field value thereby preserving the value characteristics of the source program.

Abstract: A method for providing a source code version control system may comprise parsing source code of a software product to format the software product into a tree structure comprising a plurality of components. The method may comprise separating each of the plurality of components among the tree structure based upon respective content, and receiving an updated version of a component. In addition, the method may comprise comparing the updated version of the component to a previously checked-out version of the component to identify changes, and associating the changes with the respective content of the updated version of the component. Further, the method may comprise storing the identified changes of the updated version of the component, updating the tree structure, and presenting, based on a selected component, the updated version of the component, the identified changes with the updated version of the component, and the previously checked-out version of the component.

Abstract: Embodiments include providing input from each of a plurality of input devices to one of a plurality of application programs. Aspects include receiving an input from one of the plurality of input devices, determining if the input from the one of the plurality of input devices has a corresponding application program selected from the one of a plurality of application programs. Based on determining that the input from the one of the plurality of input devices corresponds with the corresponding application program, aspects include forwarding the input to the corresponding application program. Aspects also include determining if the input corresponds to a second application programs from the plurality of application programs that is in a state of waiting for input to one application program has been entered from one input device and responsively establishing a correspondence between the second application program and the one of the plurality of input devices.

Abstract: The disclosure generally describes computer-implemented methods, software, and systems for allowing provisioning of open data protocol (OData) services on top of a generic interaction layer (GenIL). One computer-implemented method includes receiving an OData-compliant request for data, determining a GenIL data provider to receive the OData-compliant request for data, determining the memory location of the data, requesting the data from the determined memory location, receiving the requested data from the determined memory location, converting, using at least one computer, the received data into an OData-compliant format, rendering an OData-compliant response, and transmitting the OData-compliant response.

Abstract: A compiler system analyzes source code for an application. The compiler system determines whether a class in the source code uses a singleton pattern even though the class is not defined as singleton class. The compiler system may optionally convert the class to a singleton class. The compiler system may also perform one or more optimizations when generating the application based on the source code.

Abstract: A method and apparatus for creating an application file comprising accessing at least one library, stubbing the at least one library to create a stub library containing symbols exported from the at least one library, and packing the stub library into the application file. Other embodiments include method and apparatus for packaging an application file comprising accessing the application file, unpacking the application file to expose at least one stub library, accessing the at least one stub library and packaging the application file with another application using symbols contained in the stub library for delivery to an end user computer.

Abstract: A cloud-based web platform providing for creating and managing native smartphone and tablet software applications for devices of different platforms based on a unified mobile specification is disclosed. The platform comprises a mobile application builder for creating, maintaining and editing a mobile application specification. The platform further comprises a mobile application engine for automatic compiling native mobile applications based on the mobile application specification. The platform further comprises a mobile application manager for delivering or deploying the native mobile applications to selected client devices and managing a workflow of the one or more native mobile applications.

Abstract: System, method and computer program product for combined scheduling of two different slab sequences by a rational technique. A two-dimensional grid graph having a direct slab sequence as a first dimension and an inventory slab sequence as a second dimension is prepared by processing of a computer as a data structure represented on a memory or a hard disk drive of the computer. A processing program of the computer generates two child nodes corresponding to a direct slab and an inventory slab, in each node of the two-dimensional graph according to a predetermined algorithm. By defining an appropriate weighting function, the processing program of the computer weights edges between nodes in the two-dimensional grid graph. After forming the weighted graph on a storage device of the computer such as the memory or the hard disk drive, the processing program of the computer calculates a path from a start point to an end point as a shortest path search problem.

Abstract: A method and associated system for automatically deriving context of a business rule that is being inferred from an information source, such as legacy computer-program source code, a system specification, or a description of a business function or operation. A first generation of context-dependent conditions upon the business rule is identified by analyzing the information source and other, related, sources, and the business rule is modified to account for this first generation of context-dependent conditions. Context-dependent conditions that place constraints upon the previously identified first-generation conditions are then identified and the business rule is further modified to account for this next generation of context-dependent conditions. This process repeats iteratively through multiple generations of identifications, until the business rule has been modified to accommodate all contextual information that may be gleaned from all analyzed information sources.

Abstract: A system and method for implementing an asynchronous construct in a computer program. A state machine is generated from the computer program, and the program is translated to generate code that executes the state machine during runtime. The asynchronous construct may be made into a function that invokes an asynchronous function, passing the function as a callback, and then exits. When the asynchronous operation completes, the function is invoked as a callback, returning to a configuration equivalent to that prior to the asynchronous call. Variable closure may be used to maintain the state of variables during a state prior to invoking the asynchronous operation and a state after invoking the asynchronous operation.

Abstract: Various embodiments provide an interface between a Web browser's layout engine and a scripting engine. The interface enables objects from the layout engine to be recognized by a memory manager in the scripting engine and interact in a streamlined, efficient manner. In accordance with one or more embodiments, the interface allows browser layout engine objects to be created as objects that are native to the scripting engine. Alternately or additionally, in some embodiments, the native objects are further configured to proxy functionality between the layout engine and the scripting engine.

Abstract: A technique for source code plagiarism evaluation is disclosed. Program source code files of the object orientated program are received. Class data of the program source code files are determined to comprise of at least a block of one or more design patterns wherein the one or more design patterns are stored in a database. A plagiarism value is evaluated for each of the program source code files wherein the class data of the program source code file matches with class data of an original program source code file. Program source code files wherein the class data of each of the program source code files comprises of the block of the same design pattern are categorized and the plagiarism value of the categorized program source code files are analyzed.

Abstract: A computer implemented method of generating a compiler description from an architecture description. Information is automatically extracted from an architecture description that is usable in a description of an architecture described by the architecture description. The extracted information is imported into a program comprising a graphical user interface that accepts user provided additional information that is usable in the compiler description. User provided additional information is accessed that is usable in the compiler description. A compiler description is automatically generated for the architecture described by the architecture description, based on the automatically extracted information and the accessed user provided additional information.

Abstract: A social networking system obtains linguistic data from a user's text communications on the social networking system. For example, occurrences of words in various types of communications by the user in the social networking system are determined. The linguistic data and non-linguistic data associated with the user are used in a trained model to predict one or more personality characteristics for the user. The inferred personality characteristics are stored in connection with the user's profile, and may be used for targeting, ranking, selecting versions of products, and various other purposes.

Abstract: A method, system and computer program product for identifying reference data tables in an Extract-Transform-Load (ETL) process, by identifying, by operation of one or more computer processors, at least a first reference data operator in the process, wherein the first reference data operator references one or more tables and evaluating at least a first table referenced by the reference data operator to determine whether the first table is a reference data table by assigning a score to the first table, wherein the score is indicative of the likelihood that the first table is a reference data table and wherein a reference data table contains a set of values that describes other data.

Abstract: Methods and systems for conveying locale information for an electronic device includes receiving, from a remote device and via a network interface of at least one network interfaces, a request for active or available locales for the electronic device. Conveying the locale information also includes sending, to the remote device and via the network interface, a message in a locale profile format including a list of available locales. The message includes a version field that indicates a version of schema used to transmit the list of available locales, an active local field that indicates a locale currently being used by the electronic device, and an available locales field that indicates which locales are available for use by the electronic device.

Abstract: An apparatus and method for improving the security of an application package from a user abnormally acquiring a system supreme authority in a portable terminal are provided. The apparatus includes an application manager for, at application package generation, collecting data for package generation, performing a compiling process for the collected data, encrypting an execution file of the application package among the compiled data, and packaging the compiled data comprising the encrypted execution file.

Abstract: A computer-implemented method, system, and program product for automatically reviewing a mapping between information models. The method includes: receiving a mapping between an element in the first information model to an element in the second information model. Each element is associated with an element identifier and an element value, and the mapping signifies a relationship between the element in the first information model and the element in the second information model. The method further includes comparing the received mapping against one or more known indications of suspicious mappings to determine if the received mapping resembles one of the indications of suspicious mappings. If the received mapping is determined to be suspicious, identifying the received mapping as one that requires review.

Abstract: A method, system and computer program product for coordinating the management of portal pages and its associated web content. A node is created in the portal database representing a draft of a portal page, where the node refers to a data structure that holds structured information pertaining to the portal content (e.g., portlet instances, layout, design). A shadow node associated with the portal page is created in the web content management system, where the web content of the portal page is associated with the shadow node. The shadow node refers to a data structure that stores information used to identify the portal page stored in the portal database. The portal page, after completing various tasks in the workflow process, is rendered by linking the web content of the portal page associated with its shadow node with the portal content of the portal page stored in the portal database.

Abstract: A method, system and computer program product for coordinating the management of portal pages and its associated web content. A node is created in the portal database representing a draft of a portal page, where the node refers to a data structure that holds structured information pertaining to the portal content (e.g., portlet instances, layout, design). A shadow node associated with the portal page is created in the web content management system, where the web content of the portal page is associated with the shadow node. The shadow node refers to a data structure that stores information used to identify the portal page stored in the portal database. The portal page, after completing various tasks in the workflow process, is rendered by linking the web content of the portal page associated with its shadow node with the portal content of the portal page stored in the portal database.

Abstract: Software configuration management includes removing a selected section from a first artifact in a first stream. The first artifact includes a plurality of sections, and a second artifact in the first stream is created including the selected section. The second artifact does not include at least one other section of the plurality of sections. An annotation is generated using a processor that specifies the first artifact, a range within the first artifact corresponding to the selected section, and the second artifact into which the selected section is moved. The annotation is used to apply changes implemented in selected artifacts from one stream to another.

Abstract: A device may receive a model including a group of blocks, and may receive a command to execute the model. The device may assign a parameter sample time to a subset of blocks of the group of blocks. The parameter sample time may permit a block, of the subset of blocks, to be executed based on a parameter change event detected during the execution of the model. The device may cause the model to be executed after assigning the parameter sample time to the subset of blocks. The device may detect a parameter change event, associated with the model, prior to the execution of the model being completed. The parameter change event may include an event that is external to the execution of the model. The device may cause at least one block, of the subset of blocks, to be executed based on the detecting the parameter change event.

Abstract: A method for automating evaluation of grammars associated with one or more programming languages is disclosed. The computer system accesses first grammar data associated with a first grammar and second grammar data associated with a second grammar, wherein a grammar comprises one or more rules that define a programming language. The computer system determines from the first grammar data and the second grammar data whether the first grammar and the second grammar correspond to the same programming language. Determining further includes applying one or more transformational steps to both the first grammar data and the second grammar data. After each transformational step, the computer system determines whether the first and second grammar data correspond. In accordance with a determination that the first grammar data and the second grammar data correspond, the computer system determines that the first and second grammar both correspond to the same programming language.

Abstract: A computer software implemented method for transforming a first extract transform load (ETL) job having at least some unload transform load (UTL) portions. The method includes the following steps: (i) decomposing the first ETL job into an intermediate set of one or more jobs; and (ii) for each job of the intermediate set, transforming the job into a transactionally equivalent job to yield a final set of one or more jobs. The decomposing is performed so that each job of the intermediate jobs set is a Simple UTL job. The transforming is performed so that each job of the final set includes no UTL portions.

Abstract: A dynamically evolving cognitive architecture system based on contributions from third-party developers is described. A system receives a span of natural language annotated with an object from a first third-party developer. The system forms an intent based on a user input, which includes a natural language span which corresponds to an action object, a first concept object, and/or a second concept object. The action object, the first concept object, and/or the second concept object is provided by a second third-party developer. The annotating object is the action object, the first concept object, or the second concept object. Forming the intent enables executing the action object to transform the first concept object into the second concept object based on the annotated span of natural language, and also enables outputting a value associated with the second concept object associated with a goal of the intent.

Abstract: A controller is coupled to an Extract-Transform-Load (ETL) processor, which is connected to data storage devices. The controller comprises: a hardware storage device; a storage control component for storing, on said hardware storage device, a set of criteria for preferredness of ETL stage placements; an I/O input device detecting component for recognizing a proposed placement of a stage on a GUI canvas on the display device; an analytical component for analyzing an eventual result of the proposed placement in an ETL activity represented on the GUI canvas; a comparator for comparing the eventual result of the proposed placement in the ETL activity with the set of criteria; and an indicator control component for, responsive to an outcome of an operation of the comparator, providing to the user an indicator of a degree of preferredness of said proposed placement according to the set of criteria.

Abstract: An integrated view is generated for a model element being customized. The integrated view shows an integrated visualization of the model element in the base system as well as a plurality of different extensions to the model element. The integrated view also facilitates editing of an extension document that represents a customization currently being made.

Abstract: A method and system for evaluating service definitions in a service-oriented architecture (SOA) system which provides service offerings categorized according to service categories using a taxonomy. A specification field receives a formal definition of a service. The formal definition is for inclusion to define one of service offerings of the SOA. A current grammar is determined which is currently in effect as a specification-requirement of acceptable definitions for a service category in which the service is categorized. The current grammar is a common grammar. The system determines whether the formal definition in the specification field is acceptable, by adhering to the current grammar determined to be currently in effect as the specification-requirement for the category of the service. The formal definition is accepted for the service when it is determined to be acceptable according to the current grammar. Otherwise, the formal definition is rejected.

Abstract: Systems and methods for testing a network page without encapsulating the network page with a test environment are presented. A script such as a test injector script may be added to a network page in development. The test injector script may identify one or more tests to run on the network page based, at least in part, on metadata included in the network page. The domain object model (DOM) of the network page may be modified to include tests to be performed on the network page.

Abstract: Enhancing dynamic code. A method includes obtaining one or more first data structures defining constructs in a body of dynamic language source code. From the one or more first data structures, identifier information is extracted for one or more of the defined constructs. Knowledge about the constructs is augmented. Using the identifier information and augmented knowledge, metadata about the body of the dynamic language source code is generated. The generated metadata is represented as a symbol table. The body of dynamic language source code is visually enhanced based on the symbol table structure.

Abstract: A supply device for the operation of at least one medical instrument, in particular an electrosurgical instrument and/or a cryosurgical instrument and/or a water jet surgical instrument. The supply device includes a control unit for the control of the at least one medical instrument and a memory unit for the storage of configuration data which describe a state device with a plurality of states. The control unit is designed such that it reads in configuration data and converts the state device into a control program and controls the at least one medical instrument according to the control program. This ensures efficient control of medical instruments because the control programs used can be more efficiently checked for their correctness and updated accordingly.

Abstract: A software automation build system including a one or more source code repositories, the one or more source code repositories including source code of a software product and a source code for a build system. The source code for the build system stores a configuration specifying a build and test environment as a configuration file that can be accessed remotely by users to replicate a consistent virtual build and test environment for developing and testing code of the software product at different locations, using virtual machines. The system may include one or more instances of the build system based on the configuration. The system may save versions of the configuration so that multiple versions of the build system can be accessed and built virtually.

Abstract: Systems and methods are provided for a non-transitory computer readable medium storing instructions is configured to provide a configuration wizard. The configuration wizard is configured to display, via a single screen, a first input-receiving control configured to receive a user input and a second input-receiving control configured to receive the user input. The configuration wizard is also configured to display a display area configured to display a first parameter value associated with a device. The first input-receiving control is displayed as active and the second input-receiving control is displayed as inactive. The second input-receiving control is displayed as active based on a first dependency.

Abstract: Systems, methods, and mediums perform automated functionality testing for a heating ventilation and air conditioning (HVAC) system. A method includes receiving a user input to test one of a heating or cooling functionality of the HVAC system. The method also includes identifying an amount to change a setpoint for a zone controller for the HVAC system based on the user input. The method further includes changing the setpoint for the zone controller to force the HVAC system into one of a heating mode and a cooling mode in accordance with the user input. Additionally, the method includes storing data from the HVAC system operating in the one of the heating mode and the cooling mode.

Abstract: The present disclosure describes methods, systems, and computer program products providing an integrated development environment for client/server environments. One computer-implemented method includes reading a derived business application data model (BADM) associated with a business application into an integrated development environment (IDE), defining a client application data model (CADM) for a client application, defining at least one data mapping rule (DMR) to map at least data translations between the BADM and the CADM, developing the client application based upon at least the CADM, developing at least one web service based upon the BADM, CADM, and the at least one DMR, generating the client application and the at least one web service, and deploying the client application, the at least one web service, and the at least one DMR.

Abstract: A method for rendering native mobile applications is disclosed. The method includes maintaining, by a computing device with one or more processors and a memory, a mobile application specification, a plurality of plug-in specifications, each of the plug-in specifications being associated with at least one first enterprise backend resource or enterprise service, and a plurality of widget specifications, each of the widget specifications being associated with at least one second enterprise backend resource or enterprise service. The method selectively integrates at least one of the plug-in specifications or at least one of the widget specifications into the mobile application specification. The method further compiles one or more native mobile applications based at least in part on the mobile application specification, and sends the one or more native mobile applications to one or more client devices.

Abstract: A first feature (e.g., chart or table) includes a reference to a dynamic pointer. Independently, the pointer is defined to point to a second feature (e.g., a query). The first feature is automatically updated to reflect a current value of the second feature. The reference to the pointer and pointer definition are recorded in a central registry, and changes to the pointer or second feature automatically cause the first feature to be updated to reflect the change. A mapping between features can be generated using the registry and can identify interrelationships to a developer. Further, changes in the registry can be tracked, such that a developer can view changes pertaining to a particular time period and/or feature of interest (e.g., corresponding to an operation problem).

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for generating portable concurrency primitives. In one aspect, a method includes receiving a set of source code for a module that will execute on a plurality of different types of architectures, the set of source code including a first set of concurrency primitives, generating a second set of concurrency primitives from the first set of concurrency primitives, wherein each concurrency primitive in the second set is different than the corresponding concurrency primitive from the first set of concurrency primitives, each concurrency primitive in the second set of concurrency primitives being independent of a plurality of different types of architectures that will execute the module, and storing each concurrency primitive from the second set of concurrency primitives in a portable executable that retains the language level constructs of the first set of concurrency primitives.

Abstract: A method for synthesizing mobile applications is provided. The method includes receiving a mobile application specification and compiling a first native mobile application based at least in part on the mobile application specification. A second native mobile application is then compiled based at least in part on the mobile application specification. The first native mobile application is sent to a first client device. The first native mobile application is specific to the first client device and the first native mobile application is capable of being executed by the first client device. The second native mobile application is sent to a second client device, the second native mobile application being specific to the second client device and the second native mobile application is capable of being executed by the second client device.