Efficient computation of causal behavioural profiles using structural decomposition

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets.

A framework for model integration and holistic modelling of socio-technical systems

This paper presents a layered framework for the purposes of integrating different Socio-Technical Systems (STS) models and perspectives into a whole-of-systems model. Holistic modelling plays a critical role in the engineering of STS due to the interplay between social and technical elements within these systems and resulting emergent behaviour. The framework decomposes STS models into components, where each component is either a static object, dynamic object or behavioural object. Based on existing literature, a classification of the different elements that make up STS, whether it be a social, technical or a natural environment element, is developed; each object can in turn be classified according to the STS elements it represents. Using the proposed framework, it is possible to systematically decompose models to an extent such that points of interface can be identified and the contextual factors required in transforming the component of one model to interface into another is obtained. Using an airport inbound passenger facilitation process as a case study socio-technical system, three different models are analysed: a Business Process Modelling Notation (BPMN) model, Hybrid Queue-based Bayesian Network (HQBN) model and an Agent Based Model (ABM). It is found that the framework enables the modeller to identify non-trivial interface points such as between the spatial interactions of an ABM and the causal reasoning of a HQBN, and between the process activity representation of a BPMN and simulated behavioural performance in a HQBN. Such a framework is a necessary enabler in order to integrate different modelling approaches in understanding and managing STS.

Assessing driver acceptance of intelligent transport systems in the context of railway level crossings

Intelligent Transport Systems (ITS) have the potential to substantially reduce the number of crashes caused by human errors at railway levels crossings. Such systems, however, will only exert an influence on driving behaviour if they are accepted by the driver. This study aimed at assessing driver acceptance of different ITS interventions designed to enhance driver behaviour at railway crossings. Fifty eight participants, divided into three groups, took part in a driving simulator study in which three ITS devices were tested: an in-vehicle visual ITS, an in-vehicle audio ITS, and an on-road valet system. Driver acceptance of each ITS intervention was assessed in a questionnaire guided by the Technology Acceptance Model and the Theory of Planned Behaviour. Overall, results indicated that the strongest intentions to use the ITS devices belonged to participants exposed to the road-based valet system at passive crossings. The utility of both models in explaining drivers’ intention to use the systems is discussed, with results showing greater support for the Theory of Planned Behaviour. Directions for future studies, along with strategies that target attitudes and subjective norms to increase drivers’ behavioural intentions, are also discussed.

A neurofuzzy approach to future intelligent driver support systems

This paper reviews a variety of advanced signal processing algorithms that have been developed at the University of Southampton as part of the Prometheus (PROgraMme for European Traffic flow with Highest Efficiency and Unprecedented Safety) research programme to achieve an intelligent driver warning system (IDWS). The IDWS includes: visual detection of both generic obstacles and other vehicles, together with their tracking and identification, estimates of time to collision and behavioural modelling of drivers for a variety of scenarios. These application areas are used to show the applicability of neurofuzzy techniques to the wide range of problems required to support an IDWS, and for future fully autonomous vehicles.

Driver’s behavioural changes with new Intelligent Transport System interventions at railway level crossings: A driving simulator study

Improving safety at railway level crossings is an important issue for the Australian transport system. Governments, the rail industry and road organisations have tried a variety of countermeasures for many years to improve railway level crossing safety. New types of Intelligent Transport System (ITS) interventions are now emerging due to the availability and the affordability of technology. These interventions target both actively and passively protected railway level crossings and attempt to address drivers’ errors at railway crossings, which are mainly a failure to detect the crossing or the train and misjudgement of the train approach speed and distance. This study aims to assess the effectiveness of three emerging ITS that the rail industry considers implementing in Australia: a visual in-vehicle ITS, an audio in-vehicle ITS, as well as an on-road flashing beacons intervention. The evaluation was conducted on an advanced driving simulator with 20 participants per trialled technology, each participant driving once without any technology and once with one of the ITS interventions. Every participant drove through a range of active and passive crossings with and without trains approaching. Their speed approach of the crossing, head movements and stopping compliance were measured. Results showed that driver behaviour was changed with the three ITS interventions at passive crossings, while limited effects were found at active crossings, even with reduced visibility. The on-road intervention trialled was unsuccessful in improving driver behaviour; the audio and visual ITS improved driver behaviour when a train was approaching. A trend toward worsening driver behaviour with the visual ITS was observed when no trains were approaching. This trend was not observed for the audio ITS intervention, which appears to be the ITS intervention with the highest potential for improving safety at passive crossings.

Cultural factors: Understanding culture to design organisation structures and systems to optimise safety

