Abstract: Regulations Expressed As Logical Models (REALM) Christopher Giblin and Alice Y Liu and Samuel Müller and Birgit Pfitzmann and Xin Zhou 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 ofcontinually increasing automation. We introduce REALM (Regulations Expressed as LogicalModels), a metamodel and method for modeling regulations and managing them in a systematic lifecycle in an enterprise. We formalize regulatory requirements as sets of compliancerules in a novel real-time temporal object logic over concept models in UML, together with metadata for traceability. R EALM provides the basis for subsequentmodel transformations, deployment, and continuous monitoring and enforcement of compliance in real business processes and IT systems.