Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach

ContextModel-Driven Development (MDD) is an alternative approach for information systems development. The basic underlying concept of this approach is the definition of abstract models that can be transformed to obtain models near implementation. One fairly widespread proposal in this sphere is that of Model Driven Architecture (MDA). Business process models are abstract models which additionally contain key information about the tasks that are being carried out to achieve the company’s goals, and two notations currently exist for modelling business processes: the Unified Modelling Language (UML), through activity diagrams, and the Business Process Modelling Notation (BPMN).ObjectiveOur research is particularly focused on security requirements, in such a way that security is modelled along with the other aspects that are included in a business process. To this end, in earlier works we have defined a metamodel called secure business process (SBP), which may assist in the process of developing software as a source of highly valuable requirements (including very abstract security requirements), which are transformed into models with a lower abstraction level, such as analysis class diagrams and use case diagrams through the approach presented in this paper.MethodWe have defined all the transformation rules necessary to obtain analysis class diagrams and use case diagrams from SBP, and refined them through the characteristic iterative process of the action-research method.ResultsWe have obtained a set of rules and a checklist that make it possible to automatically obtain a set of UML analysis classes and use cases, starting from SBP models. Our approach has additionally been applied in a real environment in the area of the payment of electrical energy consumption.ConclusionsThe application of our proposal shows that our semi-automatic process can be used to obtain a set of useful artifacts for software development processes.     

Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners

The international planning competition (IPC) is an important driver for planning research. The general goals of the IPC include pushing the state of the art in planning technology by posing new scientific challenges, encouraging direct comparison of planning systems and techniques, developing and improving a common planning domain definition language, and designing new planning domains and problems for the research community. This paper focuses on the deterministic part of the fifth international planning competition (IPC5), presenting the language and benchmark domains that we developed for the competition, as well as a detailed experimental evaluation of the deterministic planners that entered IPC5, which helps to understand the state of the art in the field.We present an extension of pddl, called pddl3, allowing the user to express strong and soft constraints about the structure of the desired plans, as well as strong and soft problem goals. We discuss the expressive power of the new language focusing on the restricted version that was used in IPC5, for which we give some basic results about its compilability into pddl2. Moreover, we study the relative performance of the IPC5 planners in terms of solved problems, CPU time, and plan quality; we analyse their behaviour with respect to the winners of the previous competition; and we evaluate them in terms of their capability of dealing with soft goals and constraints, and of finding good quality plans in general. Overall, the results indicate significant progress in the field, but they also reveal that some important issues remain open and require further research, such as dealing with strong constraints and computing high quality plans in metric-time domains and domains involving soft goals or constraints.     

Computerized design of advanced straight and skew bevel gears produced by precision forging

The computerized design of advanced straight and skew bevel gears produced by precision forging is proposed. Modifications of the tooth surfaces of one of the members of the gear set are proposed in order to localize the bearing contact and predesign a favorable function of transmission errors. The proposed modifications of the tooth surfaces will be computed by using a modified imaginary crown-gear and applied in manufacturing through the use of the proper die geometry. The geometry of the die is obtained for each member of the gear set from their theoretical geometry obtained considering its generation by the corresponding imaginary crown-gear. Two types of surface modification, whole and partial crowning, are investigated in order to get the more effective way of surface modification of skew and straight bevel gears. A favorable function of transmission errors is predesigned to allow low levels of noise and vibration of the gear drive. Numerical examples of design of both skew and straight bevel gear drives are included to illustrate the advantages of the proposed geometry.     

Transmission of population-coded information

As neural activity is transmitted through the nervous system, neuronal noise degrades the encoded information and limits performance. It is therefore important to know how information loss can be prevented. We study this question in the context of neural population codes. Using Fisher information, we show how information loss in a layered network depends on the connectivity between the layers. We introduce an algorithm, reminiscent of the water filling algorithm for Shannon information that minimizes the loss. The optimal connection profile has a center-surround structure with a spatial extent closely matching the neurons' tuning curves. In addition, we show how the optimal connectivity depends on the correlation structure of the trial-to-trial variability in the neuronal responses. Our results explain how optimal communication of population codes requires the center-surround architectures found in the nervous system and provide explicit predictions on the connectivity parameters.     

A Mixed Closure-CSP Method for Solving Scheduling Problems

Scheduling problems can be viewed as a set of temporal metric and disjunctive constraints and so they can be formulated in terms of CSP techniques. In the literature, there are CSP-based methods which sequentially interleave search efforts with the application of consistency enforcing mechanisms and variable/ordering heuristics. Therefore, the number of backtrackings needed to obtain a solution is reduced. In this paper, we propose a new method that effectively integrates the CSP process into a limited closure process: not by interleaving them but rather as a part of the same process. Such an integration allows us to define more informed heuristics. These heuristics are used to limit the complete closure process to a maximum number of disjunctions, thereby reducing its complexity while at the same time reducing the search space. Some open disjunctive solutions can be maintained in the CSP process, limiting the number of backtrackings necessary, and avoiding having to know all the problem constraints in advance. Our experiments with flow-shop and job-shop instances show that this approach obtains a feasible solution/optimal solution without having to use backtracking in most cases. We also analyze the behaviour of our algorithm when some constraints are known dynamically and we demonstrate that it can provide better results than a pure CSP process.     

