On the ontological expressiveness of conceptual modeling grammars for service productivity management

Conceptualizing, analyzing, and optimizing service productivity is imperative to build up and to sustain competitive advantage in today’s global service economy. However, service productivity is yet to be thoroughly conceptualized and supported by IT artifacts so as to design, compute, and interpret meaningful productivity models. The purpose of this study is to evaluate the ontological expressiveness of conceptual modeling grammars for service productivity management. Due to a lack of a complete ontology for service productivity management, we compile evaluation criteria by reviewing authoritative theory. Against these criteria, a selection of conceptual modeling grammars is analyzed by reviewing the grammars’ meta models for completeness. The analysis contributes two major insights. First, theory in productivity management appears equivocal and is too unspecific to guide the design of IT artifacts. Second, conceptual modeling grammars are subject to various ontological deficiencies with respect to service productivity management. Two core implications are identified. First, service productivity theories need to be refined as design theories in order to comprehensively inform the design of IT artifacts. Second, conceptual modeling grammars must be extended and aligned with each other.     

Recording the use of memory in right-boundary grammars and push-down automata

Summary Within the framework of coordinated pair systems a push-down automaton A is formalized as an ordered pair (G ₁, G ₂) of grammars, where G ₁ is a right-linear grammar modelling the finite state control of A and the reading of the input of A, and G ₂ is a right-boundary grammar modelling the push-down store of A. In this paper we present a systematic investigation into the use of memory of right-boundary grammars. Various methods of recording the use of memory are introduced. The results presented concern regularity properties of each of the methods and the interrelationships of the records obtained by different methods. Finally the translation of these results to the level of push-down automata (coordinated pair systems) is discussed.     

Recording the use of memory in right-boundary grammars and push-down automata

Summary Within the framework of coordinated pair systems a push-down automatonA is formalized as an ordered pair (G ₁,G ₂) of grammars, whereG ₁ is a right-linear grammar modelling the finite state control ofA and the reading of the input ofA, and G₂ is a right-boundary grammar modelling the push-down store ofA. In this paper we present a systematic investigation into the use of memory of right-boundary grammars. Various methods of recording the use of memory are introduced. The results presented concern regularity properties of each of the methods and the interrelationships of the records obtained by different methods. Finally the translation of these results to the level of push-down automata (coordinated pair systems) is discussed.     

E-business process modeling: the next big step

The authors propose a process coordination framework for Web services and outline the building blocks required for e-business automation. Their framework helps in understanding the roles of various standards and in identifying overlaps, gaps, and opportunities for convergence     

Gender difference in mobile phone use and the impact of digital device exposure on neck posture

This cross-sectional study aimed to identify gender differences in the cervical postures when young adults were using mobile phones, as well as the correlations between the postures and the digital devices use (computer and mobile phone). Questionnaires regarding the habits of computer and mobile phone use were administrated to 429 subjects aged from 17 to 33 years old (19.75 ± 2.58 years old). Subjects were instructed to stand habitually and use a mobile phone as in daily life; the sagittal head and cervical postures were measured by head flexion, neck flexion angle and gaze angle. Male participants had a significantly larger head flexion angle (96.41° ± 12.23° vs. 93.57° ± 12.62°, p = 0.018) and neck flexion angle (51.92° ± 9.55° vs. 47.09° ± 9.45°, p < 0.001) than females. There were significant differences in head (F = 3.62, p = 0.014) and neck flexion (F = 3.99, p = 0.009) between different amounts of computer use.

Practitioner Summary: We investigated possible gender differences in head and neck postures of young adults using mobile phones, as well as the potential correlations between these postures and digital device use. We found that males displayed larger head and neck flexion angles than females, which were associated with the amount of computer use.     

Demystifying the threat modeling process

In today's hostile online environment, software must be designed to withstand malicious attacks of all kinds. Unfortunately, even security-conscious products can fall prey when designers fail to understand the threats their software faces or the ways in which adversaries might try to attack it. To better understand a product's threat environment and defend against potential attacks, Microsoft uses threat modeling, which should be treated like any other part of the design and specification process. In fact, singling it out as a special activity performed outside the normal design process actually detracts from its importance to the overall development life cycle. We must consider security needs throughout the design process, just as we do with performance, usability, localizability, serviceability, or any other facet.     

Muscular rest and gap frequency as EMG measures of physical exposure: the impact of work tasks and individual related factors

