Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.