Safety culture is a term with numerous definitions in the literature. Many authors advocate a prescriptive approach to safety culture in which if an organisation has certain levels of externally prescribed systems and structures in place it has a “good safety culture”. Conversely, other researchers suggest an anthropological approach of exploring deep meanings and understandings present within an organisation’s workforce. In a recent published review, the authors presented an alternative view to safety culture, in which the anthropological aspects of safety culture interact with the structures and systems in place within an organisation to result in behavioural patterns. This can be viewed as a human factors approach to safety culture in which, through understanding the specific interactions between the culture of a workforce and external organisational elements, organisational structures and systems can be optimised in order to shape worker behaviour and improve safety. This paper presents findings from a recent investigation of safety culture in the Australian heavy vehicle (transport) industry. Selected results are discussed to explore how understanding culture can provide direction to the optimisation of organisational structures and systems to match worker culture and thus improve safety. Specifically the value placed on personal experience and stories, as well as on both time and money are discussed, and interventions that are suited to these aspects of the culture are discussed. These findings demonstrate the importance of shifting beyond mere prescriptive and interpretive approaches to safety culture and instead to focus on the interaction between cultural and contextual elements to optimise organisational structures and systems.

A dynamic navigation model for unmanned aircraft systems and an application to autonomous front-on environmental sensing and photography using low-cost sensor systems

This paper presents an unmanned aircraft system (UAS) that uses a probabilistic model for autonomous front-on environmental sensing or photography of a target. The system is based on low-cost and readily-available sensor systems in dynamic environments and with the general intent of improving the capabilities of dynamic waypoint-based navigation systems for a low-cost UAS. The behavioural dynamics of target movement for the design of a Kalman filter and Markov model-based prediction algorithm are included. Geometrical concepts and the Haversine formula are applied to the maximum likelihood case in order to make a prediction regarding a future state of a target, thus delivering a new waypoint for autonomous navigation. The results of the application to aerial filming with low-cost UAS are presented, achieving the desired goal of maintained front-on perspective without significant constraint to the route or pace of target movement.

Motivation and behavioural patterns of students accessing a peer-facilitated support for learning program

This paper describes the development and use of personas, a Human Computer Interaction (HCI) research methodology, within the STIMulate peer learning program, in order to better understand student behaviour patterns and motivations. STIMulate is a support for learning program at the Queensland University of Technology (QUT) in Brisbane, Australia. The program provides assistance in mathematics, science and information technology (IT) for course work students. A STIMulate space is provided for students to study and obtain one-on-one assistance from Peer Learning Facilitators (PLFs), who are experienced students that have excelled in relevant subject areas. This paper describes personas – archetypal users - that represent the motivations and behavioural patterns of students that utilise STIMulate (particularly the IT stream). The personas were developed based on interviews with PLFs, and subsequently validated by a PLF focus group. Seven different personas were developed. The personas enable us to better understand the characteristics of the students utilising the STIMulate program. The research provides a clearer picture of visiting student motivations and behavioural patterns. This has helped us identify gaps in the services provided, and be more aware of our assumptions about students. The personas have been deployed in PLF training programs, to help PLFs provide a better service to the students. The research findings suggest further study on the resonances between some students and PLFs, which we would like to better elicit.

Roles of forced nicotine exposure and Comt gene disruption in the development of addiction-related behavioural and neurochemical changes in mice