Owing to an orderly recruitment of motor units, low threshold type I fibres are presumed to be vulnerable in contractions of long duration. To study load on these fibres muscular rest was registered as the time fraction of electromyographic (EMG) activity below a threshold. Moreover, the frequency of periods with muscular rest, EMG gaps, was derived, since a low gap frequency has been shown to be a risk factor for musculoskeletal disorders. Trapezius EMG was registered in 24 female hospital cleaners, 21 female office workers and 13 male office workers during one working day. Cleaners have a high risk of neck/shoulder pain and had much less muscular rest than office workers measured as a percentage of total registered time (median value = 1.5%, range = 0.2-13% vs. median value = 12%, range = 0.0-32%, respectively). Gap frequency showed no difference between the two occupational groups. Both measures displayed a wide inter-individual variation. For the cleaners, some of the variance was explained by body mass index (BMI) and age, with lower values of muscular rest for older subjects with a high BMI. Among the office workers, low values of muscular rest and a high gap frequency were registered in subjects with a low subjective muscular tension tendency. Gender, strength, smoking, job strain, employment time and musculoskeletal symptoms had no impact on either EMG measure.     

Integrated process modeling: An ontological evaluation

Process modeling has gained prominence in the information systems modeling area due to its focus on business processes and its usefulness in such business improvement methodologies as Total Quality Management, Business Process Reengineering, and Workflow Management. However, process modeling techniques are not without their criticisms [13]. This paper proposes and uses the Bunge-Wand-Weber (BWW) representation model to analyze the five views — process, data, function, organization and output — provided in the Architecture of Integrated Information Systems (ARIS) popularized by Scheer [39, 40, 41]. The BWW representation model attempts to provide a theoretical base on which to evaluate and thus contribute to the improvement of information systems modeling techniques. The analysis conducted in this paper prompts some propositions. It confirms that the process view alone is not sufficient to model all the real-world constructs required. Some other symbols or views are needed to overcome these deficiencies. However, even when considering all five views in combination, problems may arise in representing all potentially required business rules, specifying the scope and boundaries of the system under consideration, and employing a “top-down” approach to analysis and design. Further work from this study will involve the operationalization of these propositions and their empirical testing in the field.     

An exploration of factors that impact individual performance in an ERP environment: an analysis using multiple analytical techniques

This study explores the factors that can impact individual performance when using enterprise resource planning (ERP) systems. Starting from the proposition that organizational performance depends on individuals' task accomplishments, we test a structural model of task–technology fit, ERP user satisfaction, and individual performance in ERP environments. This research utilizes a survey method to examine the perceptions of ERP users. We performed factor and reliability analyses to assess the validity of the survey instrument. Six factors were identified as having an impact on individual performance: System Quality, Documentation, Ease of use, Reliability, Authorization, and Utilization. To explore the relationships among these factors, we conducted regression and multivariate adaptive regression splines analysis, and compared the findings from these two analytical techniques. The study provides evidence that System Quality, Utilization, and Ease of Use are the most important factors bearing on individual performance in ERP environments. Our findings also provide IT managers and researchers with knowledge of how these factors can be manipulated to improve individual performance when using ERP systems.     

Controlled wear process: modeling optimal control

Models for wear in which wear is a continuous increasing stochastic process are set up. Optimal control problems for these models are posed and explicitly solved in one case     

Computer modeling: Its impact on industrial engineering

Industrial engineers are concerned with large scale systems problems. In most instances, computers are required to support the performance of industrial engineering functions. The development of the industrial engineering profession, the evolutionary trends in industrial engineering applications and the growth in student enrollments are discussed in this paper     

Plural: A decentralized business process modeling method

Top-down and centralized approaches prevail in the design and improvement of business processes. However, centralized structures pose difficulties for organizations in adapting to a rapidly changing business environment. Here we present the Plural method which can be used to guide organizations in performing process modeling in a decentralized way. Instead of a centralized group of people understanding, modeling and improving processes, our method allows individuals to model and improve their own processes to help in fulfilling their roles in the organization. An individual model depicts a set of activities performed by a role, which together result in a cohesive service within the organization. These individual models are then integrated as necessary to show the way the organization works. We applied the Plural method in a case study of a small-size software organization. We describe the method and its underlying principles and then discuss the findings of our case study, lessons learned, and limitations. The study thus provided evidence of Plural's utility and showed how an organization might exploit its strengths.     

