This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
This paper investigates the organizational culture of one of the largest auto manufacturers in the world Toyota Motor Corporation using various corporate culture and management models. The investigation was conducted ...This paper investigates the organizational culture of one of the largest auto manufacturers in the world Toyota Motor Corporation using various corporate culture and management models. The investigation was conducted in 2009 using qualitative analysis with the help of various secondary sources. The study reveals that the company＇s management style can be characterized as the Family type that implies collectivistic society with male domination, strict rules and laws at work, and long-term orientation. It is also based on several essential principles, such as continuous improvement and learning, respect for people, mutual trust, and teamwork. Two core elements of the Toyota＇s success are technological innovations and qualified human resources.展开更多
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
文摘This paper investigates the organizational culture of one of the largest auto manufacturers in the world Toyota Motor Corporation using various corporate culture and management models. The investigation was conducted in 2009 using qualitative analysis with the help of various secondary sources. The study reveals that the company＇s management style can be characterized as the Family type that implies collectivistic society with male domination, strict rules and laws at work, and long-term orientation. It is also based on several essential principles, such as continuous improvement and learning, respect for people, mutual trust, and teamwork. Two core elements of the Toyota＇s success are technological innovations and qualified human resources.
