YAWL : power through patterns

Workflow Management Systems (WfMSs) enable the development and maintenance of workflow specifications at design time and their execution and monitoring at runtime. The open source WfMS YAWL supports the YAWL language – a formally defined language based on Petri nets which offers comprehensive support for control-flow and resource patterns. In addition, the YAWL system provides extensive support for process flexibility, in particular for process configuration, exception handling, dynamic workflow and declarative workflow. Due to its formal foundation, sophisticated verification support can also be achieved. This paper presents the YAWL system and its main applications.

Merging business process models

This paper addresses the following problem: given two or more business process models, create a process model that is the union of the process models given as input. In other words, the behavior of the produced process model should encompass that of the input models. The paper describes an algorithm that produces a single configurable process model from an arbitrary collection of process models. The algorithm works by extracting the common parts of the input process models, creating a single copy of them, and appending the differences as branches of configurable connectors. This way, the merged process model is kept as small as possible, while still capturing all the behavior of the input models. Moreover, analysts are able to trace back from which original model(s) does a given element in the merged model come from. The algorithm has been prototyped and tested against process models taken from several application domains.

Managing Process Model Complexity - Part I: Concrete Syntax

While Business Process Management (BPM) is an established discipline, the increased adoption of BPM technology in recent years has introduced new challenges. One challenge concerns dealing with process model complexity in order to improve the understanding of a process model by stakeholders and process analysts. Features for dealing with this complexity can be classified in two categories: 1) those that are solely concerned with the appearance of the model, and 2) those that in essence change the structure of the model. In this paper we focus on the former category and present a collection of patterns that generalize and conceptualize various existing features. The paper concludes with a detailed analysis of the degree of support of a number of state-of-the-art languages and language implementations for these patterns.

Evidence based decision making to strenghten local governance : nutritional health interventions

Since 2001, district governments have had the main responsibility for providing public health care in Indonesia. One of the main public health challenges facing many district governments is improving nutritional standards, particularly among poorer segments of the population. Developing effective policies and strategies for improving nutrition requires a multi-sectoral approach encompassing agricultural development policy, access to markets, food security (storage) programs, provision of public health facilities, and promotion of public awareness of nutritional health. This implies a strong need for a coordinated approach involving multiple government agencies at the district level. Due to diverse economic, agricultural,and infrastructure conditions across the country, district governments’ ought to be better placed than central government both to identify areas of greatest need for public nutrition interventions, and devise policies that reflect local characteristics. However, in the two districts observed in this study—Bantul and Gunungkidul—it was clear that local government capacity to generate, obtain and integrate evidence about local conditions into the policy-making process was still limited. In both districts, decision-makers tended to rely more on intuition,anecdote, and precedent in formulating policy. The potential for evidence-based decision making was also severely constrained by a lack of coordination and communication between agencies, and current arrangements related to central government fiscal transfers, which compel local governments to allocate funding to centrally determined programs and priorities.

Improving the Traversal of Large Hierarchical Process Repositories

Business Process Management (BPM) has increased in popularity and maturity in recent years. Large enterprises engage use process management approaches to model, manage and refine repositories of process models that detail the whole enterprise. These process models can run to the thousands in number, and may contain large hierarchies of tasks and control structures that become cumbersome to maintain. Tools are therefore needed to effectively traverse this process model space in an efficient manner, otherwise the repositories remain hard to use, and thus are lowered in their effectiveness. In this paper we analyse a range of BPM tools for their effectiveness in handling large process models. We establish that the present set of commercial tools is lacking in key areas regarding visualisation of, and interaction with, large process models. We then present six tool functionalities for the development of advanced business process visualisation and interaction, presenting a design for a tool that will exploit the latest advances in 2D and 3D computer graphics to enable fast and efficient search, traversal and modification of process models.

Rare chromosome disorders and their developmental consequences

Professionals working in disability services often encounter clients who have chromosome disorders such as Williams, Angelman or Down syndromes. As chromosome testing becomes increasingly sophisticated, however, more people are being diagnosed with very rare chromosome disorders that are identified not by a syndrome name, but rather by a description of the number, size and shape of their chromosomes (called the karyotype) or by a report of chromosome losses and gains detected through an advanced process known as microarray-based comparative genomic hybridisation (array CGH). For practitioners who work with individuals with rare chromosome disorders and their families, a basic level of knowledge about the evolving field of genetics, as well as specific knowledge about chromosome abnormalities, is essential since they must be able to demonstrate their knowledge and skills to clients (Simic & Turk, 2004). In addition, knowledge about the developmental consequences of various rare chromosome disorders is important for guiding prognoses, expectations, decisions and interventions. The current article provides information that aims to help practitioners work more effectively with this population. It begins by presenting essential information about chromosomes and their numerical and structural abnormalities and then considers the developmental consequences of rare chromosome disorders through a critical review of relevant literature.

