Designing and Conducting an Empirical Study on Test Management Automation

Test management aims at organizing, documenting and executing test cases, and at generating execution reports. The adoption of a support tool and of a standard process for such activities is expected to improve the current practice. ITALO is a European project devoted to the evaluation of the benefits coming from test management automation. In this paper the experiences collected and the lessons learned during ITALO are summarized. A formal methodology was adopted for the selection of a support tool among those available from the market. A survey of the current practice in component testing was conducted to adapt the existing process model so as to obtain the greatest benefits from automation. An empirical study was then designed to measure the effects that are expected to be produced by the new test process complemented with the introduction of the support tool. Three pilot projects were conducted to measure the benefits obtained from tool usage and process modification. Results are presented and discussed in this paper.     

Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate

This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents, and where the raised hypotheses have to be consistent for the overall set of agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomous, since each one can solve problems using its own private knowledge base. ALIAS agents are also social, because they are able to interact with other agents, in order to cooperatively solve problems. The coordination mechanisms are modeled by means of LAILA, a logic-based language which allows to express intra-agent reasoning and inter-agent coordination. As an application, we show how LAILA can be used to implement inter-agent dialogues, e.g., for negotiation. In particular, LAILA is well-suited to coordinate the process of negotiation aimed at exchanging resources between agents, thus allowing them to execute the plans to achieve their goals.     

Tropos: An Agent-Oriented Software Development Methodology

Our goal in this paper is to introduce and motivate a methodology, called Tropos,¹ for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams.     

Specification and Verification of Agent Interaction using Social Integrity Constraints

In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of agent specifications to interaction protocols, and on run-time verification, based on agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods.     

A least squares approach to principal component analysis for interval valued data

Principal Component Analysis (PCA) is a well-known technique, the aim of which is to synthesize huge amounts of numerical data by means of a low number of unobserved variables, called components. In this paper, an extension of PCA to deal with interval valued data is proposed. The method, called Midpoint Radius Principal Component Analysis (MR-PCA), recovers the underlying structure of interval valued data by using both the midpoints (or centers) and the radii (a measure of the interval width) information. In order to analyze how MR-PCA works, the results of a simulation study and two applications on chemical data are proposed.     

The Proteoglycan Glypican-1 as a Possible Candidate for Innovative Targeted Therapeutic Strategies for Pancreatic Ductal Adenocarcinoma

Pancreatic ductal adenocarcinoma (PDAC) accounts for 90% of all pancreatic cancers, with a 5-year survival rate of 7% and 80% of patients diagnosed with advanced or metastatic malignancies. Despite recent advances in diagnostic testing, surgical techniques, and systemic therapies, there remain limited options for the effective treatment of PDAC. There is an urgent need to develop targeted therapies that are able to differentiate between cancerous and non-cancerous cells to reduce side effects and better inhibit tumor growth. Antibody-targeted strategies are a potentially effective option for introducing innovative therapies. Antibody-based immunotherapies and antibody-conjugated nanoparticle-based targeted therapies with antibodies targeting specific tumor-associated antigens (TAA) can be proposed. In this context, glypican-1 (GPC1), which is highly expressed in PDAC and not expressed or expressed at very low levels in non-malignant lesions and healthy pancreatic tissues, is a useful TAA that can be achieved by a specific antibody-based immunotherapy and antibody-conjugated nanoparticle-based targeted therapy. In this review, we describe the main clinical features of PDAC. We propose the proteoglycan GPC1 as a useful TAA for PDAC-targeted therapies. We also provide a digression on the main developed approaches of antibody-based immunotherapy and antibody-conjugated nanoparticle-based targeted therapy, which can be used to target GPC1.     

CD73-Adenosinergic Axis Mediates the Protective Effect of Extracellular Vesicles Derived from Mesenchymal Stromal Cells on Ischemic Renal Damage in a Rat Model of Donation after Circulatory Death

We propose a new organ-conditioning strategy based on mesenchymal stromal cell (MSCs)/extracellular vesicle (EVs) delivery during hypothermic perfusion. MSCs/EVs marker CD73 is present on renal proximal tubular cells, and it protects against renal ischemia-reperfusion injury by converting adenosine monophosphate into adenosine (ADO). In this study, after checking if CD73-silenced EVs (EVsi) would impact in vitro tubular-cell proliferation, we perfused kidneys of a rat model of donation after circulatory death, with Belzer solution (BS) alone, BS supplemented with MSCs, EVs, or EVsi. The ADO and ATP levels were measured in the effluents and tissues. Global renal ischemic damage score (GRS), and tubular cell proliferation index (IPT) were evaluated in the tissue. EVsi did not induce cell proliferation in vitro. Ex vivo kidneys perfused with BS or BS + EVsi showed the worst GRS and higher effluent ADO levels than the MSC- and EV-perfused kidneys. In the EV-perfused kidneys, the tissue and effluent ATP levels and IPT were the highest, but not if CD73 was silenced. Tissue ATP content was positively correlated with tissue ADO content and negatively correlated with effluent ADO level in all groups. In conclusion, kidney conditioning with EVs protects against ischemic damage by activating the CD73/ADO system.     

