According to W. Edwards Deming, American companies require nothing less than a transformation of management style and of governmental relations with industry. In Out of the Crisis, originally published in 1982, Deming offers a theory of management based on his famous 14 Points for Management. Management's failure to plan for the future, he claims, brings about loss of market, which brings about loss of jobs. Management must be judged not only by the quarterly dividend, but by innovative plans to stay in business, protect investment, ensure future dividends, and provide more jobs through improved product and service. In simple, direct language, he explains the principles of management transformation and how to apply them.

Out of the Crisis

Data Mining Practical Machine Learning Tools and Techniques

How have Japanese companies become world leaders in the automotive and electronics industries, among others? What is the secret of their success? Two leading Japanese business experts, Ikujiro Nonaka and Hirotaka Takeuchi, are the first to tie the success of Japanese companies to their ability to create new knowledge and use it to produce successful products and technologies. In The Knowledge-Creating Company, Nonaka and Takeuchi provide an inside look at how Japanese companies go about creating this new knowledge organizationally. The authors point out that there are two types of knowledge: explicit knowledge, contained in manuals and procedures, and tacit knowledge, learned only by experience, and communicated only indirectly, through metaphor and analogy. U.S. managers focus on explicit knowledge. The Japanese, on the other hand, focus on tacit knowledge. And this, the authors argue, is the key to their success--the Japanese have learned how to transform tacit into explicit knowledge. To explain how this is done--and illuminate Japanese business practices as they do so--the authors range from Greek philosophy to Zen Buddhism, from classical economists to modern management gurus, illustrating the theory of organizational knowledge creation with case studies drawn from such firms as Honda, Canon, Matsushita, NEC, Nissan, 3M, GE, and even the U.S. Marines. For instance, using Matsushita's development of the Home Bakery (the world's first fully automated bread-baking machine for home use), they show how tacit knowledge can be converted to explicit knowledge: when the designers couldn't perfect the dough kneading mechanism, a software programmer apprenticed herself withthe master baker at Osaka International Hotel, gained a tacit understanding of kneading, and then conveyed this information to the engineers. In addition, the authors show that, to create knowledge, the best management style is neither top-down nor bottom-up, but rather what they call "middle-up-down," in which the middle managers form a bridge between the ideals of top management and the chaotic realities of the frontline. As we make the turn into the 21st century, a new society is emerging. Peter Drucker calls it the "knowledge society," one that is drastically different from the "industrial society," and one in which acquiring and applying knowledge will become key competitive factors. Nonaka and Takeuchi go a step further, arguing that creating knowledge will become the key to sustaining a competitive advantage in the future. Because the competitive environment and customer preferences changes constantly, knowledge perishes quickly. With The Knowledge-Creating Company, managers have at their fingertips years of insight from Japanese firms that reveal how to create knowledge continuously, and how to exploit it to make successful new products, services, and systems.

The knowledge-creating company

ing WS1S Systems to Verify Parameterized Networks . . . . . . . . . . . . 188 Kai Baukus, Saddek Bensalem, Yassine Lakhnech and Karsten Stahl FMona: A Tool for Expressing Validation Techniques over Infinite State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204 J.-P. Bodeveix and M. Filali Transitive Closures of Regular Relations for Verifying Infinite-State Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220 Bengt Jonsson and Marcus Nilsson Diagnostic and Test Generation Using Static Analysis to Improve Automatic Test Generation . . . . . . . . . . . . . 235 Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu Efficient Diagnostic Generation for Boolean Equation Systems . . . . . . . . . . . . 251 Radu Mateescu Efficient Model-Checking Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266 Jean-Pierre Krimm and Laurent Mounier Checking for CFFD-Preorder with Tester Processes . . . . . . . . . . . . . . . . . . . . . . . 283 Juhana Helovuo and Antti Valmari Fair Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 Thomas A. Henzinger and Sriram K. Rajamani Integrating Low Level Symmetries into Reachability Analysis . . . . . . . . . . . . . 315 Karsten Schmidt Model-Checking Tools Model Checking Support for the ASM High-Level Language . . . . . . . . . . . . . . 331 Giuseppe Del Castillo and Kirsten Winter Table of

Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009

