Unisys Corporation

Microsoft Technology Licensing, LLC

Jonathan Virgil Ziebell

Donald Edward Baisley

Ravi Anthony Joseph Dirckze

Russel Elliot Cole

Joseph Peter Stefaniak

Jeffrey Allen Moore

Eugene Otto Mutschler, Iii

Charles Eugene Steel

Robert Mathews Harrison

Mahmood Mac Vazehgoo

An embodiment of the present invention is a technique for translating a business rule. An operation for a rule to authorize a provision of information is created. A current container is established. A propositional expression in the rule describing the provision of the information is processed. If the current container is null, a context for the propositional expression is recorded as null, else an object type in the current container is recorded as a resulting context from the propositional expression.

Generating programmatic interfaces from natural language expressions of authorizations for provision of information

An embodiment of the present invention is a technique for processing an authorization rule. An object type is created for a return type of an operation in the rule authorizing a request for information. A current container is established. A propositional expression in the rule is processed to record the object type as a resulting context from the propositional expression in the current container.

Generating programmatic interfaces from natural language expressions of authorizations for request of information

One embodiment of the invention is a method for generating a database model from a set of business rules. For a business rule given as input, an empty list of fact types is created. A determination of whether the business rule is a definitional rule defining that one or more propositions become true upon occurrence of an event is made. If the business rule is a definitional rule, the fact type of each of the propositions is added to the list of fact types. Otherwise, a determination of whether the business rule is an authorization rule for provision of information that comprises one or more authorized provisions of information corresponding to one or more fact types is made. If the business rule is an authorization rule for provision of information, the corresponding fact types are added to the list of fact types. For each fact type in the list of fact types, the fact type having at least one role, the role having a type, if the type of the role is not a lexical type, the type is added to a list of types. The types in the list of types are processed and the fact types in the list of fact types are processed.

Generating a database model from natural language expressions of business rules

Sending a discovery agent to a computing device determines the services provided by that first computing device. As a result, a first set of information is received from the agent that provides information indicative of the services provided by the computing device. That information can then be compared to other information, either from the same computing device at a different point in time, or from a second computing device. The other information is indicative of services performed by that computing device at a different point in time or the second computing device. From that, services provided by the computing device that were previously different on the first computing device or that are not available on the second computing device can be determined.

Remote discovery and system architecture

Disclosed is a computer system capable of executing a version control program with a method within the version control program for generating an archive object for a file having an extension XXX. The method comprising the steps of receiving a request for constructing an extension object for an extension XXX from an application capable of creating extensions followed by determining if a MetaClass has been provided for the extension XXX, and if so associating the MetaClass with the extension XXX. Further, including receiving a request for creating an archive object for the extension XXX from a version control application; from a folder revision object in the version control program, determining if the extension XXX is registered with a folder archive object corresponding to the folder revision object, and if so determining if the MetaClass is associated with the extension XXX, and if so; calling an operation to create an object in the MetaClass determined in the preceding step for construction of an archive object for the extension XXX; and, returning the archive object constructed in the previous step as an archive object for the extension XXX.

Method and system for creating and manipulating extensions to version control systems

Disclosed is a method in a computer system capable of executing a version control program, wherein the method operates within the version control program for incorporating changes to software releases. The method creates a project archive object that manages all resources for each of the software releases and then creates a branch in the project archive object in order to establish a new project revision object of the project archive objects. Next, a project revision object is established and is disposed on the branch for incorporating a revision of the project archive object. After this, archive objects are added to the project revision object and revisions are received from a user to each of the archive objects. A change object is established for the project revision, which logically groups a set of revisions to be released. A stream is then created from the project revision object in order to establish a new project revision object of the project archive object, thereby establishing the new project revision object as a software release object. The software release object is then disposed on the stream for incorporating a revision of the project archive object. Finally, the change object is applied to the software release object after it is determined that a change is ready for release.

System and method for incorporating changes as a part of a software release

An object-oriented method and apparatus for relating objects in a compiler program running on a computer for compiling source files into a binary code file for execution on a target computer to source code locations, said apparatus includes a type of object that identifies a source location, and where inlining occurs, a list of inlined source locations. The type of object has only one instance variable, an integer. The invention includes a method for relating objects in a compiler to source code locations. The method includes the steps of registering source files and their ranges of line numbers for a source type; for each language element parsed by the compiler, creating a source object for its source location; and, creating an instance variable of type source for each compiler object in order to relate to their source locations.

Computer-implemented object-oriented method for relating objects in a

An object-oriented apparatus in the memory of a computer system for propagating source code locations into objects in a compiler. The apparatus has three types. The first is a source object type, of which each object identifies a source location and, where inlining has occurred, a list of inlined source locations. The second type is a source mark object type, of which each object identifies a source object to be related to new compiler objects, and whose construction using a source object starts the use of the source object for propagation into new compiler objects, and whose destruction ends the use of the source object for propagation. The third type is a source mapped base type for a compiler object that relates the compiler object to a source object, and whose default construction relates the compiler object to the source object of the most recently constructed source mark object.

Method for propagating source code locations into objects in a compiler

The disclosed method creates a source object for each source language element parsed by the compiler and associates each such created source object with objects created from source language elements to produce source-mapped objects. Next, the source-mapped objects are transformed into corresponding machine-instruction objects and a binary file of the machine-instruction objects is created by: i) adjusting a source data object to a source object associated with a machine instruction object, thereby identifying a lowest level of inlining where the call history of the source object differs from the call history of the previous source object to which the source data object was adjusted; ii) if the source data object identifies no differences from the previous source object, then continuing at step i) for the next machine instruction; and, iii) for each level of the call history beginning with the level returned in the preceding step and continuing through the last level, putting information obtained from the source data object in a source table stored in the binary file.

Growing community of inventors

Trabuco Canyon, CA, United States of America

Jonathan Virgil Ziebell