Light Triggers the Antiproliferative Activity of Naphthalimide-Conjugated (η6-arene)ruthenium(II) Complexes

We report the synthesis and characterization of three half-sandwich Ru(II) arene complexes [(η⁶-arene)Ru(N,N′)L][PF₆]₂ containing arene = p-cymene, N,N′ = bipyridine, and L = pyridine meta- with methylenenaphthalimide (C1), methylene(nitro)naphthalimide (C2), or methylene(piperidinyl)naphthalimide (C3). The naphthalimide acts as an antenna for photoactivation. After 3 h of irradiation with blue light, the monodentate pyridyl ligand had almost completely dissociated from complex C3, which contains an electron donor on the naphthalimide ring, whereas only 50% dissociation was observed for C1 and C2. This correlates with the lower wavelength and strong absorption of C3 in this region of the spectrum (λ_max = 418 nm) compared with C1 and C2 (λ_max = 324 and 323 nm, respectively). All the complexes were relatively non-toxic towards A549 human lung cancer cells in the dark, but only complex C3 exhibited good photocytoxicity towards these cancer cells upon irradiation with blue light (IC₅₀ = 10.55 ± 0.30 μM). Complex C3 has the potential for use in photoactivated chemotherapy (PACT).     

Potential of the Stromal Matricellular Protein Periostin as a Biomarker to Improve Risk Assessment in Prostate Cancer

Prostate cancer (PCa) ranges from indolent to aggressive tumors that may rapidly progress and metastasize. The switch to aggressive PCa is fostered by reactive stroma infiltrating tumor foci. Therefore, reactive stroma-based biomarkers may potentially improve the early detection of aggressive PCa, ameliorating disease classification. Gene expression profiles of PCa reactive fibroblasts highlighted the up-regulation of genes related to stroma deposition, including periostin and sparc. Here, the potential of periostin as a stromal biomarker has been investigated on PCa prostatectomies by immunohistochemistry. Moreover, circulating levels of periostin and sparc have been assessed in a low-risk PCa patient cohort enrolled in active surveillance (AS) by ELISA. We found that periostin is mainly expressed in the peritumoral stroma of prostatectomies, and its stromal expression correlates with PCa grade and aggressive disease features, such as the cribriform growth. Moreover, stromal periostin staining is associated with a shorter biochemical recurrence-free survival of PCa patients. Interestingly, the integration of periostin and sparc circulating levels into a model based on standard clinico-pathological variables improves its performance in predicting disease reclassification of AS patients. In this study, we provide the first evidence that circulating molecular biomarkers of PCa stroma may refine risk assessment and predict the reclassification of AS patients.     

Petri net based process scheduling: A model of the control system of flexible manufacturing systems

In this paper, we propose a class of algorithms for the sub-optimal solution of a particular class of problems of process scheduling, particularly focusing on a case study in the area of flexible manufacturing systems (FMSs). The general class of problems we face in our approach is characterized as follows: there is a set of concurrent processes, each formed by a number of temporally related tasks (segments). Tasks are executable by alternate resource sets, different both in performance and costs. Processes and tasks are characterized by release times, due dates, and deadlines. Time constraints are also present in the availability of each resource in resource sets. It has been proven that such a problem does not admit an algorithm for an optimal solution in polynomial time. Our proposed algorithm finds a sub-optimal schedule according to a set of optimization criteria, based on task and process times (earliness, tardiness), and/or time independent costs of resources. Our approach to process scheduling is based on Timed Coloured Petri Nets. We describe the structure of the coordination and scheduling algorithms, concentrating on (i) the general-purpose component, and (ii) the application-dependent component. In particular, the paper focuses on the following issues: (i) theautomatic synthesis of Petri net models of the coordination subsystem, starting from the problem knowledge base; (ii) the dynamic behavior of the coordination subsystem, whose kernel is a High Level Petri net executor, a coordination process based on an original, general purpose algorithm; (iii) the structure of the real-time scheduling subsystem, based on particular heuristic sub-optimal multi-criteria algorithms. Furthermore, the paper defines the interaction mechanisms between the coordination and scheduling subsystems. Our approach clearly distinguishes the mechanism of the net execution from the decision support system. Two conceptually distinct levels, which correspond to two different, interacting implementation modules in the prototype CASE tool, have been defined: theexecutor and thescheduler levels. One of the outstanding differences between these levels is that the executor is conceived as a fast, efficient coordination process, without special-purpose problem-solving capabilities in case of conflicts. The scheduler, on the other hand, is the adaptive, distributed component, whose behavior may heavily depend on the problem class. If the scheduler fails, the executor is, in any case, able to proceed with a general-purpose conflict resolution strategy. Experimental results on the real-time performance of the kernel of the implemented system are finally shown in the paper. The approach described in this paper is at the basis of a joint project with industrial partners for the development of a CASE tool for the simulation of blast furnaces.