A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Investigating social entrepreneurship: A multidimensional model

Social entrepreneurship is an emerging area of investigation within the entrepreneurship and not-for-profit marketing literatures. A review of the literature emerging from a number of domains reveals that it is fragmented and that there is no coherent theoretical framework. In particular, current conceptualizations of social entrepreneurship fail to adequately consider the unique characteristics of social entrepreneurs and the context within which they must operate. Using grounded theory method and drawing on nine in-depth case studies of social entrepreneurial not-for-profit organizations, this paper addresses this research gap and develops a bounded multidimensional model of social entrepreneurship. Implications for social entrepreneurship theory, management practice, and policy directions are discussed.

WTO oriented telecommunications reform in the Socialist Republic of Vietnam

Socialist Republic of Vietnam's reform process in the telecommunications sector - obligations imposed on Vietnam by the Bilateral Trade Agreement (BTA) - the regulatory framework required by the General Agreement on Trade in Services (GATS) and the associated, telecommunications-specific WTO agreements - institutional and political problems that may hinder full implementation of these international obligations.

Precautionary principles: a jurisdiction-free framework for decision-making under risk

Fundamental principles of precaution are legal maxims that ask for preventive actions, perhaps as contingent interim measures while relevant information about causality and harm remains unavailable, to minimize the societal impact of potentially severe or irreversible outcomes. Such principles do not explain how to make choices or how to identify what is protective when incomplete and inconsistent scientific evidence of causation characterizes the potential hazards. Rather, they entrust lower jurisdictions, such as agencies or authorities, to make current decisions while recognizing that future information can contradict the scientific basis that supported the initial decision. After reviewing and synthesizing national and international legal aspects of precautionary principles, this paper addresses the key question: How can society manage potentially severe, irreversible or serious environmental outcomes when variability, uncertainty, and limited causal knowledge characterize their decision-making? A decision-analytic solution is outlined that focuses on risky decisions and accounts for prior states of information and scientific beliefs that can be updated as subsequent information becomes available. As a practical and established approach to causal reasoning and decision-making under risk, inherent to precautionary decision-making, these (Bayesian) methods help decision-makers and stakeholders because they formally account for probabilistic outcomes, new information, and are consistent and replicable. Rational choice of an action from among various alternatives-defined as a choice that makes preferred consequences more likely-requires accounting for costs, benefits and the change in risks associated with each candidate action. Decisions under any form of the precautionary principle reviewed must account for the contingent nature of scientific information, creating a link to the decision-analytic principle of expected value of information (VOI), to show the relevance of new information, relative to the initial ( and smaller) set of data on which the decision was based. We exemplify this seemingly simple situation using risk management of BSE. As an integral aspect of causal analysis under risk, the methods developed in this paper permit the addition of non-linear, hormetic dose-response models to the current set of regulatory defaults such as the linear, non-threshold models. This increase in the number of defaults is an important improvement because most of the variants of the precautionary principle require cost-benefit balancing. Specifically, increasing the set of causal defaults accounts for beneficial effects at very low doses. We also show and conclude that quantitative risk assessment dominates qualitative risk assessment, supporting the extension of the set of default causal models.

A work domain analysis framework for modelling intensive care unit patients

Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One pioneering effort suggested that clinical abstraction is not based on means-ends relations, whereas another effort downplayed the role of bio-regulatory mechanisms. In this paper it is argued that bio-regulatory mechanisms that govern physiological behaviour must be part of WDA models of patients as the systems at the core of intensive care units. Furthermore it is argued that because the inner functioning of patients is not completely known, clinical abstraction is based on hypothetico-deductive abstract reasoning. This paper presents an alternative modelling framework that conforms to the broader aspirations of WDA. A modified version of the viable systems model is used to represent the patient system as a nested dissipative structure while aspects of the recognition primed decision model are used to represent the information resources available to clinicians in ways that support lsquoif...thenrsquo conceptual relations. These two frameworks come together to form the recursive diagnostic framework, which may provide a more appropriate foundation for information display design in the intensive care unit.

An evolutionary framework for studies of hibernation and short-term torpor

Data from diverse studies endorse ideas that short term torpor and hibernation are expressions of ancient characters. In evolutionary terms, their basic mechanisms are probably plesiomorphic (= ancestral/primitive) and physiologically similar. This contrasts with the alternate view that they are apomorphic (= derived, specialized), arising independently in many taxa from homeothermic ancestry by numerous apparent convergences. This paper explores some of the implications of accepting the plesiomorphic interpretation. Hibernation is, of course, a complex phenomenon that has undergone variations and refinements in different mammalian lineages. The argument is not that hibernation in total is a plesiomorphic character, but that it is built upon fundamental processes that are. Taking this view provides a framework for research that emphasizes the value of comparative studies, particularly of reptiles and birds. Studies of reptiles, for example, might unravel the mystery about periodic arousals. A plesiomorphic framework also explains the most extreme examples of hibernation as derived specializations from ancestry in which heterothermy is more about energy management than escape from cold. It cautions against using low body temperature (Tb) alone to diagnose torpor, emphasizes the need to distinguish between constitutional eurythermy (plesiomorphic) and constitutional stenothermy (apomorphic), and leads to a parsimonious theory about the evolution of endothermy. The paper proposes that brown adipose tissue (BAT) is apomorphic within eutheria and highlights the conundrum posed by the occurrence of both nonshivering thermogenesis (NST) and rapid arousal from hibernation in noneutherian mammals that lack BAT and uncoupling protein 1 (UCP1). It endorses the likely existence of a different, ancient and widespread mechanism for regulatory NST in mammals.