Research on horizontal system model for food factories: A case study of process cheese manufacturer

2020 ◽  
Vol 226 ◽  
pp. 107616 ◽  
Author(s):  
Takao Matsumoto ◽  
Yijun Chen ◽  
Akihiro Nakatsuka ◽  
Qunzhi Wang
Keyword(s):  
System Model ◽  
Process Cheese

Verification of Plastic Interactive Systems

i-com ◽  
2015 ◽  
Vol 14 (3) ◽  
Author(s):  
Raquel Oliveira ◽  
Sophie Dupuy-Chessa ◽  
Gaëlle Calvary
Keyword(s):  
Power Plant ◽  
User Interfaces ◽  
Nuclear Power ◽  
Interactive Systems ◽  
System Model ◽  
Equivalence Checking ◽  
The Past ◽  
Different Levels ◽  
Formal Techniques

AbstractInteractive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.

scholarly journals Hierarchical Information Entropy System Model for TWfMS

Entropy ◽  
2018 ◽  
Vol 20 (10) ◽  
pp. 732
Author(s):  
Qiang Han ◽  
Deren Yang
Keyword(s):  
Information Entropy ◽  
Dissipative Structure ◽  
Workflow Management ◽  
Fundamental Principle ◽  
System Model ◽  
Transformation Rule ◽  
Entropy Model ◽  
Research Areas ◽  
System Service

Under the infrastructure of three gradually deepening layers consisting of System, Service and Software, the information entropy of the Trustworthy Workflow Management System (TWfMS) will evolve from being more precise to more undetermined, due to a series of exception event X occurring on certain components (ExCs), along with the life cycle of TWfMS, experienced in its phased original, as-is, to-be, and agile-consistent stages, and recover, more precisely again, by turning back to the original state from the agile-consistent stage, due to its self-autonomous improvement. With a special emphasis on the system layer, to assure the trustworthiness of WfMS, this paper firstly introduces the preliminary knowledge of the hierarchical information entropy model with correlation theories. After illustrating the fundamental principle, the transformation rule is deduced, step by step, followed by a case study, which is conducive to generating discussions and conclusions in the different research areas of TWfMS. Overall, in this paper, we argue that the trustworthiness maintenance of WfMS could be analyzed and computational, through the viewpoint that all the various states of TWfMS can be considered as the transformation between WfMS and its trustworthiness compensate components, whose information entropy fluctuate repeatedly and comply with the law of the dissipative structure system.

A Computer-Aided Conceptual Design System: Model and Applications

2011 ◽  
Vol 308-310 ◽  
pp. 538-541
Author(s):  
Yuan Chen
Keyword(s):  
Mechanism Design ◽  
Conceptual Design ◽  
System Model ◽  
Design System ◽  
Modeling Framework ◽  
System A ◽  
Principle Solution ◽  
Computer Aided

An effort is made to give a description of a computer-aided conceptual design system. A novel Function-Action-Behavior-Mechanism (FABM) modeling framework is proposed to realize mapping from the overall function to principle solution according to customer’s requirements. Expansion and modification rules in the demand behavior are developed to extend the innovation of principle solution. A case study on pan mechanism design for cooking robot is presented to show the procedure of how to implement the intelligent reasoning based on the FABM model.

A Case Study Evaluation of the Use of the Viable System Model in Information Systems Development

2002 ◽  
pp. 17-34 ◽  
Author(s):  
P. Kawalek ◽  
D. G. Wastell
Keyword(s):  
Information Systems ◽  
Science Research ◽  
Information Systems Development ◽  
System Model ◽  
Viable System Model ◽  
Sales Team ◽  
Study Evaluation ◽  
Viable System ◽  
Is Projects

This chapter considers the usefulness of the Viable System Model (VSM) in information systems (IS) projects. The VSM is a rigorous organizational model which was developed from the study of cybernetics and has been given considerable attention by management science research. The chapter presents a case study that focuses upon the sales team of a manufacturing company. This sales team were seeking to develop database support for group working. The VSM was useful in highlighting the organizational limitations upon the IS project and challenged some assumptions about the nature of work in the company. It is proposed that the VSM provides a valuable diagnostic capability that shall assist the company in future IS developments.

The Evaluation of Supplier Performance - A Case Study Approach

2011 ◽  
Vol 211-212 ◽  
pp. 803-807
Author(s):  
Li Chuan Wang ◽  
Chwei Jen Fan ◽  
Huan Ming Chuang
Keyword(s):  
Business Intelligence ◽  
Evaluation System ◽  
System Model ◽  
Formal Concept ◽  
Supplier Evaluation ◽  
Material Management ◽  
Erp System ◽  
Study Approach ◽  
Supplier Performance

This study adopted business intelligence tools to implement a platform for supplier evaluation, bases on data from the material management module of its ERP system firstly, and tried to further improve the acceptance of the system. Qualitative research method was applied on this regard. Intensive interviews with members from procurement, quality assurance, and material management departments were conducted with interview framework established from Information System Model. The information garnered from the interviews was analyzed with Formal Concept Analysis (FCA). Major conclusions were used to improve the supplier evaluation system. Based on statistics data about system usage, the improvement gained significant success.

scholarly journals Human-Centered Design Using System Modeling Language

2017 ◽  
Vol 11 (3) ◽  
pp. 252-269 ◽  
Author(s):  
Michael E. Watson ◽  
Christina F. Rusnock ◽  
John M. Colombi ◽  
Michael E. Miller
Keyword(s):  
System Design ◽  
System Modeling ◽  
System Model ◽  
Modeling Language ◽  
Specific System ◽  
Human Centered Design ◽  
Common System ◽  
External Actors

The human user is important to consider during system design. However, common system design models, such as the system modeling language, typically represent human users and operators as external actors, rather than as internal to the system. This research presents a method for integrating human considerations into system models through human-centered design. A specific system is selected to serve as the case study for demonstrating the methodology. The sample system is analyzed to identify the task and information flow. Then, both system- and human-centered diagrams are separately created to represent different viewpoints of the system. These diagrams are compared and analyzed, and new diagrams are created that incorporate both system and human considerations into one concordant representation of the system model. These new views allow systems engineers and human factors engineers to effectively communicate the role of the user during early system design trades.

Sign in / Sign up

Export Citation Format

Share Document