Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Insights into torpor and behavioural thermoregulation of the endangered Juliana's golden mole

The cryptic, subterranean ways of golden moles (Chrysochloridae) hamper studies of their biology in the field. Ten species appear on the IUCN red list, but the dearth of information available for most inhibits effective conservation planning. New techniques are consequently required to further our understanding and facilitate informed conservation management decisions. We studied the endangered Juliana's golden mole Neamblysomus julianae and aimed to evaluate the feasibility of using implantable temperature sensing transmitters to remotely acquire physiological and behavioural data. We also aimed to assess potential body temperature (T-b) fluctuations in relation to ambient soil temperature (T-a) in order to assess the potential use of torpor. Hourly observations revealed that T-b was remarkably changeable, ranging from 27 to 33 degrees C. In several instances T-b declined during periods of low T-a. Such 'shallow torpor' may result in a daily energy saving of c. 20%. Behavioural thermoregulation was used during periods of high T-a by selecting cooler microclimates, while passive heating was used to raise T-b early morning when T-a was increasing. In contrast to anecdotal reports of nocturnal patterns of activity, our results suggest that activity is flexible, being primarily dependent on T-a. These results exemplify how behavioural patterns and microclimatic conditions can be examined in this and other subterranean mammal species, the results of which can be used in the urgently required conservation planning of endangered Chrysochlorid species.

Recent advances in the analysis of behavioural organization and interpretation as indicators of animal welfare

While the incorporation of mathematical and engineering methods has greatly advanced in other areas of the life sciences, they have been under-utilized in the field of animal welfare. Exceptions are beginning to emerge and share a common motivation to quantify 'hidden' aspects in the structure of the behaviour of an individual, or group of animals. Such analyses have the potential to quantify behavioural markers of pain and stress and quantify abnormal behaviour objectively. This review seeks to explore the scope of such analytical methods as behavioural indicators of welfare. We outline four classes of analyses that can be used to quantify aspects of behavioural organization. The underlying principles, possible applications and limitations are described for: fractal analysis, temporal methods, social network analysis, and agent-based modelling and simulation. We hope to encourage further application of analyses of behavioural organization by highlighting potential applications in the assessment of animal welfare, and increasing awareness of the scope for the development of new mathematical methods in this area.

First records of oceanic dive profiles for leatherback turtles, Dermochelys coriacea, indicate behavioural plasticity associated with long-distance migration

We used Satellite Relay Data Loggers to obtain the first dive profiles for critically endangered leatherback turtles outside the nesting season. As individuals moved from the Caribbean out into the Atlantic, key aspects of their diving behaviour changed markedly, in line with theoretical predictions for how dive duration should vary with foraging success. In particular, in the Atlantic, where foraging success is expected to be higher, dives became much longer than in the Caribbean. The deepest-ever dive profile recorded for a reptile was obtained in the oceanic Atlantic, with a 54-min dive to 626 m on 26 August 2002. However, dives were typically much shallower (generally

Measuring inconsistency in network intrusion rules

In this preliminary case study, we investigate how inconsistency in a network intrusion detection rule set can be measured. To achieve this, we first examine the structure of these rules which incorporate regular expression (Regex) pattern matching. We then identify primitive elements in these rules in order to translate the rules into their (equivalent) logical forms and to establish connections between them. Additional rules from background knowledge are also introduced to make the correlations among rules more explicit. Finally, we measure the degree of inconsistency in formulae of such a rule set (using the Scoring function, Shapley inconsistency values and Blame measure for prioritized knowledge) and compare the informativeness of these measures. We conclude that such measures are useful for the network intrusion domain assuming that incorporating domain knowledge for correlation of rules is feasible.