工学システムの機能モデルからの挙動の導出

抄録

Functional modelling techniques are recently used to include the intensions of system designers into models of a system. Functions are higher level than behaviour and they are sometimes given different meanings depending on a system situation. Therefore, it is important to be able to derive behaviour from a functional model. This paper describes techniques to represent goals-functions-structure and to derive system behaviour from a functional model through a structure model, where the Multilevel Flow Modelling (MFM) and the Hybrid Phenomena Theory (HPT) are effectively combined. The MFM is a methodology to model an engineering system from the standpoint of means and goals. It has been applied to diagnostic, planning, and man-machine interface design problems. The HPT is a method to model the relations between structure and behaviour. One useful application of the HPT is to derive mathematical equations describing system's behaviour from structural information. The MFM is extended to be able to represent systematically abstracted information of structure of a system. The HPT is applied to derive the behaviour of a system from its structure model. A transformation mechanism from a MFM model to its corresponding HPT representation is developed to bridge the MFM and HPT. A simple example to model a central heating system and to derive its behaviour demonstrates the proposed techniques.