A Rewriting System Based Operational Semantics for the Feature Oriented Reuse Method

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.

Towards Automation of the FORM/BCS Method

“…This approach allows transposition of industrial production chains to the software world. The FORM/BCS [20] extends FORM to business components semantics. It transforms the design objects of a domain produced by FORM (feature models, subsystem models, process models, and modules) into "reusable" design objects of this domain, called "reusable enterprise components".…”

“…The objective of the horizontal engineering process is to analyze a domain to produce its reusable business components, which comprise the following [20]: i.…”

“…The database is derived from a domain application with a reusable domain component database. The vertical engineering process has four independent activities: analysis of specific needs, design of specific subsystem architecture, design of specific process architecture, and design of specific module architecture [20].…”

“…Code 1 represents the extract of the model. Details of the specifications of the components of the FORM/BCS method can be found in [20].…”

Managing Student Mobility in Cameroon’s University Ecosystem: A FORM/BCS Approach

“…Considering the fact that FORM is semiformal (for example, the concept of feature is devoid of formal structure) and was applied mainly to industrial domains, for information system concerns, we have enrich feature models by describing and inserting them in an envelope, giving a structure to features, that is what we called business component semantics. The Feature Oriented Reuse Method with Business Component Semantics (FORM/BCS) [9,10,11,12,13,14,15] is the name we gave to the new approach which is a software product line engineering method. With the new structure given to features and feature models of FORM/BCS, rigorous analysis can be done and based on this background; we defend that we can highlight the problem of variability in student mobility.…”