Specification and Utilization of Core Assets: Feature-Oriented vs. UML-Based Methods
نویسندگان
چکیده
Core assets are reusable artifacts built to be used in different software products in the same family. As such, core assets need to capture both commonality that exists and variability that is allowed in the product family (line). These assets are later utilized for guiding the creation of particular valid products in the family. Feature-oriented and UML-based methods have been proposed for modeling core assets. In this work, we suggest a framework for analyzing and evaluating core assets modeling methods. We use this framework for comparing two specific methods: feature-oriented CBFM and UML-based ADOM. We found similar performance in modifying core assets in the two methods and some interesting differences in core assets utilization.
منابع مشابه
Experimenting with the Comprehension of Feature-Oriented and UML-Based Core Assets
Software product line engineering mainly deals with specifying and developing core assets that can be utilized and adapted into specific product artifacts. Feature-oriented and UML-based modeling methods have been proposed for managing and supporting core assets specification. While these methods get a lot of attention in software product line engineering literature, their comparison in terms o...
متن کاملTechnical Report no . 2003 - 05 The KeY Tool 1 Wolfgang Ahrendt
KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development. Using the KeY tool, formal methods and object-oriented development techniques are applied in an integrated manner. Formal specification is performed using the Object Constraint Language (OCL), which is part of the UML standard. KeY provide...
متن کاملAbstracts of lectures
s of lectures 1. Designing real-time systems with UML – the ROPES method Z H Object-oriented approach becomes dominating in contemporary software engineering. After a period of tempestuous development of object-oriented methods for software development, the Unified Modeling Language (UML) has emerged as a de facto standard. The UML is a graphical language for visualizing, specifying,...
متن کاملValidating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the formal validation of certain timing constraints becomes critical for the success of object-oriented development of real-time systems. Current development ...
متن کاملA Systematic Approach to Transform UML Static Models to Object-Oriented Code
Formal and semi-formal techniques can play complementary roles in objectoriented software development. The purpose of this chapter is to present a reusebased rigorous method to forward engineering UML static models. This approach is based on the integration of semi-formal notations in UML with the algebraic style. The main contributions of this chapter are the definition of the GSBLoo algebraic...
متن کامل