Consistency-by-Construction Techniques for Software Models and Model Transformations

A model is consistent with given specifications (specs) if and only if all the specifications are held on the model, i.e., all the specs are true (correct) for the model. Constructing consistent models (e.g., programs or artifacts) is vital during software development, especially in Model-Driven Engineering (MDE), where models are employed throughout the life cycle of software development phases (analysis, design, implementation, and testing). Models are usually written using domain-specific modeling languages (DSMLs) and specified to describe a domain problem or a system from different perspectives and at several levels of abstraction. If a model conforms to the definition of its DSML (denoted usually by a meta-model and integrity constraints), the model is consistent. Model transformations are an essential technology for manipulating models, including, e.g., refactoring and code generation in a (semi)automated way. They are often supposed to have a well-defined behavior in the sense that their resulting models are consistent with regard to a set of constraints. Inconsistent models may affect their applicability and thus the automation becomes untrustworthy and error-prone. The consistency of the models and model transformation results contribute to the quality of the overall modeled system. Although MDE has significantly progressed and become an accepted best practice in many application domains such as automotive and aerospace, there are still several significant challenges that have to be tackled to realize the MDE vision in the industry. Challenges such as handling and resolving inconsistent models (e.g., incomplete models), enabling and enforcing model consistency/correctness during the construction, fostering the trust in and use of model transformations (e.g., by ensuring the resulting models are consistent), developing efficient (automated, standardized and reliable) domain-specific modeling tools, and dealing with large models are continually making the need for more research evident. In this thesis, we contribute four automated interactive techniques for ensuring the consistency of models and model transformation results during the construction process. The first two contributions construct consistent models of a given DSML in an automated and interactive way. The construction can start at a seed model being potentially inconsistent. Since enhancing a set of transformations to satisfy a set of constraints is a tedious and error-prone task and requires high skills related to the theoretical foundation, we present the other contributions. They ensure model consistency by enhancing the behavior of model transformations through automatically constructing application conditions. The resulting application conditions control the applicability of the transformations to respect a set of constraints. Moreover, we provide several optimizing strategies. Specifically, we present the following: First, we present a model repair technique for repairing models in an automated and interactive way. Our approach guides the modeler to repair the whole model by resolving all the cardinalities violations and thereby yields a desired, consistent model. Second, we introduce a model generation technique to efficiently generate large, consistent, and diverse models. Both techniques are DSML-agnostic, i.e., they can deal with any meta-models. We present meta-techniques to instantiate both approaches to a given DSML; namely, we develop meta-tools to generate the corresponding DSML tools (model repair and generation) for a given meta-model automatically. We present the soundness of our techniques and evaluate and discuss their features such as scalability. Third, we develop a tool based on a correct-by-construction technique for translating OCL constraints into semantically equivalent graph constraints and integrating them as guaranteeing application conditions into a transformation rule in a fully automated way. A constraint-guaranteeing application condition ensures that a rule applies successfully to a model if and only if the resulting model after the rule application satisfies the constraint. Fourth, we propose an optimizing-by-construction technique for application conditions for transformation rules that need to be constraint-preserving. A constraint-preserving application condition ensures that a rule applies successfully to a consistent model (w.r.t. the constraint) if and only if the resulting model after the rule application still satisfies the constraint. We show the soundness of our techniques, develop them as ready-to-use tools, evaluate the efficiency (complexity and performance) of both works, and assess the overall approach in general as well. All our four techniques are compliant with the Eclipse Modeling Framework (EMF), which is the realization of the OMG standard specification in practice. Thus, the interoperability and the interchangeability of the techniques are ensured. Our techniques not only improve the quality of the modeled system but also increase software productivity by providing meta-tools for generating the DSML tool supports and automating the tasks

Automated composition of sequence diagrams

Software design is a significant stage in software development life cycle as it creates a blueprint for the implementation of the software. Design-errors lead to costly and insufficient implementation. Hence, it is crucial to provide solutions to discover the design error in early stage of the system development and solve them. Inspired by various engineering disciplines, the software community proposed the concept of modelling in order to reduce these costly errors. Modelling provides a platform to create an abstract representation of the software systems concluding to the birth of various modelling languages such as Unified Modelling Language (UML), Automata, and Petri Net. Due to the modelling raises the level of abstraction throughout the analysis and design process, it enables the system discovers to efficiently identify errors. Since modern systems become more complex, models are often produced part-by-part to help reduce the complexity of the design. This often results in partial specifications captured in models focusing on a subset of the system. To produce an overall model of the system, such partial models must be composed together. Model composition is the process of combining partial models to create a single coherent model. Due to manual model composition is error prone, time-consuming and tedious, it must be replaced by automated model compositions. This thesis presents a novel approach for an automatic composition technique for creating behaviour models, such as a sequence diagram, from partial specifications captured in multiple sequence diagrams with the help of constraint solvers

