A case study about the improvement of business process models driven by indicators

Organizations are increasingly concerned about business process model improvement in their efforts to guarantee improved operational efficiency. Quality assurance of business process models should be addressed in the most objective manner, e.g., through the application of measures, but the assessment of measurement results is not a straightforward task and it requires the identification of relevant indicators and threshold values, which are able to distinguish different levels of process model quality. Furthermore, indicators must support the improvements of the models by using suitable guidelines. In this paper, we present a case study to evaluate the BPMIMA framework for BP model improvement. This framework is composed of empirically validated measures related to quality characteristics of the models, a set of indicators with validated thresholds associated with modeling guidelines and a prototype supporting tool. The obtained data suggest that the redesign by applying guidelines driven by the indicator results was successful, as the understandability and modifiability of the models were improved. In addition, the changes in the models according to guidelines were perceived as acceptable by the practitioners who participated in the case study.     

Hardness of preorder checking for basic formalisms

We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a standard timed automaton. In both cases, we show that simulation checking is Exptime-hard, and for the case of a non-flat implementation, the result holds even if there is no synchronization between the parallel components and their alphabets of actions are pairwise disjoint. Moreover, we show that the considered problems become Pspace-complete when the specification is assumed to be deterministic. Additionally, we establish that comparing a synchronous non-flat system with no hiding and a flat system is Pspace-hard for any relation between trace containment and bisimulation equivalence, even if the flat system is assumed to be fixed.     

Interactive volume exploration for feature detection and quantification in industrial CT data

This paper presents a novel method for interactive exploration of industrial CT volumes such as cast metal parts, with the goal of interactively detecting, classifying, and quantifying features using a visualization-driven approach. The standard approach for defect detection builds on region growing, which requires manually tuning parameters such as target ranges for density and size, variance, as well as the specification of seed points. If the results are not satisfactory, region growing must be performed again with different parameters. In contrast, our method allows interactive exploration of the parameter space, completely separated from region growing in an unattended pre-processing stage. The pre-computed feature volume tracks a feature size curve for each voxel over time, which is identified with the main region growing parameter such as variance. A novel 3D transfer function domain over (density, feature size, time) allows for interactive exploration of feature classes. Features and feature size curves can also be explored individually, which helps with transfer function specification and allows coloring individual features and disabling features resulting from CT artifacts. Based on the classification obtained through exploration, the classified features can be quantified immediately.     

Interfacing human and computer with wireless body area sensor networks: the WiMoCA solution

Wireless Body Area Sensor Networks (WBASN) are an emerging technology enabling the design of natural human–computer interfaces (HCI). Automatic recognition of human motion, gestures, and activities is studied in several contexts. For example, mobile computing technology is being considered as a replacement of traditional input systems. Moreover, body posture and activity monitoring can be used for entertainment and health-care applications. However, until now, little work has been done to develop flexible and efficient WBASN solutions suitable for a wide range of applications. Their requirements pose new challenges for sensor network designs, such as optimizing traditional solutions for use as environmental monitoring-like applications and developing on-the-field stress tests. In this paper, we demonstrate the flexibility of a custom-designed WBASN called WiMoCA with respect to a wide range of posture and activity recognition applications by means of practical implementation and on-the-field testing. Nodes of the network mounted on different parts of the human body exploit tri-axial accelerometers to detect its movements. The advanced digital Micro-electro-mechanical system (MEMS) based inertial sensor has been chosen for WiMoCA because it demonstrated high flexibility of use in many different situations, providing the chance to exploit both static and dynamic acceleration components for different purposes. Furthermore, the sensibility and accuracy of the sensing element is perfectly adequate for monitoring human movement, while keeping cost low and size compact, thus meeting our requirements. We implemented three types of applications, stressing the WBASN in many aspects. In fact, they are characterized by different requirements in terms of accuracy, timeliness, and computation distributed on sensing nodes. For each application, we describe its implementation, and we discuss results about performance and power consumption.

Service Science

This paper is a first exploration of the relationship between service science and Grid computing. Service science is the study of value co-creation interactions among entities, known as service systems. Within the emerging service science community, service is often defined as the application of competences (resources) for the benefit of another. Grid computing is the study of resource sharing among entities, known as virtual organizations, which solve complex business, societal, scientific, and engineering problems. Within the Grid computing community, service is sometimes defined as protocols plus behavior. Both Grid computing and service science are connecting academic, industry, government, and volunteer sector collaborators on a range of projects including eScience, healthcare, environmental sustainability, and more. This paper compares and contrasts the notions of resource, entity, service, interaction, and success criteria for the two areas of study. In conclusion, new areas for collaborative inquiry are proposed.     

