Formal certification and compliance for run-time service environments

With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking

Willingness to Comply with Corporate Law: An Interdisciplinary Teaching Method in Higher Education

Using an innovation training project, an interdisciplinary cross-sectional teaching strategy was developed to enhance students’ willingness to comply with the law. Thirty-five business, finance and accounting teachers examined the effects of ethical education on 484 university students’ willingness to comply with corporate law. Ethical education was based on building students’ ethical decisions on three court judgments in the new Spanish Corporate Governance Code. The ethical training was carried out by developing and applying social justice counter arguments. This perspective allowed students to imagine what decisions other person could have taken if they had managed the company ethically. The results suggest that ethics education in higher education can improve the willingness to comply the law. This methodology can be applied to interdisciplinary departments teaching ethics in business, finance and accounting

Norm Monitoring under Partial Action Observability

In the context of using norms for controlling multi-agent systems, a vitally important question that has not yet been addressed in the literature is the development of mechanisms for monitoring norm compliance under partial action observability. This paper proposes the reconstruction of unobserved actions to tackle this problem. In particular, we formalise the problem of reconstructing unobserved actions, and propose an information model and algorithms for monitoring norms under partial action observability using two different processes for reconstructing unobserved actions. Our evaluation shows that reconstructing unobserved actions increases significantly the number of norm violations and fulfilments detected.Comment: Accepted at the IEEE Transaction on Cybernetic