BEYOND ALL LIMITS : Procedings on International Conference on Sustainability in Architecture, Planning, and Design : 11-12, 13 May 2022

[Italiano]: Il volume raccoglie gli atti della seconda edizione del convegno “BEYOND ALL LIMITS. International Conference on Sustainability in Architecture, Planning, and Design”, tenutosi nei giorni 11 e 12 maggio 2022, presso il Complesso del Belvedere di San Leucio, sede di Officina Vanvitelli. Il convegno è stato promosso e organizzato dal Dipartimento di Architettura e Disegno Industriale dell'Università degli Studi della Campania “Luigi Vanvitelli”, in partnership con la Faculty of Architecture della Çankaya University di Ankara e la Faculty of Engineering della University of Strathclyde di Glasgow. L’obiettivo principale di questo convegno scientifico e multidisciplinare, che ha interessato i campi dell'architettura, della pianificazione e del design, è stato quello di affrontare il tema della sostenibilità all’interno dell'attuale dibattito internazionale scaturito dal New European Bauhaus (NEB)./[English]: This volume collects the Proceedings of the second edition of the conference “BEYOND ALL LIMITS. International Conference on Sustainability in Architecture, Planning, and Design”, held on May 11 and 12, 2022, at the San Leucio Belvedere Complex, home of Officina Vanvitelli. The conference was sponsored and organized by the Department of Architecture and Industrial Design of the University of Campania “Luigi Vanvitelli”, in partnership with the Faculty of Architecture of Çankaya University in Ankara and the Faculty of Engineering of the University of Strathclyde in Glasgow. The main objective of this scientific and multidisciplinary conference, which covered the fields of architecture, planning and design, was to address the issue of sustainability within the current international debate that has arisen from the New European Bauhaus (NEB)

State v. Alley Clerk\u27s Record Dckt. 40428

https://digitalcommons.law.uidaho.edu/idaho_supreme_court_record_briefs/1849/thumbnail.jp

Major v. Security Equipment Corp. Clerk\u27s Record v. 1 Dckt. 39414

https://digitalcommons.law.uidaho.edu/idaho_supreme_court_record_briefs/2187/thumbnail.jp

Separator fluid volume requirements in multi-infusion settings

INTRODUCTION. Intravenous (IV) therapy is a widely used method for the administration of medication in hospitals worldwide. ICU and surgical patients in particular often require multiple IV catheters due to incompatibility of certain drugs and the high complexity of medical therapy. This increases discomfort by painful invasive procedures, the risk of infections and costs of medication and disposable considerably. When different drugs are administered through the same lumen, it is common ICU practice to flush with a neutral fluid between the administration of two incompatible drugs in order to optimally use infusion lumens. An important constraint for delivering multiple incompatible drugs is the volume of separator fluid that is sufficient to safely separate them. OBJECTIVES. In this pilot study we investigated whether the choice of separator fluid, solvent, or administration rate affects the separator volume required in a typical ICU infusion setting. METHODS. A standard ICU IV line (2m, 2ml, 1mm internal diameter) was filled with methylene blue (40 mg/l) solution and flushed using an infusion pump with separator fluid. Independent variables were solvent for methylene blue (NaCl 0.9% vs. glucose 5%), separator fluid (NaCl 0.9% vs. glucose 5%), and administration rate (50, 100, or 200 ml/h). Samples were collected using a fraction collector until <2% of the original drug concentration remained and were analyzed using spectrophotometry. RESULTS. We did not find a significant effect of administration rate on separator fluid volume. However, NaCl/G5% (solvent/separator fluid) required significantly less separator fluid than NaCl/NaCl (3.6 ± 0.1 ml vs. 3.9 ± 0.1 ml, p <0.05). Also, G5%/G5% required significantly less separator fluid than NaCl/NaCl (3.6 ± 0.1 ml vs. 3.9 ± 0.1 ml, p <0.05). The significant decrease in required flushing volume might be due to differences in the viscosity of the solutions. However, mean differences were small and were most likely caused by human interactions with the fluid collection setup. The average required flushing volume is 3.7 ml. CONCLUSIONS. The choice of separator fluid, solvent or administration rate had no impact on the required flushing volume in the experiment. Future research should take IV line length, diameter, volume and also drug solution volumes into account in order to provide a full account of variables affecting the required separator fluid volume