How has Japan become a major economic power, a world leader in the automotive and electronics industries? What is the secret of their success? The consensus has been that, though the Japanese are not particularly innovative, they are exceptionally skilful at imitation, at improving products that already exist. But now two leading Japanese business experts, Ikujiro Nonaka and Hiro Takeuchi, turn this conventional wisdom on its head: Japanese firms are successful, they contend, precisely because they are innovative, because they create new knowledge and use it to produce successful products and technologies. Examining case studies drawn from such firms as Honda, Canon, Matsushita, NEC, 3M, GE, and the U.S. Marines, this book reveals how Japanese companies translate tacit to explicit knowledge and use it to produce new processes, products, and services.

The knowledge-creating company : how Japanese companies create the dynamics of innovation

National Institute of Standards and Technology における超伝導研究及び生活

国際生活機能分類(International Classification of Functioning, Disability and Health: ICF)にみた福祉・保健・医療の専門職協働における連携に関する貢献と課題

/pdf/a-break-in-the-clouds-towards-a-cloud-definition-svovsw1r5a.pdf

A Break in the Clouds: Towards a Cloud Definition

In this provocative book, Barwise and Perry tackle the slippery subject of \"meaning, \" a subject that has long vexed linguists, language philosophers, and logicians.

/pdf/situations-and-attitudes-57f065zg2d.pdf

Situations and Attitudes.

Substantial experience with the use of formal specification languages in the design of distributed systems has shown that finding appropriate structures for formal specifications presents a serious, and often underestimated problem. Its solutions are of great importance for ensuring the quality of the various designs that need to be developed at different levels of abstraction along the design trajectory of a system. This paper introduces four specification styles that allow us to structure formal specifications in different ways: the monolithic, the constraint-oriented, the state-oriented, and the resource-oriented style. These styles have been selected on the basis of their suitability to express design concerns by structuring specifications and their suitability to pursue qualitative design principles such as generality, orthogonality, and open-endedness. By giving a running example, a query-answer service, in the ISO specification language LOTOS, these styles are discussed in detail. The support of verification and correctness preserving transformation by these styles is shown by verifying designs, expressed in different styles, with respect to each other. This verification is based on equational laws for (weak) bisimulation equivalence.

/pdf/specification-styles-in-distributed-systems-design-and-217varppek.pdf

Specification styles in distributed systems design and verification

The methods for enterprise architecture (EA), such as The Open Group Architecture Framework, acknowledge the importance of requirements modelling in the development of EAs. Modelling support is needed to specify, document, communicate and reason about goals and requirements. The current modelling techniques for EA focus on the products, services, processes and applications of an enterprise. In addition, techniques may be provided to describe structured requirements lists and use cases. Little support is available however for modelling the underlying motivation of EAs in terms of stakeholder concerns and the high-level goals that address these concerns. This article describes a language that supports the modelling of this motivation. The definition of the language is based on existing work on high-level goal and requirements modelling and is aligned with an existing standard for enterprise modelling: the ArchiMate language. Furthermore, the article illustrates how EA can benefit from analysis techniques from the requirements engineering domain.

Extending enterprise architecture modelling with business goals and requirements

Objective of this paper is to illustrate relationships that exist between architecture, the abstract subject of distributed system design, and specification style, the way of using a given language to design and implement the architecture. We advocate for a few specification styles thate allow to structure formal specifications and can be used at advantage to pursue explicitly defined design objectives. The establsihment of common and related specification styles is also considered paramount to preserving homogeneity of large specifications developed by teams of specifiers. Such specification styles enable the designer to better control the design trajectory and thus to produce higher quality designs in shorter timescales. The presentation is endowed with simple examples. The specification language LOTOS is used as a vehicle to convey ideas and to present examples, but the reasoning is kept independent of any particular language.

Architecture and Specification Style in Formal Descriptions of Distributed Systems

UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of a conceptual UML class model and to develop guidelines for how the constructs of the UML should be used in conceptual modeling. In this paper, we focus on the UML metaconcepts of classes and objects from an ontological point of view. We use a philosophically and psychologically well-founded theory of classifiers to propose a UML profile for Ontology Representation and Conceptual Modeling. Moreover, we propose a design pattern based on this profile to target a recurrent problem in role modeling discussed in the literature. Finally, we demonstrate the relevance of the tools proposed by applying them to solve recurrent problems in the practice of conceptual modeling.

/pdf/an-ontologically-well-founded-profile-for-uml-conceptual-3xr2yqld44.pdf

Marten van Sinderen

Papers

Specification styles in distributed systems design and verification

Extending enterprise architecture modelling with business goals and requirements

Specification styles in distributed systems design and verification

Architecture and Specification Style in Formal Descriptions of Distributed Systems

An ontologically well-founded profile for UML conceptual models