Abstract
A modeling environment and methodology are necessary to ensure quality and reusability of models in any domain. For MFM in particular, as a tool for modeling complex systems, awareness has been increasing for this need. Introducing the context of modeling support functions, this paper provides a review of MFM applications, and contextualizes the model development with respect to process design and operation knowledge. Developing a perspective for an environment for MFM-oriented model- and application-development a tool-chain is outlined and relevant software functions are discussed. With a perspective on MFM-modeling for existing processes and automation design, modeling stages and corresponding formal model properties are identified. Finally, practically feasible support functions and model-checks to support the model-development are suggested.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the first International Symposium on Socially and Technically Symbiotic System |
| Number of pages | 10 |
| Publication date | 2012 |
| Publication status | Published - 2012 |
| Event | International Symposium on Socially and Technically Symbiotic System - Okayama University, Okayama, Japan Duration: 29 Aug 2012 → 31 Aug 2012 Conference number: 1 |
Conference
| Conference | International Symposium on Socially and Technically Symbiotic System |
|---|---|
| Number | 1 |
| Location | Okayama University |
| Country/Territory | Japan |
| City | Okayama |
| Period | 29/08/2012 → 31/08/2012 |
Keywords
- Multilevel Flow Modeling (MFM)
- Model Development
- Analysis and Design
- Software