60 research outputs found
Generating natural language specifications from UML class diagrams
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study
Twinning across the Developing World
Contains fulltext :
95481.pdf (publisher's version ) (Open Access)5 p
Вибір та обґрунтування параметрів технології підтримки стінок стовбура свердловини в осадових породах
Практичне значення роботи полягає в досліджені широкого кола властивостей різних хімічних сполук, покликаних збільшити ступінь стійкості осадових порід в стінках стовбура свердловини; застосування досліджених речовин приведе до істотного підвищення продуктивності бурових робіт, скорочення часу на роботи, пов’язані із ліквідацією ускладнень і аварій в свердловині, або повного виключення останніх, загального зростання ефективності і економічності процесу спорудження свердловин.Мета дипломної роботи: встановлення закономірностей фізико-хімічних процесів, що протікають в стовбурі свердловини, споруджуваної в товщі осадових гірських порід, при циркуляції промивальних рідин і формулюванні на їх основі адекватних технологічних заходів гідравлічної програми промивання свердловини, реалізація якої дозволить надати процесу спорудження свердловин достатньо високу міру продуктивності і економічності
Software-Spezifikation durch halbformale, anschauliche Modelle
Der Beitrag erörtert die Frage, welche Ansätze zur Spezifikation grundsätzlich in Frage kommen, und begründet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die Beispiele und die am Schluss wiedergegebenen Erfahrungen stammen aus unserer Arbeit mit dem Spezifikationssystem SPADES, das auf dem Prinzip der halbformalen Beschreibung beruht
An introduction to Graph Data Management
A graph database is a database where the data structures for the schema
and/or instances are modeled as a (labeled)(directed) graph or generalizations
of it, and where querying is expressed by graph-oriented operations and type
constructors. In this article we present the basic notions of graph databases,
give an historical overview of its main development, and study the main current
systems that implement them
Formalization of the classification pattern: Survey of classification modeling in information systems engineering
Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling. The classification pattern that underlies these systems provides a good case study of the move towards formalization in part because it illustrates some of the barriers to formalization; including the formal complexity of the pattern and the ontological issues surrounding the ‘one and the many’. Powersets are a way of characterizing the (complex) formal structure of the classification pattern and their formalization has been extensively studied in mathematics since Cantor’s work in the late 19th century. One can use this formalization to develop a useful benchmark. There are various communities within Information Systems Engineering (ISE) that are gradually working towards a formalization of the classification pattern. However, for most of these communities this work is incomplete, in that they have not yet arrived at a solution with the expressiveness of the powerset benchmark. This contrasts with the early smooth adoption of powerset by other Information Systems communities to, for example, formalize relations. One way of understanding the varying rates of adoption is recognizing that the different communities have different historical baggage. Many conceptual modeling communities emerged from work done on database design and this creates hurdles to the adoption of the high level of expressiveness of powersets. Another relevant factor is that these communities also often feel, particularly in the case of domain modeling, a responsibility to explain the semantics of whatever formal structures they adopt. This paper aims to make sense of the formalization of the classification pattern in ISE and surveys its history through the literature; starting from the relevant theoretical works of the mathematical literature and gradually shifting focus to the ISE literature. The literature survey follows the evolution of ISE’s understanding of how to formalize the classification pattern. The various proposals are assessed using the classical example of classification; the Linnaean taxonomy formalized using powersets as a benchmark for formal expressiveness. The broad conclusion of the survey is that (1) the ISE community is currently in the early stages of the process of understanding how to formalize the classification pattern, particularly in the requirements for expressiveness exemplified by powersets and (2) that there is an opportunity to intervene and speed up the process of adoption by clarifying this expressiveness. Given the central place that the classification pattern has in domain modeling, this intervention has the potential to lead to significant improvements.The UK Engineering and Physical Sciences Research Council (grant EP/K009923/1)
Discrete element modeling of the machining processes of brittle materials: recent development and future prospective
Antimicrobial consumption and resistance in adult hospital inpatients in 53 countries:results of an internet-based global point prevalence survey
Summary: Background: The Global Point Prevalence Survey (Global-PPS) established an international network of hospitals to measure antimicrobial prescribing and resistance worldwide. We aimed to assess antimicrobial prescribing and resistance in hospital inpatients. Methods: We used a standardised surveillance method to collect detailed data about antimicrobial prescribing and resistance from hospitals worldwide, which were grouped by UN region. The internet-based survey included all inpatients (adults, children, and neonates) receiving an antimicrobial who were on the ward at 0800 h on one specific day between January and September, 2015. Hospitals were classified as primary, secondary, tertiary (including infectious diseases hospitals), and paediatric hospitals. Five main ward types were defined: medical wards, surgical wards, intensive-care units, haematology oncology wards, and medical transplantation (bone marrow or solid transplants) wards. Data recorded included patient characteristics, antimicrobials received, diagnosis, therapeutic indication according to predefined lists, and markers of prescribing quality (eg, whether a stop or review date were recorded, and whether local prescribing guidelines existed and were adhered to). We report findings for adult inpatients. Findings: The Global-PPS for 2015 included adult data from 303 hospitals in 53 countries, including eight lower-middle-income and 17 upper-middle-income countries. 86 776 inpatients were admitted to 3315 adult wards, of whom 29 891 (34·4%) received at least one antimicrobial. 41 213 antimicrobial prescriptions were issued, of which 36 792 (89·3%) were antibacterial agents for systemic use. The top three antibiotics prescribed worldwide were penicillins with β-lactamase inhibitors, third-generation cephalosporins, and fluoroquinolones. Carbapenems were most frequently prescribed in Latin America and west and central Asia. Of patients who received at least one antimicrobial, 5926 (19·8%) received a targeted antibacterial treatment for systemic use, and 1769 (5·9%) received a treatment targeting at least one multidrug-resistant organism. The frequency of health-care-associated infections was highest in Latin America (1518 [11·9%]) and east and south Asia (5363 [10·1%]). Overall, the reason for treatment was recorded in 31 694 (76·9%) of antimicrobial prescriptions, and a stop or review date in 15 778 (38·3%). Local antibiotic guidelines were missing for 7050 (19·2%) of the 36 792 antibiotic prescriptions, and guideline compliance was 77·4%. Interpretation: The Global-PPS showed that worldwide surveillance can be accomplished with voluntary participation. It provided quantifiable measures to assess and compare the quantity and quality of antibiotic prescribing and resistance in hospital patients worldwide. These data will help to improve the quality of antibiotic prescribing through education and practice changes, particularly in low-income and middle-income countries that have no tools to monitor antibiotic prescribing in hospitals. Funding: bioMérieux
- …