Connectivity of workflow nets : the foundations of stepwise verification

Behavioral models capture operational principles of real-world or designed systems. Formally, each behavioral model defines the state space of a system, i.e., its states and the principles of state transitions. Such a model is the basis for analysis of the system’s properties. In practice, state spaces of systems are immense, which results in huge computational complexity for their analysis. Behavioral models are typically described as executable graphs, whose execution semantics encodes a state space. The structure theory of behavioral models studies the relations between the structure of a model and the properties of its state space. In this article, we use the connectivity property of graphs to achieve an efficient and extensive discovery of the compositional structure of behavioral models; behavioral models get stepwise decomposed into components with clear structural characteristics and inter-component relations. At each decomposition step, the discovered compositional structure of a model is used for reasoning on properties of the whole state space of the system. The approach is exemplified by means of a concrete behavioral model and verification criterion. That is, we analyze workflow nets, a well-established tool for modeling behavior of distributed systems, with respect to the soundness property, a basic correctness property of workflow nets. Stepwise verification allows the detection of violations of the soundness property by inspecting small portions of a model, thereby considerably reducing the amount of work to be done to perform soundness checks. Besides formal results, we also report on findings from applying our approach to an industry model collection.

The impact of employment-level characteristics on work-life interference in school aged children

Work–life interference is important for school-aged workers because it influences their educational outcomes/career aspirations. Although research highlights the role of work hours in determining work–life interference for these workers, work/job-level characteristics have received limited attention. Using survey data from Queensland school students who work part-time, we assess the influence of a range of employment-level variables on work–life interference. The results of multiple regression analysis indicate work–life interference is exacerbated by having low trust in managers and limited scope to refuse work hours and stability in work hours, emphasising the importance of organisational variables in integrating work and non-work spheres for school-aged workers.

Thoughts make the world

Thoughts Make the World is a synchronised two-channel video with sound. On the right-hand screen, a young man and woman exchange timeworn philosophical phrases and existential questions. On the left-hand screen, a guitarist plays a soundtrack that slowly builds over time. As the actors’ quest for meaning struggles toward an unresolved end, the guitarist launches into a climactic, liberating solo, eclipsing their somewhat-labored attempts to understand existence. By contrasting these verbal and non-verbal signifiers of self-reflection and self-expression, Thoughts Make the World questions how and where to grapple with enduring existential problems in a context dominated by the pre-packaged formats of popular culture and ironic modes of individualised response.

Exploring the internal dimensions of work stress : evidence from construction cost estimators in China

A recurring feature of modern practice is the stress placed on project professionals, with both debilitating effects on the people concerned and indirectly affecting project success. Cost estimation, for example, is an essential task for successful project management involving a high level of uncertainty. It is not surprising, therefore, that young cost estimators especially can become stressful at work due to a lack of experience and the heavy responsibilities involved. However, the concept of work stress and the associated underlying dimensions has not been clearly defined in extant studies in the construction management field. To redress this situation, an updated psychology perceived stress questionnaire (PSQ) , first developed by Levenstein et al (1993) and revised by Fliege et al (2005), is used to explore the dimensions of work stress with empirical evidence from the construction industry in China. With 145 reliable responses from young (less than 5 years’ experience) Chinese cost estimators, this study explores the internal dimensions of work stress, identifying four dimensions of tension, demands, lack of joy and worries. It is suggested that this four-dimensional structure may also be applicable in a more general context.

The legal concept of work-related injury and disease in Australian OHS and workers' compensation systems

This paper analyses the concept of ‘work-relatedness’ in Australian workers’ compensation and occupational health and safety (OHS) systems. The concept of work-relatedness is important because it is a crucial element circumscribing the limits of the protection afforded to workers under the preventative OHS statutes, and is a threshold element which has to be satisfied before an injured or ill worker can recover statutory compensation. While the preventive and compensatory regimes do draw on some similar concepts of work-relatedness, as this paper will illustrate, there are significant differences both between, and within, these regimes.

Work and family : the perception of balance among female teachers in northern Malaysia

