Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. We show an example demonstrating that a patient’s health-related query sent to a health care service is answered only by a docto...

Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand how IT management policies influence IT management practice and, ultimately, organizational success in implementing and employing information technology. This paper describes a study that took place in a large government a...

Large multi-echelon inventory systems usually consist of hundreds of thousands of stock keep units (SKU). Calculating inventory policies for each product is a computational burden that necessitates the need for more efficient policy setting techniques that reduce computational time and increases managerial convenience. The main objective of our research is to investigate the effect of segmentat...

In security and compliance, it is often necessary to ensure that agents and systems comply to complex policies. An example of such a policy from financial reporting is the requirement that every transaction t of a customer c, who has within the last 30 days been involved in a suspicious transaction t′, must be reported as suspicious within 2 days. In this talk, I will give an overview of our ap...

Data processing within large organisations is often complex, impeding both the traceability of data and the compliance of processing with usage policies. The chronology of the ownership, custody, or location of data — its provenance — provides the necessary information to restore traceability. However, to be of practical use, provenance records should include sufficient expressiveness by design...

This paper investigates the impacts of smoke-free housing policies on compliance, enforcement and smoking behavior. From 2012 to 2014, we studied two affordable housing providers in Canada with comprehensive smoke-free policies: Waterloo Regional Housing that required new leases to be non-smoking and exempted existing leases, and Yukon Housing Corporation that required all leases (existing and ...

Maximizing transport diversity is critical to the equitable achievement of stakeholder needs. Resource allocation policies help planners decide when and how to invest transportation infrastructure and services. However, policies for improving transport diversity are difficult to design, implement, and quantify because of the uncertainty, feedback interaction, and complexity of system relationsh...

Processes count to the most important assets of companies. Ensuring the compliance of processes to legal regulations, governance guidelines, and strategic business requirements is a sine qua non condition to controlling business behavior. Implementing business process compliance requires means for modeling and enforcing compliance measures. In this work, we motivate the need for automation in c...

Today’s business environment demands a high degree of compliance of business processes with business rules, policies, regulations and laws. Compliance regulations, such Sarbanes-Oxley force enterprises to continuously review their business processes and service-enabled applications and ensure that they satisfy the set of relevant compliance constraints. Compliance management should be considere...