Continued use of process modeling grammars : the impact of individual difference factors

Process modeling grammars are used by analysts to describe information systems domains in terms of the business operations an organization is conducting. While prior research has examined the factors that lead to continued usage behavior, little knowledge has been established as to what extent characteristics of the users of process modeling grammars inform usage behavior. In this study, a theoretical model is advanced that incorporates determinants of continued usage behavior as well as key antecedent individual difference factors of the grammar users, such as modeling experience, modeling background and perceived grammar familiarity. Findings from a global survey of 529 grammar users support the hypothesized relationships of the model. The study offers three central contributions. First, it provides a validated theoretical model of post-adoptive modeling grammar usage intentions. Second, it discusses the effects of individual difference factors of grammar users in the context of modeling grammar usage. Third, it provides implications for research and practice.

Dual-process action of exercise on appetite control : increase in orexigenic drive but improvement in meal-induced satiety

Background: Exercise could contribute to weight loss by altering the sensitivity of the appetite regulatory system. Objective: The aim of this study was to assess the effects of 12 wk of mandatory exercise on appetite control. Design: Fifty-eight overweight and obese men and women [mean (±SD) body mass index (in kg/m2) = 31.8 ± 4.5, age = 39.6 ± 9.8 y, and maximal oxygen intake = 29.1 ± 5.7 mL · kg–1 · min–1] completed 12 wk of supervised exercise in the laboratory. The exercise sessions were designed to expend 2500 kcal/wk. Subjective appetite sensations and the satiating efficiency of a fixed breakfast were compared at baseline (week 0) and at week 12. An Electronic Appetite Rating System was used to measure subjective appetite sensations immediately before and after the fixed breakfast in the immediate postprandial period and across the whole day. The satiety quotient of the breakfast was determined by calculating the change in appetite scores relative to the breakfast's energy content. Results: Despite large variability, there was a significant reduction in mean body weight (3.2 ± 3.6 kg), fat mass (3.2 ± 2.2 kg), and waist circumference (5.0 ± 3.2 cm) after 12 wk. The analysis showed that a reduction in body weight and body composition was accompanied by an increase in fasting hunger and in average hunger across the day (P < 0.0001). Paradoxically, the immediate and delayed satiety quotient of the breakfast also increased significantly (P < 0.05). Conclusions: These data show that the effect of exercise on appetite regulation involves at least 2 processes: an increase in the overall (orexigenic) drive to eat and a concomitant increase in the satiating efficiency of a fixed meal.

A Conceptualisation of Courseware Development Process in Malaysian Educational Context

Multimedia-based learning has been accepted as an effective learning tool and has broadly prevailed in various types of education around the world. The Malaysian ministry of education has also adopted this information communication technology (ICT) as the means of an education reformation project called, ‘Smart School’ since 1998, aiming to improve all Malaysian Primary and Secondary students’ learning ability, attitudes, achievement, and further enhance teachers’ teaching performance. As a result, Malaysian Ministry of Education has distributed a number of interactive courseware of the key learning domains such as Mathematics, Science, Bahasa Melayu (Malay language), and English. According to recent reports by Malaysian Ministry of Education (MOE), however, the courseware has not been effectively used in schools, and many researchers point out there are vital issues concerning the interface and interaction design. Within this context, this paper presumes that one of the main reasons could derive from a structural aspect of the course development process that is devaluing or ignoring the importance of interface and interaction design. Therefore, it is imperative to conceptualise the courseware development process in terms of creating interactive and quality learning experiences through defining the stakeholders’ needs in terms of better learning and teaching. Within this context, this paper reviews the current development process and proposes a new concept called the interactive communication component which enables courseware developers to embed interactive and quality learning experiences into their courseware development process. The key objective is to provide opportunities to discuss the courseware development process from the different stakeholders’ perspectives of the educational courseware in a Malaysian context.

A novel nonrepudiable threshold multi-proxy multi-signature scheme with shared verification

Tzeng et al. proposed a new threshold multi-proxy multi-signature scheme with threshold verification. In their scheme, a subset of original signers authenticates a designated proxy group to sign on behalf of the original group. A message m has to be signed by a subset of proxy signers who can represent the proxy group. Then, the proxy signature is sent to the verifier group. A subset of verifiers in the verifier group can also represent the group to authenticate the proxy signature. Subsequently, there are two improved schemes to eliminate the security leak of Tzeng et al.’s scheme. In this paper, we have pointed out the security leakage of the three schemes and further proposed a novel threshold multi-proxy multi-signature scheme with threshold verification.

