AbstractSIMPLE, Structured Intuitive Model of Product Line Economics, provides a technique for modeling the costs and benefits of a software product line over its life time. Several scenarios of product line development have been identified and the equations developed for those scenarios. The SIMPLE technique was intended for creating quantitative estimates. In this issue of Strategic Software Engineering I want to discuss a qualitative approach to building SIMPLE arguments for use when obtaining exact numbers may be impractical. 1 INTRODUCTIONTeams planning to adopt the software product line strategy often must develop a series of justifications and evaluations before receiving approval for full adoption. The initial justifications are usually intended to convince a manager to approve funds to conduct a more detailed study. Usually obtaining exact numeric data is resource intensive and outside the scope of an initial investigation. On the other hand, the initial investigation serves no purpose if it does not analyze information of sufficient importance to make a believeable conclusion. In lieu of specific data, the study team must bring their personal experiences to bear on the problem. That means the study group should be as diverse as the skills required for the product line strategy. The Software Engineering Institute's Framework for Product Line Practice describes 29 practice areas that define the software product line strategy. That does not mean the team needs 29 people. The practice areas are divided into software engineering, technical management, and organizational management. Usually an initial team of 5 to 7 people can cover these areas adequately, when they can quickly call upon other experts in the organization. The study team makes models to support their investigation. There are several ways in which a qualitative model can be constructed. They may define the models using text or they may create a more formal model using some notation. Exact values can be replaced by ranges of values. Precise comparisons can be replaced by rankings and constraints. We can go further and use the elements of qualitative reasoning to build models that can be animated and reveal basic possibilities. In this paper I will explore a technique for building economic models of software product line organizations. The technique was the result of a collaboration of several people and is being extended and nutured by the Software Engineering Institute (SEI). I will explain the basic model and then I will illustrate a variety of ways that it can be used. I will show fragments of a couple of tools that can be used to support decisions about product line adoption. 2 SIMPLEThe Structured Intuitive Model of Product Line Economics (SIMPLE) provides a set of functions that account for the expenses and benefits of building the product line and operating the product line organization [Clements 05]. We took the approach of using cost and benefit functions without defining a specific implementation of the cost functions to allow the maximum flexibility for the modeler. For a specific situation, often defined by scenarios, the modeler determines the best implementation for the function. A basic cost model consists of the set of four cost functions given in the expression (In equation (1) the n indicates the number of products.):
The following addiitonal functions are in the SIMPLE bag of tricks and can be used to construct various views of the costs and benefits of product line practices.
The functions discussed in this section have appeared in a variety of publications with differing numbers of parameters. These include the following:
Using SIMPLEOne approach to using SIMPLE is to build cost estimates using the Framework for Product Line Practices [SEI 08]. Figure 1 shows a portion of a spreadsheet for computing estimates for product line costs and benefits. For each practice area, the cost of that practice area is allocated across the four cost functions. For an early estimate in an initial study, having this breakdown can help the manager focus on an individual item at a time. To compensate for the quality of the estimates of costs and benefits on the individual practices we use a Monte Carlo simulation. The columns to the right of the cost estimates define intervals over which the estimated values should be jittered. The intervals are symmetric so a single value is used. The more confidence we have in the correctness of the estimate the smaller we make the interval. Figure 1 - SIMPLE Spreadsheet The simulation is run several thousand times. Using a normal distribution the mean value is used as the estimate. The resulting values can be analyzed in a number of ways. Note the cell labeled "Year" in the spreadsheet. In this engagement we were creating estimates on a yearly basis. Each year is represented by a separate sheet. This longitudinal look provides the opportunity to play what-if with the distribution of activities. To make this longitudinal view useful, the Net Present Value (NPV) is used to adjust costs in the future to the common base of costs today. Figure 2 - Three essential activities by year Figure 2 shows a graph that captures the cost behavior of the practice areas over an assumed 4 year life cycle of the product line. Figure 3 shows a graph that captures the behavior of the four cost functions over the 4 year life cycle. The increase in Ccab in year 3 is the result of a refresh of core assets. As expected, the line for Cunique reflects no consistent trend. Some products will have more unique features than others and will not necessarily show up at any specific point in the time line. Corg slowly declines as processes become routine, and in some cases automated. Creuse trends down slowly as the product development staff becomes more familiar with the assets.Figure 3 - Cost functions by year RelationshipsThere are relationships among various costs that the modeler should keep in mind in making estimates for the cost functions. Some of these relationships directly involve these functions and some are more indirect depending on outside influence. Here are some we have identified over time. As n increases there is probably an increase in the cost of building the core assets. Even though Ccab is listed as a fixed cost outside the summation, there is an influence. As n increases there is probably an increase in the organizational costs. There may be more support staff needed and other related costs. Even though Corg is list as a fixed cost outside the summation, there is an influence. As Ccab increases because of increased automation, the Creuse probably decreases. Automated assets will be harder to construct but easier to use. As the core asset base evolves toward a configurable platform [Bosch 02], C unique will decrease. The smaller the development team the more rapidly Creuse will decrease as the developers become familiar with the core assets. Over time some unique pieces will migrate and be promoted to core assets. Cunique will decrease and Ccab will increase but the increase should be offset by multiple uses of the new core asset. The net result of a promotion should be a decrease in total costs. 3 QUALITATIVE SIMPLEDuring the initial stages of a study to determine whether or not to adopt the product line strategy it is often sufficient to consider relative costs rather than exact, total costs for each scenario. A relative comparison of costs among scenarios allows readers to focus on relationships among costs and what will happen to these costs as changes occur in the product line. I often create a comparison table in which multiple options can be described in terms relative to each other. Table 1 shows a very small example of such a table. The users of this table evaluate the scenarios for each cost and benefit and judge which scenario is best for the current state of the product line organization. In Table 1 scenario #1 has more advantages.Table 1 - Qualitative comparison The scenarios are usually more detailed than the ones in Table 1 and the best selection is harder to judge. Qualitative modeling is a more formal approach that provides the ability to evaluate conflicting forces more accurately at the expense of more time and effort to build the model. The model fragment in Figure 4 shows a fundamental structural relationship between a product and the product line: a product line contains products. Other fragments will relate core assets and unique pieces to the product line.Figure 4 - Structural relationship Qualitative reasoning provides a technique for modeling entities, quantities and interactions without numeric values. In Figure 5, a product and the core asset base are related via a "positive proportionality" (P+) between the number of products and the cost of the core asset base. This fragment models the fact that as the number of products is increasing the cost of the core asset base also increases. The cost is modeled using a quantity space in which a quantity is either increasing, decreasing, or constant. The number of products is modeled as a value that is positive with a positive derivative.Figure 5 – Fragment of a qualitative model Figure 4, 5, and 6 were created using Garp3 [Garp 08]. This tool also provides an animation tool that can trace all possible combinations of value states. Scenarios are constructed that identify a stimulus into the model and the initial conditions of the model when the stimulus is received. The animation propagates the stimulus and simulates the propagation of causal actions through the model. The simulation will not necessarily produce a single answer since qualitative arithmetic is ambiguous, but it can reduce the total number of possibilities. Figure 6 shows a scenario, in which the product line manager agent adds a product to the product line. The simulation algorithm will propagate this input and update changes to linked quantities using the arithmetic defined on the quantities. Figure 6 - Qualitative scenario Notice that the "Number of" attribute of Product is measured on the scale of Plus, Zero, and Minus. Beside that scale the arrow is pointing to the upper pointing triangle indicating that the derivative of that quality is increasing. There is a reasoning algorithm for using quantities and their derivatives to further propagate scenario actions allowing a scenario to be evaluated across all the quantity spaces and narrowed to a few possible results. 4 ROIMany product line decisions, particularly the initial adoption decision, are investment decisions and many investment decisions are evaluated on the return that will be realized as a result of the investment. The standard formula for computing return on investment (ROI) is available from many sources including [Answers 08]:
One way to model the benefit from product line adoption is to compare the cost of building the systems in the existing way and building the systems in a product line manner. The Ben function may be included to more accurately reflect the product line benefits but these should only be benefits directly attributable to the product line approach. The ROI in a product line environment could be modeled as [Böckle 04]:
The ROI for a software product line will change over its life as additional investments are made to refresh core assets. In the next section we look briefly at modeling these invetsments. 5 OVER TIMEThe context in which the product line is established changes with time. [Ganesan 06] discusses how a product line organization must refresh the core assets periodically. Essentially these costs are seen in the Ccab and Cunique functions. The technologies, market information, and domain knowledge captured in core assets has a finite life time. In some domains that life time may be quite fast – a few months – or more slowly – a year or more. The SIMPLE model accommodates that life time by computing the model in segments where each segment is approximately the length of time before an asset needs to be refreshed. Remember that the uptick in year 3 for Ccab in Figure 3 reflected a revision of core assets. Over time some of the artifacts that are initially viewed as unique will be promoted into the core asset base. This happens when a product team recognizes the need for the same functionality as has been used in another product. In the promotion to core asset, costs associated with the two occurrences in Cunique are moved to Ccab. Ccab also increases by the amount needed to revise the unique portion to make it reusable. The intent is that over time the reduction in Cunique will be greater than the increase in Ccab. 6 SUMMARYThe initial investigations in product line adoption are high-level, but still critical to the ultimate success of the product line. Decisions about which products to include in the software product line and how to structure the development of the products are economic decisions. These are strategic decisions that involve the commitment of large amounts of resources and may affect the organization for some time in the future. SIMPLE has been used in a number of situations to assist in this type of decision making. SIMPLE helps an organization considering adopting the software product line strategy to build the justification using the costs and benefits related to the practices required for product line success. SIMPLE supports a variety of types of arguments. SIMPLE can support numeric models and qualitative models. The techniques in this article should help make strategically useful models and ultimately lead to correct decisions. ACKNOWLEDGEMENTSThanks to Jared A. Lynch of BAE Systems for insightful comments that greatly improved this paper. REFERENCES[Answers 08] Answers.com. http://www.answers.com/topic/return-on-investment, 2008. [Böckle 04] Günter Böckle, Paul Clements, John D. McGregor, Dirk Muthig, and Klaus Schmid. Calculating ROI for Software Product Lines, IEEE Software, 2004. [Bosch 02] Jan Bosch. Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization, Second Conference Software Product Line Conference, SPLC2, August 2002. [Clements 05] Paul Clements, John D. McGregor, and Sholom G. Cohen. The Structured Intuitive Model for Product Line Economics (SIMPLE), Software Engineering Institute, CMU/SEI-2005-TR-003. [Ganesan 06] Dharmalingam Ganesan, Dirk Mutig, and Kentaro Yoshimura. Predicting Return-on-Investment for Product Line Generations, 10th International Software Product Line Conference (SPLC'06) pp. 13-22, 2006. [Garp 08] Garp3, http://hcs.science.uva.nl/QRM/, 2008. [SEI 08] Software Engineering Institute, www.sei.cmu.edu/productlines, 2008. About the author
John McGregor "Qualitative SIMPLE", in Journal of Object Technology, vol. 7, no. 7, September - October, pp. 7-16 http://www.jot.fm/issues/issue_2008_09/column1/ |
||||||||