Observation and abstract behaviour in specification and implementation of state-based systems

Classical algebraic specification is an accepted framework for specification. A criticism which applies is the fact that it is functional, not based on a notion of state as most software development and implementation languages are. We formalise the idea of a state-based object or abstract machine using algebraic means. In contrast to similar approaches we consider dynamic logic instead of equational logic as the framework for specification and implementation. The advantage is a more expressive language allowing us to specify safety and liveness conditions. It also allows a clearer distinction of functional and state-based parts which require different treatment in order to achieve behavioural abstraction when necessary. We shall in particular focus on abstract behaviour and observation. A behavioural notion of satisfaction for state-elements is needed in order to abstract from irrelevant details of the state realisation

Past, present and future of information and knowledge sharing in the construction industry: Towards semantic service-based e-construction

The paper reviews product data technology initiatives in the construction sector and provides a synthesis of related ICT industry needs. A comparison between (a) the data centric characteristics of Product Data Technology (PDT) and (b) ontology with a focus on semantics, is given, highlighting the pros and cons of each approach. The paper advocates the migration from data-centric application integration to ontology-based business process support, and proposes inter-enterprise collaboration architectures and frameworks based on semantic services, underpinned by ontology-based knowledge structures. The paper discusses the main reasons behind the low industry take up of product data technology, and proposes a preliminary roadmap for the wide industry diffusion of the proposed approach. In this respect, the paper stresses the value of adopting alliance-based modes of operation

SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)

Testability is an important quality attribute of software, especially for critical systems such as avionics, medical, and automotive. Improvement in the early testability of software architecture, the first artifact of the software system, will help reduce issues and costs later in the development process. AADL, an architecture analysis description language suitable for critical embedded, real-time systems, can be used for design documentation, analysis and code generation. Because the capability of AADL can be extended, it is possible to add new analyses to its core language. Tools such as the Open Source AADL Tool Environment (OSATE) provide plugins for processing AADL models. Although adding new plugins in OSATE extends AADL, there currently exists no AADL extension for testability measurement. The purpose of this thesis is to propose such a method to measure the testability of AADL models as well as to develop a testability plugin in OSATE. Much research has been conducted on testability of hardware, software and embedded systems, resulting in several approaches for measuring this quality attribute. Among them, the approach measuring testability as a product of controllability and observability using information transfer graph (ITG) is the most applicable for measuring the testability of AADL models. This thesis proposes a method applying this approach to AADL models. A complete testability measure plugin for OSATE was developed based on this approach and detailed examples are given in this thesis to demonstrate its applicability

Technology Adoption in Poorly Specified Environments

This article extends the characteristics-based choice framework of technology adoption to account for decisions taken by boundedly-rational individuals in environments where traits are not fully observed. It is applied to an agricultural setting and introduces the concept of ambiguity in the agricultural technology adoption literature by relaxing strict informational and cognition related assumptions that are implied by traditional Bayesian analysis. The main results confirm that ambiguity increases as local conditions become less homogeneous and as computational ability, own experience and nearby adoption rates decrease. Measurement biases associated with full rationality assumptions are found to increase when decision makers have low computational ability, low experience and when their farming conditions differ widely from average adopter ones. A complementary empirical paper (Useche 2006) finds that models assuming low confidence in observed data, ambiguity and pessimistic expectations about traits predict sample shares better than models which assume that farmers do not face ambiguity or are optimistic about the traits of new varieties.Research and Development/Tech Change/Emerging Technologies,

Saving, Microinsurance: Why You Should Do Both or Nothing. A Behavioral Experiment on the Philippines

This paper analyzes data from a novel field experiment designed to test the impact of two different insurance products and a secret saving device on solidarity in risk-sharing groups among rural villagers in the Philippines. Risk is simulated by a lottery, risk-sharing is possible in solidarity groups of three and insurance is introduced via less risky lotteries. Our main hypothesis is that formal market-based products lead to lower transfers among network members. We also test for the persistence of this crowding-out of solidarity. We find evidence for a reduction of solidarity by insurance if shocks are observable. Depending on insurance design, there is also evidence for persistence of this effect even if insurance is removed. Simulations using our regression results show that the benefits of insurance are completely offset by the reduction in transfers. However, if secret saving is possible solidarity is very low in general and there is no crowding out effect of insurance. This suggests that introducing formal insurance is not as effective as it is hoped for when the monetary situation can be closely monitored, but that it might be a very important complement when savings inhibit observing financial resources. --

Epistemological vs. Ontological Relationalism in Quantum Mechanics: Relativism or Realism?

In this paper we investigate the history of relationalism and its present use in some interpretations of quantum mechanics. In the first part of this article we will provide a conceptual analysis of the relation between substantivalism, relationalism and relativism in the history of both physics and philosophy. In the second part, we will address some relational interpretations of quantum mechanics, namely, Bohr's relational approach, the modal interpretation by Kochen, the perspectival modal version by Bene and Dieks and the relational interpretation by Rovelli. We will argue that all these interpretations ground their understanding of relations in epistemological terms. By taking into account the analysis on the first part of our work, we intend to highlight the fact that there is a different possibility for understanding quantum mechanics in relational terms which has not been yet considered within the foundational literature. This possibility is to consider relations in (non-relativist) ontological terms. We will argue that such an understanding might be capable of providing a novel approach to the problem of representing what quantum mechanics is really talking about.Comment: Welcome