Interaction-centric modeling of process choreographies

With the rise of electronic integration between organizations, the need for a precise specification of interaction behavior increases. Information systems, replacing interaction previously carried out by humans via phone, faxes and emails, require a precise specification for handling all possible situations. Such interaction behavior is described in process choreographies. While many proposals for choreography languages have already been made, most of them fall into the category of interconnection models, where the observable behavior of the different partners is described and then related via message flow. As this article will show, this modeling approach fails to support fundamental design principles of choreographies and typically leads to modeling errors. This motivates an alternative modeling style, namely interaction modeling, for overcoming these limitations. While the main concepts are independent of a concrete modeling language, iBPMN is introduced as novel interaction modeling language. Formal execution semantics are provided and a comprehensive toolset implementing the approach is presented.     

Age-related difference in the use of mobile phones

This study examined the difference between younger adults and older adults in requirements for mobile phones and acceptance of new functions. A survey was conducted among 351 older adults and 140 younger adults in China. Four major findings were derived. Firstly, older adults perceived ease to understand manuals, font size, icon size, and feedback of the operation as more important compared with younger adults. Secondly, younger adults placed more emphasis on most non-visual aspects of mobile phones than older adults, while older adults placed more emphasis on visible attributes. Thirdly, the biggest age-related difference lays in connectivity. Younger adults perceived Internet access and the connection between mobile phones and other devices as much more important compared with older adults. Fourthly, older adults had more difficulties using soft keys and multi-tap than younger adults, which implied that smart phones with changing button labels and the touch & hold operation would be confusing for older adults. These results were interpreted in the context of the transition from feature phones to smart phones.     

Spatial random tree grammars for modeling hierarchal structure in images with regions of arbitrary shape

We present a novel probabilistic model for the hierarchical structure of an image and its regions. We call this model spatial random tree grammars (SRTGs). We develop algorithms for the exact computation of likelihood and maximum a posteriori (MAP) estimates and the exact expectation-maximization (EM) updates for model-parameter estimation. We collectively call these algorithms the center-surround algorithm. We use the center-surround algorithm to automatically estimate the maximum likelihood (ML) parameters of SRTGs and classify images based on their likelihood and based on the MAP estimate of the associated hierarchical structure. We apply our method to the task of classifying natural images and demonstrate that the addition of hierarchical structure significantly improves upon the performance of a baseline model that lacks such structure.     

Influence of individual factors on presence

The present paper is a review of the role of individual factors in Spatial Presence. If Spatial Presence is a subjective mental phenomenon psychological factors must have an important role on it. Our review shows that, even though many authors claim about the need for a better understanding about this relation, empirical evidence is still very limited. Personality-related factors as absorption, and the capability to be immersed show to have an influence on the sense of Presence. Additional evidence is needed for the role of such factors as extraversion/introversion. Evidence of the impact of cognitive abilities on Presence in complex media environments is greatly indirect, and based on studies investigating the effect of those cognitive abilities on situation awareness and task performance. The role of practice and demographic factors is also considered.     

First do no harm: Cross-sectional and longitudinal evidence for the impact of individual suicidality on the use of online health forums and support groups

Suicide is a leading cause of death worldwide, especially among the young. This study aims to disentangle the presumed causality between the use of online health forums or support groups and suicidality using a representative telephone survey and a two-wave online panel survey containing the same question wording. Cross-sectional data show positive correlations between suicidality and online health forum use, but not limited to the younger. Using longitudinal panel data and autoregressive models, a positive cross-lagged effect of suicidality on internet-based health forum use one month later was revealed. Despite the wide-spread notion that online health forums can increase suicidality the present study provides evidence for the preventive potential of accessible and helpful information online.     

Repeated use of online auctions: investigating individual seller motivations

Online auctions, connecting sellers and buyers on the Internet, are a specific type of eMarketplaces. eMarketplaces rely on repeat business in order to build scale, yet little is known about the drivers of repeated use by sellers. Based on an empirical investigation of individual, private sellers, this paper identifies the determinants of their repeated use of online auctions. It demonstrates that repeated use is driven by expectancy concerning performance and effort and by the facilitating conditions provided by auction sites. However, repeated use of online auctions is neither directly motivated by social influences, nor is it moderated by sellers’ demographics.