Systematic evaluation of software product line architectures

The architecture of a software product line is one of its most important artifacts as it represents an abstraction of the products that can be generated. It is crucial to evaluate the quality attributes of a product line architecture in order to: increase the productivity of the product line process and the quality of the products; provide a means to understand the potential behavior of the products and, consequently, decrease their time to market; and, improve the handling of the product line variability. The evaluation of product line architecture can serve as a basis to analyze the managerial and economical values of a product line for software managers and architects. Most of the current research on the evaluation of product line architecture does not take into account metrics directly obtained from UML models and their variabilities; the metrics used instead are difficult to be applied in general and to be used for quantitative analysis. This paper presents a Systematic Evaluation Method for UML-based Software Product Line Architecture, the SystEM-PLA. SystEM-PLA differs from current research as it provides stakeholders with a means to: (i) estimate and analyze potential products; (ii) use predefined basic UML-based metrics to compose quality attribute metrics; (iii) perform feasibility and trade-off analysis of a product line architecture with respect to its quality attributes; and, (iv) make the evaluation of product line architecture more flexible. An example using the SEI’s Arcade Game Maker (AGM) product line is presented as a proof of concept, illustrating SystEM-PLA activities. Metrics for complexity and extensibility quality attributes are defined and used to perform a trade-off analysis

A corpus-based approach to mind style

Fowler's (Linguistics and the novel, Methuen, 1977) original definition of mind style emphasised consistency as a defining feature of the phenomenon, something that is (i) difficult to measure, and (ii) often missed in qualitative analyses. In this paper we investigate how a computational semantic analysis might be used to address this difficulty, with particular reference to McIntyre's (Journal of Literary Semantics 34: 21–40, 2005) analysis of the deviant mind style of the character of Miss Shepherd in Alan Bennett's play The Lady in the Van. To do this we analyse the speech of all the characters in The Lady in the Van using Wmatrix (Rayson, Matrix: A statistical method and software tool for linguistic analysis through corpus comparison, Lancaster University PhD thesis, 2003, Wmatrix: A web-based corpus processing environment, Lancaster University, 2008), to see whether it provides quantitative support for the interpretative conclusions reached by McIntyre. Wmatrix utilises the UCREL Semantic Annotation System (USAS) which has been designed to undertake the automatic semantic analysis of English. The initial tag-set of the USAS system was loosely based on McArthur's Longman Lexicon of Contemporary English (McArthur, Longman, 1981), but has since been considerably revised in the light of practical tagging problems met in the course of previous research, and now contains 232 category labels (such as medicine and medical treatment, movement, obligation and necessity, etc.). We use Wmatrix's facility for identifying key semantic domains in pursuit of our two main aims: (i) to determine whether Miss Shepherd's odd mind style is consistent, as Fowler's definition suggests it should be; and (ii) to determine the usefulness of computational semantic analysis for investigating mind style

Evaluation of Variability Concepts for Simulink in the Automotive Domain

Modeling variability in Matlab/Simulink becomes more and more important. We took the two variability modeling concepts already included in Matlab/Simulink and our own one and evaluated them to find out which one is suited best for modeling variability in the automotive domain. We conducted a controlled experiment with developers at Volkswagen AG to decide which concept is preferred by developers and if their preference aligns with measurable performance factors. We found out that all existing concepts are viable approaches and that the delta approach is both the preferred concept as well as the objectively most efficient one, which makes Delta-Simulink a good solution to model variability in the automotive domain.Comment: 10 pages, 7 figures, 6 tables, Proceedings of 48th Hawaii International Conference on System Sciences (HICSS), pp. 5373-5382, Kauai, Hawaii, USA, IEEE Computer Society, 201

For Geometric Inference from Images, What Kind of Statistical Model Is Necessary?

In order to facilitate smooth communications with researchers in other fields including statistics, this paper investigates the meaning of "statistical methods" for geometric inference based on image feature points, We point out that statistical analysis does not make sense unless the underlying "statistical ensemble" is clearly defined. We trace back the origin of feature uncertainty to image processing operations for computer vision in general and discuss the implications of asymptotic analysis for performance evaluation in reference to "geometric fitting", "geometric model selection", the "geometric AIC", and the "geometric MDL". Referring to such statistical concepts as "nuisance parameters", the "Neyman-Scott problem", and "semiparametric models", we point out that simulation experiments for performance evaluation will lose meaning without carefully considering the assumptions involved and intended applications

Phase Transitions in Operational Risk

In this paper we explore the functional correlation approach to operational risk. We consider networks with heterogeneous a-priori conditional and unconditional failure probability. In the limit of sparse connectivity, self-consistent expressions for the dynamical evolution of order parameters are obtained. Under equilibrium conditions, expressions for the stationary states are also obtained. The consequences of the analytical theory developed are analyzed using phase diagrams. We find co-existence of operational and non-operational phases, much as in liquid-gas systems. Such systems are susceptible to discontinuous phase transitions from the operational to non-operational phase via catastrophic breakdown. We find this feature to be robust against variation of the microscopic modelling assumptions.Comment: 13 pages, 7 figures. Accepted in Physical Review