Model-based testing approaches selection for software projects

Selecting software technologies for software projects represents a challenge to software engineers. It is known that software projects differ from each other by presenting different characteristics that can complicate the selection of such technologies. This is not different when considering model-based testing. There are many approaches with different characteristics described in the technical literature that can be used in software projects. However, there is no indication as to how they can fit a software project. Therefore, a strategy to select model-based testing approaches for software projects called Porantim is fully described in this paper. Porantim is based on a body of knowledge describing model-based testing approaches and their characterization attributes (identified by secondary and primary experimental studies), and a process to guide by adequacy and impact criteria regarding the use of this sort of software technology that can be used by software engineers to select model-based testing approaches for software projects.     

Arity and alternation: a proper hierarchy in higher order logics

We study the effect of simultaneously bounding the maximal-arity of the higher-order variables and the alternation of quantifiers in higher-order logics, as to their expressive power on finite structures (or relational databases). Let $\mathit{AA}^i(r,m)$ be the class of (i?+?1)-th order logic formulae where all quantifiers are grouped together at the beginning of the formulae, forming m alternating blocks of consecutive existential and universal quantifiers, and such that the maximal-arity (a generalization of the concept of arity, not just the maximal of the arities of the quantified variables) of the higher-order variables is bounded by r. Note that, the order of the quantifiers in the prefix may be mixed. We show that, for every i?≥?1, the resulting $\mathit{AA}^i(r,m)$ hierarchy of formulae of (i?+?1)-th order logic is proper. This extends a result by Makowsky and Pnueli who proved that the same hierarchy in second-order logic is proper. In both cases the strategy used to prove the results consists in considering formulae which, represented as finite structures, satisfy themselves. As the well known diagonalization argument applies here, this gives rise, for each order i and each level of the $\mathit{AA}^i(r,m)$ hierarchy of arity and alternation, to a class of formulae which is not definable in that level, but which is definable in a higher level of the same hierarchy. We then use a similar argument to prove that the classes of $\Sigma^i_m \cup \Pi^i_m$ formulae in which the higher-order variables of all orders up to i?+?1 have maximal-arity at most r, also induce a proper hierarchy in each higher-order logic of order i?≥?3. It is not known whether the correspondent hierarchy in second-order logic is proper. Using the concept of finite model truth definitions introduced by M. Mostowski, we give a sufficient condition for that to be the case.     

Algorithms for the Homogeneous Set Sandwich Problem

A homogeneous set is a non-trivial module of a graph, i.e. a non-empty, non-unitary, proper subset of a graph's vertices such that all its elements present exactly the same outer neighborhood. Given two graphs the Homogeneous Set Sandwich Problem (HSSP) asks whether there exists a sandwich graph which has a homogeneous set. In 2001 Tang et al. published an all-fast algorithm which was recently proven wrong, so that the HSSP's known upper bound would have been reset thereafter at the former determined by Cerioli et al. in 1998. We present, notwithstanding, new deterministic algorithms which have it established at We give as well two even faster randomized algorithms, whose simplicity might lend them didactic usefulness. We believe that, besides providing efficient easy-to-implement procedures to solve it, the study of these new approaches allows a fairly thorough understanding of the problem.     

From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language

In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conceptual framework (metamodel) called Taming Agents and Objects (TAO). Our focus is the adaptation according to TAO concepts of the static Class diagram and the interaction Sequence diagram proposed by UML. These two diagrams have been chosen because they are the most commonly used and because it is possible to use them to illustrate both the structural and dynamic aspects of TAO metamodel. We propose a conservative extension of the UML metamodel, which includes agent-related notions that are part of the TAO conceptual framework while preserving all object-related concepts, which constitute the UML metamodel. The main difference between our approach and the others presented in the literature is the clear definition and representation of the elements that compose MASs and their corresponding behavior. In order to extend UML with TAO non-object concepts, it is not possible to use only the three basic extensions mechanisms provided by UML and new metaclasses and stereotypes have been created and associated with the UML metamodel.     

Proteomics Unveils Post-Mortem Changes in Beef Muscle Proteins and Provides Insight into Variations in Meat Quality Traits of Crossbred Young Steers and Heifers Raised in Feedlot

Proteomics has been widely used to study muscle biology and meat quality traits from different species including beef. Beef proteomics studies allow a better understanding of the biological processes related to meat quality trait determination. This study aimed to decipher by means of two-dimensional electrophoresis (2D-PAGE), mass spectrometry and bioinformatics the changes in post-mortem muscle with a focus on proteins differentially expressed in the Longissimus thoracis (LT) muscle of immunocastrated young heifers and steers. Carcass traits, chemical composition, pH, instrumental color (L*, a*, b*), cooking loss and Warner-Bratzler shear force (WBSF) of meat from F1 Montana-Nellore cattle were also evaluated. Backfat thickness (BFT) and intramuscular fat content (IMF) were 46.8% and 63.6% higher in heifers (p < 0.05), respectively, while evaporation losses (EL) were 10.22% lower compared to steers. No differences (p > 0.05) were observed for tenderness evaluated by WBSF (3, 10, and 17 days post-mortem), pH, and color traits (L*, a* and b*) between the experimental groups. The study revealed several proteins to be differentially expressed proteins in heifers compared steers (p < 0.05). In heifers, proteins involved in nutrient transport (TF, ALB, and MB), energy metabolism (ALDOA, GAPDH, and PKM), and oxidative stress and response to stress (HSPA8 and CA3) were associated with a greater BFT and IMF deposition. The higher expression of these proteins indicated greater oxidative capacity and lower glycolytic activity in the LT muscle of heifers. In steers, there was greater abundance of protein expression related to muscle contraction and proteins of structure (ACTA1, TPM2 and TNNT3), energy metabolism (ENO1, ENO3, PYGM, PGM1 and TPI1) and ATP metabolism (ATP5F1B, PEBP1 and AK1), indicating greater glycogenolysis in LT muscle, suggesting a shift in the glycolytic/oxidative fibers of steers.     

