원문정보
초록
영어
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.
목차
1. Introduction
2. Overview of FORM with Business Component Semantics
2.1. The FORM/BCS Engineering Process
2.2. The Assets of FORM/BCS
3. The Horizontal Engineering Rewriting Sub-system
3.1. The Horizontal Constructors
3.2. The Horizontal Rewriting System
4. The Vertical Engineering Rewriting Sub-system
4.1. The Vertical Refiners
4.2. The Vertical Rewriting System
5. The Coherence Theorem
6. Discussion
7. Conclusion
References