Abstract
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.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call