4 research outputs found
Foundations for Behavioural Model Elaboration Using Modal Transition Systems
Modal Transition Systems (MTS) are an extension of Labelled Transition Systems
(LTS) that have been shown to be useful to reason about system behaviour in the
context of partial information. MTSs distinguish between required, proscribed
and unknown behaviour and come equipped with a notion of refinement that supports
incremental modelling where unknown behaviour is iteratively elaborated
into required or proscribed behaviour.
A particularly useful notion in the context of software and requirements engineering
is that of “merge”. Merging two consistent models is a process that should
result in a minimal common refinement of both models where consistency is defined
as the existence of one common refinement. One of the current limitations
of MTS merging is that a complete and correct algorithm for merging has not
been developed. Hence, an engineer attempting to merge partial descriptions may
be prevented to do so by overconstrained algorithms or algorithms that introduce
behaviour that does not follow from the partial descriptions being merged. In
this thesis we study the problems of consistency and merge for the existing MTSs
semantics - strong and weak semantics - and provide a complete characterization
of MTS consistency as well as a complete and correct algorithm for MTS merging
using these semantics.
Strong and weak semantics require MTS models to have the same communicating
alphabet, the latter allowing the use of a distinguished unobservable action. In
this work we show that the requirement of fixing the alphabet for MTS semantics
and the treatment of observable actions are limiting if MTSs are to support
incremental elaboration of partial behaviour models. We present a novel observational
semantics for MTS, branching alphabet semantics, inspired by branching
LTS equivalence, which supports the elaboration of model behaviour including
the extension of the alphabet of the system to describe behaviour aspects that
previously had not been taken into account. Furthermore, we show that some
unintuitive refinements allowed by weak semantics are avoided, and prove a number
of theorems that relate branching refinement with alphabet refinement and
consistency. These theorems, which do not hold for other semantics, support the
argument for considering branching alphabet as a sound semantics to support
behaviour model elaboration
The significance of silence. Long gaps attenuate the preference for ‘yes’ responses in conversation.
In conversation, negative responses to invitations, requests, offers and the like more often occur with a delay – conversation analysts talk of them as dispreferred. Here we examine the contrastive cognitive load ‘yes’ and ‘no’ responses make, either when given relatively fast (300 ms) or delayed (1000 ms). Participants heard minidialogues, with turns extracted from a spoken corpus, while having their EEG recorded. We find that a fast ‘no’ evokes an N400-effect relative to a fast ‘yes’, however this contrast is not present for delayed responses. This shows that an immediate response is expected to be positive – but this expectation disappears as the response time lengthens because now in ordinary conversation the probability of a ‘no’ has increased. Additionally, however, 'No' responses elicit a late frontal positivity both when they are fast and when they are delayed. Thus, regardless of the latency of response, a ‘no’ response is associated with a late positivity, since a negative response is always dispreferred and may require an account. Together these results show that negative responses to social actions exact a higher cognitive load, but especially when least expected, as an immediate response
Assuming Data Integrity and Empirical Evidence to The Contrary
Background: Not all respondents to surveys apply their minds or understand
the posed questions, and as such provide answers which lack coherence, and
this threatens the integrity of the research. Casual inspection and limited
research of the 10-item Big Five Inventory (BFI-10), included in the dataset of
the World Values Survey (WVS), suggested that random responses may be
common.
Objective: To specify the percentage of cases in the BRI-10 which include
incoherent or contradictory responses and to test the extent to which the
removal of these cases will improve the quality of the dataset.
Method: The WVS data on the BFI-10, measuring the Big Five Personality (B5P), in South Africa (N=3 531), was used. Incoherent or contradictory responses were removed. Then the cases from the cleaned-up dataset were analysed for their theoretical validity.
Results: Only 1 612 (45.7%) cases were identified as not including incoherent
or contradictory responses. The cleaned-up data did not mirror the B5P- structure, as was envisaged. The test for common method bias was negative. Conclusion: In most cases the responses were incoherent. Cleaning up the data did not improve the psychometric properties of the BFI-10. This raises concerns about the quality of the WVS data, the BFI-10, and the universality of B5P-theory. Given these results, it would be unwise to use the BFI-10 in South Africa. Researchers are alerted to do a proper assessment of the
psychometric properties of instruments before they use it, particularly in a
cross-cultural setting
Leading Towards Voice and Innovation: The Role of Psychological Contract
Background: Empirical evidence generally suggests that psychological
contract breach (PCB) leads to negative outcomes. However, some literature
argues that, occasionally, PCB leads to positive outcomes.
Aim: To empirically determine when these positive outcomes occur, focusing
on the role of psychological contract (PC) and leadership style (LS), and
outcomes such as employ voice (EV) and innovative work behaviour (IWB).
Method: A cross-sectional survey design was adopted, using reputable
questionnaires on PC, PCB, EV, IWB, and leadership styles. Correlation
analyses were used to test direct links within the model, while regression
analyses were used to test for the moderation effects.
Results: Data with acceptable psychometric properties were collected from 11
organisations (N=620). The results revealed that PCB does not lead to
substantial changes in IWB. PCB correlated positively with prohibitive EV, but did not influence promotive EV, which was a significant driver of IWB. Leadership styles were weak predictors of EV and IWB, and LS only partially moderated the PCB-EV relationship. Conclusion: PCB did not lead to positive outcomes. Neither did LS influencing the relationships between PCB and EV or IWB. Further, LS only partially influenced the relationships between variables, and not in a manner which positively influence IWB