A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering

Software Product Line Engineering (SPLE) is a software reuse paradigm for developing software products, from managed reusable assets, based on analysis of commonality and variability (C & V) of a product line. Many approaches of SPLE use a feature as a key abstraction to capture the C&V. Recently, there have been increasing demands for the provision of flexibility about not only the variability of features but also the variability of when features should be selected (i.e., variability on feature binding times). Current approaches to support variations of feature binding time mostly focused on ad hoc implementation mechanisms. In this paper, we first identify the challenges of feature binding time management and then propose an approach to analyze the variation of feature binding times and use the results to specify model-based architectural components for the product line. Based on the specification, components implementing variable features are parameterized with the binding times and the source codes for the components and the connection between them are generated

Traceability for Model Driven, Software Product Line Engineering

Traceability is an important challenge for software organizations. This is true for traditional software development and even more so in new approaches that introduce more variety of artefacts such as Model Driven development or Software Product Lines. In this paper we look at some aspect of the interaction of Traceability, Model Driven development and Software Product Line

Towards Product Lining Model-Driven Development Code Generators

A code generator systematically transforms compact models to detailed code. Today, code generation is regarded as an integral part of model-driven development (MDD). Despite its relevance, the development of code generators is an inherently complex task and common methodologies and architectures are lacking. Additionally, reuse and extension of existing code generators only exist on individual parts. A systematic development and reuse based on a code generator product line is still in its infancy. Thus, the aim of this paper is to identify the mechanism necessary for a code generator product line by (a) analyzing the common product line development approach and (b) mapping those to a code generator specific infrastructure. As a first step towards realizing a code generator product line infrastructure, we present a component-based implementation approach based on ideas of variability-aware module systems and point out further research challenges.Comment: 6 pages, 1 figure, Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, pp. 539-545, Angers, France, SciTePress, 201

A Product Line Systems Engineering Process for Variability Identification and Reduction

Software Product Line Engineering has attracted attention in the last two decades due to its promising capabilities to reduce costs and time to market through reuse of requirements and components. In practice, developing system level product lines in a large-scale company is not an easy task as there may be thousands of variants and multiple disciplines involved. The manual reuse of legacy system models at domain engineering to build reusable system libraries and configurations of variants to derive target products can be infeasible. To tackle this challenge, a Product Line Systems Engineering process is proposed. Specifically, the process extends research in the System Orthogonal Variability Model to support hierarchical variability modeling with formal definitions; utilizes Systems Engineering concepts and legacy system models to build the hierarchy for the variability model and to identify essential relations between variants; and finally, analyzes the identified relations to reduce the number of variation points. The process, which is automated by computational algorithms, is demonstrated through an illustrative example on generalized Rolls-Royce aircraft engine control systems. To evaluate the effectiveness of the process in the reduction of variation points, it is further applied to case studies in different engineering domains at different levels of complexity. Subject to system model availability, reduction of 14% to 40% in the number of variation points are demonstrated in the case studies.Comment: 12 pages, 6 figures, 2 tables; submitted to the IEEE Systems Journal on 3rd June 201

Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules

Software Product Line Engineering (SPLE) is a software engineering paradigm that focuses on reuse and variability. Although feature-oriented programming (FOP) can implement software product line efficiently, we still need a method to generate and prove correctness of all product variants more efficiently and automatically. In this context, we propose to manipulate feature modules which contain three kinds of artifacts: specification, code and correctness proof. We depict a methodology and a platform that help the user to automatically produce correct-by-construction product variants from the related feature modules. As a first step of this project, we begin by proposing a language, GFML, allowing the developer to write such feature modules. This language is designed so that the artifacts can be easily reused and composed. GFML files contain the different artifacts mentioned above.The idea is to compile them into FoCaLiZe, a language for specification, implementation and formal proof with some object-oriented flavor. In this paper, we define and illustrate this language. We also introduce a way to compose the feature modules on some examples.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for higher-order process modeling. Tamed by our underlying strict service-oriented notion of abstraction, this approach is tailored also to be used by application experts with little technical knowledge: users can select, modify, construct and then pass (component) processes during process execution as if they were data. We illustrate the impact and essence of our framework along a concrete, realistic (business) process modeling scenario: the development of Springer's browser-based Online Conference Service (OCS). The most advanced feature of our new framework allows one to combine online synthesis with the integration of the synthesized process into the running application. This ability leads to a particularly flexible way of implementing self-adaption, and to a particularly concise and powerful way of achieving variability not only at design time, but also at runtime.Comment: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.455

