The British Nationality Act as a logic program
Communications of the ACM
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Journal of the ACM (JACM)
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
POWER: using UML/OCL for modeling legislation - an application report
Proceedings of the 8th international conference on Artificial intelligence and law
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Logic-based regulation compliance-assistance
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Technical context and cultural consequences of XML
IBM Systems Journal
Towards a context-based multi-type policy approach for Web services composition
Data & Knowledge Engineering
Optimized enterprise risk management
IBM Systems Journal
Best practices and tools for personal information compliance management
IBM Systems Journal
A static compliance-checking framework for business process models
IBM Systems Journal
BPSL Modeler -- Visual Notation Language for Intuitive Business Property Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Checking Traces for Regulatory Conformance
Runtime Verification
Logic-Based Regulatory Conformance Checking
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Security compliance: the next frontier in security research
Proceedings of the 2008 workshop on New security paradigms
Satisfaction of Control Objectives by Control Processes
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Governance Requirements Extraction Model for Legal Compliance Validation
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Monitoring security policies with metric first-order temporal logic
Proceedings of the 15th ACM symposium on Access control models and technologies
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Policy auditing over incomplete logs: theory, implementation and applications
Proceedings of the 18th ACM conference on Computer and communications security
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Understanding and protecting privacy: formal semantics and principled audit mechanisms
ICISS'11 Proceedings of the 7th international conference on Information Systems Security
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Domain-specific language for event-based compliance monitoring in process-driven SOAs
Service Oriented Computing and Applications
Diagnostic information for compliance checking of temporal compliance requirements
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
Recent years have seen a number of high-profile incidents of corporate accounting fraud, security violations, terrorist acts, and disruptions of major financial markets. This has led to a proliferation of new regulations that directly impact businesses. As a result, businesses, in particular publicly traded companies, face the daunting task of complying with an increasing number of intricate and constantly evolving regulations. Together with the growing complexity of today's enterprises this requires a holistic compliance management approach with the goal of continually increasing automation. We introduce REALM (Regulations Expressed as Logical Models), a metamodel and method for modeling regulations and managing them in a systematic lifecycle in an enterprise. We formalize regulatory requirements as sets of compliance rules in a novel real-time temporal object logic over concept models in UML, together with metadata for traceability. REALM provides the basis for subsequent model transformations, deployment, and continuous monitoring and enforcement of compliance in real business processes and IT systems.