Best practices for preventing musculoskeletal disorders in masonry: stakeholder perspectives

Brick masons and mason tenders report a high prevalence of work-related musculoskeletal disorders (WMSDs), many of which can be prevented with changes in materials, work equipment or work practices. To explore the use of "best practices" in the masonry industry, NIOSH organized a 2-day meeting of masonry stakeholders. Attendees included 30 industry representatives, 5 health and safety researchers, 4 health/safety specialists, 2 ergonomic consultants, and 2 representatives of state workers' compensation programs. Small groups discussed ergonomic interventions currently utilized in the masonry industry, including factors affecting intervention implementation and ways to promote diffusion of interventions. Meeting participants also identified various barriers to intervention implementation, including business considerations, quality concerns, design issues, supply problems, jobsite conditions and management practices that can slow or limit intervention diffusion. To be successful, future diffusion efforts must not only raise awareness of available solutions but also address these practical concerns.     

Work routinization and implications for ergonomic exposure assessment

Jobs in many modern settings, including manufacturing, service, agriculture and construction, are variable in their content and timing. This prompts the need for exposure assessment methods that do not assume regular work cycles. A scheme is presented for classifying levels of routinization to inform development of an appropriate exposure assessment strategy for a given occupational setting. Five levels of routinization have been defined based on the tasks of which the job is composed: 1) a single scheduled task with a regular work cycle; 2) multiple cyclical tasks; 3) a mix of cyclical and non-cyclical tasks; 4) one non-cyclical task; 5) multiple non-cyclical tasks. This classification, based primarily on job observation, is illustrated through data from a study of automobile manufacturing workers (n = 1200), from which self-assessed exposures to physical and psychosocial stressors were also obtained. In this cohort, decision latitude was greater with higher routinization level (p < 0.0001), and the least routinized jobs showed the lowest self-reported exposure to physical ergonomic stressors. The job analysis checklist developed for non-routinized jobs is presented, and limitations of the task analysis method utilized in the study are discussed. A work sampling approach to job analysis is recommended as the most efficient way to obtain a comparable unbiased exposure estimate across all routinization levels.     

Synthesis of ZnO-based varistor precursor powders by means of the reaction spray process

High-purity, fine-grained oxide ceramic powders that are commonly used for ZnO-based varistors were synthesized by means of the reaction spray process. Processing steps included formation of the solutions of zinc nitrate and/or certain metal additives and spraying of the solution into a heated reaction column using a two-phase nozzle. After water evaporation from the droplets, the precursor salts were decomposed at elevated temperatures (up to 1473 K) in order to obtain homogeneous oxide powders with complex compositions corresponding to the final multicomponent varistor system. The decomposition behaviour of the precursors, as well as the characteristics of the resulting powders: crystallinity, phase composition, particle shape, morphology and particle-size distribution, were examined. It was shown that the characteristics of the reaction spray-derived powders can be controlled by adjusting the system and the solutions parameters.     

Multi-product economic lot scheduling problem with manufacturing and remanufacturing using a basic period policy

In this research we study the multi-product Economic Lot Scheduling Problem (ELSP) with manufacturing and remanufacturing opportunities. Manufacturing and remanufacturing operations are performed on the same production line. Both manufactured and remanufactured products have the same quality thus they fulfil the same demand stream. Tang and Teunter (2006) firstly studied this type of Economic Lot Scheduling Problem with Returns (ELSPR) and presented a complex algorithm for the optimal solution. More recently Teunter, Tang, and Kaparis (2009) proposed several heuristics to deal with the same problem using more computational efficient approaches. However, both studies have limited the attention to the common cycle policy with the assumption that a single (re)manufacturing lot is used for each item in each cycle. Relaxing the constraint of common cycle time and a single (re)manufacturing lot for each item in each cycle, we propose a simple, easy to implement algorithm, based on Segerstedt (1999), to solve the model using a basic period policy. Several numerical examples show the applicability of the algorithm and the cost savings.     

A longitudinal study of emoticon use in text messaging from smartphones

Our goal in the present study was to understand how emoticons are used in text messaging and, in particular, how genders differed in the frequency and variety of emoticons used via this medium. Previous research has found small and sundry differences in emotive expression online suggesting that technology has closed the gender gap. However, the data collected in these studies were public. In this study, we collected real portions of private communications data from individuals’ smartphones over a 6-month period. SMS messages, in general, were not used very much overall, with only 4% of all messages containing at least one emoticon. Still, differences between genders manifested in the amount and variety of emoticons used. Females sent more messages with emoticons; however, surprisingly, males used a more diverse range of emoticons.