Artinsoft Corporation

Singular Me Corp

Carlos Luis Araya

Iván Sanabria

Federico Zoufaly

Mauricio Rojas

In general, embodiments of the present invention provide systems, methods and computer readable media for providing a belief data modeling service for representing and operating belief models data. In embodiments, a belief data modeling service may be configured to perform operations comprising receiving a belief data modeling service request including an input data model representing a set of data, a set of input parameters including at least one of observational data and modeling data, and an operation to be applied to the input data model using the input parameters; and, in response to receiving the belief data modeling service request, generating an output belief data model of the set of entities by generating new states and a set of logical conditionals that constrain the states for at least a subset of the entities by applying the input operation to the input data model.

Belief data model management service

Techniques to perform code separation with semantic guarantees are described. When porting a software application to a different target architecture and potentially to a different set of platforms and programming languages, application functionality will change based at least to accommodate architectural differences. However, business logic should be guaranteed to be semantically preserved, efficiency optimized to the platform benefits and limitations. Code separation identifies candidate components, associates the candidate components with a component classification or type, and automates the determining of which of the candidate components are to be associated with various portions of the target architecture. Automated code separation may include various inference algorithms to determine which components are to be associated with a component type. Also described are various use cases for code separation.

Code separation with semantic guarantees

Techniques to automate the transformation of an application involving programming language constructs from a composite of source grammars to a composite of target grammars, while maintaining the fidelity of the program semantics and functionality, or extending or changing it to explode the capabilities and avoid the limitations of new technologies are disclosed. The different stages of the transformation are persisted in an annotated abstract syntax tree where the annotations represent semantic preserving transformation rules. The abstract syntax tree is then transformed according to the transformational rules. The transformed abstract syntax tree may then be traversed to generate a new translated source code application or be queried to generate output reports. Alternatively, the transformed abstract syntax tree may be subjected to another transformation as part of a chain of transformations.

Growing community of inventors

Saratoga, CA, United States of America

Carlos Luis Araya