Abstract: A system and method deploys components such as computer programs on one or more of computing devices such as servers in a server farm. A deployment system communicates with the computing devices over a computer network. As a result, a data set is received for each computing device and the data set contains information indicative of characteristics of the computing devices. Computer-executable instructions capable of comparing characteristics of the at least one computing device to a set of predefined characteristic constraints are executed to determine whether the computing device meets predefined installation rules. Installation proceeds if the characteristics meet the predefined characteristic constraints.

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