Ecological perspectives and wellness

Since the industrial revolution, the development of a lifestyle lived predominantly indoors has resulted in less contact with nature. Research over the last twenty years has gradually been identifying the human health benefits attributed to re-connecting with the natural environment. The significance of feeling connected to natural environments, families and friends are described as a foundational requirement for human health and wellbeing (Maller et al., 2008). Also, the early findings of Schultz‟s (2002) work indicated that by feeling connected to the natural world a person is more likely to be committed to positively interact with and protect the natural world. Research on young people has indicated that young people are even more disconnected from the natural world. Leading some writers to call this disconnection a crisis termed “Nature Deficit Disorder.” Participants (n = 131) from 1st year university Physical Education and Human Movement Studies were asked to complete two questionnaires the Connectedness to Nature scale (CNS) (Mayer & Frantz, 2004) and the New Ecological Paradigm Scale (NEP) (Dunlap, Van Liere, Mertig, & Jones, 2000). The NEP and CNS are two scales most commonly used to explore beliefs and feelings of connectedness to the natural world (Schultz, 2002). The NEP was developed over thirty years ago by Dunlap and Van Liere (1978) and originally termed the New Environmental Paradigm. The NEP is now the foremost International tool for measuring beliefs about the natural world (Dunlap, 2008). The CNS measures an individual‟s trait levels of emotional connection to the natural world. It is a relatively new tool for understanding ecological behaviour based on ecopsychology theory and employed to predict behaviour (Mayer and Frantz, 2004). Both questionnaires are based on a 1-5 scale (Strongly disagree to Strongly agree). By combing both scales the researchers aim to develop a snap shot of beliefs and emotional feelings towards the natural world and therefore an idea of intended behaviour. The two questionnaires were combined as one online survey with additional material asking for demographics and self assessments of type of leader included before the surveys. An email inviting outdoor leaders to participate was sent out to networks and interest groups. A basic descriptive statistical analysis was used to interpret data.

Empirical evaluation of a service analysis and design methodology

Service-orientation has gained widespread acceptance and is increasingly being employed as a paradigm for structuring both business and IT architectures. An earlier study of extant service analysis and design methodologies discovered a need for holistic approaches that equally account for both business and software services, which motivated the design of a new, consolidated service analysis and design methodology. A challenge in design-oriented research is to evaluate the utility of the newly created artefacts (here: the methodology), as they are often intended to become part of complex socio-technical systems. Therefore, after presenting a brief overview of the consolidated methodology, the paper discusses possible approaches for the “evaluate” phase of this design-science research process and presents the results of an empirical evaluation conducted in an Action Research study at one of Australia’s largest financial services providers.

Stability and convergence of an implicit numerical method for the non-linear fractional reaction-subdiffusion process

In this paper, we consider the following non-linear fractional reaction–subdiffusion process (NFR-SubDP): Formula where f(u, x, t) is a linear function of u, the function g(u, x, t) satisfies the Lipschitz condition and 0Dt1–{gamma} is the Riemann–Liouville time fractional partial derivative of order 1 – {gamma}. We propose a new computationally efficient numerical technique to simulate the process. Firstly, the NFR-SubDP is decoupled, which is equivalent to solving a non-linear fractional reaction–subdiffusion equation (NFR-SubDE). Secondly, we propose an implicit numerical method to approximate the NFR-SubDE. Thirdly, the stability and convergence of the method are discussed using a new energy method. Finally, some numerical examples are presented to show the application of the present technique. This method and supporting theoretical results can also be applied to fractional integrodifferential equations.

Conceptual Modelling in 3D Virtual Worlds for Process Communication

Traditionally, conceptual modelling of business processes involves the use of visual grammars for the representation of, amongst other things, activities, choices and events. These grammars, while very useful for experts, are difficult to understand by naive stakeholders. Annotations of such process models have been developed to assist in understanding aspects of these grammars via map-based approaches, and further work has looked at forms of 3D conceptual models. However, no one has sought to embed the conceptual models into a fully featured 3D world, using the spatial annotations to explicate the underlying model clearly. In this paper, we present an approach to conceptual process model visualisation that enhances a 3D virtual world with annotations representing process constructs, facilitating insight into the developed model. We then present a prototype implementation of a 3D Virtual BPMN Editor that embeds BPMN process models into a 3D world. We show how this gives extra support for tasks performed by the conceptual modeller, providing better process model communication to stakeholders..