Abstract: A system and method for automated regulatory compliance checking for organizations is disclosed. The present subject matter discloses a method for generating queries to extract relevant data from an organization that with respect to the regulatory rules and subsequently performing automated compliance checking for the organization. In an embodiment, the system captures regulatory rules provided by a regulatory body for an organization and extracts logical specification of rules from the semantic model in DR-Prolog language. The system further extracts a conceptual data model from the semantic model and obtains mapping between the conceptual data model and plurality of physical database. The system generates queries and translated the queries on to physical database schema to extract relevant data from the organization. The extracted data is transformed into ground facts in DR-Prolog and compared with logical specification of rules to perform automated regulatory compliance checking.

Abstract: A system and method for automated regulatory compliance checking for organizations is disclosed. The present subject matter discloses a method for generating queries to extract relevant data from an organization that with respect to the regulatory rules and subsequently performing automated compliance checking for the organization. In an embodiment, the system captures regulatory rules provided by a regulatory body for an organization and extracts logical specification of rules from the semantic model in DR-Prolog language. The system further extracts a conceptual data model from the semantic model and obtains mapping between the conceptual data model and plurality of physical database. The system generates queries and translated the queries on to physical database schema to extract relevant data from the organization. The extracted data is transformed into ground facts in DR-Prolog and compared with logical specification of rules to perform automated regulatory compliance checking.

Abstract: A hardware/software system for developing a software application by component modeling and instantiation is disclosed. The system has at minimum a computerized workstation with a GUI for enabling user control of system entities, a data repository for storing data particulars necessary for application development, a server application for providing data particulars and functionality required for component development, a processor for hosting the server application, and a modeling program accessible to the workstation and to the server application for design, construction, and testing application components. In a preferred embodiment, the application components are separately defined, built and tested using the modeling program and server functions wherein the coding required to generate and enable each application component from model information is automatically generated by the modeling program.