Publication: Research - peer-review › Book chapter – Annual report year: 2012
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.
|Title||Proceedings of the first International Symposium on Socially and Technically Symbiotic System|
|Number of pages||10|
|Conference||International Symposium on Socially and Technically Symbiotic System|
|Period||29/08/12 → 31/08/12|
- Multilevel Flow Modeling (MFM), Model Development, Analysis and Design, Software
Loading map data...
No data available