Activation of midbrain dopamine systems is thought to be critically involved in the addictive properties of abused substances. Drugs of abuse increase dopamine release in the nucleus accumbens and dorsal striatum, which are the target areas of mesolimbic and nigrostriatal dopamine pathways, respectively. Dopamine release in the nucleus accumbens is thought to mediate the attribution of incentive salience to rewards, and dorsal striatal dopamine release is involved in habit formation. In addition, changes in the function of prefrontal cortex (PFC), the target area of mesocortical dopamine pathway, may skew information processing and memory formation such that the addict pays an abnormal amount of attention to drug-related cues. In this study, we wanted to explore how long-term forced oral nicotine exposure or the lack of catechol-O-methyltransferase (COMT), one of the dopamine metabolizing enzymes, would affect the functioning of these pathways. We also wanted to find out how the forced nicotine exposure or the lack of COMT would affect the consumption of nicotine, alcohol, or cocaine. First, we studied the effect of forced chronic nicotine exposure on the sensitivity of dopamine D2-like autoreceptors in microdialysis and locomotor activity experiments. We found that the sensitivity of these receptors was unchanged after forced oral nicotine exposure, although an increase in the sensitivity was observed in mice treated with intermittent nicotine injections twice daily for 10 days. Thus, the effect of nicotine treatment on dopamine autoreceptor sensitivity depends on the route, frequency, and time course of drug administration. Second, we investigated whether the forced oral nicotine exposure would affect the reinforcing properties of nicotine injections. The chronic nicotine exposure did not significantly affect the development of conditioned place preference to nicotine. In the intravenous self-administration paradigm, however, the nicotine-exposed animals self-administered nicotine at a lower unit dose than the control animals, indicating that their sensitivity to the reinforcing effects of nicotine was enhanced. Next, we wanted to study whether the Comt gene knock-out animals would be a suitable model to study alcohol and cocaine consumption or addiction. Although previous work had shown male Comt knock-out mice to be less sensitive to the locomotor-activating effects of cocaine, the present study found that the lack of COMT did not affect the consumption of cocaine solutions or the development of cocaine-induced place preference. However, the present work did find that male Comt knock-out mice, but not female knock-out mice, consumed ethanol more avidly than their wild-type littermates. This finding suggests that COMT may be one of the factors, albeit not a primary one, contributing to the risk of alcoholism. Last, we explored the effect of COMT deficiency on dorsal striatal, accumbal, and prefrontal cortical dopamine metabolism under no-net-flux conditions and under levodopa load in freely-moving mice. The lack of COMT did not affect the extracellular dopamine concentrations under baseline conditions in any of the brain areas studied. In the prefrontal cortex, the dopamine levels remained high for a prolonged time after levodopa treatment in male, but not female, Comt knock-out mice. COMT deficiency induced accumulation of 3,4-dihydroxyphenylacetic acid, which increased further under levodopa load. Homovanillic acid was not detectable in Comt knock-out animals either under baseline conditions or after levodopa treatment. Taken together, the present results show that although forced chronic oral nicotine exposure affects the reinforcing properties of self-administered nicotine, it is not an addiction model itself. COMT seems to play a minor role in dopamine metabolism and in the development of addiction under baseline conditions, indicating that dopamine function in the brain is well-protected from perturbation. However, the role of COMT becomes more important when the dopaminergic system is challenged, such as by pharmacological manipulation.

Assessing organizational culture in complex sociotechnical systems : Methodological evidence from studies in nuclear power plant maintenance organizations

Failures in industrial organizations dealing with hazardous technologies can have widespread consequences for the safety of the workers and the general population. Psychology can have a major role in contributing to the safe and reliable operation of these technologies. Most current models of safety management in complex sociotechnical systems such as nuclear power plant maintenance are either non-contextual or based on an overly-rational image of an organization. Thus, they fail to grasp either the actual requirements of the work or the socially-constructed nature of the work in question. The general aim of the present study is to develop and test a methodology for contextual assessment of organizational culture in complex sociotechnical systems. This is done by demonstrating the findings that the application of the emerging methodology produces in the domain of maintenance of a nuclear power plant (NPP). The concepts of organizational culture and organizational core task (OCT) are operationalized and tested in the case studies. We argue that when the complexity of the work, technology and social environment is increased, the significance of the most implicit features of organizational culture as a means of coordinating the work and achieving safety and effectiveness of the activities also increases. For this reason a cultural perspective could provide additional insight into the problem of safety management. The present study aims to determine; (1) the elements of the organizational culture in complex sociotechnical systems; (2) the demands the maintenance task sets for the organizational culture; (3) how the current organizational culture at the case organizations supports the perception and fulfilment of the demands of the maintenance work; (4) the similarities and differences between the maintenance cultures at the case organizations, and (5) the necessary assessment of the organizational culture in complex sociotechnical systems. Three in-depth case studies were carried out at the maintenance units of three Nordic NPPs. The case studies employed an iterative and multimethod research strategy. The following methods were used: interviews, CULTURE-survey, seminars, document analysis and group work. Both cultural analysis and task modelling were carried out. The results indicate that organizational culture in complex sociotechnical systems can be characterised according to three qualitatively different elements: structure, internal integration and conceptions. All three of these elements of culture as well as their interrelations have to be considered in organizational assessments or important aspects of the organizational dynamics will be overlooked. On the basis of OCT modelling, the maintenance core task was defined as balancing between three critical demands: anticipating the condition of the plant and conducting preventive maintenance accordingly, reacting to unexpected technical faults and monitoring and reflecting on the effects of maintenance actions and the condition of the plant. The results indicate that safety was highly valued at all three plants, and in that sense they all had strong safety cultures. In other respects the cultural features were quite different, and thus the culturally-accepted means of maintaining high safety also differed. The handicraft nature of maintenance work was emphasised as a source of identity at the NPPs. Overall, the importance of safety was taken for granted, but the cultural norms concerning the appropriate means to guarantee it were little reflected. A sense of control, personal responsibility and organizational changes emerged as challenging issues at all the plants. The study shows that in complex sociotechnical systems it is both necessary and possible to analyse the safety and effectiveness of the organizational culture. Safety in complex sociotechnical systems cannot be understood or managed without understanding the demands of the organizational core task and managing the dynamics between the three elements of the organizational culture.

