Reasoning and Improving on Software Resilience against Unanticipated Exceptions

In software, there are the errors anticipated at specification and design time, those encountered at development and testing time, and those that happen in production mode yet never anticipated. In this paper, we aim at reasoning on the ability of software to correctly handle unanticipated exceptions. We propose an algorithm, called short-circuit testing, which injects exceptions during test suite execution so as to simulate unanticipated errors. This algorithm collects data that is used as input for verifying two formal exception contracts that capture two resilience properties. Our evaluation on 9 test suites, with 78% line coverage in average, analyzes 241 executed catch blocks, shows that 101 of them expose resilience properties and that 84 can be transformed to be more resilient

Provably safe systems: the only path to controllable AGI

We describe a path to humanity safely thriving with powerful Artificial General Intelligences (AGIs) by building them to provably satisfy human-specified requirements. We argue that this will soon be technically feasible using advanced AI for formal verification and mechanistic interpretability. We further argue that it is the only path which guarantees safe controlled AGI. We end with a list of challenge problems whose solution would contribute to this positive outcome and invite readers to join in this work.Comment: 17 page

Control influence on trust and relational governance in the client-contractor dyad

The construction industry has in recent years witnessed a paradigm shift towards the use of more collaborative contracting relationships and integrated processes in an attempt to improve construction project delivery. Trust is central to the success of these contracting approaches and although efforts are usually aimed at improving trust relations in client-contractor relationships, there has so far been mixed findings on how trust is influenced by formal control mechanisms discharged via formal contracts. In construction contracting, there is therefore the need to investigate how different governance modes and control mechanisms deployed on construction projects are perceived by those being controlled and how this in turn influences trust. Through a critique of the extant literature on trust and control in construction, this study reveals that the trust-control relationship which can be both complimentary and supplementary has far reaching implications on the measurement/assessment of trust in the construction project context. The orientation of governance and control mechanisms selected by clients and the behavioural consequences of these from contractors can thus be used as a measure of the degree of trust that exists in the dyad

Engineering Enterprises for Emergent Change

This paper uses work system theory (WST) and two of its extensions to provide an integrated perspective on engineering enterprises for emergent change. This paper starts by explaining six basic assumptions and distinctions related to emergent change. It introduces four frameworks or models related to WST including the work system framework, work system life cycle model, a theory of workarounds, and a work system metamodel. It shows how each framework or model can help in identifying different aspects of engineering for emergent change and also can be the basis of guidelines for that purpose. Overall, this paper provides a unique way to think about the engineering of enterprises. In addition, it explains a combination of concepts and frameworks that provide a path toward engineering for emergent change

Elastic Business Process Management: State of the Art and Open Challenges for BPM in the Cloud

With the advent of cloud computing, organizations are nowadays able to react rapidly to changing demands for computational resources. Not only individual applications can be hosted on virtual cloud infrastructures, but also complete business processes. This allows the realization of so-called elastic processes, i.e., processes which are carried out using elastic cloud resources. Despite the manifold benefits of elastic processes, there is still a lack of solutions supporting them. In this paper, we identify the state of the art of elastic Business Process Management with a focus on infrastructural challenges. We conceptualize an architecture for an elastic Business Process Management System and discuss existing work on scheduling, resource allocation, monitoring, decentralized coordination, and state management for elastic processes. Furthermore, we present two representative elastic Business Process Management Systems which are intended to counter these challenges. Based on our findings, we identify open issues and outline possible research directions for the realization of elastic processes and elastic Business Process Management.Comment: Please cite as: S. Schulte, C. Janiesch, S. Venugopal, I. Weber, and P. Hoenisch (2015). Elastic Business Process Management: State of the Art and Open Challenges for BPM in the Cloud. Future Generation Computer Systems, Volume NN, Number N, NN-NN., http://dx.doi.org/10.1016/j.future.2014.09.00