The system verification program generation device 20 is equipped with a search unit 21 that searches a system design for execution entities and parameters of a verification program, which is a program that verifies whether the system design derived from system requirements satisfies one or more verification items extracted from the system requirements.

Described is a system (and method) for automating the process of generating variations of a website that may be continually evaluated to improve a user interaction flow. The process may be based on a genetic algorithm that creates improving generations of websites. For example, the system may automate the creation of different layouts for a website and evaluate the effectiveness of each layout based on a particular user interaction goal. The most effective (e.g., top performing) layouts may be determined and then “bred” as part of an iterative improvement process.

A workflow development system is described that provides a developer with a search utility for finding steps for inclusion in a workflow. The system also automatically generates a meaningful name and/or graphical representation for a workflow. The system also provides a graphical user interface that represents output parameters of a first workflow step as user-interactive objects. These objects can be interacted with to cause the objects to be inserted into a data entry element that is used to specify a value for an input parameter of a second workflow step. When executable logic representing the first and second workflow steps is generated, the insertion of the objects into the data entry element has the effect of causing the value of the input parameter of the second workflow step to be defined to include the values of the output parameters that correspond to the inserted objects.

A modeling system is provided. The modeling system includes a test model creator, the test model creator being adapted for providing a test model based on an integrated modeling environment and considering a domain specific profile. The system further includes a test scenario generator, the test scenario generator being adapted for providing a plurality of test scenarios based on the test model, as well as a scenario translator, the scenario translator being adapted for translating the test scenarios, into domain-specific language.

Described herein are systems, apparatus, methods and computer program products for implementing a self executing and self disposing signal for an imperative programming language. The self executing and self disposing signal may be utilized by a ReactiveX specification programming language. The signal may be executed before it is observed by an external observer, reducing load times. Additionally, the signal may allow for multiple observers to observe the output of the signal at the same time and may be self disposing to prevent memory leaks.

A system and method for associating a technical artifact and one or more business rules with one or more portions of a process flow diagram by extracting a plurality of technical artifacts from a computing system having a plurality of software applications, providing a process flow diagram having a plurality of nodes and a plurality of edges, associating one or more of the plurality of technical artifacts with one or more of the plurality of nodes of the process flow diagram, displaying the process flow diagram, and when the node is actuated, displaying the associated technical artifact.

A method for providing access to a development and execution (D&E) platform for development of industrial software, including providing while the D&E platform is being accessed a GUI with a development tool having process flow and code editors and an execution tool and arranging two or more programming blocks of a process flow responsive to input from an author when the process flow editor is accessed. The two or more programming blocks, when arranged, are configured to be executed. The method further includes editing source code of the two or more programming blocks responsive to input from the author when the code editor is accessed, compiling at least one of the two or more programming blocks responsive to input from the author when the execution tool is accessed, and executing the compiled at least one programming block responsive to input from the author when the execution tool is accessed.

A method for generating microapp recommendations comprises receiving observational data that characterizes interactions between users and applications. The method further comprises defining a set of correlation trees based on the received observational data. Each correlation tree in the set represents a sequence of interactions between one of the users and one or more of the applications. The set includes a first quantity of correlation trees. The method further comprises identifying a subset of similar correlation trees, each of which is included in the set. The subset includes a second quantity of correlation trees that is less than the first quantity. The method further comprises making a determination that the second quantity is greater than a threshold quantity. The method further comprises, in response to making the determination, generating a microapp recommendation based on the sequence of interactions represented by a correlation tree that is representative of the subset.

A method for generating microapp recommendations comprises receiving observational data that characterizes interactions between users and applications. The method further comprises defining a set of correlation trees based on the received observational data. Each correlation tree in the set represents a sequence of interactions between one of the users and one or more of the applications. The set includes a first quantity of correlation trees. The method further comprises identifying a subset of similar correlation trees, each of which is included in the set. The subset includes a second quantity of correlation trees that is less than the first quantity. The method further comprises making a determination that the second quantity is greater than a threshold quantity. The method further comprises, in response to making the determination, generating a microapp recommendation based on the sequence of interactions represented by a correlation tree that is representative of the subset.

DESCRIBED HEREIN ARE SYSTEMS, APPARATUS, METHODS AND COMPUTER PROGRAM PRODUCTS FOR IMPLEMENTING A SELF EXECUTING AND SELF DISPOSING SIGNAL FOR AN IMPERATIVE PROGRAMMING LANGUAGE. THE SELF EXECUTING AND SELF DISPOSING SIGNAL MAY BE UTILIZED BY A REACTIVEX SPECIFICATION PROGRAMMING LANGUAGE. THE SIGNAL MAY BE EXECUTED BEFORE IT IS OBSERVED BY AN EXTERNAL OBSERVER, REDUCING LOAD TIMES. ADDITIONALLY, THE SIGNAL MAY ALLOW FOR MULTIPLE OBSERVERS TO OBSERVE THE OUTPUT OF THE SIGNAL AT THE SAME TIME AND MAY BE SELF DISPOSING TO PREVENT MEMORY LEAKS.