Compositional Stochastic Model Checking Probabilistic Automata via Assume-Guarantee Reasoning

Abstract

With analysis on two highly discussed Chinese style culture and creative products (Nike Air Foamposite One Tianjing and Jade Hare & Laurel washi tapes from the Palace Museum), this paper attempts to explore whether they indicate different Chinese and western philosophy and aesthetics, discussing about the preference of traditional Chinese art. It will be divided into four parts, each of which analyzes the two respectively, following the comparison section. Preliminary results suggest that with different philosophy and language context system between China and western countries, the two products have different understanding about Chinese style. The author also argues that designers ought to study more on Chinese culture rather than elements, including history and color preference, in order not to awkwardly violate cultural taboo. Further researches on more Chinese style culture and creative products of the Palace Museum and Nike or products in the same category are suggested.