On Support Functions for the Development of MFM Models

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

208 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings of the first International Symposium on Socially and Technically Symbiotic System
Number of pages10
Publication date2012
Publication statusPublished - 2012
EventInternational Symposium on Socially and Technically Symbiotic System - Okayama University, Okayama, Japan
Duration: 29 Aug 201231 Aug 2012
Conference number: 1

Conference

ConferenceInternational Symposium on Socially and Technically Symbiotic System
Number1
LocationOkayama University
CountryJapan
CityOkayama
Period29/08/201231/08/2012

Keywords

  • Multilevel Flow Modeling (MFM)
  • Model Development
  • Analysis and Design
  • Software

Fingerprint Dive into the research topics of 'On Support Functions for the Development of MFM Models'. Together they form a unique fingerprint.

Cite this