Discovering behavioural interfaces for overloaded web services

The growth of APIs and Web services on the Internet, especially through larger enterprise systems increasingly being leveraged for Cloud and software-as-a-service opportuni- ties, poses challenges to improving the efficiency of integration with these services. Interfaces of enterprise systems are typically larger, more complex and overloaded, with single operation having multiple data entities and parameter sets, supporting varying requests, and reflecting versioning across different system releases, compared to fine-grained operations of contemporary interfaces. We propose a technique to support the refactoring of service interfaces by deriving business entities and their relationships. In this paper, we focus on the behavioural aspects of service interfaces, aiming to discover the sequential dependencies of operations (otherwise known as protocol extraction) based on the entities and relationships derived. Specifically, we propose heuristics according to these relationships, and in turn, deriving permissible orders in which operations are invoked. As a result of this, service operations can be refactored on business entity CRUD lines, with explicit behavioural protocols as part of an interface definition. This supports flexible service discovery, composition and integration. A prototypical implementation and analysis of existing Web services, including those of commercial logistic systems (Fedex), are used to validate the algorithms proposed through the paper.

Social dynamics for sustainable food systems. Actors’ orientations towards sustainability in primary production and public consumption

Abstract The modern food system and sustainable development form a conceptual combination that suggests sustainability deficits in the ways we deal with food consumption and production - in terms of economic relations, environmental impacts and nutritional status of western population. This study explores actors’ orientations towards sustainability by taking into account actors’ embedded positions within structures of the food system, actors’ economic relations and views about sustainability as well as their possibilities for progressive activities. The study looks particularly at social dynamics for sustainability within primary production and public consumption. If actors within these two worlds were to express converging orientations for sustainability, the system dynamics of the market would enable more sustainable growth in terms of production dictated by consumption. The study is based on a constructivist research approach with qualitative text analyses. The data consisted of three text corpora, the ‘local food corpus’, the ‘catering corpus’ and the ‘mixed corpus’. The local food actors were interviewed about their economic exchange relations. The caterers’ interviews dealt with their professional identity for sustainability. Finally, the mixed corpus assembled a dialogue as a participatory research approach, which was applied in order to enable researcher and caterer learning about the use of organic milk in public catering. The data were analysed for theoretically conceptualised relations, expressing behavioural patterns in actors’ everyday work as interpreted by the researcher. The findings were corroborated by the internal and external communities of food system actors. The interpretations have some validity, although they only present abstractions of everyday life and its rich, even opaque, fabric of meanings and aims. The key findings included primary producers’ social skilfulness, which enabled networking with other actors in very different paths of life, learning in order to promote one’s trade, and trusting reflectively in partners in order to extend business. These activities expanded the supply chain in a spiral fashion by horizontal and vertical forward integration, until large retailers were met for negotiations on a more equal or ‘other regarding’ basis. This kind of chain level coordination, typically building around the core of social and partnership relations, was coined as a socially overlaid network. It supported market access of local farmers, rooted in their farms, who were able to draw on local capital and labour in promotion of competitive business; the growth was endogenous. These kinds of chains – one conventional and one organic – were different from the strategic chain, which was more profit based and while highly competitive, presented exogenous growth as it depended on imported capital and local employees. However, the strategic chain offered learning opportunities and support for the local economy. The caterers exhibited more or less committed professional identity for sustainability within their reach. The facilitating and balanced approaches for professional identities dealt successfully with local and organic food in addition to domestic food, and also imported food. The co-operation with supply chains created innovative solutions and savings for the business parties to be shared. The rule-abiding approach for sustainability only made choices among organic supply chains without extending into co-operation with actors. There were also more complicated and troubled identities as juggling, critical and delimited approaches for sustainability, with less productive efforts due to restrictions such as absence of organisational sustainability strategy, weak presence of local and organic suppliers, limited understanding about sustainability and no organisational resources to develop changes towards a sustainable food system. Learning in the workplace about food system reality in terms of supply chain co-operation may prove to be a change engine that leads to advanced network operations and a more sustainable food system. The convergence between primary producers and caterers existed to an extent allowing suggestion that increased clarity about sustainable consumption and production by actors could be approached using advanced tools. The study looks for introduction of more profound environmental and socio-economic knowledge through participatory research with supply chain actors in order to promote more sustainable food systems. Summary of original publications and the authors’ contribution I Mikkola, M. & Seppänen, L. 2006. Farmers’ new participation in food chains: making horizontal and vertical progress by networking. In: Langeveld, H. & Röling N. (Eds.). Changing European farming systems for a better future. New visions for rural areas. Wageningen, The Netherlands. Wageningen Academic Publishers: 267–271. II Mikkola, M. 2008. Coordinative structures and development of food supply chains. British Food Journal 110 (2): 189–205. III Mikkola, M. 2009. Shaping professional identity for sustainability. Evidence in Finnish public catering. Appetite 53 (1): 56–65. IV Mikkola, M. 2009. Catering for sustainability: building a dialogue on organic milk. Agronomy Research 7 (Special issue 2): 668–676. Minna Mikkola has been responsible for developing the generic research frame, particular research questions, the planning and collection of the data, their qualitative analysis and writing the articles I, II, III and IV. Dr Laura Seppänen has contributed to the development of the generic research frame and article I by introducing the author to the basic concepts of economic sociology and by supporting the writing of article II with her critical comments. Articles are printed with permission from the publishers.

