An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

Benchmarking Quality Management in Hotels

In the early 1980s many hotels in the United States adopted quality assurance as a business strategy. By the late 1980s independent and chain hotels realized that total quality management (TQM) was a more powerful process and they began utilizing many of its components. For over 10 years, hotels have flirted with a variety of tools, processes, and theories to improve service to the guest

Managing Quality in the Hospitality Industry:

In - Managing Quality In the Hospitality Industry – an observation by W. Gerald Glover, Associate Professor, Hospitality Management Program, Appalachian State University, initially Glover establishes: “Quality is a primary concern in the hospitality industry. The author sees problems in the nature of the way businesses are managed and discusses approaches to ensuring quality in corporate cultures.” As the title suggests, the author wants to point out certain discrepancies in hospitality quality control, as well as enlighten you as to how to address some of these concerns. “A discussion of quality presents some interesting dilemmas. Quality is something that almost everyone wants,” Assistant Professor Glover notes. “Service businesses will never admit that they don't provide it to their customers, and few people actually understand what it takes to make it happen,” he further maintains. Glover wants you to know that in a dynamic industry such as hospitality, quality is the common denominator. Whether it be hotel, restaurant, airline, et al., quality is the raison d’être of the industry. “Quality involves the consistent delivery of a product or service according to the expected standards,” Glover provides. Many, if not all quality deficiencies can be traced back to management, Glover declares. He bullet points some of the operational and guest service problems managers’ face on a daily basis. One important point of note is the measuring and managing of quality. “Standards management is another critical area in people and product management that is seldom effective in corporations,” says Glover. “Typically, this area involves performance documentation, performance evaluation and appraisal, coaching, discipline, and team-building.” “To be effective at managing standards, an organization must establish communication in realms where it is currently non-existent or ineffective,” Glover goes on to say. “Coaching, training, and performance appraisal are methods to manage individuals who are expected to do what's expected.” He alludes to the benefit quality circles supply as well. In addressing American organizational behavior, Glover postures, “…a realization must develop that people and product management are the primary influences on generating revenues and eventually influencing the bottom line in all American organizations.” Glover introduces the concept of pro-activity. “Most recently, quality assurance and quality management have become the means used to develop and maintain proactive corporate cultures. When prevention is the focus, quality is most consistent and expectations are usually met,” he offers. Much of the article is dedicated to, “Appendix A-Table 1-Characteristics of Corporate Cultures (Reactive and Proactive. In it, Glover measures the impact of proactive management as opposed to the reactive management intrinsic to many elements of corporate culture mentality.

From Clerk and Cashier to Guest Service Agent

In their study - From Clerk and Cashier to Guest Service Agent - by Nancy J. Allin, Director of Quality Assurance and Training and Kelly Halpine, Assistant Director of Quality Assurance and Training, The Waldorf-Astoria, New York, the authors state at the outset: “The Waldorf-Astoria has taken the positions of registration clerk and cashier and combined them to provide excellent guest service and efficient systems operation. The authors tell how and why the combination works. That thesis statement defines the article, and puts it squarely in the crosshairs of the service category. Allin and Halpine use their positions at the Waldorf-Astoria in New York City to frame their observations “The allocation of staff hours has been a challenge to many front office managers who try their hardest to schedule for the norm but provide excellent, efficient service throughout the peaks,” Allin and Halpine allude. “…the decision [to combine the positions of registration clerk and cashier] was driven by a desire to improve guest service where its impact is most obvious, at the front desk. Cross-trained employees speed the check-in and check-out process by performing both functions, as the traffic at the desk dictates,” the authors say. Making such a move has resulted in positive benefits for both the guests and the hotel. “Benefits to the hotel, in addition to those brought to bear by increased guest satisfaction, include greater flexibility in weekly scheduling and in granting vacations while maintaining adequate staffing at the desk,” say Allin and Halpine . “Another expected outcome, net payroll savings, should also be realized as a consequence of the ability to schedule more efficiently.” The authors point to communication as the key to designing a successful combination such as this, with the least amount of service disruption. They bullet-point what that communication should entail. Issues of seniority, wage and salary rates, organizational charting, filing, scheduling, possible probationary periods, position titles, and physical layouts are all discussed. “It is critical that each of the management issues be addressed and resolved before any training is begun,” Allin and Halpine suggest. “Unresolved issues project confusion and lack of conviction to line employees and the result is frustration and a lack of commitment to the combination process,” they push the thought Allin and Halpine insist: “Once begun, training must be ongoing and consistent.” In the practical sense, the authors provide that authorizing overtime is helpful in accomplishing training. “Training must address the fact that employees will be faced with guest situations which are new to them, for example: an employee previously functioning as a cashier will be faced with walking guests. Specific exercises should be included to address these needs,” say the authors.

A framework for transforming, analyzing, and realizing software designs in unified modeling language

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^