Oligomerization-Dependent Beta-Structure Formation in SARS-CoV-2 Envelope Protein

The severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is responsible for the current COVID-19 pandemic. In SARS-CoV-2, the channel-forming envelope (E) protein is almost identical to the E protein in SARS-CoV, and both share an identical α-helical channel-forming domain. Structures for the latter are available in both detergent and lipid membranes. However, models of the extramembrane domains have only been obtained from solution NMR in detergents, and show no β-strands, in contrast to secondary-structure predictions. Herein, we have studied the conformation of purified SARS-CoV-2 E protein in lipid bilayers that mimic the composition of ER–Golgi intermediate compartment (ERGIC) membranes. The full-length E protein at high protein-to-lipid ratios produced a clear shoulder at 1635 cm⁻¹, consistent with the β-structure, but this was absent when the E protein was diluted, which instead showed a band at around 1688 cm⁻¹, usually assigned to β-turns. The results were similar with a mixture of POPC:POPG (2-oleoyl-1-palmitoyl-sn-glycero-3-phosphocholine/3-glycerol) and also when using an E-truncated form (residues 8–65). However, the latter only showed β-structure formation at the highest concentration tested, while having a weaker oligomerization tendency in detergents than in full-length E protein. Therefore, we conclude that E monomer–monomer interaction triggers formation of the β-structure from an undefined structure (possibly β-turns) in at least about 15 residues located at the C-terminal extramembrane domain. Due to its proximity to the channel, this β-structure domain could modulate channel activity or modify membrane structure at the time of virion formation inside the cell.     

Organokines,Sarcopenia, and Metabolic Repercussions: The Vicious Cycle and the Interplay with Exercise

Sarcopenia is a disease that becomes more prevalent as the population ages, since it is directly linked to the process of senility, which courses with muscle atrophy and loss of muscle strength. Over time, sarcopenia is linked to obesity, being known as sarcopenic obesity, and leads to other metabolic changes. At the molecular level, organokines act on different tissues and can improve or harm sarcopenia. It all depends on their production process, which is associated with factors such as physical exercise, the aging process, and metabolic diseases. Because of the seriousness of these repercussions, the aim of this literature review is to conduct a review on the relationship between organokines, sarcopenia, diabetes, and other metabolic repercussions, as well the role of physical exercise. To build this review, PubMed-Medline, Embase, and COCHRANE databases were searched, and only studies written in English were included. It was observed that myokines, adipokines, hepatokines, and osteokines had direct impacts on the pathophysiology of sarcopenia and its metabolic repercussions. Therefore, knowing how organokines act is very important to know their impacts on age, disease prevention, and how they can be related to the prevention of muscle loss.     

The Importance of Immunological Disorders in the Pathogenesis of Lichen Sclerosus in Pediatric Patients: A Systematic Review

Lichen sclerosus (LS) is defined as a chronic mucocutaneous inflammatory disease with a localization predominantly to the anus and genitals (vulvar sclerosus (VLS)). Pediatric lichen sclerosus (LS) is a chronic inflammatory skin condition with predilection for the anogenital area that if untreated can lead to scarring. Vulvar LS is characterized by two peaks in incidence: it occurs in prepubertal girls and in postmenopausal women. To date, several mechanisms and risk factors have been proposed in the pathogenesis of pediatric vulvar LS; however, the etiology of this condition is still not fully understood and constitutes a challenge for scientists and clinicians. The presented research aimed to systematically review the existing literature on the pathogenesis of pediatric LS and to identify possible underlying autoimmune mechanisms and molecular networks. The clinical presentation of pediatric lichen sclerosus and available treatment modalities are also presented to acquaint a broader audience with this underdiagnosed and undertreated condition. As a result of our review, we discuss several potential mechanisms, molecules, and pathways that have been recognized in this disease. The purpose of our review was also to summarize what we can induce in further studies, which will ultimately help to identify the mechanism responsible for the disease and aid in the development of new, more effective treatment strategies for diagnosis and treatment by clinicians and researchers.     

Chronic-Antibiotics Induced Gut Microbiota Dysbiosis Rescues Memory Impairment and Reduces β-Amyloid Aggregation in a Preclinical Alzheimer’s Disease Model

Alzheimer’s disease (AD) is a multifactorial pathology characterized by β-amyloid (Aβ) deposits, Tau hyperphosphorylation, neuroinflammatory response, and cognitive deficit. Changes in the bacterial gut microbiota (BGM) have been reported as a possible etiological factor of AD. We assessed in offspring (F1) 3xTg, the effect of BGM dysbiosisdysbiosis in mothers (F0) at gestation and F1 from lactation up to the age of 5 months on Aβ and Tau levels in the hippocampus, as well as on spatial memory at the early symptomatic stage of AD. We found that BGM dysbiosisdysbiosis with antibiotics (Abx) treatment in F0 was vertically transferred to their F1 3xTg mice, as observed on postnatal day (PD) 30 and 150. On PD150, we observed a delay in spatial memory impairment and Aβ deposits, but not in Tau and pTau protein in the hippocampus at the early symptomatic stage of AD. These effects are correlated with relative abundance of bacteria and alpha diversity, and are specific to bacterial consortia. Our results suggest that this specific BGM could reduce neuroinflammatory responses related to cerebral amyloidosis and cognitive deficit and activate metabolic pathways associated with the biosynthesis of triggering or protective molecules for AD.