Neurotrophic control of ovarian development

Substantial evidence now exists indicating that the neurotrophins, a family of growth factors required for the survival, development, and differentiation of various neuronal populations of the nervous system, are also important for the development of nonneuronal tissues. Such a function was first suggested by studies showing the presence of high-affinity neurotrophin receptors in a variety of nonneuronal tissues including those of the cardiovascular, endocrine, immune, and reproductive systems. Within the latter, the gonads appear to be a preferential site of neurotrophin action as suggested by the presence in the mammalian ovary of at least four of the five known neurotrophins and all of the neurotrophin receptors thus far identified. While the various functions that the neurotrophins may have in the ovary are still being elucidated, it is now clear that in addition to recruiting the ovarian innervation, they play a direct role in the regulation of two different maturational periods that are critical for the acquisition of female reproductive function: early follicular development and ovulation. Neurotrophins facilitate the development of newly formed follicles by promoting the initial differentiation and the subsequent growth of primordial follicles. These actions appear to be related to the ability of neurotrophins to sustain the proliferation of both mesenchymal and granulosa cells, and to induce the synthesis of follicle stimulating hormone (FSH) receptors. At the time of the first ovulation, neurotrophins contribute to the ovulatory cascade by increasing prostaglandin E(2) release, reducing gap junction communication, and inducing cell proliferation within the thecal compartment of preovulatory follicles.     

Incorporation of polyfluorenes into poly(lactic acid) films for sensor and optoelectronics applications

Films of neat and plasticized biodegradable poly(lactic acid) (PLA) matrices containing anionic conjugated polyelectrolytes, poly[9,9‐bis(4‐phenoxybutylsulfonate)]fluorene‐2,7‐diyl‐alt‐arylenes, with 1,4‐phenylene and 4,4″‐p‐terphenylene, respectively, as arylene groups or a neutral poly(9,9‐dialkylfluorene) for comparison were prepared by solution casting. These films were characterized using differential scanning calorimetry, thermogravimetry, scanning electron microscopy and fluorescence spectroscopy. In addition, the effects of plasticizer on the thermal properties and the oxygen permeability of the PLA films were measured through the oxygen transmission rate. Results show that it is possible to obtain thin, optically transparent and luminescent films with potential in oxygen sensing, exhibiting good thermal and photochemical stability. At high polyelectrolyte content, evidence is found for phase separation and aggregate formation and it is no longer possible to obtain completely homogeneous films. The possibility of incorporating the cationic metal complex tris(2,2′‐bipyridyl)ruthenium(II) into plasticized PLA films containing conjugated polyelectrolytes for dual‐wavelength ratiometric luminescence sensing is also discussed. Copyright © 2012 Society of Chemical Industry     

Rate-Controlling Mechanisms in the Photo-degradation of 5-Hydroxymethylfurfural

Rate-controlling mechanisms in the photo-degradation of 5-hydroxymethylfurfural (HMF) were studied applying kinetic and thermodynamic compensations. Aqueous solutions of HMF were prepared at a concentration of 100 mg L^?1 and at pH values of 3, 3.4, 4, and 5. The UV irradiation of samples was performed in an installation consisting of a black chamber containing the reactor and a mid-pressure mercury lamp with emission wavelengths between 250 and 740 nm. Every sample was irradiated at 12, 25, 35, and 45 °C for 120 min, analyzing their HMF content each 10 min. The photo-degradation data fitted well to zero-order kinetic model, and the constant values were used to study whether the kinetic and thermodynamic compensation could be applied. The isokinetic temperature was very similar for kinetic compensation (T_B?=?278.0 K) and thermodynamic compensation (T_B?=?277.8 K). Applying the Leffler’s criterion, the HMF photo-degradation was entropically controlled, probably as a consequence of hydrophobic interactions. In order to check the entropical control, two experiments were repeated at pH 3 but avoiding agitation. As the new obtained kinetic constants were highly different from the values previously obtained using agitation, it can be concluded that the HMF photo-degradation is an entropy-controlled process and can be speeded up by changing non-thermal parameters, like agitation.     

A Meta-analysis on Classification Model Performance in Real-World Datasets: An Exploratory View

The No Free Lunch (NFL) Theorem imposes a theoretical restriction on optimization algorithms and their equal average performance on different problems, under some particular assumptions. Nevertheless, when brought into practice, a perceived “ranking” on the performance is usually perceived by engineers developing machine learning applications. Questions that naturally arise are what kinds of biases the real world has and in which ways can we take advantage from them. Using exploratory data analysis (EDA) on classification examples, we gather insight on some traits that set apart algorithms, datasets and evaluation measures and to what extent the NFL theorem, a theoretical result, applies under typical real-world constraints.