Women’s participation in paid employment has become a common scenario even in non-western developing countries. For example in Malaysia, the trend is growing although the traditional gender role remains strong in Malaysian society. Even though working, women are still expected to assume major responsibilities at home. Thus, as opposed to men, women in this society face the challenge to satisfactorily balance work and family. This study was carried out to explore how Malaysian women perceive the meaning of a balanced work-family life. Sampling women teachers, the interview findings revealed that work-family balance was mainly perceived in terms of an individual’s ‘ability to fulfill role obligation’ appropriately in both the work and family domains. A few participants also viewed balance in the context of role satisfaction and role interference. Overall, the results support the assumption in the literature that perceptions of work-family experience are not universal, rather, the construct of work-family balance is culture-specific.

A New Start? : Implications of Work for the Dole on Mental Health of Unemployed Young Australians

This paper summarises literature on unemployment, mental health and Work for the Dole programs. Australian and international evidence suggests that unemployed young people are more likely to experience mental health problems than employed people (e.g. greater anxiety and depression, higher suicide rates). Drawing on research undertaken in Australia and overseas we identify a link between mental health and unemployment. However, there is a lack of firm evidence with respect to the impact of Work for the Dole programs on the mental health of unemployed young Australians. There is the possibility that with the Australian Government's proposed expansion of the program any benefits of Work for the Dole on mental health of young unemployed people could be diminished or lost. There is a clear need for more research in this area.

The One and The Many : In the works of Heraclitus, Parmenides and Lao Zi

This paper concentrates on Heraclitus, Parmenides and Lao Zi. The focus is on their ideas on change and whether the world is essentially One or if it is composed of many entities. In the first chapter I go over some general tendences in Greek and Chinese philosophy. The differences in the cultural background have an influence in the ways philosophy is made, but the paper aims to show that two questions can be brought up when comparing the philosophies of Heraclitus, Parmenides and Lao Zi. The questions are; is the world essentially One or Many? Is change real and if it is, what is the nature of it and how does it take place? For Heraclitus change is real, and as will be shown later in the chapter, quite essential for the sustainability of the world-order (kosmos). The key-concept in the case of Heraclitus is Logos. Heraclitus uses Logos in several senses, most well known relating to his element-theory. But another important feature of the Logos, the content of real wisdom, is to be able to regard everything as one. This does not mean that world is essentially one for Heraclitus in the ontological sense, but that we should see the underlying unity of multiple phenomena. Heraclitus regards this as hen panta: All from One, One from All. I characterize Heraclitus as epistemic monist and an ontological pluralist. It is plausible that the views of Heraclitus on change were the focus of Parmenides’ severe criticism. Parmenides held the view that the world is essentially one and that to see it as consisting of many entities was the error of mortals, i.e. the common man and his philosophical predecessors. For Parmenides what-is, can be approached by two routes; The Way of Truth (Aletheia) and The Way of Seeming (Doxa). Aletheia essentially sees the world as one, where even time is an illusion. In Doxa Parmenides is giving an explanation of the world seen as consisting of many entities and this is his contribution to the line of thought of his predecessors. It should be noted that a strong emphasis is given to the Aletheia, whereas the world-view given is in Doxa is only probable. I go on to describe Parmenides as ontological monist, who gives some plausibility to pluralistic views. In the work of Lao Zi world can be seen as One or as consisting of Many entities. In my interpretation, Lao Zi uses Dao in two different senses; Dao is the totality of things or the order in change. The wu-aspect (seeing-without-form) attends the world as one, whereas the you-aspect attends the world of many entities. In wu-aspect, Dao refers to the totality of things, when in you-aspect Dao is the order or law in change. There are two insights in Lao Zi regarding the relationship between wu- and- you-apects; in ch.1 it is stated that they are two separate aspects in seeing the world, the other chapters regarding that you comes from wu. This naturally brings in the question whether the One is the peak of seeing the world as many. In other words, is there a way from pluralism to monism. All these considerations make it probable that the work attributed to Lao Zi has been added new material or is a compilation of oral sayings. In the end of the paper I will go on to give some insights on how Logos and Dao can be compared in a relevant manner. I also compare Parmenides holistic monism to Lao Zi’s Dao as nameless totality (i.e. in its wu-aspect). I briefly touch the issues of Heidegger and the future of comparative philosophy.

Reflections on Practice Learning in Northern Ireland and the Republic of Ireland: Lessons from Student Experiences

