Scott L. Summers

Model checking for design and assurance of e-business processes

Use of the Internet for electronic business has the potential to revolutionize the way many businesses are conducted. Yet, several businesses have fallen victim to problems in information systems that facilitate e-Business. These problems are characterized by uncertainties due to system complexity, rapid development, interconnectivity, and a lack of familiarity with the new technologically based economy. This paper demonstrates how model checking can aid in the design and assurance of e-Business processes in environments characterized by distributed processing, parallelism, concurrency, communication uncertainties, and continuous operations.

Model checking for E-business control and assurance

Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conducting e-business extends the reach of many organizations, well-designed software becomes the foundation of reliable implementation of e-business processes. These distributed, electronic methods of conducting transactions place reliance on the control structures embedded in the transaction processes. Deficiencies in control structures of processes that support e-business can lead to loss of physical assets, digital assets, money, and consumer confidence. Yet, assessing the reliability of e-business processes is complex and time-consuming. This paper explicates how model-checking technology can aid in the design and assurance of e-business processes in complex digital environments. Specifically, we demonstrate how model checking can be used to verify e-business requirements concerning money atomicity, goods atomicity, valid receipt, and communication-link failure. These requirements are fundamental to many e-business applications. Model checking can be used to test a broad range of systems requirements-not only for system designers, but also for auditors and security specialists. Systems that are examined by auditors need to have adequate controls built in prior to implementation and will need adequate auditing after implementation to ensure that none of the processes have been corrupted. Model checkers may also provide value in examining the processes of highly integrated applications as found in enterprise resource planning systems.

Standards and verification for fair-exchange and atomicity in e-commerce transactions

Electronic commerce can be defined as the conduct of commerce in goods and services, with the assistance of telecommunications and telecommunications-based tools. The economic growth potential of e-commerce is extraordinary-but so are the challenges that lie on the path toward success. One of the more pressing challenges is how to ensure the integrity and reliability of the transaction process: key aspects being fair-exchange and atomicity assurance. This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur.

The application of model checking for securing e-commerce transactions

Model checking is an effective component for performing online transactions that build customer trust and confidence.

The Effects of Using the Internal Audit Function as a Management Training Ground or as a Consulting Services Provider in Enhancing the Recruitment of Internal Auditors

This paper examines factors that influence job applicants’ willingness to apply for positions in internal auditing. We predict and find evidence that job applicants are dissuaded from applying for internal audit positions. In two separate experiments involving participants at seven universities, we discover that this phenomenon is most prevalent for applicants with business experience. Experienced applicants are 20 and 33 percent less willing to apply for a position if it is labeled as “internal audit�? versus “accounting�? in the two experiments, respectively. In addition, we find that the only experimental condition that increases interest in applying for an internal audit position for experienced applicants occurs when the position advertises the combination of (1) a short stint in internal auditing and then a move from internal audit into a management position and (2) work primarily related to consulting services rather than assurance services. As a potential explanation for these findings, we find evidence that participants believe other business professionals have negative stereotypes of internal auditing — which likely dissuade potential job applicants from applying to work in internal audit. The results should prove informative to practitioners, internal audit professional organizations, and business professionals concerned with high quality corporate governance.

Problem‐Solving Style and Fit in Consulting and Auditing

This research examined the problem‐solving styles of public accountants in consulting and audit functions. Consultants were, on average, significantly more innovative in their problem‐solving style than auditors. A path analysis indicated that accounting professionals whose preferred problem‐solving style did not fit the demands of the job experienced greater role stress. The additional stress negatively affected job satisfaction, organizational commitment, and intent to stay with the firm. The results imply that matching an individuals problem‐solving style to his or her functional role may help to minimize role stress and its attendant dysfunctional effects in public accounting.

An examination of the influence of contextual and individual variables on public accountants’ exhaustion

Despite its widespread acceptance and application in the psychology literature, exhaustion, the core dimension of job burnout, has only recently been examined in the domain of public accounting. These studies highlighted the problem of exhaustion within the profession and examined its causes relative to the environment of public accounting. Another factor, not previously addressed in the context of public accounting, is the role personality plays on public accountants’ exhaustion. The current study addressed this void by examining how the personality traits of hardiness, workaholism, neuroticism, and Type-A behavior in public accountants affect exhaustion. The results indicated that public accountants who were high in hardiness experienced significantly less exhaustion. The role stressors of overload and conflict were also significant contributors to public accountants’ exhaustion.