User-centric product derivation in software product lines

Software Product Line (SPL) engineering aims at achieving efficient development of software products in a specific domain. New products are obtained via a process which entails creating a new configuration specifying the desired product’s features. This configuration must necessarily conform to a variability model, that describes the scope of the SPL, or else it is not viable. To ensure this, configuration tools are used that do not allow invalid configurations to be expressed. A different concern, however, is making sure that a product addresses the stakeholders’ needs as best as possible. The stakeholders may not be experts on the domain, so they may have unrealistic expectations. Also, the scope of the SPL is determined not only by the domain but also by limitations of the development platforms. It is therefore possible that the desired set of features goes beyond what is possible to currently create with the SPL. This means that configuration tools should provide support not only for creating valid products, but also for improving satisfaction of user concerns. We address this goal by providing a user-centric configuration process that offers suggestions during the configuration process, based on the use of soft constraints, and identifying and explaining potential conflicts that may arise. Suggestions help mitigating stakeholder uncertainty and poor domain knowledge, by helping them address well known and desirable domain-related concerns. On the other hand, automated conflict identification and explanation helps the stakeholders to understand the trade-offs required for realizing their vision, allowing informed resolution of conflicts. Additionally, we propose a prototype-based approach to configuration, that addresses the order-dependency issues by allowing the complete (or partial) specification of the features in a single step. A subsequent resolution process will then identify possible repairs, or trade-offs, that may be required for viabilization.

Automating the product derivation process of multi-agent systems product lines

Agent-oriented software engineering and software product lines are two promising software engineering techniques. Recent research work has been exploring their integration, namely multi-agent systems product lines (MAS-PLs), to promote reuse and variability management in the context of complex software systems. However, current product derivation approaches do not provide specific mechanisms to deal with MAS-PLs. This is essential because they typically encompass several concerns (e.g., trust, coordination, transaction, state persistence) that are constructed on the basis of heterogeneous technologies (e.g., object-oriented frameworks and platforms). In this paper, we propose the use of multi-level models to support the configuration knowledge specification and automatic product derivation of MAS-PLs. Our approach provides an agent-specific architecture model that uses abstractions and instantiation rules that are relevant to this application domain. In order to evaluate the feasibility and effectiveness of the proposed approach, we have implemented it as an extension of an existing product derivation tool, called GenArch. The approach has also been evaluated through the automatic instantiation of two MAS-PLs, demonstrating its potential and benefits to product derivation and configuration knowledge specification.

Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

Uma abordagem dirigida por modelos para gerência de variabilidade e execução de processos de software

This dissertation presents a model-driven and integrated approach to variability management, customization and execution of software processes. Our approach is founded on the principles and techniques of software product lines and model-driven engineering. Model-driven engineering provides support to the specification of software processes and their transformation to workflow specifications. Software product lines techniques allows the automatic variability management of process elements and fragments. Additionally, in our approach, workflow technologies enable the process execution in workflow engines. In order to evaluate the approach feasibility, we have implemented it using existing model-driven engineering technologies. The software processes are specified using Eclipse Process Framework (EPF). The automatic variability management of software processes has been implemented as an extension of an existing product derivation tool. Finally, ATL and Acceleo transformation languages are adopted to transform EPF process to jPDL workflow language specifications in order to enable the deployment and execution of software processes in the JBoss BPM workflow engine. The approach is evaluated through the modeling and modularization of the project management discipline of the Open Unified Process (OpenUP)

Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems

When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.

Modelling thermodynamic properties of banana waste by analytical derivation of desorption isotherms

Banana is an agricultural product of great economic importance for various developing countries. The relationship between moisture content and water activity provides useful information for the processing and storage of banana waste. The water activity and moisture content of three banana (Mussa spp. Haploid AAB cv. Nanica) waste items were analyzed to determine the desorption isotherms at six different temperatures (20, 30, 40, 50, 60 and 70°C). The desorption isotherms of the peel, pedicel and pulp of overripe bananas were determined in wide ranges of moisture content (0.001-6.360 kg kg-1 d.b.) and water activity (0.02-0.907). The theoretical GAB model was used for modelling the desorption isotherms. An analytical solution of the Clausius-Clapeyron equation was proposed to compute the isosteric heat of sorption, the differential entropy and Gibbs' free energy by way of the GAB model when the effect of temperature on the hygroscopic equilibrium was considered. © 2012 de Gruyter. All rights reserved.

RNS derivation of N-point disk amplitudes from the revisited S-matrix approach