Practice learning is viewed as one of the most important components of social work education wherever in the world social work is practised. Northern Ireland and the Republic of Ireland provide an interesting case example of the educational impact on students resulting from their experience of different models of practice learning. Although sharing a common historical legacy, recent developments in policy in both jurisdictions have tended to engender greater divergences in how programmes organise and deliver social work education and practice learning. Drawing on findings from a joint-research project with students in Queen’s University, Belfast and Trinity College, Dublin, the authors highlight significant cross-border similarities as well as differences in the way practice learning is conceptualised, organised and delivered. Through comparing and contrasting student experiences, the authors reflect on how the findings might help to inform the future development of practice learning standards in both jurisdictions.

Emotions and identity in the figured world of becoming a doctor

CONTEXT: There is little room in clerkship curricula for students to express emotions, particularly those associated with the development of a caring identity. Yet it is recognised that competence, alone, does not make a good doctor. We therefore set out to explore the relationship between emotions and identity in clerkship education. Our exploration was conceptually oriented towards Figured Worlds theory, which is linked to Bakhtin's theory of dialogism.

METHODS: Nine female and one male member of a mixed student cohort kept audio-diaries and participated in both semi-structured and cognitive individual interviews. The researchers identified 43 emotionally salient utterances in the dataset and subjected them to critical discourse analysis. They applied Figured Worlds constructs to within-case and cross-case analyses, supporting one another's reflexivity and openness to different interpretations, and constantly comparing their evolving interpretation against the complete set of transcripts.

RESULTS: Students' emotions were closely related to their identity development in the world of medicine. Patients were disempowered by their illnesses. Doctors were powerful because they could treat those illnesses. Students expressed positive emotions when they were granted positions in the world of medicine and were able to identify with the figures of doctors or other health professionals. They identified with doctors who behaved in caring and professionally appropriate ways towards patients and supportively towards students. Students expressed negative emotions when they were unable to develop their identities.

CONCLUSIONS: Critical discourse analysis has uncovered a link between students' emotions and their identity development in the powerful world of becoming and being a doctor. At present, identity development, emotions and power are mostly tacit in undergraduate clinical curricula. We speculate that helping students to express emotions and exercise power in the most effective ways might help them to develop caring identities.

Preparing students for the transition from college to work /

The purpose of this study was to examine the perceived preparedness of college students for the transition from college to full-time employment. The study was concerned with the interest and rationale behind developing a required Exit Course for college students in order to improve the college to work transition. As well, possible content of an Exit Course was evaluated. The importance of addressing college to work transitions is highlighted by two phenomena. First, there are specific employability skills that employers in Canada are seeking in newly hired employees. Second, the provincial government in Ontario is determining college funding based on graduate employment statistics which are measured by graduate satisfaction, graduate employment, and employer satisfaction. The research concentrated on the following stakeholders involved in the transition from college to work: (a) current students, (b) recent graduates, (c) support staff who assist students in college to work transition (Career Educators), and (d) employers. Through qualitative research, including focus groups and interviews, these stakeholder groups participated in the research to determine if the Exit Course was a viable solution to facilitate the transition from college to work. Focus groups were conducted with current students, while one-on-one, semi-structured interviews were conducted with recent graduates, Career Educators, and employers. Common themes elicited from the participants included the following: (a) although students were perceived by the participants of this study to be technically prepared for employment, they were perceived to have weak job search skills and unrealistic expectations of the world of work unless they had received the benefits of a Co-operative Education experience; (b) an Exit Course was seen as a viable solution to the issues involved in college to work transition; (c) an Exit Course should be comprised of skills necessary to obtain and succeed in a job and the course should be taught by individuals with extensive qualifications in this area; and (d) there is a need to develop college and business partnerships to ensure that students are connected to employers. Educators within post secondary institutions, specifically colleges, can benefit from the information provided within this study to gain a better understanding of the perceived level of preparedness of students for the transition from college to work. Suggestions with regard to how to improve this transition were made, with specific reference to the addition of an Exit Course as one possible solution.

The impact of meaningfulness of and responsibility for work on the relationships among work values, organizational commitment, and job satisfaction for part- time faculty in a community college

