In the automotive industry, the model driven development of software, today considered as the standard paradigm, is generally based on the use of the tool MATLAB Simulink/Stateflow. To increase the quality, the reliability, and the efficiency of the models and the generated code, checking and elimination of detected guideline violations defined in huge catalogues has become an essential task in the development process. It represents such a tremendous amount of boring work that it must necessarily be automated. In the past we have shown that graph transformation tools like Fujaba/MOFLON allow for the specification of single modeling guidelines on a very high level of abstraction and that guideline checking tools can be generated from these specifications easily. Unfortunately, graph transformation languages do not offer appropriate concepts for reuse of specification fragments -a MUST, when we deal with hundreds of guidelines. As a consequence we present an extension of MOFLON that supports the definition of generic rewrite rules and combines them with the reflective programming mechanisms of Java and the model repository interface standard JMI.
In ultrarare cases, patients vaccinated with DNA adenovirus vector vaccine against severe acute respiratory syndrome coronavirus-2 (SARS-CoV-2), develop a vaccine-induced immune thrombotic thrombocytopenia (VITT), with a high incidence of fatal cases. The causative agent is the development of platelet factor 4 (PF4)-dependent antibodies that resemble heparin-induced thrombocytopenia (HIT) complication, although many differences can be noticed in clinical presentation, antibody reactivity, involved epitopes on the PF4 protein, and pathological mechanisms. From the literature review, and the experience of HIT and testing a few plasmas from patients with VITT, this review analyzes the possible mechanisms, which show the strong immunoglobulin G (IgG) antibody reactivity to PF4 alone, in the absence of heparin, and to a lesser extend to stoichiometric complexes of PF4 and heparin (H-PF4). In addition, much lower heparin concentrations are required for inhibiting antibody binding to PF4. These concentrations are much lower than those required for disrupting the stoichiometric H-PF4 complexes. This confirms that IgG antibodies responsible for HIT bind preferentially to PF4, to epitopes that are readily masked by low concentrations of heparin. These antibodies are at a much higher concentration than the current ones observed for HIT, keeping a strong reactivity even for plasma dilutions as high as 1/500 to 1/5,000, whilst the current dilution for testing heparin-dependent antibodies in HIT is 1/100. Although VITT anti-PF4 antibodies can be detected with the current anti-H-PF4 enzyme-linked immunosorbent assays (ELISAs) designed for HIT, some assays have low sensitivity or are unreactive, like lateral immunofiltration methods or chemiluminescent automated assays. The preferred method should concern the use of capture assays using PF4 coated solid surfaces. This report proposes that the immune response is only targeted to the binding domain of PF4 with the hexons present on the adenovirus vector, through an epitope spreading mechanism, without any exposure of neo-epitopes on PF4 protein.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.