Trust transitivity and conditional belief reasoning

Abstract. Trust transitivity is a common phenomenon embedded in human reasoning about trust. Given a specific context or purpose, trust transitivity is often manifested through the humans' intuition to rely on the recommendations of a trustworthy advisor about another entity that the advisor recommends. Although this simple principle has been formalised in various ways for many trust and reputation systems, there is no real or physical basis for trust transitivity to be directly translated into a mathematical model. In that sense, all mathematical operators for trust transitivity proposed in the literature must be considered ad hoc; they represent attempts to model a very complex human phenomenon as if it were lendable to analysis by the laws of physics. Considering this nature of human trust transitivity in reality, any simple mathematical model will essentially have rather poor predictive power. In this paper, we propose a new interpretation of trust transitivity that is radically different from those described in the literature so far. More specifically, we consider recommendations from an advisor as evidence that the relying party will use as input arguments in conditional reasoning models for assessing hypotheses about the trust target. The proposed model of conditional trust transitivity is based on the framework of subjective logic

Semantic model-driven development of service-centric software architectures

Service-oriented architecture (SOA) is a recent architectural paradigm that has received much attention. The prevalent focus on platforms such as Web services, however, needs to be complemented by appropriate software engineering methods. We propose the model-driven development of service-centric software systems. We present in particular an investigation into the role of enriched semantic modelling for a modeldriven development framework for service-centric software systems. Ontologies as the foundations of semantic modelling and its enhancement through architectural pattern modelling are at the core of the proposed approach. We introduce foundations and discuss the benefits and also the challenges in this context

Utilising Provenance to Enhance Social Computation

Postprin

Human rights and ethical reasoning : capabilities, conventions and spheres of public action

This interdisciplinary article argues that human rights must be understood in terms of opportunities for social participation and that social and economic rights are integral to any discussion of the subject. We offer both a social constructionist and a normative framework for a sociology of human rights which reaches beyond liberal individualism, combining insights from the work of Amartya Sen and from French convention theory. Following Sen, we argue that human rights are founded on the promotion of human capabilities as ethical demands shaped by public reasoning. Using French convention theory, we show how the terms of such deliberation are shaped by different constructions of collectively held values and the compromises reached between them. We conclude by demonstrating how our approach offers a new perspective on spheres of public action and the role these should play in promoting social cohesion, individual capabilities and human rights

Applying tropos to socio-technical system design and runtime configuration

Recent trends in Software Engineering have introduced the importance of reconsidering the traditional idea of software design as a socio-tecnical problem, where human agents are integral part of the system along with hardware and software components. Design and runtime support for Socio-Technical Systems (STSs) requires appropriate modeling techniques and non-traditional infrastructures. Agent-oriented software methodologies are natural solutions to the development of STSs, both humans and technical components are conceptualized and analyzed as part of the same system. In this paper, we illustrate a number of Tropos features that we believe fundamental to support the development and runtime reconfiguration of STSs. Particularly, we focus on two critical design issues: risk analysis and location variability. We show how they are integrated and used into a planning-based approach to support the designer in evaluating and choosing the best design alternative. Finally, we present a generic framework to develop self-reconfigurable STSs

Visualisation of the information resources for cell biology

Intelligent multimodal interfaces can facilitate scientists in utilising available information resources. Combining scientific visualisations with interactive and intelligent tools can help create a “habitable” information space. Development of such tools remains largely iterative. We discuss an ongoing implementation of intelligent interactive visualisation of information resources in cell biology