Towards an aspect weaving BPEL engine

This position paper proposes the use of dynamic aspects and the visitor design pattern to obtain a highly configurable and extensible BPEL engine. Using these two techniques, the core of this infrastructural software can be customised to meet new requirements and add features such as debugging, execution monitoring, or changing to another Web Service selection policy. Additionally, it can easily be extended to cope with customer-specific BPEL extensions. We propose the use of dynamic aspects not only on the engine itself but also on the workflow in order to tackle the problems of Web Service hot deployment and hot fixes to long running processes. In this way, composing aWeb Service "on-the-fly" means weaving its choreography interface into the workflow

Trapping and Characterization of a Reaction Intermediate in Carbapenem Hydrolysis by \u3cem\u3eB. cereus\u3c/em\u3e Metallo-β-lactamase

Metallo-β-lactamases hydrolyze most β-lactam antibiotics. The lack of a successful inhibitor for them is related to the previous failure to characterize a reaction intermediate with a clinically useful substrate. Stopped-flow experiments together with rapid freeze−quench EPR and Raman spectroscopies were used to characterize the reaction of Co(II)−BcII with imipenem. These studies show that Co(II)−BcII is able to hydrolyze imipenem in both the mono- and dinuclear forms. In contrast to the situation met for penicillin, the species that accumulates during turnover is an enzyme−intermediate adduct in which the β-lactam bond has already been cleaved. This intermediate is a metal-bound anionic species with a novel resonant structure that is stabilized by the metal ion at the DCH or Zn2 site. This species has been characterized based on its spectroscopic features. This represents a novel, previously unforeseen intermediate that is related to the chemical nature of carbapenems, as confirmed by the finding of a similar intermediate for meropenem. Since carbapenems are the only substrates cleaved by B1, B2, and B3 lactamases, identification of this intermediate could be exploited as a first step toward the design of transition-state-based inhibitors for all three classes of metallo-β-lactamases

Characterization of the Active Site and Insight into the Binding Mode of the Anti-angiogenesis Agent Fumagillin to the Manganese(II)-Loaded Methionyl Aminopeptidase from \u3cem\u3eEscherichia coli\u3c/em\u3e

EPR spectra were recorded for methionine aminopeptidase from Escherichia coli (EcMetAP-I) samples (~2.5 mM) to which one and two equivalents of Mn(II) were added (the latter is referred to as [MnMn(EcMetAP-I)]). The spectra for each sample were indistinguishable except that the spectrum of [MnMn(EcMetAP-I)] was twice as intense. The EPR spectrum of [MnMn(EcMetAP-I)] exhibited the characteristic six-line g≈2 EPR signal of mononuclear Mn(II) with A av(55Mn)=9.3 mT (93 G) and exhibited Curie-law temperature dependence. This signal is typical of Mn(II) in a ligand sphere comprising oxygen and/or nitrogen atoms. Other features in the spectrum were observed only as the temperature was raised from that of liquid helium. The temperature dependences of these features are consistent with their assignment to excited state transitions in the S=1, 2 ... 5 non-Kramer’s doublets, due to two antiferromagnetically coupled Mn(II) ions with an S=0 ground state. This assignment is supported by the observation of a characteristic 4.5 mT hyperfine pattern, and by the presence of signals in the parallel mode consistent with a non-Kramers’ spin ladder. Upon the addition of the anti-angiogenesis agent fumagillin to [MnMn(EcMetAP-I)], very small changes were observed in the EPR spectrum. MALDI-TOF mass spectrometry indicated that fumagillin was, however, covalently coordinated to EcMetAP-I. Therefore, the inhibitory action of this anti-angiogenesis agent on EcMetAP-I appears to involve covalent binding to a polypeptide component at or near the active site rather than direct binding to the metal ions