Formalizing the multiple abstraction process within the G-KRA model framework

Many researchers have explored the abstraction theory and tried to capture the essence of abstraction. In this paper, we propose the concept of Flow Fragment (FF) and apply FF to the G-KRA model framework. The FF-based model can be automatically constructed by recognizing the flow fragments of the abstraction model which is generated during the abstraction modeling phase in the G-KRA model. The mapping from a flow fragment FF to the constructed abstraction model is defined to realize the sharing of abstract objects. We also discuss capturing the effect-based model using the constituent PHObjects of FFs. Moreover, the FF Database is created and extended by aggregation operation on the constructed FFs to realize FF reuse for the tasks of automatic abstraction.