One hundred and thirty four subjects participated in this survey. Quantitative data were obtained and correlational analyses were used to test a model to study the relationships among the achievement of work values and organizational commitment and job satisfaction and to identify the moderating effects of the meaningfulness of work and responsibility for work on these relationships. Part-time faculty in the Faculty of Continuing Education of a community college were mailed a questionnaire on all the variables of the model. Several reliable, valid instruments were used to test the variables. Data analysis through Pearson correlation and stepwise multiple regression analyses revealed that the achievement of the work values of recognition and satisfaction with promotions did predict organizational commitment and job satisfaction, although the moderating effects of the meaningfulness of work and responsibility for work was not supported in this study. This study suggests that the revised model may be used for determining the relationships between the achievement of work values and organizational commitment and job satisfaction in a community college setting.

The Importance and achievement of work values and locus of control as factors in work motivation

The present research study examined the relationships in a work motivation context among perceived importance and achievement of work values, locus of control and internal work motivation. The congruence of a work value was considered to be the discrepancy between the importance of a work value and the perceived achievement of that value. The theoretical framework utilized was based on a self-perpetuating cycle of motivation which included the perceived importance and achievement of work values and internal work motivation as separate and distinct, yet interrelated factors. It was hypothesized that individuals who experienced high congruence of work values would experience higher levels of internal work motivation than individuals who had low congruence of work values. It was also hypothesized that individuals who had an internal locus of control would experience more internal work motivation individuals well, the and have higher congruence of work values than who had an external locus of control. As possibility of locus of control as a moderator between importance of work values and internal work motivation was explored. Survey data were collected from 184 managerial level employees of the XYZ company during an ongoing training session. The following instruments were employed to measure the variables: Elizur's (1984) Importance of Work Values, Hunt and Saul's (1985) Achievement of Work Values, Hatfield, Robinson and Huseman's (1975) Job Perception Scale, a modified version of Rotter's (1966) I-E Locus of Control Scale and the Internal Work Motivation Scale (Hackman & Oldham, 1980) which is a part of the Job Diagnostic Survey. The findings indicated that locus of control was not a significant factor in determining congruence between work values or internal work motivation for this sample. Furthermore, locus of control was also found not to be a moderator between the importance of work values and internal work motivation. All individuals in this study had relatively high levels of internal work motivation. However, individuals who had higher congruence of work values did have significantly higher internal work motivation than those who had low congruence of work values for a majority of the 21 values. This was particularly true for the intrinsic values which included responsibility, meaningfulness and use of abilities. In addition, the data were analysed into a hierarchy of needs to indicate possible organizational development or human resource development needs for the XYZ corporation.

The relationships of character strengths with coping, work-related stress, and job satisfaction

Personality traits have often been highlighted to relate to how people cope with stressful events. The present paper focuses on character strengths as positive personality traits and examines two basic assumptions that were derived from a core characteristic of character strengths (i.e., to determine how individuals deal with adversities): (1) character strengths correlate with coping and (2) buffer the effects of work-related stress on job satisfaction. Two different samples (i.e., a mixed sample representing various occupations [N = 214] and a nurses sample [N = 175]) filled in measures for character strengths, coping, work-related stress, and job satisfaction. As expected, intellectual, emotional, and interpersonal strengths were related to coping. Interpersonal strengths played a greater role for coping among nurses, as interactions with others are an essential part of their workday. Furthermore, intellectual strengths partially mediated the negative effect of work-related stress on job satisfaction. These findings open a new field for research on the role of personality in coping with work-related stress. Character strengths are trainable personal characteristics, and therefore valuable resources to improve coping with work-related stress and to decrease the negative effects of stress. Further research is needed to investigate this assumed causality.

Fraction of work-related accidents attributable to occupational noise in the city of Botucatu, São Paulo, Brazil

Background: Noise is the most common agent of occupational exposure. It may induce both auditory and extraauditory dysfunction and increase the risk of work accidents. The purpose of this study was to estimate the fraction of accidents attributable to noise occupational exposure in a mid-size city located in southeastern Brazil. Materials and Methods: In this population case-control study, which included 108 cases and 324 controls, the incidence rate ratio of work accidents controlled for several covariables was obtained by classifying occupational noise exposure into three levels, as well as determining the prevalence in each level. Results: Based on these data, the attributable fraction was estimated as 0.6391 (95 CI = 0.2341-0.3676), i.e., 63 of the work accidents that took place in the study site were statistically associated with occupational noise exposure. Discussion: The causes of this association as well as its implications in the prevention of work accidents are discussed.