Integrating hardware and software information flow analyses

Security-critical communications devices must be evaluated to the highest possible standards before they can be deployed. This process includes tracing potential information flow through the device's electronic circuitry, for each of the device's operating modes. Increasingly, however, security functionality is being entrusted to embedded software running on microprocessors within such devices, so new strategies are needed for integrating information flow analyses of embedded program code with hardware analyses. Here we show how standard compiler principles can augment high-integrity security evaluations to allow seamless tracing of information flow through both the hardware and software of embedded systems. This is done by unifying input/output statements in embedded program execution paths with the hardware pins they access, and by associating significant software states with corresponding operating modes of the surrounding electronic circuitry.

The Order Fulfillment Process Model

This appendix describes the Order Fulfillment process followed by a fictitious company named Genko Oil. The process is freely inspired by the VICS (Voluntary Inter-industry Commerce Solutions) reference model1 and provides a demonstration of YAWL’s capabilities in modelling complex control-flow, data and resourcing requirements.

Process configuration in YAWL

This chapter describes how the YAWL meta-model was extended to support the definition of variation points. These variation points can be used to describe different variants of a YAWL process model in a unified, configurable model. The model can then be configured to suit the needs of specific settings, e.g. for a new organization of project.

Building an ontology and process architecture for engineering asset management

Historically, asset management focused primarily on the reliability and maintainability of assets; organisations have since then accepted the notion that a much larger array of processes govern the life and use of an asset. With this, asset management’s new paradigm seeks a holistic, multi-disciplinary approach to the management of physical assets. A growing number of organisations now seek to develop integrated asset management frameworks and bodies of knowledge. This research seeks to complement existing outputs of the mentioned organisations through the development of an asset management ontology. Ontologies define a common vocabulary for both researchers and practitioners who need to share information in a chosen domain. A by-product of ontology development is the realisation of a process architecture, of which there is also no evidence in published literature. To develop the ontology and subsequent asset management process architecture, a standard knowledge-engineering methodology is followed. This involves text analysis, definition and classification of terms and visualisation through an appropriate tool (in this case, the Protégé application was used). The result of this research is the first attempt at developing an asset management ontology and process architecture.

Configurable multi-perspective business process models

A configurable process model provides a consolidated view of a family of business processes. It promotes the reuse of proven practices by providing analysts with a generic modelling artifact from which to derive individual process models. Unfortunately, the scope of existing notations for configurable process modelling is restricted, thus hindering their applicability. Specifically, these notations focus on capturing tasks and control-flow dependencies, neglecting equally important ingredients of business processes such as data and resources. This research fills this gap by proposing a configurable process modelling notation incorporating features for capturing resources, data and physical objects involved in the performance of tasks. The proposal has been implemented in a toolset that assists analysts during the configuration phase and guarantees the correctness of the resulting process models. The approach has been validated by means of a case study from the film industry.

Towards a framework for business process standardization

Organizations increasingly seek to achieve operational excellence by standardizing business processes. Standardization initiatives may have different purposes, such as process streamlining, process automation, or even process outsourcing. However, standardization of processes is easier said than done. Standardization success depends on various factors, such as existent IT capabilities, available standard frameworks, market situation, and the processes’ nature, such as their level of routine or structuredness. This paper uncovers the complex nature and relative influence of process-internal and -environmental factors relevant to process standardization, by discussing three case studies from different industries. The findings are summarized in a set of initial conjectures about successful process standardization. This exploratory research is a first step towards uncovering the characteristics of successful process standardization efforts.

Internationally trained doctors and the disciplinary process

Examining the representation of internationally trained doctors in the disciplinary process Determining if overseas doctors are overrepresented in the disciplinary process Evaluating the possible causes of internationally trained doctors becoming involved in the disciplinary process

Changing motorcycle rider safety attitudes and motives for risk taking : process evaluation of a rider training intervention

Risk-taking behaviour by motorcyclists has been shown to contribute to a substantial proportion of road crashes in Australia and abroad. Concern has been expressed that traditional motorcycle licence training programs do not sufficiently address such behaviour. Accordingly, the Three Steps to Safer Riding program was developed to address risk taking behaviour by riders as an adjunct to existing skills-based rider training. The program was designed to be delivered in a one hour classroom session at the start of training, with a 20 minute debrief to revise the key concepts at the end of training. This paper reports on the key training concepts, methodology and implementation of the pilot program with a major rider training organisation in Queensland and presents findings from a process evaluation. The Three Steps to Safer Riding intervention pilot was delivered to 518 learner riders over a three month period. Follow-up focus groups and one interview with intervention participants (N=18) five to eight months after completion of the program suggest that new riders (absolute novices) embraced and internalised many of the intervention concepts. However, some riders who had previous riding experience prior to training stated these issues were common sense, yet still expressed riding styles that were contrary to some of the key intervention messages. This is discussed in terms of raising awareness of risk issues for motorcyclists versus behaviour change. Additionally, interviews conducted with riding instructors are discussed regarding logistical challenges of implementation, training consistency, skills required to deliver the program, support for the program, and student engagement.

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.

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.

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.

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.