Soundness of workflow nets: classification, decidability, and analysis

Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets.We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

The meaning of home for Karen and Chin refugees from Burma: An interpretative phenomenological approach

Loss of home is common to all people from a refugee background yet we have little understanding of the diversity of meaning associated with this important concept. A phenomenological approach was used to explore experiences of home amongst Karen and Chin refugees residing in Brisbane. In-depth, semi-structured interviews were conducted with nine participants from Karen and Chin backgrounds. The participants comprised five females and four males (mean age 40 years, median length of time in Australia 1.33 years). Participants described their migration stories, including pre- and post-migration history. Analysis was conducted using interpretative phenomenological analysis. Three superordinate themes, explicating the meaning of home for participants, were identified: home as the experience of a psychological space of safety and retreat; home as the socio-emotional space of relatedness to family; and home as geographical-emotional landscape. Loss of home was experienced as a multidimensional loss associated with emotional and physical disturbances. These findings, based upon a phenomenological paradigm, enhance understanding of the experience of being a refugee and of the suffering engendered by loss of home. They open up the possibility for conceptualizing refugee responses in terms of human suffering and meaning making.

A hybrid approach for resolving the electromagnetic fields inside a waveguide loaded with a lossy medium

In this work a novel hybrid approach is presented that uses a combination of both time domain and frequency domain solution strategies to predict the power distribution within a lossy medium loaded within a waveguide. The problem of determining the electromagnetic fields evolving within the waveguide and the lossy medium is decoupled into two components, one for computing the fields in the waveguide including a coarse representation of the medium (the exterior problem) and one for a detailed resolution of the lossy medium (the interior problem). A previously documented cell-centred Maxwell’s equations numerical solver can be used to resolve the exterior problem accurately in the time domain. Thereafter the discrete Fourier transform can be applied to the computed field data around the interface of the medium to estimate the frequency domain boundary condition in-formation that is needed for closure of the interior problem. Since only the electric fields are required to compute the power distribution generated within the lossy medium, the interior problem can be resolved efficiently using the Helmholtz equation. A consistent cell-centred finite-volume method is then used to discretise this equation on a fine mesh and the underlying large, sparse, complex matrix system is solved for the required electric field using the iterative Krylov subspace based GMRES iterative solver. It will be shown that the hybrid solution methodology works well when a single frequency is considered in the evaluation of the Helmholtz equation in a single mode waveguide. A restriction of the scheme is that the material needs to be sufficiently lossy, so that any penetrating waves in the material are absorbed.

Spectral–texture feature extraction using statistical moments with application to object-based vegetation species classification

The use of appropriate features to characterise an output class or object is critical for all classification problems. In order to find optimal feature descriptors for vegetation species classification in a power line corridor monitoring application, this article evaluates the capability of several spectral and texture features. A new idea of spectral–texture feature descriptor is proposed by incorporating spectral vegetation indices in statistical moment features. The proposed method is evaluated against several classic texture feature descriptors. Object-based classification method is used and a support vector machine is employed as the benchmark classifier. Individual tree crowns are first detected and segmented from aerial images and different feature vectors are extracted to represent each tree crown. The experimental results showed that the proposed spectral moment features outperform or can at least compare with the state-of-the-art texture descriptors in terms of classification accuracy. A comprehensive quantitative evaluation using receiver operating characteristic space analysis further demonstrates the strength of the proposed feature descriptors.

IS-impact utility and intuitiveness : a rigorous approach to relevance

The study proposes to test the ‘IS-Impact’ index as Analytic Theory (AT). To (a) methodically evaluate the ‘relevance’ qualities of IS-Impact; namely, Utility & Intuitiveness. In so doing, to (b) document an exemplar of ‘a rigorous approach to relevance’, while (c) treating the overarching study as a higher-order case study having AT as the unit-of-analysis, and assessing adequacy of the 6 AT qualities, both for IS-Impact and for similar taxonomies. Also to (d) look beyond IS-Impact to other forms of Design Science, considering the generality of the AT qualities; and (e) further validating IS-Impact in new system organisation contexts taking account of contemporary understandings of construct theorisation, operationalization and validation.

A sustainable approach to community based rehabilitation in rural and remote Australia

This paper presents a summary of an extensive review of the health, disability and rehabilitation literature conducted for the purposes of informing the formulation of a sustainable approach to community based rehabilitation in rural and remote Australia. It begins with a review of definitions of disability and rehabilitation, which is followed by differentiating 'rehabilitation in the community' and 'community based rehabilitation'. Finally, a network of community based rehabilitation coalitions is proposed as a sustainable approach to community based rehabilitation in rural and remote Australia. Each coalition would have a community rehabilitation facilitator and community specific database of resources, as well as a register of local community rehabilitation assistants who can support the work of health professionals by providing rehabilitation interventions under the latter's direction. In this approach, rehabilitation is conceptualised as being about people's lives rather than only a series of interventions provided by health care professionals. As such, rehabilitation becomes everybody's business.