Recently, in [7] we proposed a revisited S-matrix approach to efficiently find the bosonic terms of the open superstring low energy effective lagrangian (OSLEEL). This approach allows to compute the alpha'(N) terms of the OSLEEL using open superstring n-point amplitudes in which n is considerably lower than (N + 2) (which is the order of the required amplitude to obtain those alpha'(N) terms by means of the conventional S-matrix approach). In this work we use our revisited S-matrix approach to examine the structure of the scattering amplitudes, arriving at a closed form for them. This is a RNS derivation of the formula first found by Mafra, Schlotterer and Stieberger [21], using the pure spinor formalism. We have succeeded doing this for the 5, 6 and 7-point amplitudes. In order to achieve these results we have done a careful analysis of the kinematical structure of the amplitudes, finding as a by-product a purely kinematical derivation of the BCJ relations (for N = 4, 5, 6 and 7). Also, following the spirit of the revisited S-matrix approach, we have found the alpha' expansions for these amplitudes up to alpha'(6) order in some cases, by only using the well known open superstring 4-point amplitude, cyclic symmetry and tree level unitarity: we have not needed to compute any numerical series or any integral involving polylogarithms, at any moment. (C) 2014 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/3.0/).

On Queueinginventory Models – product form solution; reservation, Cancellation and common life time

Queueing theory is the mathematical study of ‘queue’ or ‘waiting lines’ where an item from inventory is provided to the customer on completion of service. A typical queueing system consists of a queue and a server. Customers arrive in the system from outside and join the queue in a certain way. The server picks up customers and serves them according to certain service discipline. Customers leave the system immediately after their service is completed. For queueing systems, queue length, waiting time and busy period are of primary interest to applications. The theory permits the derivation and calculation of several performance measures including the average waiting time in the queue or the system, mean queue length, traffic intensity, the expected number waiting or receiving service, mean busy period, distribution of queue length, and the probability of encountering the system in certain states, such as empty, full, having an available server or having to wait a certain time to be served.

On the Wick product and Wong-Zakai approximations.

This thesis is a compilation of 6 papers that the author has written together with Alberto Lanconelli (chapters 3, 5 and 8) and Hyun-Jung Kim (ch 7). The logic thread that link all these chapters together is the interest to analyze and approximate the solutions of certain stochastic differential equations using the so called Wick product as the basic tool. In the first chapter we present arguably the most important achievement of this thesis; namely the generalization to multiple dimensions of a Wick-Wong-Zakai approximation theorem proposed by Hu and Oksendal. By exploiting the relationship between the Wick product and the Malliavin derivative we propose an original reduction method which allows us to approximate semi-linear systems of stochastic differential equations of the Itô type. Furthermore in chapter 4 we present a non-trivial extension of the aforementioned results to the case in which the system of stochastic differential equations are driven by a multi-dimensional fraction Brownian motion with Hurst parameter bigger than 1/2. In chapter 5 we employ our approach and present a “short time” approximation for the solution of the Zakai equation from non-linear filtering theory and provide an estimation of the speed of convergence. In chapters 6 and 7 we study some properties of the unique mild solution for the Stochastic Heat Equation driven by spatial white noise of the Wick-Skorohod type. In particular by means of our reduction method we obtain an alternative derivation of the Feynman-Kac representation for the solution, we find its optimal Hölder regularity in time and space and present a Feynman-Kac-type closed form for its spatial derivative. Chapter 8 treats a somewhat different topic; in particular we investigate some probabilistic aspects of the unique global strong solution of a two dimensional system of semi-linear stochastic differential equations describing a predator-prey model perturbed by Gaussian noise.

Antioxidant And Antiproliferative Activities Of Methanolic Extract From A Neglected Agricultural Product: Corn Cobs.

Neglected agricultural products (NAPs) are defined as discarded material in agricultural production. Corn cobs are a major waste of agriculture maize. Here, a methanolic extract from corn cobs (MEC) was obtained. MEC contains phenolic compounds, protein, carbohydrates (1.4:0.001:0.001). We evaluated the in vitro and in vivo antioxidant potential of MEC. Furthermore, its antiproliferative property against tumor cells was assessed through MTT assays and proteins related to apoptosis in tumor cells were examined by western blot. MEC showed no hydroxyl radical scavenger capacity, but it showed antioxidant activity in Total Antioxidant Capacity and DPPH scavenger ability assays. MEC showed higher Reducing Power than ascorbic acid and exhibited high Superoxide Scavenging activity. In tumor cell culture, MEC increased catalase, metallothionein and superoxide dismutase expression in accordance with the antioxidant tests. In vivo antioxidant test, MEC restored SOD and CAT, decreased malondialdehyde activities and showed high Trolox Equivalent Antioxidant Capacity in animals treated with CCl4. Furthermore, MEC decreased HeLa cells viability by apoptosis due an increase of Bax/Bcl-2 ratio, caspase 3 active. Protein kinase C expression increased was also detected in treated tumor cells. Thus, our findings pointed out the biotechnological potential of corn cobs as a source of molecules with pharmacological activity.

Systematic Management of Variability in UML-based Software Product Lines

