A System for Deduction-based Formal Verification of Workflow-oriented Software Models

The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logic formulas, seems to be the significant obstacle for an inexperienced user when applying the deductive approach. A system, and its architecture, for the deduction-based verification of workflow-oriented models is proposed. The process of inference is based on the semantic tableaux method which has some advantages when compared to traditional deduction strategies. The algorithm for an automatic generation of logical specifications is proposed. The generation procedure is based on the predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea for the approach is to consider patterns, defined in terms of temporal logic,as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between intuitiveness of the deductive reasoning and the difficulty of its practical application in the case when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing our understanding of, the deduction-based formal verification of workflow-oriented models.Comment: International Journal of Applied Mathematics and Computer Scienc

Prospective adherence to specific immunotherapy in Europe (PASTE) survey protocol

Background: Adherence to allergen immunotherapy is important for its effectiveness. There is currently limited data available on allergen immunotherapy adherence outside of clinical trials i.e. in real-life clinical practice. As part of a European Academy of Allergy and Clinical Immunology Immunotherapy Interest group initiative, we endeavoured to design a survey in order to prospectively evaluate adherence to subcutaneous and sublingual immunotherapy across different European countries. Method/Design: The inclusion criteria for this prospective, multi-country survey were set as: adults, starting clinically indicated allergen immunotherapy for respiratory allergic disorders or Hymenoptera venom allergy. An online survey was designed in order to enrol participants and assess adherence to immunotherapy. Eight countries (Czech Republic, Georgia, Germany, Greece, Italy, Poland, Portugal, Spain) were selected to reflect different parts of Europe and differences in allergens and routes of immunotherapy administration. Each country has an allocated National co-ordinator that has identified local Allergy departments willing to enrol participants in this survey. Each participant will be followed up for a total of three years. In order to assess adherence, a 4-monthly follow-up form detailing any missed doses and reasons will be completed online. In case of a participant discontinuing treatment, reasons for this will be recorded. Discussion: The use of online survey software has enabled us to make this survey a reality and reach clinicians in different countries. Forty-five centres have enrolled a total of over 1,350 participants. It is hoped that this prospective real life survey will enable us to gain a better understanding of reasons that affect adherence to subcutaneous and sublingual immunotherapy and assist in developing ways to improve this

COVID-19 pandemic and allergen immunotherapy-an EAACI survey

Background As in many fields of medical care, the coronavirus disease 2019 (COVID-19) resulted in an increased uncertainty regarding the safety of allergen immunotherapy (AIT). Therefore, the European Academy of Allergy and Clinical Immunology (EAACI) aimed to analyze the situation in different countries and to systematically collect all information available regarding tolerability and possible amendments in daily practice of sublingual AIT (SLIT), subcutaneous AIT (SCIT) for inhalant allergies and venom AIT. Methods Under the framework of the EAACI, a panel of experts in the field of AIT coordinated by the Immunotherapy Interest Group set-up a web-based retrospective survey (SurveyMonkey(R)) including 27 standardized questions on practical and safety aspects on AIT in worldwide clinical routine. Results 417 respondents providing AIT to their patients in daily routine answered the survey. For patients (without any current symptoms to suspect COVID-19), 60% of the respondents informed of not having initiated SCIT (40% venom AIT, 35% SLIT) whereas for the maintenance phase of AIT, SCIT was performed by 75% of the respondents (74% venom AIT, 89% SLIT). No tolerability concern arises from this preliminary analysis. 16 physicians reported having performed AIT despite (early) symptoms of COVID-19 and/or a positive test result for severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). Conclusions This first international retrospective survey in atopic diseases investigated practical aspects and tolerability of AIT during the COVID-19 pandemic and gave no concerns regarding reduced tolerability under real-life circumstances. However, the data indicate an undertreatment of AIT, which may be temporary, but could have a long-lasting negative impact on the clinical care of allergic patients.Peer reviewe

COVID-19 vaccination in patients receiving allergen immunotherapy (AIT) or biologicals:EAACI recommendations

Immune modulation is a key therapeutic approach for allergic diseases, asthma and autoimmunity. It can be achieved in an antigen-specific manner via allergen immunotherapy (AIT) or in an endotype-driven approach using biologicals that target the major pathways of the type 2 (T2) immune response: immunoglobulin (Ig)E, interleukin (IL)-5 and IL-4/IL-13 or non-type 2 response: anti-cytokine antibodies and B-cell depletion via anti-CD20. Coronavirus disease 2019 (COVID-19) vaccination provides an excellent opportunity to tackle the global pandemics and is currently being applied in an accelerated rhythm worldwide. The vaccine exerts its effects through immune modulation, induces and amplifies the response against the severe acute respiratory syndrome coronavirus (SARS-CoV-2). Thus, as there may be a discernible interference between these treatment modalities, recommendations on how they should be applied in sequence are expected. The European Academy of Allergy and Clinical Immunology (EAACI) assembled an expert panel under its Research and Outreach Committee (ROC). This expert panel evaluated the evidence and have formulated recommendations on the administration of COVID-19 vaccine in patients with allergic diseases and asthma receiving AIT or biologicals. The panel also formulated recommendations for COVID-19 vaccine in association with biologicals targeting the type 1 or type 3 immune response. In formulating recommendations, the panel evaluated the mechanisms of COVID-19 infection, of COVID-19 vaccine, of AIT and of biologicals and considered the data published for other anti-infectious vaccines administered concurrently with AIT or biologicals

Management of anaphylaxis due to COVID-19 vaccines in the elderly

Older adults, especially men and/or those with diabetes, hypertension, and/or obesity, are prone to severe COVID-19. In some countries, older adults, particularly those residing in nursing homes, have been prioritized to receive COVID-19 vaccines due to high risk of death. In very rare instances, the COVID-19 vaccines can induce anaphylaxis, and the management of anaphylaxis in older people should be considered carefully. An ARIA-EAACI-EuGMS (Allergic Rhinitis and its Impact on Asthma, European Academy of Allergy and Clinical Immunology, and European Geriatric Medicine Society) Working Group has proposed some recommendations for older adults receiving the COVID-19 vaccines. Anaphylaxis to COVID-19 vaccines is extremely rare (from 1 per 100,000 to 5 per million injections). Symptoms are similar in younger and older adults but they tend to be more severe in the older patients. Adrenaline is the mainstay treatment and should be readily available. A flowchart is proposed to manage anaphylaxis in the older patients.Peer reviewe