The locus coeruleus Is Directly Implicated in L-DOPA-Induced Dyskinesia in Parkinsonian Rats: An Electrophysiological and Behavioural Study

Despite being the most effective treatment for Parkinson's disease, L-DOPA causes a development of dyskinetic movements in the majority of treated patients. L-DOPA-induced dyskinesia is attributed to a dysregulated dopamine transmission within the basal ganglia, but serotonergic and noradrenergic systems are believed to play an important modulatory role. In this study, we have addressed the role of the locus coeruleus nucleus (LC) in a rat model of L-DOPA-induced dyskinesia. Single-unit extracellular recordings in vivo and behavioural and immunohistochemical approaches were applied in rats rendered dyskinetic by the destruction of the nigrostriatal dopamine neurons followed by chronic treatment with L-DOPA. The results showed that L-DOPA treatment reversed the change induced by 6-hydroxydopamine lesions on LC neuronal activity. The severity of the abnormal involuntary movements induced by L-DOPA correlated with the basal firing parameters of LC neuronal activity. Systemic administration of the LC-selective noradrenergic neurotoxin N-(2-chloroethyl)-N-ethyl-2-bromobenzylamine did not modify axial, limb, and orolingual dyskinesia, whereas chemical destruction of the LC with ibotenic acid significantly increased the abnormal involuntary movement scores. These results are the first to demonstrate altered LC neuronal activity in 6-OHDA lesioned rats treated with L-DOPA, and indicate that an intact noradrenergic system may limit the severity of this movement disorder.

Self-Organized Criticality, Plasticity and Sensorimotor Coupling. Explorations with a Neurorobotic Model in a Behavioural Preference Task

During the last two decades, analysis of 1/f noise in cognitive science has led to a considerable progress in the way we understand the organization of our mental life. However, there is still a lack of specific models providing explanations of how 1/f noise is generated in coupled brain-body-environment systems, since existing models and experiments typically target either externally observable behaviour or isolated neuronal systems but do not address the interplay between neuronal mechanisms and sensorimotor dynamics. We present a conceptual model of a minimal neurorobotic agent solving a behavioural task that makes it possible to relate mechanistic (neurodynamic) and behavioural levels of description. The model consists of a simulated robot controlled by a network of Kuramoto oscillators with homeostatic plasticity and the ability to develop behavioural preferences mediated by sensorimotor patterns. With only three oscillators, this simple model displays self-organized criticality in the form of robust 1/f noise and a wide multifractal spectrum. We show that the emergence of self-organized criticality and 1/f noise in our model is the result of three simultaneous conditions: a) non-linear interaction dynamics capable of generating stable collective patterns, b) internal plastic mechanisms modulating the sensorimotor flows, and c) strong sensorimotor coupling with the environment that induces transient metastable neurodynamic regimes. We carry out a number of experiments to show that both synaptic plasticity and strong sensorimotor coupling play a necessary role, as constituents of self-organized criticality, in the generation of 1/f noise. The experiments also shown to be useful to test the robustness of 1/f scaling comparing the results of different techniques. We finally discuss the role of conceptual models as mediators between nomothetic and mechanistic models and how they can inform future experimental research where self-organized critically includes sensorimotor coupling among the essential interaction-dominant process giving rise to 1/f noise.