A Rewriting System Based Operational Semantics for the Feature Oriented Reuse Method
Amougou Ngoumou, Marcel Fouda Ndjodo · International Journal of Software Engineering and Its Applications · 2013
Recently, an extension of the Feature Oriented Reuse Method (FORM) with business components semantics (FORM/BCS) has been given. The key idea of FORM/BCS is that, it transforms the assets produced by FORM (feature models, subsystem models, process models and modules) into reusable objects of a domain (business reusable components). Since each individual business reusable component is a constituent of a business architecture (i.e a model of a domain), FORM/BCS is therefore a model-driven design engineering method whose main products are business reusable architectures. The engineering process of FORM/BCS has been formalized using a set of total maps (called constructors and refiners). This paper shows that these maps are in fact rules of a coherent rewriting system which, indeed, defines the operational semantics of FORM/BCS.