This paper presents SMarty, a variability management approach for UML-based software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a process for managing variabilities, the SMartyProcess. SMartyProfile aims at representing variabilities, variation points, and variants in UML models by applying a set of stereotypes. SMartyProcess consists of a set of activities that is systematically executed to trace, identify, and control variabilities in a PL based on SMarty. It also identifies variability implementation mechanisms and analyzes specific product configurations. In addition, a more comprehensive application of SMarty is presented using SEI's Arcade Game Maker PL. An evaluation of SMarty and related work are discussed.

Quasi-elastic barrier distribution of the (17)O+(64)Zn system and the derivation of the (17)O nuclear matter diffuseness

The quasi-elastic excitation function for the (17)O+(64)Zn system was measured at energies near and below the Coulomb barrier, at the backward angle theta(lab) = 161 degrees. The corresponding quasi-elastic barrier distribution was derived. The excitation function for the neutron stripping reactions was also measured, at the same angle and energies, and the experimental values of the spectroscopic factors were deduced by fitting the data. A reasonably good agreement was obtained between the experimental quasi-elastic barrier distribution with the coupled-channel calculations including a very large number of channels. Of the channels investigated, three dominated the coupling matrix: two inelastic channels, (64)Zn(2(1)(+)) and (17)O(1/(+)(2)), and one-neutron transfer channel, particularly the first one. On the other hand, a very good agreement is obtained when we use a nuclear diffuseness for the (17)O nucleus larger than the one for (16)O. We verify that quasi-elastic barrier distribution is a sensitive tool for determining nuclear matter diffuseness.

Direct evidence of singlet molecular oxygen generation from peroxynitrate, a decomposition product of peroxynitrite

The decomposition of peroxynitrite to nitrite and dioxygen at neutral pH follows complex kinetics, compared to its isomerization to nitrate at low pH. Decomposition may involve radicals or proceed by way of the classical peracid decomposition mechanism. Peroxynitrite (ONOOH/ONOO(-)) decomposition has been proposed to involve formation of peroxynitrate (O(2)NOOH/O(2)NOO(-)) at neutral pH (D. Gupta, B. Harish, R. Kissner and W. H. Koppenol, Dalton Trans., 2009, DOI: 10.1039/b905535e, see accompanying paper in this issue). Peroxynitrate is unstable and decomposes to nitrite and dioxygen. This study aimed to investigate whether O(2)NOO(-) formed upon ONOOH/ONOO(-) decomposition generates singlet molecular oxygen [O(2) ((1)Delta(g))]. As unequivocally revealed by the measurement of monomol light emission in the near infrared region at 1270 nm and by chemical trapping experiments, the decomposition of ONOO(-) or O(2)NOOH at neutral to alkaline pH generates O(2) ((1)Delta(g)) at a yield of ca. 1% and 2-10%, respectively. Characteristic light emission, corresponding to O(2) ((1)Delta(g)) monomolecular decay was observed for ONOO(-) and for O(2)NOOH prepared by reaction of H(2)O(2) with NO(2)BF(4) and of H(2)O(2) with NO(2)(-) in HClO(4). The generation of O(2) ((1)Delta(g)) from ONOO(-) increased in a concentration-dependent manner in the range of 0.1-2.5 mM and was dependent on pH, giving a sigmoid pro. le with an apparent pK(a) around pD 8.1 (pH 7.7). Taken together, our results clearly identify the generation of O(2) ((1)Delta(g)) from peroxynitrate [O(2)NOO(-) -> NO(2)(-) + O(2) ((1)Delta(g))] generated from peroxynitrite and also from the reactions of H(2)O(2) with either NO(2)BF(4) or NO(2)(-) in acidic media.

Fermentation of cacao (Theobroma cacao L.) seeds with a hybrid Kluyveromyces marxianus strain improved product quality attributes

Fermentation of Theobroma cacao (cacao) seeds is an absolute requirement for the full development of chocolate flavor precursors. An adequate aeration of the fermenting cacao seed mass is a fundamental prerequisite for a satisfactory fermentation. Here, we evaluated whether a controlled inoculation of cacao seed fermentation using a Kluyveromyces marxianus hybrid yeast strain, with an increased pectinolytic activity, would improve an earlier liquid drainage (`sweatings`) from the fermentation mass, developing a superior final product quality. Inoculation with K. marxianus increased by one third the volume of drained liquid and affected the microorganism population structure during fermentation, which was detectable up to the end of the process. Introduction of the hybrid yeast affected the profile of total seed protein degradation evaluated by polyacrylamide gel electrophoresis, with improved seed protein degradation, and reduction of titrable acidity. Sensorial evaluation of the chocolate obtained from beans fermented with the K. marxianus inoculation was more accepted by analysts in comparison with the one from cocoa obtained through natural fermentation. The increase in mass aeration during the first 24 h seemed to be fundamental for the improvement of fermentation quality, demonstrating the potential application of this improved hybrid yeast strain with superior exogenous pectinolytic activity.