[서평]「The Unified Modeling Language User Guide」

Due to numerous public information sources and services, many methods to combine heterogeneous data were proposed recently. However, general end-to-end solutions are still rare, especially systems taking into account different context dimensions. Therefore, the techniques often prove insufficient or are limited to a certain domain. In this paper we briefly review and rigorously evaluate a general framework for data matching and merging. The framework employs collective entity resolution and redundancy elimination using three dimensions of context types. In order to achieve domain independent results, data is enriched with semantics and trust. However, the main contribution of the paper is evaluation on five public domain-incompatible datasets. Furthermore, we introduce additional attribute, relationship, semantic and trust metrics, which allow complete framework management. Besides overall results improvement within the framework, metrics could be of independent interest.

General Context-Aware Data Matching and Merging Framework

Today, businesses need to continuously adjust to a dynamic environment. Enterprises have to deal with global competition and technological advances, meet government regulations, and keep their expenses under control. Under these pressures, enterprises need to implement and improve software that supports and helps to evolve their business. However, as practice shows, software implementation projects are complex, and a considerable percentage of them do not meet business requirements. Therefore, a business needs to manage software implementation properly. Existing research shows that using business rules (BR) in software implementation projects helps to ensure its success. The purpose of our study is to advance the understanding of how BR affect software implementation success, namely, which key characteristics of BR are the most important. To achieve this goal, the top thousand enterprises in Slovenia, by added value, facing typical software implementation projects were surveyed. The obtained results show that BR that are specifically prepared for a particular project and easy to understand have a statistically significant positive effect on software implementation project success.

/pdf/identifying-key-characteristics-of-business-rules-that-3w125wgy.pdf

Identifying Key Characteristics of Business Rules That Affect Software Project Success

The paper proposes a theoretical framework to analyse and evaluate IS specification languages. It surveys present approaches, introduces the notion of linguistic system, and discusses the relationships between linguistic systems and specification languages. The paper argues that the analysis and evaluation of any IS specification language should be performed on the basis of linguistic system and quality model which provides a set of attributes characterising the properties of the language.

A Framework to Analyse and Evaluate Information Systems Specification Languages

In this paper, we present a methodology based on formal concept analysis (FCA) for the information system model verification. We show that FCA can be useful for understanding conceptual model topology and it can be used to improve the structure of the conceptual model. IBM's Information Framework (IFW) Financial Services Data Model (FSDM) has been used for the present research. By using FSDM, we demonstrate that the IS model can be recreated with formal concept analysis.

/pdf/formal-concept-analysis-for-business-information-systems-587ik42ji5.pdf

Formal concept analysis for business information systems

The need to improve business process efficiency, to react quickly to changes and to meet regulatory compliance is the main driver for using Business Process Intelligence (BPI). BPI refers to the application of Business Intelligence techniques, like data warehousing, data analysis, and data mining, to find correlations between different workflow aspects and performance metrics, to identify the causes of bottlenecks, and to find opportunities for business process prediction and optimization, e.g. elimination not necessary steps. In this paper we propose an ontology and Service Oriented Architecture (SOA) based approach for data mining process implementation for business processes optimization. The proposed approach was implemented in eight commercial companies, covering different industries, such as telecommunications, banking and retail. The experiment achieved shows that companies having data warehouse had a significant advantage, e.g. it allows us to eliminate not necessary operations and optimise business process.

Olegas Vasilecas

Papers

General Context-Aware Data Matching and Merging Framework

Identifying Key Characteristics of Business Rules That Affect Software Project Success

A Framework to Analyse and Evaluate Information Systems Specification Languages

Formal concept analysis for business information systems

Ontology and SOA Based Data Mining to Business Process Optimization