Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable the...

As information is increasingly managed electronically, policies and government regulations intended to protect personal privacy are increasing the requirements complexity of software systems. These regulations and policies are frequently developed by lawyers and domain experts – not engineers – resulting in complex and ambiguous legal language. To ensure software complies with the law, software...

Enterprises and especially banks are subject to a number of regulations, with multilevel nature which continuously change. They must not only to adapt their business processes to the regulations and their changes but also to evaluate the risks of violation of the new rules and to account for responsibilities. This work proposes a formal framework for modeling business interactions ruled by prot...

Along with the significance of information systems in today’s global business operation, the significance of information systems control and audit is ever increasing in the effort to secure accuracy and integrity of vital business data. A study is undertaken to integrate Food and Drug Administration computerized systems validation regulations, Securities & Exchange Commission Sarbanes-Oxley Act...

Policies and government regulations impose restrictions on information practices in healthcare and finance. These restrictions govern the use and disclosure of information that spans organizations and their business practices. To comply with policies and the law, organizations must demonstrate that they have verifiable procedures in-place to implement these restrictions. To this end, we present...

Regulations are a wide-spread and important part of government and business. They codify how products must be made and processes should be performed. Such regulations can be difficult to understand and apply. In an environment of growing complexity of, and change in, regulation, automated support for reasoning with regulations is becoming increasingly necessary. In this paper we report on ongoi...

The paper reports on experience in creating an enterprise model compliant with the Latvian Accounting Law. The focus is on a possibility to represent parts of the law in the form of business processes. The issues that the law considers together with the information on processes are organized in related sub-models. The main elements of the enterprise model sufficient for representing issues pres...