Sample records for uml class diagram

  1. UML class diagram metrics tool

    Microsoft Academic Search

    Moheb R. Girgis; T. M. Mahmoud; Rehab R. Nour

    2009-01-01

    Many of the object-oriented (OO) metrics that have been proposed over the last decade can be applied to measure internal quality attributes of class diagrams. This paper describes a tool that automates the computation of the important metrics that are applicable to the UML class diagrams. The tool collects information by parsing the XMI format of the class diagram to

  2. A Diagramming Software for UML Class Diagrams

    Microsoft Academic Search

    Carsten Gutwengerl; Michael Jünger; Karsten Kleinl; Joachim Kupkel; Sebastian Leipert; Petra Mutzel

    \\u000a UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular\\u000a interest are UML class diagrams whose purpose is to display class hierarchies (generalizations), associations, aggregations,\\u000a and compositions in one picture. The combination of hierarchical and non-hierarchical relations poses a special challenge\\u000a to a graph layout tool.

  3. Reasoning on UML class diagrams

    Microsoft Academic Search

    Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo

    2005-01-01

    UML is the de-facto standard formalism for software design and analysis. To sup- port the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, stor- ing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities, such as those studied

  4. Reasoning on UML Class Diagrams

    Microsoft Academic Search

    Daniela Berardi; Andrea Cal; Diego Calvanese; Giuseppe De Giacomo

    2003-01-01

    UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities in order to detect relevant formal

  5. Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy

    E-print Network

    Balaban, Mira

    24 Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy MIRA BALABAN for efficient powerful methods for verifying model correctness. Class diagram is the central language within UML of finite satisfiability of class diagrams with class hierarchy constraints and generalization

  6. Testability Analysis of a UML Class Diagram

    Microsoft Academic Search

    Benoit Baudry; Yves Le Traon; Gerson Sunyé

    2002-01-01

    Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are diffuse and distributed over the whole architecture. In this paper, we concentrate on detecting, pinpointing and suppressing potential testability weaknesses of a UML class diagram. The attribute significant from design testability is called

  7. Composition inference for UML class diagrams

    Microsoft Academic Search

    Ana Milanova

    2007-01-01

    ABSTRACT Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the gap between design and code. Secondly, since composition relationships explicitly state a requirement that certain representations cannot be exposed, it is important to determine if this requirement is met by component,code. Verifying that compositions

  8. Reasoning on UML Class Diagrams using Description Logic Based Systems

    E-print Network

    De Giacomo, Giuseppe

    Reasoning on UML Class Diagrams using Description Logic Based Systems Daniela Berardi, Diego- agrams. The ability of reasoning automatically on UML class diagrams makes it possible to provide, the reasoning capabilities of such systems can be used to reason on UML class diagrams. However, we report some

  9. Reasoning on UML Class Diagrams using Description Logic Based Systems

    E-print Network

    Calvanese, Diego

    Reasoning on UML Class Diagrams using Description Logic Based Systems Daniela Berardi, Diego­ agrams. The ability of reasoning automatically on UML class diagrams makes it possible to provide, the reasoning capabilities of such systems can be used to reason on UML class diagrams. However, we report some

  10. Agent UML Class Diagrams Revisited Marc-Philippe Huget

    E-print Network

    Atkinson, Katie

    . In UML, objects which are the main element in the software are represented by class diagrams. SinceAgent UML Class Diagrams Revisited Marc-Philippe Huget Agent ART Group University of Liverpool and objects are not exactly the same, one can guess that the UML class diagram has to be changed

  11. Assessing the Comprehension of UML Class Diagrams via Eye Tracking

    Microsoft Academic Search

    Shehnaaz Yusuf; Huzefa H. Kagdi; Jonathan I. Maletic

    2007-01-01

    Eye-tracking equipment is used to assess how well a subject comprehends UML class diagrams. The results of a study are presented in which eye movements are captured in a non-obtrusive manner as users performed various comprehension tasks on UML class diagrams. The goal of the study is to identify specific characteristics of UML class diagrams, such as layout, color, and

  12. Contradiction Finding and Minimal Recovery for UML Class Diagrams

    Microsoft Academic Search

    Ken Satoh; Ken Kaneiwa; Takeaki Uno

    2006-01-01

    UML (unified modeling language) is the de facto standard model representation language in software engineering. We believe that automated contradiction detection and repair of UML become very important as UML has been widely used. In this paper, we propose a debugging system using logic programming paradigm for UML class diagram with class attributes, multiplicity, generalization relation and disjoint relation. We

  13. A Design of an Assessment System for UML Class Diagram

    Microsoft Academic Search

    Noraida Haji Ali; Z. Shukur; S. Idris

    2007-01-01

    The Unified Modeling Language (UML) is probably the most widely known and used notation for object- oriented analysis and design. UML consists of various graphical notations, which capture the static system structures (class diagrams), system component behaviors (state transition diagrams) and system component interactions (collaboration and sequence diagrams). UML notations can be produced with the help of CASE (Computer-aided software

  14. Automatic Code Generation From UML Class and Statechart Diagrams

    E-print Network

    Tanaka, Jiro

    of the classes is represented by a set of statechart diagrams. To facilitate the software development processAutomatic Code Generation From UML Class and Statechart Diagrams Graduate School of Systems From UML Class and Statechart Diagrams Iftikhar Azim Niaz November 2005 A dissertation submitted

  15. Helping Software Engineers Reusing UML Class Diagrams

    Microsoft Academic Search

    Paulo Gomes; Pedro Gandola; Joel Cordeiro

    2007-01-01

    Software development is a knowledge-intensive task, with an increasing demand for higher productivity. During the design phase,\\u000a the use of visual modelling languages like UML (Unified Modeling Language) are wide spread across the software industry. In\\u000a this paper we present a CBR tool that helps the software engineers to reuse UML diagrams. We describe our system, REBUILDER\\u000a UML, and present

  16. Program comprehension: A method of generating visualized UML class diagram

    Microsoft Academic Search

    GuHui; WangHui

    2010-01-01

    Program comprehension is an important research content of software engineering. This paper presents a Program comprehension visualization method of using UML class diagram. This method has two parts, first, The program source code is abstracted into database table, the form used to summarize and express program structure and key information, Then, the table was transformed into UML class diagrams, The

  17. Composition Inference for UML Class Diagrams Ana Milanova

    E-print Network

    Bystroff, Chris

    in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationshipsComposition Inference for UML Class Diagrams Ana Milanova Department of Computer Science Rensselaer-driven development. Categories and Subject Descriptors D.2.7 [Software Engineering]: Distribution, Maintenance

  18. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

    Microsoft Academic Search

    Marco Cadoli; Diego Calvanese; Giuseppe De Giacomo; Toni Mancini

    2007-01-01

    Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain is finite. In this paper, we show how to encode finite model reasoning in UML class diagrams as a constraint satisfaction problem

  19. Automatic layout of UML class diagrams in orthogonal style

    Microsoft Academic Search

    Markus Eiglsperger; Carsten Gutwenger; Michael Kaufmann; Joachim Kupke; Michael Jünger; Sebastian Leipert; Karsten Klein; Petra Mutzel; Martin Siebenhaller

    2004-01-01

    Unified modelling language (UML) diagrams have become increasingly important in engineering and re-engineering processes for software systems. Of particular interest are UML class diagrams whose purpose is to display generalizations, associations, aggregations, and compositions in one picture. The combination of directed and undirected relations poses a special challenge to a graph layout tool. Current approaches for the automatic layout of

  20. SketchUML: The Design of a Sketch-based Tool for UML Class Diagrams

    Microsoft Academic Search

    Lin Qiu

    In Software Engineering classes, students need to learn how to use Unified Modeling Language (UML) in the software design process. In this paper, we describe a sketch-based software tool called SketchUML that allows students to create UML class diagrams as naturally as they would on paper, but with the editing capability provided by software. We describe the design choices made

  1. Checking Data Integrity via the UML Class Diagram

    Microsoft Academic Search

    Ahmad Alsaadi

    2006-01-01

    The class diagram is the most important UML diagram of an object-oriented software system. It includes both the static and behavioral aspects of its system. This can serve as a pattern for a persistent collection of objects, or as a scheme for a database system, and as a set of communication diagrams at the same time. Different types of behavioral

  2. Removing Redundancies and Deducing Equivalences in UML Class Diagrams

    E-print Network

    Balaban, Mira

    TesterComputerTester 0..* 2 Evaluation EngineTransmission Feasible-Model (b) A tight class diagram, equivalent to FigRemoving Redundancies and Deducing Equivalences in UML Class Diagrams Azzam Maraee1,2 and Mira. The emerging Model-driven Engineering approach puts mod- els at the heart of the software development process

  3. A comparison of metrics for UML class diagrams

    Microsoft Academic Search

    Tong Yi; Fangjun Wu; Chengzhi Gan

    2004-01-01

    Currently, more and more research results on measuring class diagrams have been developed in literatures. In order to study these metrics systematically and deeply, this paper analyzes and compares some typical metrics for UML class diagrams from different viewpoints, different types of relationships, different types of metric values, complexity, and theoretical and empirical validation. Finally, the authors discuss their advantages

  4. A performance analysis approach based on the UML class diagram

    Microsoft Academic Search

    Ahmad Alsaadi

    2004-01-01

    A data model, or UML class diagram of a software system, is of central importance to the computing time and the disk usage a software system exhibits. It can be normalized or denormalized to better utilize the components of a computer system or to offer acceptable performance values.This paper describes an approach to software performance analysis that is based on

  5. Precise Identification of Composition Relationships for UML Class Diagrams

    E-print Network

    Milanova, Ana

    almost perfect precision--that is, it almost never misses composition relationships. The results indicatePrecise Identification of Composition Relationships for UML Class Diagrams Ana Milanova Department of composition relationships bridges the gap between design and code. Secondly, since composition rela- tionships

  6. Composition Inference for UML Class Diagrams Ana Milanova

    E-print Network

    Milanova, Ana

    perfect precision--that is, it almost never misses composi- tion relationships. The results indicate in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships of these instantiations, on average 40% of the examined fields account for relationships that are iden- tified

  7. Precise identification of composition relationships for UML class diagrams

    Microsoft Academic Search

    Ana Milanova

    2005-01-01

    Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the gap between design and code. Secondly, since composition rela- tionships explicitly state a requirement that certain repre- sentations cannot be exposed, it is important to determine if this requirement is met by component code. Verifying

  8. Semantic annotation of requirements for automatic UML class diagram generation

    E-print Network

    Amdouni, Soumaya; Bouabid, Sondes

    2011-01-01

    The increasing complexity of software engineering requires effective methods and tools to support requirements analysts' activities. While much of a company's knowledge can be found in text repositories, current content management systems have limited capabilities for structuring and interpreting documents. In this context, we propose a tool for transforming text documents describing users' requirements to an UML model. The presented tool uses Natural Language Processing (NLP) and semantic rules to generate an UML class diagram. The main contribution of our tool is to provide assistance to designers facilitating the transition from a textual description of user requirements to their UML diagrams based on GATE (General Architecture of Text) by formulating necessary rules that generate new semantic annotations.

  9. Diagram, a Learning Environment for Initiation to Object-Oriented Modeling with UML Class Diagrams

    ERIC Educational Resources Information Center

    Py, Dominique; Auxepaules, Ludovic; Alonso, Mathilde

    2013-01-01

    This paper presents Diagram, a learning environment for object-oriented modelling (OOM) with UML class diagrams. Diagram an open environment, in which the teacher can add new exercises without constraints on the vocabulary or the size of the diagram. The interface includes methodological help, encourages self-correcting and self-monitoring, and…

  10. Ecient Reasoning about Finite Satisability of UML Class Diagrams with Constrained

    E-print Network

    Balaban, Mira

    @cs.bgu.ac.il Abstract. UML class diagrams play a central role in the design and specication of software, databasesEcient Reasoning about Finite Satisability of UML Class Diagrams with Constrained Generalization class diagrams and enable the construction of erroneous models. There is an urgent need for methods

  11. Management of Correctness Problems in UML Class Diagrams Towards a Pattern-based Approach

    E-print Network

    Balaban, Mira

    modeling language for software construction. The Class Diagram is its core view, having well formed, and for maintaining software documentation. The major usage of UML class diagrams is to specify, visualize1 Management of Correctness Problems in UML Class Diagrams ­ Towards a Pattern-based Approach Mira

  12. Reasoning on UML Class Diagrams Daniela Berardi, Andrea Cal, Diego Calvanese and Giuseppe De Giacomo

    E-print Network

    Calvanese, Diego

    with reasoning capabilities on UML class diagrams. Categories and Subject Descriptors: [Software Engineering]: Design Tools and Techniques -- UML Class Diagrams ; [Software Engineering]: Software Verification in industrial­scale software applications brings about class diagrams that are large and complex to design

  13. Research and Design of Program Abstract Table Based on UML Class Diagram

    Microsoft Academic Search

    Hui Gu; Huiying Qian; Hui Wang

    2010-01-01

    In program comprehension, program abstract table is used to sum up and empress the main messages of the program, and it provides an important process to obtain the result of program comprehension in program comprehension system. UML class diagrams directly linked to C++ language, the paper studies a method of mapping rules from UML class diagrams to tables, and analyses

  14. Reasoning on UML Class Diagrams Daniela Berardi, Andrea Cal`i, Diego Calvanese and Giuseppe De Giacomo

    E-print Network

    Calvanese, Diego

    with reasoning capabilities on UML class diagrams. Categories and Subject Descriptors: [Software Engineering]: Design Tools and Techniques ­ UML Class Diagrams; [Software Engineering]: Software Verification ­ FormalReasoning on UML Class Diagrams Daniela Berardi, Andrea Cal`i, Diego Calvanese and Giuseppe De

  15. A Systematic Study of UML Class Diagram Constituents for their Abstract and Precise Recovery

    Microsoft Academic Search

    Yann-gaël Guéhéneuc

    2004-01-01

    Existing reverse-engineering tools use algorithms based on vague and verbose definitions of UML constituents to recover class diagrams from source code. Thus, reverse-engineered class diagrams are neither abstract nor precise representations of source code and are of little interest for software engineers. We propose an exhaustive study of class diagram constituents with respect to their recovery from C++, Java, and

  16. Comparison research of two typical UML-class-diagram metrics: Experimental software engineering

    Microsoft Academic Search

    Tong Yi

    2010-01-01

    Measuring UML class diagram complexity can help developers select one with lowest complexity from a variety of different designs with the same functionality; also provide guidance for developing high quality class diagrams. This paper compared the advantages and disadvantages of two typical class-diagram complexity metrics based on statistics and entropy-distance respectively from the view of newly experimental software engineering. 27

  17. On Using UML Class Diagrams for Object-Oriented Database Design

    Microsoft Academic Search

    Yongzhen Ou

    \\u000a In the course of object-oriented software engineering, the UML class diagrams are used to specify the static structure of\\u000a the system under study, such as classes, types and various kinds of static relationships among them. Objects of the persistent\\u000a classes can be stored in object-oriented databases or in relational databases. In the former case, the UML class diagrams\\u000a are actually

  18. Supporting Collaborative Learning and Problem-Solving in a Constraint-Based CSCL Environment for UML Class Diagrams

    ERIC Educational Resources Information Center

    Baghaei, Nilufar; Mitrovic, Antonija; Irwin, Warwick

    2007-01-01

    We present COLLECT-UML, a constraint-based intelligent tutoring system (ITS) that teaches object-oriented analysis and design using Unified Modelling Language (UML). UML is easily the most popular object-oriented modelling technology in current practice. While teaching how to design UML class diagrams, COLLECT-UML also provides feedback on…

  19. SMT-based enumeration of object graphs from UML class diagrams

    Microsoft Academic Search

    Kenro Yatake; Toshiaki Aoki

    This paper presents an encoding of the UML class diagram with OCL invariants in an SMT solver for enumerating all the object graphs from the class diagram. Enumeration of all the object graphs was necessary for our verification of operating systems by model checking, i.e., exhaustively enumerate all the structural variations of the environments to be checked against an operating

  20. UML Class Diagrams - State of the Art in Layout Techniques

    Microsoft Academic Search

    Holger Eichelberger

    Even if the standard for specifying software, the Unified Modeling Language, is known in different versions to every- body, CASE tool vendors did not implement all basic fea- tures. Even with class diagrams, many features of the stan- dard are ignored. Applying the layout algorithms of these CASE tools to the user defined diagrams, usually horrible results are produced, because

  1. OCL constraints automatic generation for UML class diagram

    Microsoft Academic Search

    Li Tan; Zongyuan Yang; Jinkui Xie

    2010-01-01

    As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide refined description of UML, OCL is primarily and widely employed. Generally, OCL constraints are written manually, which may cause incorrectness and extra overhead. Therefore, generating OCL constraints template for UML models is a superior solution. The OCL

  2. A Survey of Metrics for UML Class Diagrams

    Microsoft Academic Search

    Marcela Genero Bocco; Mario Piattini; Coral Calero

    2005-01-01

    The demand for increased software quality has resulted in quality being more of differentiator between products than it ever has been before. For this reason, software developers need objective and valid measures for use in the evaluation and improvement of product quality from the initial stages of development. Class diagrams are a key artifact in the development of object-oriented (OO)

  3. A Tool for the Application of Software Metrics to UML Class Diagram

    Microsoft Academic Search

    Xiao Han; Li Shang; Wang Bo

    2009-01-01

    How to improve software quality are the important directions in software engineering research field. The complexity has a close relationship with the developing cost, time spending and the number of detects which a program may exist. OOA and OOD have been widely used, so the requirement of measuring software complexity written in object-oriented language is emerging. UML class diagrams describe

  4. Using Jaza to Animate RoZ Specifications of UML Class Diagrams

    Microsoft Academic Search

    Yves Ledru

    2006-01-01

    One of the goals of the integration of formal and graphi- cal methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specifica- tion from an annotated UML class diagram. It also gener- ates the specification of basic operations associated to

  5. VISSOFT'07 Submission Kagdi, Maletic Onion Graphs for Focus+Context Views of UML Class Diagrams

    E-print Network

    Maletic, Jonathan I.

    VISSOFT'07 Submission Kagdi, Maletic Onion Graphs for Focus+Context Views of UML Class Diagrams {hkagdi, jmaletic}@cs.kent.edu Abstract The paper introduces the use of onion graphs as a focus) and presented at varying levels of detail in onion notation. A selective aggregation technique for achieving

  6. An experimental comparison of ER and UML class diagrams for data modelling

    Microsoft Academic Search

    Andrea De Lucia; Carmine Gravino; Rocco Oliveto; Genoveffa Tortora

    2010-01-01

    We present the results of three sets of controlled experiments aimed at analysing whether UML class diagrams are more comprehensible\\u000a than ER diagrams during data models maintenance. In particular, we considered the support given by the two notations in the\\u000a comprehension and interpretation of data models, comprehension of the change to perform to meet a change request, and detection\\u000a of

  7. Empirical analysis of entropy distance metric for UML class diagrams

    Microsoft Academic Search

    Tong Yi; Fangjun Wu

    2004-01-01

    Many software systems built in recent years have been developed using the UML and, in some cases, they already need adaptive maintenance in order to satisfy market and customer needs. Thus a strong emphasis on analysis metrics for software development is necessary. Analysis metrics play an important role in helping developers understand software and, hence, improve software quality and developer

  8. Building measure-based prediction models for UML class diagram maintainability

    Microsoft Academic Search

    Marcela Genero; M. Esperanza Manso; Corrado Aaron Visaggio; Gerardo Canfora; Mario Piattini

    2007-01-01

    The usefulness of measures for the analysis and design of object oriented (OO) software is increasingly being recognized in\\u000a the field of software engineering research. In particular, recognition of the need for early indicators of external quality\\u000a attributes is increasing. We investigate through experimentation whether a collection of UML class diagram measures could\\u000a be good predictors of two main subcharacteristics

  9. On reverse engineering an object-oriented code into UML class diagrams incorporating extensible mechanisms

    Microsoft Academic Search

    Vinita; Amita Jain; Devendra K. Tayal

    2008-01-01

    Abstract Reverse engineering is the key idea for reconstruction of any,ex- isting system. In this paper, we propose an algorithm to reverse engineer an object-oriented code into Unified Modeling Language (UML) class diagram. Our algorithm is very general in nature and can be applied,to any,object-oriented code irrespective of the ob- ject-oriented programming,language. In our paper we consider,an object-oriented pseudocode,similar to

  10. Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study

    Microsoft Academic Search

    M. Esperanza Manso; José A. Cruz-lemus; Marcela Genero; Mario Piattini

    2008-01-01

    The main goal of this paper is to show the findings obtained through a meta-analysis study carried out with the data obtained\\u000a from a family of five controlled experiments performed in academic environments. This family of experiments was carried out\\u000a to validate empirically two hypotheses applied to UML class diagrams, which investigate 1) The dependence between the structural\\u000a complexity and

  11. Scrutinizing UML Activity Diagrams

    NASA Astrophysics Data System (ADS)

    Al-Fedaghi, Sabah

    Building an information system involves two processes: conceptual modeling of the “real world domain” and designing the software system. Object-oriented methods and languages (e.g., UML) are typically used for describing the software system. For the system analysis process that produces the conceptual description, object-oriented techniques or semantics extensions are utilized. Specifically, UML activity diagrams are the “flow charts” of object-oriented conceptualization tools. This chapter proposes an alternative to UML activity diagrams through the development of a conceptual modeling methodology based on the notion of flow.

  12. UML: Abstraction as a Criterion for Defining Class Diagrams and Object Diagrams

    Microsoft Academic Search

    Ivan Pogarcic; Miro Francic; Vlatka Davidovic

    2007-01-01

    UML is undisputedly the most efficient and effective tool of information systems analysis and design. Abstraction as paradigm, represent the basis of an object-oriented approach to development of information system and software solutions. No matter what background team members have (i.e. information technology or problem domain experts), the capability of abstraction is of crucial importance, especially at the early phase

  13. A topology-shape-metrics approach for the automatic layout of UML class diagrams

    Microsoft Academic Search

    Markus Eiglsperger; Michael Kaufmann; Martin Siebenhaller

    2003-01-01

    Class diagrams are among the most popular visualizations for object oriented software systems and have a broad range of applications. In many settings it is desirable that the placement of the diagram elements is determined automatically, especially when the diagrams are generated automatically which is usually the case in reverse engineering. For this reason the automatic layout of class diagram

  14. Program Synthesizes UML Sequence Diagrams

    NASA Technical Reports Server (NTRS)

    Barry, Matthew R.; Osborne, Richard N.

    2006-01-01

    A computer program called "Rational Sequence" generates Universal Modeling Language (UML) sequence diagrams of a target Java program running on a Java virtual machine (JVM). Rational Sequence thereby performs a reverse engineering function that aids in the design documentation of the target Java program. Whereas previously, the construction of sequence diagrams was a tedious manual process, Rational Sequence generates UML sequence diagrams automatically from the running Java code.

  15. Aesthetics of Class Diagrams

    Microsoft Academic Search

    Holger Eichelberger

    2002-01-01

    Visualization of object-oriented programs by class dia- grams is a widely used technique. So far no commonly agreed aesthetic criteria have been recorded in order to standardize and measure the quality of class diagrams. In this paper we focus on UML class diagrams, the standard notation for class diagrams in software engineering. We propose some aesthetic criteria which reflect the

  16. Abstracting Business Level UML Diagrams from Web Applications

    Microsoft Academic Search

    Giuseppe Antonio Di Lucca; Anna Rita Fasolino; Porfirio Tramontana; Ugo De Carlini

    2003-01-01

    In this paper, a reverse engineering approach for reconstructing UML diagrams at business level of the application domain of a Web application is presented. In particular, the approach allows the reconstruction of the UML class diagram providing an object-oriented conceptual model of the application domain, sequence diagrams modeling the interactions among the identified business objects and use case diagrams modeling

  17. UML Class Diagrams Revisited in the Context of Agent-Based Systems

    Microsoft Academic Search

    Bernhard Bauer

    2001-01-01

    Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (object- oriented software development) and using artifacts to support the development environment throughout the full system lifecycle. We address both of these requirements using AUML, the Agent UML (Unified Modeling Language) — a set of UML idioms and extensions. This paper

  18. Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces

    E-print Network

    Boyer, Edmond

    . The reverse-engineering of UML static diagrams ­ like class diagrams ­ has been studied and is now implementedReverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces Romain Delamare, Benoit of the program. In this paper, we focus on the reverse engineering of UML 2.0 sequence diagrams showing loops

  19. UML for XML-GL Query Using Class Diagram and OCL

    Microsoft Academic Search

    Bong-Jin Choi; Yong-Sung Kim; Yan Ha

    2009-01-01

    Nowadays, XML has been favored as a means of sharing and distributing data, due to its open-architectural feature. XML-GL, a graphical query language for XML document, has the advantage of structuring and defining itself. By incorporating UML, an XML document can become object-oriented and can be represented by graphical means. This paper proposes an efficient query modelling of XML-GL using

  20. Analysing UML 2.0 activity diagrams in the software performance engineering process

    E-print Network

    Stevens, Perdita

    Analysing UML 2.0 activity diagrams in the software performance engineering process C. Canevet, S, there will typically be a static structure diagram (or class diagram) describing the classes and in- terfaces present an original method of analysing the newly- revised UML2.0 activity diagrams. Our analysis method

  1. Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications

    E-print Network

    Cordy, James R.

    Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications Manar H. Alalfi based on reverse engineering of the structure and behav- ior of software to visual models such as UML of programs as UML class diagrams. However, the recovery of dynamic behavior, and particularly interaction

  2. On Class Diagrams, Crossings and Metrics

    Microsoft Academic Search

    Holger Eichelberger

    2005-01-01

    UML class diagrams, internationally specified and widely used in software engineering, are a great challenge in automatic drawing of graphs. Due to the complex nature of UML class diagrams and the requirements of software engineers, who need to read these diagrams, layout rules and algo- rithms for general graphs can not be applied without adaptions, extensions and modifications. In this

  3. Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams

    E-print Network

    Rountev, Atanas "Nasko"

    . In UML tools, reverse engineering through static code analysis is typically restricted to class diagrams- existent design information. Reverse-engineered diagrams provide essential insights for softwareStatic Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams Atanas Rountev Ohio

  4. A UML profile for feature diagrams: Initiat-ing a model driven engineering approach for

    E-print Network

    Paris-Sud XI, Université de

    A UML profile for feature diagrams: Initiat- ing a model driven engineering approach for software based upon a meta-model synthesising existing feature diagrams semantics, and a Rational Software of models (requirements, class diagrams, sequences or activity diagrams, etc.). RÉSUMÉ. Ce papier propose

  5. Using UML Collaboration Diagrams for Static Checking and Test Generation

    E-print Network

    Offutt, Jeff

    diagrams. The most novel aspect of this is that tests can be generated automatically from the softwareUsing UML Collaboration Diagrams for Static Checking and Test Generation Aynur Abdurazik and Jeff Modeling Language (UML '00), pages 383--395, York, UK, October 2000. Abstract. Software testing can only

  6. Towards Aspect-Oriented Class Diagrams

    Microsoft Academic Search

    Gefei Zhang

    2005-01-01

    While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software de- sign, the de facto standard modeling language UML lacks first-class model elements representing aspects and does not provide genuine support for aspect-oriented modeling. We propose a simple extension of UML class diagrams which contains a very generic pointcut and advice language and facilitates

  7. Reveal: A Tool to Reverse Engineer Class Diagrams

    E-print Network

    Malloy, Brian

    Reveal: A Tool to Reverse Engineer Class Diagrams Sarah Matzko, Peter J. Clarke, Tanton H. Gibbs- gineer a class diagram from the C++ source code representation of the software. In Re- veal, we remain to three other tools that reverse-engineer class diagrams, for both compliance to the UML standard

  8. Reveal: A Tool to Reverse Engineer Class Diagrams

    E-print Network

    Malloy, Brian

    Reveal: A Tool to Reverse Engineer Class Diagrams Sarah Matzko, Peter J. Clarke, Tanton H. Gibbs present a tool, Reveal, to reverse engineer a class diagram from the C + + source code representa- tion of the software. In Reveal, we remain faithful to the UML standard definition of a class diagram wher- ever

  9. Transformation from Data Flow Diagram to UML2.0 activity diagram

    Microsoft Academic Search

    Fanchao Meng; Dianhui Chu; Dechen Zhan

    2010-01-01

    Model transformations are frequently applied in business process modeling to bridge between languages on a different level of abstraction and formality This paper proposes a model transformation from Data Flow Diagrams (DFD) which have been used widely in structure requirement analysis phase to UML Activity Diagrams (UML-AD) which have been used widely in various phases of Object Oriented Development Method.

  10. A Comparative Evaluation of Tests Generated from Different UML Diagrams

    E-print Network

    Offutt, Jeff

    such as UML diagrams. When deriving tests from model-based descriptions of the software, the test engineer, Thailand supaporn.k@psu.ac.th Jeff Offutt, Aynur Abdurazik, Andrea Baldini Software Engineering George software. Sequence diagrams capture time dependent (temporal) sequences of interactions between objects

  11. UML+Z: Augmenting UML with Z Nuno AM ALIO, Fiona POLACK, and Susan STEPNEY

    E-print Network

    Stepney, Susan

    - based modeling. UML + Z models comprise class, state and object UML diagrams, which are represented with the drawing of UML class and state diagrams. These diagrams are then used to instantiate templates from by modeling the static and behavioral aspects of the system with UML class and state diagrams. Then we discuss

  12. Control Flow Analysis of UML 2.0 Sequence Diagrams

    Microsoft Academic Search

    Vahid Garousi; Lionel C. Briand; Yvan Labiche

    2005-01-01

    This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, this technique can be used earlier in software development life cycle, when the UML design model of a system becomes available. Among many applications, this technique can be used in SD-based test techniques, model comprehension

  13. Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software

    E-print Network

    Jee, Eunkyoung

    Automatic Construction of Timing Diagrams from UML/MARTE Models for Real-Time Embedded Software sequence diagrams and state machine diagrams with MARTE annotations. The proposed approach enables de--Methodologies Keywords UML, MARTE, timing diagram, state machine diagram, se- quence diagram, real-time embedded software

  14. UML --1 2004 John Mylopoulos Conceptual Modeling CSC2507

    E-print Network

    Mylopoulos, John

    UML -- 1 2004 John Mylopoulos Conceptual Modeling CSC2507 Use Case DiagramsUse Case Diagrams Class DiagramsClass Diagrams Attributes, Operations and ConstraintsAttributes, Operations and ConstraintsUML Diagrams I UML was conceived as a language for modeling software. Since this includes requirements, UML

  15. Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations

    E-print Network

    Gogolla, Martin - Fachbereich 3

    use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions as guards and parts in [Kuske et al., 2002] for class, object and statechart diagrams. Since this approach does not cover

  16. An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models

    E-print Network

    An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance. UML/MARTE behavioral models can specify timing information in the multiple viewpoints. Among UML an approach to constructing timing diagrams with MARTE annotations from the state machine and sequence

  17. Intelligent drug delivery system using UML diagrams analysis

    Microsoft Academic Search

    Qi-feng Cui; Cheng-liang Liu; Xuan F. Zha

    2008-01-01

    A novel intelligent drug delivery system potential for the more effective therapy of the diabetics was proposed, and the composition\\u000a of system was analyzed. Based on the design of micro-electro-mechanical systems (MEMS), an iterative modeling process was\\u000a introduced. Unified modeling language (UML) was employed to describe the function requirement, and different diagrams were\\u000a built up to explore the static model,

  18. Interactive Exploration of UML Sequence Diagrams Richard Sharp

    E-print Network

    Rountev, Atanas "Nasko"

    in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code method max in class java.math.BigDecimal. opment [8], reverse-engineering of sequence diagrams-world se- quence diagrams in order to gain insights about the behav- ior of the underlying software. We

  19. Consistent Adaptation and Evolution of Class Diagrams during Refinement

    Microsoft Academic Search

    Alexander Egyed

    2004-01-01

    Software models are key in separating and solving independent de- velopment concerns. However, there is still a gap on how to transition design information among these separate, but related models during development and maintenance. This paper addresses the problem on how to maintain the consis- tency of UML class diagrams during various levels of refinement. We present a new approach

  20. Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile

    E-print Network

    Gilmore, Stephen

    Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE performance evaluation provided by MARTE, the UML profile for model-driven development of Real Time and Embedded Systems. MARTE offers a rich semantics which is general enough to allow different quanti- tative

  1. UML 2 activity model support for systems engineering functional flow diagrams

    Microsoft Academic Search

    Conrad Bock

    2003-01-01

    This article compares Activity models of the Unified Modeling Language, version 2 (UML 2) (OMG (Object Management Group), UML 2.0 superstructure specification, August 2003, http:\\/\\/www.omg.org\\/cgi-bin\\/doc?ptc\\/03-08-02), to a widely-used systems engineering (SE) flow diagram, the Enhanced Functional Flow Block Diagram (EFFBD) (J. Long, Relationships between common graphical representations in system engineering, ViTech Corporation, 2002), and to the requirements for functional flow

  2. On the Role of Activity Diagrams in UML Institut fr Informatik, Technische Universitt Mnchen

    E-print Network

    object-oriented diagrams like class and statechart diagrams. In this paper we propose to use activity diagrams as a bridge between use case diagrams and class diagrams. This gives three benefits: a smooth and incremental class diagram development. Keywords Analysis and Design, Use Cases, Activity Diagram 1

  3. minimUML: A Minimalist Approach to UML Diagramming for Early Computer Science Education

    ERIC Educational Resources Information Center

    Turner, Scott A.; Perez-Quinones, Manuel A.; Edwards, Stephen H.

    2005-01-01

    In introductory computer science courses, the Unified Modeling Language (UML) is commonly used to teach basic object-oriented design. However, there appears to be a lack of suitable software to support this task. Many of the available programs that support UML focus on developing code and not on enhancing learning. Programs designed for…

  4. Bringing class diagrams to life

    Microsoft Academic Search

    Luís Soares Barbosa; Sun Meng

    2010-01-01

    Research in formal methods emphasizes a fundamental interconnection between modeling, calculation and prototyping, made possible\\u000a by a common unambiguous, mathematical semantics. This paper, building on a broader research agenda on coalgebraic semantics\\u000a for Unified Modeling Language diagrams, concentrates on class diagrams and discusses how such a coalgebraic perspective can\\u000a be of use not only for formalizing their specification, but also

  5. A Collaborative Support Approach on UML Sequence Diagrams for Aspect-Oriented Software

    NASA Astrophysics Data System (ADS)

    de Almeida Naufal, Rafael; Silveira, Fábio F.; Guerra, Eduardo M.

    AOP and its broader application on software projects brings the importance to provide the separation between aspects and OO components at design time, to leverage the understanding of AO systems, promote aspects' reuse and obtain the benefits of AO modularization. Since the UML is a standard for modeling OO systems, it can be applied to model the decoupling between aspects and OO components. The application of UML to this area is the subject of constant study and is the focus of this paper. In this paper it is presented an extension based on the default UML meta-model, named MIMECORA-DS, to show object-object, object-aspect and aspect-aspect interactions applying the UML's sequence diagram. This research also presents the application of MIMECORA-DS in a case example, to assess its applicability.

  6. Nice class diagrams admit good design?

    Microsoft Academic Search

    Holger Eichelberger; Am Hubland

    2003-01-01

    Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods according to the UML standard and some of the tools provide automatic layout of the diagrams drawn by the user or generated automatically from source code. In this paper we propose a set of

  7. Behavior Modeling with Interaction Diagrams in a UML and OCL Tool

    E-print Network

    Gogolla, Martin - Fachbereich 3

    set. Categories and Subject Descriptors D.2.2 [Software engineering]: Design Tools and Tech- niques--Object-oriented design methods; D.2.4 [Software engineering]: Software/Program Verification--Validation; F.3.1 [LogicsBehavior Modeling with Interaction Diagrams in a UML and OCL Tool Martin Gogolla, Lars Hamann

  8. A Modeling Methodology for Empirically Studying User Behavior: The Case of UML Diagram Usage

    Microsoft Academic Search

    Gay Costain; Ananth Srinivasan

    The use of UML diagrams and associated methodologies in the development of software applications has, on the on e hand been presented as a standard, while on the other hand has been criticiz ed by empiricists who have actually studied its usage. In this paper, we descr ibe a useful empirical method to analyze data about the nature, extent, and

  9. Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software

    E-print Network

    Jee, Eunkyoung

    Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time. Given sequence diagrams and state machine diagrams with MARTE annotations, we propose a systematic way to construct timing diagrams with MARTE annotations. To get well-formed mod- els, we check timing constraints

  10. A controlled experiment for corroborating the usefulness of class diagram metrics at the early phases of OO developments

    Microsoft Academic Search

    Marcela Genero; José A. Olivas; Mario Piattini; Francisco P. Romero

    2001-01-01

    The quality of class diagrams is critical because it has a great influence on the quality of the object oriented information system (OOIS) which are finally delivered. This fact motivated us to define a set of measures for evaluating the structural complexity (an internal quality attribute) of class diagrams made using the Unified Modeling Language (UML), which nowadays is the

  11. Research on Test Case of Generating Scenario Based on UML

    Microsoft Academic Search

    ZHENG Guang-cheng

    2009-01-01

    (Abstract)Test case of generating scenario based on UML is very helpful for the design of test case. The method of a DHCP generating scenario test case is illustrated by using UML sequence diagram, integrate class graph and state graph. The test method based on UML sequence diagram are discussed, from finding scenario to generating test. And the environment condition of

  12. MASTER OF SCIENCE THESIS Integration of "UML-ised"

    E-print Network

    #12;III Abstract Formal methods and graphical notations are tools in software engineering and much much research interest. Many have focused on the formalisation of UML Class Diagrams with various. The diagram is visually inspired by the UML Class Diagram but is semantically directly mapped to RSL. A plug

  13. Mapping UML Diagrams to a Petri Net Notation for System Simulation Zhaoxia Hu and Sol M. Shatz

    E-print Network

    Shatz, Sol M.

    Mapping UML Diagrams to a Petri Net Notation for System Simulation Zhaoxia Hu and Sol M. Shatz Concurrent Software Systems Laboratory University of Illinois at Chicago {zhu, shatz}@cs.uic.edu Abstract

  14. 2IW05 Software Specification Class Diagrams

    E-print Network

    Mousavi, Mohammad

    2IW05 ­ Software Specification Class Diagrams Mohammad Mousavi Formal Systems Analysis (FSA) Model-Driven Software Engineering Department of Computer Science TU/Eindhoven September 7, 2012 #12;News 1 Send me specification: 1 Class diagram: data types, their operations and dependencies (extended ERDs) 2 Package diagram

  15. A framework for transforming artifacts from data flow diagrams to UML

    Microsoft Academic Search

    Thu Nga Tran; Khaled M. Khan; Yi-chen Lan

    2004-01-01

    This work proposes a framework for transforming data flow diagrams (DFD) into UML artifacts. The framework is a systematic step-by-step approach that enables systems analysts and designers to achieve the transformation. Many existing legacy systems were designed using structured analysis and design methodology (SAD). Some of these legacy systems need to be re-designed and re- produced using object-oriented analysis and

  16. A Lightweight UML-based Reverse Engineering for Object-Oriented Fortran: ForUML

    E-print Network

    Carver, Jeffrey C.

    implement computational sci- ence and engineering software have adopted the object-oriented (OO) Fortran. The software engineering community commonly uses reverse engineering techniques to deal with this challenge language (UML) class diagram from Fortran code. The UML class diagram facilitates the developers' ability

  17. Performance modelling with UML and stochastic process algebras Catherine Canevet, Stephen Gilmore, Jane Hillston, Matthew Prowse and Perdita Stevens

    E-print Network

    Gilmore, Stephen

    adopted UML as their main software design notation. UML is a diagram­ matic notation for recording dia­ gram types. For example, there will typically be a static struc­ ture diagram (or class diagram of particular classes. Interaction diagrams, such as sequence diagrams, are used to illustrate the way objects

  18. Performance modelling with UML and stochastic process algebras Catherine Canevet, Stephen Gilmore, Jane Hillston, Matthew Prowse and Perdita Stevens

    E-print Network

    Gilmore, Stephen

    adopted UML as their main software design notation. UML is a diagram- matic notation for recording dia- gram types. For example, there will typically be a static struc- ture diagram (or class diagram of particular classes. Interaction diagrams, such as sequence diagrams, are used to illustrate the way objects

  19. Making UML models exchangeable over the Internet with XML: UXF approach

    E-print Network

    Suzuki, Jun

    for documenting object-oriented models, it has been widely accepted in the software engineering area. However, UML been widely accepted in the software engineering area. While UML is the union of the previous leading Structural diagrams: ·E Class diagram ·E Object diagram ·E Behavioral diagrams: ·E Use case diagram ·E

  20. Empirical Validation of Class Diagram Metrics

    Microsoft Academic Search

    Marcela Genero; Mario Piattini; Coral Calero

    2002-01-01

    As a key early artefact in the development of OO software, the quality of class diagrams is crucial for all later design work and could be a major determinant for the quality of the software product that is finally delivered. Quantitative measurement instruments are useful to assess class diagram quality in an objective way, thus avoiding bias in the quality

  1. Multidimensional Modeling with UML Package Sergio Lujn-Mora

    E-print Network

    Song, Il-Yeol

    the development of multidimensional (MD) models for data ware- houses (DW) using UML package diagrams. In this way, when modeling complex and large DW systems, we are not restricted to use at UML class diagrams. We of the package diagrams using our design guidelines will produce a very simple yet powerful de- sign of MD models

  2. Class diagram based evaluation of software performance

    NASA Astrophysics Data System (ADS)

    Pham, Huong V.; Nguyen, Binh N.

    2013-03-01

    The evaluation of software performance in the early stages of the software life cycle is important and it has been widely studied. In the software model specification, class diagram is the important object-oriented software specification model. The measures based on a class diagram have been widely studied to evaluate quality of software such as complexity, maintainability, reuse capability, etc. However the software performance evaluation based on Class model has not been widely studied, especially for object-oriented design of embedded software. Therefore, in this paper we propose a new approach to directly evaluate the software performance based on class diagrams. From a class diagram, we determine the parameters which are used to evaluate and build formula of the measures such as Size of Class Variables, Size of Class Methods, Size of Instance Variables, Size of Instance Methods, etc. Then, we do analysis of the dependence of performance on these measures and build the performance evaluation function from class diagram. Thereby we can choose the best class diagram based on this evaluation function.

  3. An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study

    Microsoft Academic Search

    Philippe Chevalley; Pascale Thévenod-fosse

    2001-01-01

    This paper presents an empirical study of the effectiveness of test cases generated from UML state diagrams using transition coverage as the testing criterion. The test cases production is mainly based on an adaptation of a probabilistic method, called statistical testing based on testing criteria. This technique was automated with the aid of the Rational Software Corporation's Rose RealTime tool.

  4. Automatically Extracting Class Diagrams from Spreadsheets

    Microsoft Academic Search

    Felienne Hermans; Martin Pinzger; Arie van Deursen

    2010-01-01

    The use of spreadsheets to capture information is widespread in in- dustry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically extract this information and transform it into class di- agrams. The resulting class diagram can be used by software engineers to un- derstand, refine, or re-implement the spreadsheet's functionality. To enable the transformation into

  5. A UML profile for framework modeling.

    PubMed

    Xu, Xiao-liang; Wang, Le-yu; Zhou, Hong

    2004-01-01

    The current standard Unified Modeling Language(UML) could not model framework flexibility and extendability adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate. PMID:14663859

  6. No-redundant Metrics for UML Class Diagram Structural Complexity

    Microsoft Academic Search

    M. Esperanza Manso; Marcela Genero; Mario Piattini

    2003-01-01

    In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decisions and to predict external quality attributes, such as maintainability. Following this idea we have carried out three controlled experiments to ascertain if any correlation exists between the structural complexity and

  7. Generating Natural Language specifications from UML class diagrams

    Microsoft Academic Search

    Farid Meziane; Nikos Athanasakis; Sophia Ananiadou

    2008-01-01

    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 semi-structured or formal specifications. Fur- thermore, consistency checking is seen by many software engineers as the solu- tion to reduce the number

  8. Full Satisfiability of UML Class Diagrams (Extended Abstract)

    E-print Network

    Calvanese, Diego

    , and Angelica Ib´a~nez-Garc´ia KRDB Research Centre, Free University of Bozen-Bolzano, Italy {artale, Diego Calvanese, and Angelica Ib´a~nez-Garc´ia The proposed formalizations of UCDs indicate that one can

  9. Students' different understandings of class diagrams

    Microsoft Academic Search

    Jonas Boustedt

    2012-01-01

    The software industry needs well-trained software designers and one important aspect of software design is the ability to model software designs visually and understand what visual models represent. However, previous research indicates that software design is a difficult task to many students. This article reports empirical findings from a phenomenographic investigation on how students understand class diagrams, Unified Modeling Language

  10. Empirical Validation of Class Diagram Complexity Metrics

    Microsoft Academic Search

    Marcela Genero; Mario Piattini; Luis Jiménez

    2001-01-01

    One of the principal objectives of software engineering is to improve the quality of software products. It is widely recognised that the quality assurance of software products must be guaranteed from the early phases of development. As a key artifact produced in the early development of object-oriented (OO) information systems (OOISs), class diagram quality has a great impact on the

  11. Modeling AN Application Domain Extension of Citygml in Uml

    NASA Astrophysics Data System (ADS)

    van den Brink, L.; Stoter, J.; Zlatanova, S.

    2012-06-01

    This paper presents key aspects of the development of a Dutch 3D standard IMGeo as a CityGML ADE. The new ADE is modeled using UML class diagrams. However the OGC CityGML specification does not provide clear rules on modeling an ADE in UML. This paper describes how the extension was built, which provides general insight how CityGML can be extended for a specific applications starting from the UML diagrams. Several alternatives for modeling ADEs in UML have been investigated and compared. The best suited for the 3D standard option is selected and applied. Open issues and challenges are discussed in the conclusions.

  12. Valkyrie: A UML-Based Model-Driven Environment for Model-Driven Software Engineering

    E-print Network

    Westfechtel, Bernhard

    Valkyrie: A UML-Based Model-Driven Environment for Model-Driven Software Engineering Thomas Transformations; Code Generation; EMF; Ecore; GMF; Acceleo. Abstract: Model-driven software engineering aims and design, which are based on package diagrams, class diagrams, statecharts, and the textual UML Action

  13. A Controlled Experiment for Validating Class Diagram Structural Complexity Metrics

    Microsoft Academic Search

    Marcela Genero; Luis Jiménez; Mario Piattini

    2002-01-01

    Measuring quality is the key to developing high-quality software, and it is widely recognised that quality assurance of software\\u000a products must be assessed focusing on early artifacts, such as class diagrams. After having thoroughly reviewed existing OO\\u000a measures applicable to class diagrams at a high-level design stage, a set of metrics for the structural complexity of class\\u000a diagrams obtained using

  14. Chen, Q., Grundy, J.C., and Hosking, J.G. SUMLOW: Early Design-Stage Sketching of UML Diagrams on an E-whiteboard, Software Practice and Experience, vol. 38 , no. 9, Wiley, July 2008, pp. 961-994

    E-print Network

    Grundy, John

    software design ideas, for example as whole or partial UML diagrams; to explore various possible for collaborative software design work is shown in Figure 1. In this example two software engineers are discussing aspects of the high-level design of a new software application. To the right are three example UML diagram

  15. UML-based Alias Control Department of Computer Science

    E-print Network

    Bystroff, Chris

    ] class diagrams, and verification of these constraints through reverse engineer- ing. UML class diagrams relationships; they are scalable and informative models, widely-used in software engineering practice of these constraints through re- verse engineering. These constraints inherently support soft- ware design principles

  16. An Empirical Study to Validate Metrics for Class Diagrams

    Microsoft Academic Search

    Marcela Genero; Mario Piattini; Coral Calero

    2002-01-01

    One of the principal objectives of software engineering is to improve the quality of software products. Quality assurance must be guaranteed from the early stages of the software development life cycle, focusing on high-level design artifacts like class diagrams. Indeed, class diagrams constitute the backbone of object- oriented information systems (OOIS) so, their quality has a great impact on the

  17. TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS

    E-print Network

    Southampton, University of

    -B [5] is a UML-like graphical front-end for Event-B. The UML-B uses Class diagrams and Statemachines], and SynaptiCAD [10]. In general, those editors are engineering computer-aided design (CAD) software toolTIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS Tossaporn Joochim, Colin F

  18. Checking UML Model Consistency A. Baruzzo1

    E-print Network

    Comini, Marco

    propose a static verification technique that, by using OCL constraints together with class diagrams these theoretical efforts have produced also relevant practical results. Indeed, the software engineering community-facto standard for design and develop- ment of (object-oriented) software. With version 2.0 UML has achieved

  19. REQUIREMENTS-LEVEL SEMANTICS FOR UML STATECHARTS

    E-print Network

    Wieringa, Roel

    chart + statechart UML class diagram + statechart separation of data state/process and control state] to model the behaviour of ac- tivities in the structured analysis approach Statemate [8]. They have been by means of input and output flows accessible to the statechart. This means that in Statemate "local" data

  20. Evaluating data flow diagrams and class diagrams in usability laboratory experiments (CADPRO Pilot #2)

    Microsoft Academic Search

    SHINGO TAKADA; LOUISE SCOTT; ANDY BROOKS

    This paper reports on a second pilot experiment for the CADPRO project taking into account a number of the recommendations arising from the first pilot. Three subjects produced data flow diagrams and class diagrams in a usability laboratory setting. Characteristics of subjects' solutions are discussed and the usefulness of profiles of product delivery and constraint activations against time is determined.

  1. Software Specification and Testing Using UML and OCL

    E-print Network

    Peters, Dennis

    the structure and behavior of the software. The most basic diagram is the Class Diagram, in which you defineSoftware Specification and Testing Using UML and OCL Jonathan Milley Faculty of Engineering of Engineering and Applied Science MUN St. John's, NL Email: dpeters@engr.mun.ca Abstract Software testing

  2. A Framework for Computer Aided Consistency Verification of UML Models

    E-print Network

    Comini, Marco

    verification framework which checks the mutual consistency of class, statechart, and sequence diagrams (without of practical importance, a fact that nowadays the software engineering commu- nity has accepted. Indeed. Abstract In a UML model, different aspects of a system are covered by different diagrams and this bears

  3. Doclet To Synthesize UML

    NASA Technical Reports Server (NTRS)

    Barry, Matthew R.; Osborne, Richard N.

    2005-01-01

    The RoseDoclet computer program extends the capability of Java doclet software to automatically synthesize Unified Modeling Language (UML) content from Java language source code. [Doclets are Java-language programs that use the doclet application programming interface (API) to specify the content and format of the output of Javadoc. Javadoc is a program, originally designed to generate API documentation from Java source code, now also useful as an extensible engine for processing Java source code.] RoseDoclet takes advantage of Javadoc comments and tags already in the source code to produce a UML model of that code. RoseDoclet applies the doclet API to create a doclet passed to Javadoc. The Javadoc engine applies the doclet to the source code, emitting the output format specified by the doclet. RoseDoclet emits a Rose model file and populates it with fully documented packages, classes, methods, variables, and class diagrams identified in the source code. The way in which UML models are generated can be controlled by use of new Javadoc comment tags that RoseDoclet provides. The advantage of using RoseDoclet is that Javadoc documentation becomes leveraged for two purposes: documenting the as-built API and keeping the design documentation up to date.

  4. To appear in an IEEE VGTC sponsored conference proceedings Visualizing Metrics on Areas of Interest in Software Architecture Diagrams

    E-print Network

    Telea, Alexandru C.

    of soft- ware architecture diagrams, such as UML class diagrams or compo- nent diagrams, and software in Software Architecture Diagrams Heorhiy Byelas Alexandru Telea Institute of Mathematics and Computer Science with a system's structure. We demonstrate the application of our method on component and class diagrams

  5. On the Derivation of Class Diagrams from Use Cases and Logical Software Architectures

    Microsoft Academic Search

    Maribel Yasmina Santos; Ricardo J. Machado

    2010-01-01

    The transformation of user requirements into system requirements models can be achieved using the 4 Step Rule Set (4SRS) method that transforms UML use case diagrams into system-level object diagrams. These diagrams represent the logical architecture of the system, integrating the system-level entities, their responsibilities and the relationships among them. The logical architecture captures the system functional requirements and its

  6. Coverage Criteria for Testing of Object Interactions in Sequence Diagrams

    E-print Network

    Rountev, Atanas "Nasko"

    engineering, both for class diagrams and for sequence diagrams. In addition, several static analyses proposed of collaborating objects. The cri- teria are based on UML sequence diagrams that are reverse-engineered from the previous work that proposes such approaches. With the help of reverse-engineering tools, sequence diagrams

  7. Coverage Criteria for Testing of Object Interactions in Sequence Diagrams

    E-print Network

    Sawin, Jason

    of collaborating objects. The cri- teria are based on UML sequence diagrams that are reverse-engineered from work that proposes such approaches. With the help of reverse-engineering tools, sequence diagrams can, both for class diagrams and for sequence diagrams. In addition, several static analyses proposed

  8. Realization of UML Class and State Machine Models in the C# Code Generation and Execution Framework

    Microsoft Academic Search

    Anna Derezinska; Romuald Pilitowski

    2009-01-01

    Many benefits are expected due to usage of code generation tools. A reliable application should be created effectively based on complex structural and behavioral models. Model driven approach for program development is realized in Framework for eXecutable UML (FXU). The tool transforms UML models into C# source code and supports execution of the application reflecting the behavioral model. The framework

  9. Texture-Based Metrics Visualization on Software Architecture Diagrams Heorhiy Byelas Alexandru Telea

    E-print Network

    Telea, Alexandru C.

    Texture-Based Metrics Visualization on Software Architecture Diagrams Heorhiy Byelas Alexandru, such as classes or components in UML diagrams, together with metrics computed on diagram element members on architecture diagrams extracted from real-world software systems. 1 Introduction Architecture diagrams

  10. UML and Model Checking

    NASA Technical Reports Server (NTRS)

    Schneider, F.

    1999-01-01

    UML use cases conceptually identify function points or major requirements that a software system must satisfy. Sequence diagrams expand each use case to show in temporal sequence a more detailed notion of intended system behavior.

  11. Activity Diagrams Patterns for Modeling Business Processes

    E-print Network

    André, Étienne

    on Software Engineering Research, Management and Applications (SERA 2013). The final publication is available consider in this paper the UML since it offers also many other diagrams (classes, state ma- chine, etc so as to build complex activity diagrams. Our ap- proach also takes classes into account. We have

  12. Compositional Verification of UML Dynamic Models

    Microsoft Academic Search

    Wei Dong; Ji Wang; Zhichang Qi; Ni Rong

    2007-01-01

    UML dynamic models are important for software analysis and design. Verifying UML dynamic models to find design errors earlier is a key issue for ensuring software quality. Because of the characteristics such as concurrency and hierarchy, model checking of UML Statecharts and collaboration diagrams faces the problem of state explosion. In this paper, UML Statecharts is firstly structurally expressed by

  13. Non-Functional Requirements Elicitation and Incorporation into Class Diagrams

    E-print Network

    Paris-Sud XI, Université de

    Non-Functional Requirements Elicitation and Incorporation into Class Diagrams Xiaoyu Song, Zhenhua requirement analysis and design, regardless of the non-functional aspects. This disassociation makes architecture comprehension and evolution hard. This paper proposes a strategy on how to elicit non

  14. Specifying Fractal and GCM Components with UML

    Microsoft Academic Search

    Solange Ahumada; Ludovic Apvrille; Tomás Barros; Antonio Cansado; Eric Madelaine; Emil Salageanu

    2007-01-01

    UML 2 has introduced new diagrams for expressing hierarchical structures and their assembly, and has brought some new features to the behaviour-oriented diagrams (activities and state machines), that help modelling component systems. However, UML leaves many semantic decisions opened, and various emerging component frameworks also have features that cannot be directly expressed using UML 2 concepts. In this paper we

  15. A Grammar-Based Approach to Class Diagram Validation Faizan Javed

    E-print Network

    Gray, Jeffrey G.

    A Grammar-Based Approach to Class Diagram Validation Faizan Javed Department of Computer-based approach to validating class diagrams and illustrate this technique using a simple case-study. Our metric is also used which provides feedback, allowing the user to modify the original class diagram

  16. Impact Analysis and Change Management of UML Models

    Microsoft Academic Search

    Lionel C. Briand; Yvan Labiche; L. O'sullivan

    2003-01-01

    The use of Unified Model Language (UML) analysis\\/design models on large projects leads to a large number of interdependent UML diagrams. As software systems evolve, those diagrams undergo changes to, for instance, correct errors or address changes in the requirements. Those changes can in turn lead to subsequent changes to other elements in the UML diagrams. Impact analysis is then

  17. The Viability of UML Models in Small Web Applications Jason Dudley and Devon M. Simmonds

    E-print Network

    Simmonds, Devon M.

    of UML diagrams may be more appropriate for larger applications. Keywords: UML, web-based software and architecture using procedural languages [8]. There are several perceived benefits of UML diagrams in software of the modeled system before development, use of UML diagrams can de- crease the maintenance costs of software [2

  18. Development of the Tool for Generation of UML Class Diagram from Two-Hemisphere Model

    Microsoft Academic Search

    Oksana Nikiforova; Natalya Pavlova

    2008-01-01

    Nowadays, the research on the Model Driven Architecture is still in progress. One of the existing problems in this area is transformation between models of the Model Driven Architecture. This paper discusses the transformation from Platform Independent Model, received from Computation Independent Model, to the one, ready for generation of Platform Specific Model. To implement this transformation, two-hemisphere model driven

  19. An empirical study on the efficiency of different design pattern representations in UML class diagrams

    Microsoft Academic Search

    Gerardo Cepeda Porras; Yann-Gaël Guéhéneuc

    2010-01-01

    Design patterns are recognized in the software engineering community as useful solutions to recurring design problems that\\u000a improve the quality of programs. They are more and more used by developers in the design and implementation of their programs.\\u000a Therefore, the visualization of the design patterns used in a program could be useful to efficiently understand how it works.\\u000a Currently, a

  20. Building UML Class Diagram Maintainability Prediction Models Based on Early Metrics

    Microsoft Academic Search

    Marcela Genero; Mario Piattini; M. Esperanza Manso; Giovanni Cantone

    2003-01-01

    The fact that the usage of metrics in the analysis and design of object oriented (OO) software can help designers make better decisions is gaining relevance in software measurement arena. Moreover, the necessity of having early indicators of external quality attributes, such as maintainability, based on early metrics is growing. In addition to this, the aim is to show how

  1. An Investigation of Difficulties Experienced by Students Developing Unified Modelling Language (UML) Class and Sequence Diagrams

    ERIC Educational Resources Information Center

    Sien, Ven Yu

    2011-01-01

    Object-oriented analysis and design (OOAD) is not an easy subject to learn. There are many challenges confronting students when studying OOAD. Students have particular difficulty abstracting real-world problems within the context of OOAD. They are unable to effectively build object-oriented (OO) models from the problem domain because they…

  2. Class Diagram Extraction from Textual Requirements Using Natural Language Processing (NLP) Techniques

    Microsoft Academic Search

    Mohd Ibrahim; Rodina Ahmad

    2010-01-01

    The automation of class generation from natural language requirements is highly challenging. This paper proposes a method and a tool to facilitate requirements analysis process and class diagram extraction from textual requirements supporting natural language processing NLP and Domain Ontology techniques. Requirements engineers analyze requirements manually to come out with analysis artifacts such as class diagram. The time spent on

  3. Modal Object Diagrams Shahar Maoz , Jan Oliver Ringert , and Bernhard Rumpe

    E-print Network

    Maoz, Shahar

    Modal Object Diagrams Shahar Maoz , Jan Oliver Ringert , and Bernhard Rumpe Software Engineering that decides whether a given class diagram satisfies (i.e., models) a multi-modal object dia- grams diagrams (ODs) is part of the UML standard and is sup- ported by many academic and commercial software

  4. Towards Obtaining Analysis-Level Class and Use Case Diagrams from Business Process Models

    Microsoft Academic Search

    Alfonso Rodríguez; Eduardo Fernández-medina; Mario Piattini

    2008-01-01

    Nowadays, business process modeling, using industrial standards such as UML or BPMN, offers us a good opportunity to incorporate\\u000a requirements at high levels of abstraction. In the context of Model Driven Architecture (MDA), the business process model\\u000a is considered as a Computation Independent Model (CIM). In our proposal we will transform the business process specifications\\u000a into analysis-level classes and use

  5. The Effect of Animation, Dual View, Difference Layers and Relative Re-Layout in Hierarchical Diagram Differencing

    E-print Network

    Stürzlinger, Wolfgang

    , and in software engineering, i.e. software documents such as UML diagrams. For example, the system can be used to track the evolution of class dependency diagram over releases, a particular course in the prerequisite Diagram Differencing Loutfouz Zaman York University, Toronto, Canada Ashish Kalra NIT Kurukshetra, India

  6. In Pedro Sousa and J urgen Ebert, editors, Proc. 5th European Conference on Software Maintenance and Reengineering. IEEE, Los Alamitos, 2001 Capturing Dynamic Program Behaviour with UML Collaboration Diagrams

    E-print Network

    Gogolla, Martin - Fachbereich 3

    . In addition to the automatic generation of class code from diagrams, the recovery of static structure from collaboration diagram, re­ documentation, reverse engineering, Java, dynamic behaviour, meta model. 1 generators. The most common deployment is the use of class diagrams to specify the static structure

  7. Automatic Synthesis of UML Designs from Requirements in an Iterative Process

    NASA Technical Reports Server (NTRS)

    Schumann, Johann; Whittle, Jon; Clancy, Daniel (Technical Monitor)

    2001-01-01

    The Unified Modeling Language (UML) is gaining wide popularity for the design of object-oriented systems. UML combines various object-oriented graphical design notations under one common framework. A major factor for the broad acceptance of UML is that it can be conveniently used in a highly iterative, Use Case (or scenario-based) process (although the process is not a part of UML). Here, the (pre-) requirements for the software are specified rather informally as Use Cases and a set of scenarios. A scenario can be seen as an individual trace of a software artifact. Besides first sketches of a class diagram to illustrate the static system breakdown, scenarios are a favorite way of communication with the customer, because scenarios describe concrete interactions between entities and are thus easy to understand. Scenarios with a high level of detail are often expressed as sequence diagrams. Later in the design and implementation stage (elaboration and implementation phases), a design of the system's behavior is often developed as a set of statecharts. From there (and the full-fledged class diagram), actual code development is started. Current commercial UML tools support this phase by providing code generators for class diagrams and statecharts. In practice, it can be observed that the transition from requirements to design to code is a highly iterative process. In this talk, a set of algorithms is presented which perform reasonable synthesis and transformations between different UML notations (sequence diagrams, Object Constraint Language (OCL) constraints, statecharts). More specifically, we will discuss the following transformations: Statechart synthesis, introduction of hierarchy, consistency of modifications, and "design-debugging".

  8. Investigating the Role of Use Cases in the Construction of Class Diagrams

    Microsoft Academic Search

    Bente Anda; Dag I. K. Sjøberg

    2005-01-01

    Several approaches have been proposed for the transition from functional requirements to object-oriented design. In a use case-driven development process, the use cases are important input for the identification of classes and their methods. There is, however, no established, empirically validated technique for the transition from use cases to class diagrams. One recommended technique is to derive classes by analyzing

  9. UML Tutorial

    NSDL National Science Digital Library

    It provides a very high level introduction to UML. It also suggests some further reading materials on business process modeling, the use case model, the logical model, the component model and the dynamic model. (UNC E-Learning Grant)

  10. The Metric Lens: Visualizing Metrics and Structure on Software Diagrams Heorhiy Byelas and Alexandru Telea

    E-print Network

    Telea, Alexandru C.

    The Metric Lens: Visualizing Metrics and Structure on Software Diagrams Heorhiy Byelas metrics atop UML class diagrams, which allows performing metric-metric and metric-structure correlations++ software system. 1. Introduction In reverse engineering, one way to understand source code is to represent

  11. Measuring the Complexity of Class Diagrams in Reverse Engineering The Complexity of Static Structures in Object-Oriented Systems are Studied and Compared by Analyzing UML Class Diagrams

    Microsoft Academic Search

    Frederick T. Sheldon; Kristopher M. Daley; Hong Chung

    Complexity metrics for Object-oriented systems are plentiful. Numerous studies have been undertaken to establish valid and meaningful measures of maintainability as they relate to the static structural characteristics of software. In general, these studies have lacked the empirical validation of their meaning and\\/or have succeeded in evaluating only partial aspects of the system. In this study we have determined through

  12. Software Requirements Specification of A University Class Scheduler

    E-print Network

    Needell, Deanna

    of the UCS, Section 3 describes the main functional and non-functional requirements of the scheduler, SectionSoftware Requirements Specification of A University Class Scheduler Deanna M. Needell Jeff A tool, requirements specification, use cases, scenarios, class diagram, UML. 1 Introduction

  13. Biomedical Terminology Mapper for UML projects.

    PubMed

    Thibault, Julien C; Frey, Lewis

    2013-01-01

    As the biomedical community collects and generates more and more data, the need to describe these datasets for exchange and interoperability becomes crucial. This paper presents a mapping algorithm that can help developers expose local implementations described with UML through standard terminologies. The input UML class or attribute name is first normalized and tokenized, then lookups in a UMLS-based dictionary are performed. For the evaluation of the algorithm 142 UML projects were extracted from caGrid and automatically mapped to National Cancer Institute (NCI) terminology concepts. Resulting mappings at the UML class and attribute levels were compared to the manually curated annotations provided in caGrid. Results are promising and show that this type of algorithm could speed-up the tedious process of mapping local implementations to standard biomedical terminologies. PMID:24303278

  14. JOURNAL OF LATEX CLASS FILES, VOL. 6, NO. 1, JANUARY 2007 1 Drawing Euler Diagrams with Circles: The

    E-print Network

    Kent, University of

    JOURNAL OF LATEX CLASS FILES, VOL. 6, NO. 1, JANUARY 2007 1 Drawing Euler Diagrams with Circles from statistical data analysis to software engineering. However, the automated generation of Euler: The Theory of Piercings Gem Stapleton, Leishi Zhang, John Howse and Peter Rodgers Abstract--Euler diagrams

  15. Development of the workshop tool management system with UML

    Microsoft Academic Search

    Fuping Zhu; Fangyan Yang; Zhongcheng Li

    2010-01-01

    In manufacturing, a good workshop tool management system (WTMS) plays an important role for enterprise production planning system & the use of equipment capacity. By using Unified Modeling Language (UML), based on Use Case Diagram, Static Structure Diagrams, and Dynamic Behavior Diagram, the functional demands of workshop tool management system are analyzed. Thus the workshop tool management system model is

  16. UMLAnT: an Eclipse plugin for animating and testing UML designs

    Microsoft Academic Search

    Trung T. Dinh-trong; Sudipto Ghosh; Michael Hamilton; Brent Wilkins

    2005-01-01

    We describe the UML Animator and Tester (UMLAnT), which is an Eclipse plug-in for animating and testing UML models. UMLAnT can be used both by developers in the software industry and students who are learning concepts in object-oriented modeling. UMLAnT helps designers visualize the behavior specified in a UML model by displaying animated object diagrams and sequence diagrams. UMLAnT allows

  17. Comprehensive Aspectual UML Approach to Support AspectJ

    PubMed Central

    Magableh, Aws; Shukur, Zarina; Mohd. Ali, Noorazean

    2014-01-01

    Unified Modeling Language is the most popular and widely used Object-Oriented modelling language in the IT industry. This study focuses on investigating the ability to expand UML to some extent to model crosscutting concerns (Aspects) to support AspectJ. Through a comprehensive literature review, we identify and extensively examine all the available Aspect-Oriented UML modelling approaches and find that the existing Aspect-Oriented Design Modelling approaches using UML cannot be considered to provide a framework for a comprehensive Aspectual UML modelling approach and also that there is a lack of adequate Aspect-Oriented tool support. This study also proposes a set of Aspectual UML semantic rules and attempts to generate AspectJ pseudocode from UML diagrams. The proposed Aspectual UML modelling approach is formally evaluated using a focus group to test six hypotheses regarding performance; a “good design” criteria-based evaluation to assess the quality of the design; and an AspectJ-based evaluation as a reference measurement-based evaluation. The results of the focus group evaluation confirm all the hypotheses put forward regarding the proposed approach. The proposed approach provides a comprehensive set of Aspectual UML structural and behavioral diagrams, which are designed and implemented based on a comprehensive and detailed set of AspectJ programming constructs. PMID:25136656

  18. Comprehensive Aspectual UML approach to support AspectJ.

    PubMed

    Magableh, Aws; Shukur, Zarina; Ali, Noorazean Mohd

    2014-01-01

    Unified Modeling Language is the most popular and widely used Object-Oriented modelling language in the IT industry. This study focuses on investigating the ability to expand UML to some extent to model crosscutting concerns (Aspects) to support AspectJ. Through a comprehensive literature review, we identify and extensively examine all the available Aspect-Oriented UML modelling approaches and find that the existing Aspect-Oriented Design Modelling approaches using UML cannot be considered to provide a framework for a comprehensive Aspectual UML modelling approach and also that there is a lack of adequate Aspect-Oriented tool support. This study also proposes a set of Aspectual UML semantic rules and attempts to generate AspectJ pseudocode from UML diagrams. The proposed Aspectual UML modelling approach is formally evaluated using a focus group to test six hypotheses regarding performance; a "good design" criteria-based evaluation to assess the quality of the design; and an AspectJ-based evaluation as a reference measurement-based evaluation. The results of the focus group evaluation confirm all the hypotheses put forward regarding the proposed approach. The proposed approach provides a comprehensive set of Aspectual UML structural and behavioral diagrams, which are designed and implemented based on a comprehensive and detailed set of AspectJ programming constructs. PMID:25136656

  19. Performance modelling with UML and stochastic process algebras

    E-print Network

    Stevens, Perdita

    diagram types. For example, there will typically be a static structure diagram (or class diagram of particular classes. Interaction diagrams, such as sequence diagrams, are used to illustrate the way objects of di#erent classes interact in a particular scenario. In this work we concentrate on state diagrams

  20. Performance modelling with UML and stochastic process algebras

    E-print Network

    Stevens, Perdita

    diagram types. For example, there will typically be a static structure diagram (or class diagram of particular classes. Interaction diagrams, such as sequence diagrams, are used to illustrate the way objects of different classes interact in a particular scenario. In this work we concentrate on state diagrams, which

  1. UML Simulator Werner Almesberger

    E-print Network

    Almesberger, Werner

    expensive, or simply too large to build and test in real life. In the development of the Linux kernel, simu­driven simulations. It consists of an extension of user­mode Linux (UML, [1]) to control the flow of time as seenUML Simulator #3; Werner Almesberger werner@almesberger.net Abstract umlsim extends user­mode Linux

  2. UML Simulator Werner Almesberger

    E-print Network

    Almesberger, Werner

    expensive, or simply too large to build and test in real life. In the development of the Linux kernel, simu-driven simulations. It consists of an extension of user-mode Linux (UML, [1]) to control the flow of time as seenUML Simulator Werner Almesberger werner@almesberger.net Abstract umlsim extends user-mode Linux

  3. Conversion of Octopus UML Models into Eclipse UML2 Models

    E-print Network

    Moeller, Ralf

    Conversion of Octopus UML Models into Eclipse UML2 Models Student Project Submitted by: A. Jibran for Precise UML Specifications (Octopus) and Eclipse Modeling Framework (EMF) are the examples of these UML tools which have their own strength. Octopus has focused so far on modeling-time checking of well

  4. A structural operational semantics for UML-statecharts

    E-print Network

    Cengarle, María Victoria

    of a class) and their relatioships. Use case diagrams address the static use case view of a system changes from start to finish. Class Diagram shows a set of classes, interfaces, and collaborations and their relationships. Graphically, a class diagram is a collection of vertices and arcs. Component Diagram A component

  5. Using Diagrams versus Text for Spaced Restudy: Effects on Learning in 10th Grade Biology Classes

    ERIC Educational Resources Information Center

    Bergey, Bradley W.; Cromley, Jennifer G.; Kirchgessner, Mandy L.; Newcombe, Nora S.

    2015-01-01

    Background and Aim: Spaced restudy has been typically tested with written learning materials, but restudy with visual representations in actual classrooms is under-researched. We compared the effects of two spaced restudy interventions: A Diagram-Based Restudy (DBR) warm-up condition and a business-as-usual Text-Based Restudy (TBR) warm-up…

  6. Automatic Debugging Support for UML Designs

    NASA Technical Reports Server (NTRS)

    Schumann, Johann; Swanson, Keith (Technical Monitor)

    2001-01-01

    Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are expensive. In this paper, we describe an approach which facilitates debugging of UML requirements and designs. The Unified Modeling Language (UML) is a set of notations for object-orient design of a software system. We have developed an algorithm which translates requirement specifications in the form of annotated sequence diagrams into structured statecharts. This algorithm detects conflicts between sequence diagrams and inconsistencies in the domain knowledge. After synthesizing statecharts from sequence diagrams, these statecharts usually are subject to manual modification and refinement. By using the "backward" direction of our synthesis algorithm. we are able to map modifications made to the statechart back into the requirements (sequence diagrams) and check for conflicts there. Fed back to the user conflicts detected by our algorithm are the basis for deductive-based debugging of requirements and domain theory in very early development stages. Our approach allows to generate explanations oil why there is a conflict and which parts of the specifications are affected.

  7. BGen: A UML Behavior Network Generator Tool

    NASA Technical Reports Server (NTRS)

    Huntsberger, Terry; Reder, Leonard J.; Balian, Harry

    2010-01-01

    BGen software was designed for autogeneration of code based on a graphical representation of a behavior network used for controlling automatic vehicles. A common format used for describing a behavior network, such as that used in the JPL-developed behavior-based control system, CARACaS ["Control Architecture for Robotic Agent Command and Sensing" (NPO-43635), NASA Tech Briefs, Vol. 32, No. 10 (October 2008), page 40] includes a graph with sensory inputs flowing through the behaviors in order to generate the signals for the actuators that drive and steer the vehicle. A computer program to translate Unified Modeling Language (UML) Freeform Implementation Diagrams into a legacy C implementation of Behavior Network has been developed in order to simplify the development of C-code for behavior-based control systems. UML is a popular standard developed by the Object Management Group (OMG) to model software architectures graphically. The C implementation of a Behavior Network is functioning as a decision tree.

  8. Secure Systems Development with UML

    E-print Network

    Jurjens, Jan

    Secure Systems Development with UML: Applications to Telemedicine Jan Jürjens Software & Systems://www.jurjens.de/jan #12;Jan Jürjens, TU Munich: Secure Systems Development with UML: Telemedicine 2 A need for Security to be secure. #12;Jan Jürjens, TU Munich: Secure Systems Development with UML: Telemedicine 3 Telemedicine

  9. UML Tool Evaluation Requirements

    Microsoft Academic Search

    Ana Funes; Aristides Dasso; Carlos Salgado; Mario Peralta

    The Unified Modeling Language is widely used today in different stages of system development. A growing number of tools that support the UML notation are available. Evaluation of these tools is important so as to be able to choose among them the best suited to the job. Designing and developing a metric to conduct such evaluation is the first step

  10. Standardizing Clinical Trials Workflow Representation in UML for International Site Comparison

    PubMed Central

    de Carvalho, Elias Cesar Araujo; Jayanti, Madhav Kishore; Batilana, Adelia Portero; Kozan, Andreia M. O.; Rodrigues, Maria J.; Shah, Jatin; Loures, Marco R.; Patil, Sunita; Payne, Philip; Pietrobon, Ricardo

    2010-01-01

    Background With the globalization of clinical trials, a growing emphasis has been placed on the standardization of the workflow in order to ensure the reproducibility and reliability of the overall trial. Despite the importance of workflow evaluation, to our knowledge no previous studies have attempted to adapt existing modeling languages to standardize the representation of clinical trials. Unified Modeling Language (UML) is a computational language that can be used to model operational workflow, and a UML profile can be developed to standardize UML models within a given domain. This paper's objective is to develop a UML profile to extend the UML Activity Diagram schema into the clinical trials domain, defining a standard representation for clinical trial workflow diagrams in UML. Methods Two Brazilian clinical trial sites in rheumatology and oncology were examined to model their workflow and collect time-motion data. UML modeling was conducted in Eclipse, and a UML profile was developed to incorporate information used in discrete event simulation software. Results Ethnographic observation revealed bottlenecks in workflow: these included tasks requiring full commitment of CRCs, transferring notes from paper to computers, deviations from standard operating procedures, and conflicts between different IT systems. Time-motion analysis revealed that nurses' activities took up the most time in the workflow and contained a high frequency of shorter duration activities. Administrative assistants performed more activities near the beginning and end of the workflow. Overall, clinical trial tasks had a greater frequency than clinic routines or other general activities. Conclusions This paper describes a method for modeling clinical trial workflow in UML and standardizing these workflow diagrams through a UML profile. In the increasingly global environment of clinical trials, the standardization of workflow modeling is a necessary precursor to conducting a comparative analysis of international clinical trials workflows. PMID:21085484

  11. In Tibor Gyimothy and Fernando Brito e Abreu, editors, Proc. 6th European Conference on Software Maintenance and Reengineering. IEEE, Los Alamitos, 2001 MetricBased Selective Representation of UML Diagrams

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Diagrams, Software Metrics, Program Visualization, Reverse Engineering. 1 Introduction When using diagrams that show selected submodules from the reverse engineered architecture of software systems. We for modeling of object­oriented software systems. In addition to their ap­ plication in forward engineering

  12. Implementation of UML Schema to RDBM

    NASA Astrophysics Data System (ADS)

    Nagni, M.; Ventouras, S.; Parton, G.

    2012-04-01

    Multiple disciplines - especially those within the earth and physical sciences, and increasingly those within social science and medical fields - require Geographic Information (GI) i.e. information concerning phenomena implicitly or explicitly associated with a location relative to the Earth [1]. Therefore geographic datasets are increasingly being shared, exchanged and frequently used for purposes other than those for which they were originally intended. The ISO Technical Committee 211 (ISO/TC 211) together with Open Geospatial Consortium (OGC) provide a series of standards and guidelines for developing application schemas which should: a) capture relevant conceptual aspects of the data involved; and b) be sufficient to satisfy previously defined use-cases of a specific or cross-domain concerns. In addition, the Hollow World technology offers an accessible and industry-standardised methodology for creating and editing Application Schema UML models which conform to international standards for interoperable GI [2]. We present a technology which seamlessly transforms an Application Schema UML model to a relational database model (RDBM). This technology, using the same UML information model, complements the XML transformation of an information model produced by the FullMoon tool [2]. In preparation for the generation of a RDBM the UML model is first mapped to a collection of OO classes and relationships. Any external dependencies that exist are then resolved through the same mechanism. However, a RDBM does not support a hierarchical (relational) data structure - a function that may be required by UML models. Previous approaches have addressed this problem through use of nested sets or an adjacent list to represent such structure. Our unique strategy addresses the hierarchical data structure issue, whether singular or multiple inheritance, by hiding a delegation pattern within an OO class. This permits the object-relational mapping (ORM) software used to generate the RDBM to easily map the class into the RDBM. In other words the particular structure of the resulting OO class may expose a "composition-like aspect" to the ORM whilst maintaining an "inherited-like aspect" for use within an OO program. This methodology has been used to implement a software application to manages the new CEDA metadata model which is based on MOLES 3.4, Python, Django and SQLAlchemy.

  13. The Role of Collaboration Diagrams in OO Software Engineering Student Projects

    Microsoft Academic Search

    Lili Hai

    2009-01-01

    Among major UML diagrams, the collaboration diagram is less used by the software industry than others in object-oriented software engineering (OOSE). Despite the belief that the sequence diagram is both similar to and more useful than the collaboration diagram, the latter remains very useful for teaching OOSE through student projects. This paper compares the two diagrams, discusses the importance of

  14. Scalable Consistency Checking between Diagrams The VIEWINTEGRA Approach Alexander Egyed

    E-print Network

    Egyed, Alexander

    The Unified Modeling Language (UML) supports a wide range of diagrams for modeling software develop- ment description of a system [2]. The major drawback of "diagram-centric" software en- gineering. If a set of issues about a software system is investi- gated, each through its own set of diagrams

  15. A Comparison of Petri Net and Activity Diagram Variants

    Microsoft Academic Search

    Rik EshuisRoel Wieringa

    2001-01-01

    Petri net variants are widely used as a work- flow modelling technique. Recently, UML ac- tivity diagrams are used for the same pur- pose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are vari-

  16. Control Flow Analysis for Reverse Engineering of Sequence Diagrams

    E-print Network

    Rountev, Atanas "Nasko"

    Control Flow Analysis for Reverse Engineering of Sequence Diagrams Atanas Rountev Olga Volgin exchanged among them. The diagram may also contain additional in- formation about the flow of control during,volgin,reddoch}@cis.ohio-state.edu ABSTRACT Reverse engineering of UML sequence diagrams plays an im- portant role in iterative development

  17. A Logical Framework for Sequence Diagram with Combined Fragments

    E-print Network

    Texas at San Antonio, University of

    of messages. The Combined Fragments of UML Sequence Diagram permit various types of control flow among Diagram comprehension and analysis. This paper introduces an approach to formalizing the semantics, and deadlock-free. Keywords Modeling ­ Formal Analysis ­ Sequence Diagram ­ Concurrency & Communication

  18. UML Profiles for Design Decisions and Non-Functional Requirements

    SciTech Connect

    Zhu, Liming; Gorton, Ian

    2007-06-30

    A software architecture is composed of a collection of design decisions. Each design decision helps or hinders certain Non-Functional Requirements (NFR). Current software architecture views focus on expressing components and connectors in the system. Design decisions and their relationships with non-functional requirements are often captured in separate design documentation, not explicitly expressed in any views. This disassociation makes architecture comprehension and architecture evolution harder. In this paper, we propose a UML profile for modeling design decisions and an associated UML profile for modeling non-functional requirements in a generic way. The two UML profiles treat design decisions and nonfunctional requirements as first-class elements. Modeled design decisions always refer to existing architectural elements and thus maintain traceability between the two. We provide a mechanism for checking consistency over this traceability. An exemplar is given as

  19. Exploration games for UML software design 

    E-print Network

    Tenzer, Jennifer

    The Unified Modeling Language (UML) has become the standard language for the design of object-oriented software systems over the past decade. Even though there exist various tools which claim to support design with UML, ...

  20. Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams

    Microsoft Academic Search

    Stefan Jurack; Leen Lambers; Katharina Mehner; Gabriele Taentzer

    2008-01-01

    In use case-driven approaches to requirements modeling, UML ac- tivity diagrams are a wide-spread means for refining the functional view of use cases. Early consistency validation of activity diagrams is therefore desirable but difficult due to the semi-formal nature of activity diagrams. In this paper, we specify well-structured activity diagrams and define activities more precisely by pre- and post- conditions.

  1. Dynamic Secure Aspect Modeling with UML

    E-print Network

    Jurjens, Jan

    2 1 Dynamic Secure Aspect Modeling with UML: From Models to Code Jan Jürjens and Siv Houmb Dep: Dynamic Secure Aspect Modeling with UML 2 Software Engineering & Security ,,Penetrate · constructing formal specifications. Jan Jürjens, Siv Houmb: Dynamic Secure Aspect Modeling with UML 3 Security

  2. UML 2.0 -Overview and Perspectives in SoC Design Tim Schattkowsky

    E-print Network

    Paris-Sud XI, Université de

    in software systems engineering as well as in some other domains. It has the capabilities to be applied. The Class Diagram is probably the most well known diagram. It describes structural aspects of a system of a Class Diagram are called an Object Diagram and describe how individual class instances (objects

  3. User Interface Prototyping based on UML Scenarios and High-level Petri Nets1

    E-print Network

    Keller, Rudolf K.

    made in user interface (UI) prototyping tools like UI builders and UI management systems. Yet a specialized language (for UI management systems). This paper suggests an approach for requirements engineering case diagram of the system as defined by the UML is elaborated, and for each use case occurring

  4. Exploiting UMLS Semantics for Checking Semantic Consistency among UMLS concepts

    E-print Network

    Erdem, Esra

    Capsule of adrenal gland is an anatomical concept found in the Foundational Model of Anatomy (FMA Medical Language System (UMLS), Capsule of adrenal gland (C1181304) appears as a child of the concept were surprised to find anatomical concepts such as Capsule of adrenal gland in the descendants

  5. A UML profile for the OBO relation ontology

    PubMed Central

    2012-01-01

    Background Ontologies have increasingly been used in the biomedical domain, which has prompted the emergence of different initiatives to facilitate their development and integration. The Open Biological and Biomedical Ontologies (OBO) Foundry consortium provides a repository of life-science ontologies, which are developed according to a set of shared principles. This consortium has developed an ontology called OBO Relation Ontology aiming at standardizing the different types of biological entity classes and associated relationships. Since ontologies are primarily intended to be used by humans, the use of graphical notations for ontology development facilitates the capture, comprehension and communication of knowledge between its users. However, OBO Foundry ontologies are captured and represented basically using text-based notations. The Unified Modeling Language (UML) provides a standard and widely-used graphical notation for modeling computer systems. UML provides a well-defined set of modeling elements, which can be extended using a built-in extension mechanism named Profile. Thus, this work aims at developing a UML profile for the OBO Relation Ontology to provide a domain-specific set of modeling elements that can be used to create standard UML-based ontologies in the biomedical domain. Results We have studied the OBO Relation Ontology, the UML metamodel and the UML profiling mechanism. Based on these studies, we have proposed an extension to the UML metamodel in conformance with the OBO Relation Ontology and we have defined a profile that implements the extended metamodel. Finally, we have applied the proposed UML profile in the development of a number of fragments from different ontologies. Particularly, we have considered the Gene Ontology (GO), the PRotein Ontology (PRO) and the Xenopus Anatomy and Development Ontology (XAO). Conclusions The use of an established and well-known graphical language in the development of biomedical ontologies provides a more intuitive form of capturing and representing knowledge than using only text-based notations. The use of the profile requires the domain expert to reason about the underlying semantics of the concepts and relationships being modeled, which helps preventing the introduction of inconsistencies in an ontology under development and facilitates the identification and correction of errors in an already defined ontology. PMID:23095840

  6. Phase Equilibria Diagrams Database

    National Institute of Standards and Technology Data Gateway

    SRD 31 NIST/ACerS Phase Equilibria Diagrams Database (PC database for purchase)   The Phase Equilibria Diagrams Database contains commentaries and more than 21,000 diagrams for non-organic systems, including those published in all 21 hard-copy volumes produced as part of the ACerS-NIST Phase Equilibria Diagrams Program (formerly titled Phase Diagrams for Ceramists): Volumes I through XIV (blue books); Annuals 91, 92, 93; High Tc Superconductors I & II; Zirconium & Zirconia Systems; and Electronic Ceramics I. Materials covered include oxides as well as non-oxide systems such as chalcogenides and pnictides, phosphates, salt systems, and mixed systems of these classes.

  7. An evaluation of UMLS as a controlled terminology for the Problem List Toolkit.

    PubMed

    Goldberg, H; Goldsmith, D; Law, V; Keck, K; Tuttle, M; Safran, C

    1998-01-01

    We are developing a set of software components--the Problem List Toolkit (PL-Tk)--to support operations on clinical problem labels. An adaptation of the National Library of Medicine's Unified Medical Language System (UMLS) provides general vocabulary services to domain-specific software components. Our initial investigation centers on the inclusion in UMLS of problem labels used in the Beth Israel Deaconess Medical Center's Online Medical Record (OMR). We also explore the semantic typing of problem labels matched in UMLS. We have operationally defined a clinical problem to derive its semantic type from classes of terms representing findings or processes typically requiring diagnostic evaluation or therapeutic management in clinical practice. Of 1262 unique OMR problem labels, 999 terms (79%) have matches in UMLS. 986 of 999 terms (99%) map to the UMLS concept of the corresponding lexical match. 952 of 999 terms (95%) have semantic types that comply with our operational definition of clinical problems. These 952 terms (75%) constitute Version 1.0 of the problem list vocabulary B196. Matching terms with inappropriate semantic types raise issues regarding requirements for PL-Tk, typing of existing UMLS terms, and the adequacy of our operational definition for clinical problems. UMLS provides a large repertoire of pre-coordinated terms that are used as problem labels in a heavily used computer-based patient record system. The semantic type hierarchy provides a framework for the consistent use of clinical concepts in problem lists such that clinical problem labels represent "good" clinical problems. PMID:10384527

  8. Object Oriented Database Management System: A UML Design Approach

    Microsoft Academic Search

    Uduak A. Umoh; Enoch O. Nwachukwu; Imo J. Eyoh; Augustine A. Umoh

    In this paper, we adopt a state-of-the-art technology to design an Object-Oriented Database Management System (OODBMS) for the management of information in Nigerian Universities. We apply the object-oriented design tools to create a database model that is reliable, dependable and secure. We focus on creating a unified modeling language (UML) structure by specifying the use case, classes, and activities in

  9. Modeling Value Chain Analysis of Distance Education using UML

    NASA Astrophysics Data System (ADS)

    Acharya, Anal; Mukherjee, Soumen

    2010-10-01

    Distance education continues to grow as a methodology for the delivery of course content in higher education in India as well as abroad. To manage this growing demand and to provide certain flexibility, there must be certain strategic planning about the use of ICT tools. Value chain analysis is a framework for breaking down the sequence of business functions into a set of activities through which utility could be added to service. Thus it can help to determine the competitive advantage that is enjoyed by an institute. To implement these business functions certain visual representation is required. UML allows for this representation by using a set of structural and behavioral diagrams. In this paper, the first section defines a framework for value chain analysis and highlights its advantages. The second section gives a brief overview of related work in this field. The third section gives a brief discussion on distance education. The fourth section very briefly introduces UML. The fifth section models value chain of distance education using UML. Finally we discuss the limitations and the problems posed in this domain.

  10. FORMAL ANALYSIS OF SEQUENCE DIAGRAM WITH COMBINED Hui Shen, Mark Robinson and Jianwei Niu

    E-print Network

    Niu, Jianwei

    FORMAL ANALYSIS OF SEQUENCE DIAGRAM WITH COMBINED FRAGMENTS Hui Shen, Mark Robinson and Jianwei Niu. Abstract: The Combined Fragments of UML Sequence Diagram permit various types of control flow among Fragments introduce concurrent behaviors, making analysis of the Sequence Diagrams difficult

  11. MAPPING UML STATECHARTS TO JAVA CODE Iftikhar Azim Niaz and Jiro Tanaka

    E-print Network

    Tanaka, Jiro

    that are not present in most popular programming languages, like Java or C++. There exists a gap between high level, behavioral modeling aims at describing the behavior of objects using state machines. The UML statechart statecharts can describe the behavior of a classifier (a class) or a behavioral feature (a method of a class

  12. Aspect-Oriented Subprogram Synthesizes UML Sequence Diagrams

    NASA Technical Reports Server (NTRS)

    Barry, Matthew R.; Osborne, Richard N.

    2006-01-01

    The Rational Sequence computer program described elsewhere includes a subprogram that utilizes the capability for aspect-oriented programming when that capability is present. This subprogram is denoted the Rational Sequence (AspectJ) component because it uses AspectJ, which is an extension of the Java programming language that introduces aspect-oriented programming techniques into the language

  13. TC2SMV: UML State Chart Diagram SMV CASE

    E-print Network

    occurs. startRecord event occurs. Camera is not ready to take a picture Current state is not Preview. . . . " IT "(NIPA-2012- (H0301-12-3004)) [1] W. Vesely and N. Roberts. Fault tree handbook. Nuclear regulatory

  14. Stereo Diagrams

    NSDL National Science Digital Library

    Dexter Perkins

    This exercise is an introduction to stereo diagrams. Students draw stereo diagrams for various models, determine the point group and crystal system of certain crystal shapes, and determine which block models match given stereo diagrams.

  15. The double-mode nature of the HADS star GSC 00144-03031 and the Petersen diagram of the class

    E-print Network

    E. Poretti; J. C. Suarez; P. G. Niarchos; K. D. Gazeas; V. N. Manimanis; P. Van Cauteren; P. Lampens; P. Wils; R. Alonso; P. J. Amado; J. A. Belmonte; N. D. Butterworth; M. Martignoni; S. Martin-Ruiz; P. Moskalik; C. W. Robertson

    2005-06-13

    The double--mode pulsation of GSC 00144-03031 has been detected when searching for COROT targets. A very large dataset composed of 4722 photometric measurements was collected at six observatories in Europe and America. There is no hint of the excitation of additional modes (down to 0.6 mmag) and therefore GSC 00144-03031 seems to be a pure double--mode pulsator, with a very short fundamental radial mode (P=84 min). From Stromgren photometry and evolutionary tracks it appears to be a Pop. I star with M=1.75 solar masses, located in the middle of the instability strip, close to the Zero--Age Main Sequence. We also discovered other new double--mode pulsators in the databases of large--scale projects: OGLE BW2_V142, OGLE BW1_V207, ASAS3 094303-1707.3, ASAS3 000116-6037.0, NSVS 3234596 and NSVS 3324715. An observational Petersen diagram is presented and explained by means of new models. A common sequence connecting Pop. I stars from the shortest to the longest periods is proposed and the spreads in the period ratios are ascribed to different metallicities (at the shortest periods) and to different masses (at the longest ones). The paper is based on data collected at S. Pedro Martir and Sierra Nevada Observatories and on the contributions from several amateur astronomers.

  16. On web diagrams Jun Murakami

    E-print Network

    On web diagrams Jun Murakami Department of Mathematics, Graduate School of Science, Osaka­ tive invariant is defined in the space of web diagrams, and it includes the Casson­ Walker invariant of the mapping class groups. (cf. [9], [10]) 2. Web space 2.1. Web diagram. To explain the universal perturbative

  17. Representing Agent Interaction Protocols in UML

    Microsoft Academic Search

    James J. Odell; H. Van Dyke Parunak; Bernhard Bauer

    2000-01-01

    Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (object- oriented software development) and using artifacts to support the development environment throughout the full system lifecycle. We address both of these requirements using AUML, the Agent UML (Unified Modeling Language)—a set of UML idioms and extensions. This paper illustrates the

  18. Teaching Object-Oriented Modelling Using UML

    NASA Astrophysics Data System (ADS)

    Boberi?-Krsti?ev, Danijela; Tešendi?, Danijela

    2011-09-01

    The paper elaborates on experiences and lessons learned from the course on object-oriented analyses and design at the Faculty of Sciences, Novi Sad. In the paper we identify a set of issues concerning teaching modeling and UML. It is described experience of teaching UML to students with and without previous knowledge of object-oriented programming.

  19. The UML as a Formal Modeling Notation

    Microsoft Academic Search

    Andy Evans; Robert B. France; Kevin Lano; Bernhard Rumpe

    1998-01-01

    The Unified Modeling Language (UML) is an Object Management Group (OMG) object-oriented (OO) modeling notation standard. It consists of a set of notations for modeling systems from a variety of views and at varying levels of abstraction. While the UML reflects some of the best OO modeling experiences available, it suffers from a lack of precise semantics that is necessary

  20. Metrics Development for UML Tools evaluation

    Microsoft Academic Search

    A. Dasso; A. Funes; M. Peralta; C. Salgado

    The Unified Modelling Language (UML) has become a defacto standard for software development practitioners. There are several tools that help the use of UML. Users of those tools must evaluate and compare different versions of the tools they intend to use or are using to assess the possibility of changing or acquiring one. There a re several ways to perform

  1. Automated Software Engineering Using Concurrent Class Machines Radu Grosu Yanhong A. Liu Scott Smolka Scott D. Stoller Jingyu Yan

    E-print Network

    Liu, Yanhong Annie

    of object-oriented systems, UML proposes both a state model (given by state diagrams) and a flow model collection types. The model can be understood as a precise definition of UML activity diagrams which, at the same time, offers an ex- ecutable, object-oriented alternative to event-based state- charts. It can

  2. Automated Software Engineering Using Concurrent Class Machines Radu Grosu Yanhong A. Liu Scott Smolka Scott D. Stoller Jingyu Yan

    E-print Network

    Liu, Yanhong Annie

    of object­oriented systems, UML proposes both a state model (given by state diagrams) and a flow model collection types. The model can be understood as a precise definition of UML activity diagrams which, at the same time, offers an ex­ ecutable, object­oriented alternative to event­based state­ charts. It can

  3. Foundations on Generation of Relationships Between Classes Based on Initial Business Knowledge

    NASA Astrophysics Data System (ADS)

    Nikiforova, Oksana; Pavlova, Natalya

    This chapter focuses on the development of the main component of platform independent model (PIM) of Model Driven Architecture, e.g., class diagram defined in Unified Modeling Language (UML), which has necessary details for transformation into platform specific model (PSM). It is important to formulate core principles of development of well-structured class diagram at a conceptual level, using knowledge of the problem domain, which consists of two interrelated models of system aspects - business processes and concept presentation. Definition of relationships of classes is important for PSM generation; therefore, the research on how it could be defined is performed. The hypothesis that it is possible to derive a class structure from initial business information is adduced. Information about the problem domain is presented in the form of two-hemisphere model that describes two interrelated parts of the most important aspects of a system, namely business process and concept models. These models serve as a source model for class diagram receiving. Capacity for the class diagram generation, based on the two-hemisphere model, is represented by a collection of graph transformations and illustrated with examples, where definition of different kinds of relationships (namely aggregation, dependency, generalization) is displayed.

  4. Sculpting the UMLS Refined Semantic Network

    PubMed Central

    Morrey, C. Paul; Perl, Yehoshua; Elhanan, Gai; Chen, Ling; Chen, Yan; Geller, James

    2014-01-01

    Background The Refined Semantic Network (RSN) for the UMLS was previously introduced to complement the UMLS Semantic Network (SN). The RSN partitions the UMLS Metathesaurus (META) into disjoint groups of concepts. Each such group is semantically uniform. However, the RSN was initially an order of magnitude larger than the SN, which is undesirable since to be useful, a semantic network should be compact. Most semantic types in the RSN represent combinations of semantic types in the UMLS SN. Such a “combination semantic type” is called Intersection Semantic Type (IST). Many ISTs are assigned to very few concepts. Moreover, when reviewing those concepts, many semantic type assignment inconsistencies were found. After correcting those inconsistencies many ISTs, among them some that contradicted UMLS rules, disappeared, which made the RSN smaller. Objective The authors performed a longitudinal study with the goal of reducing the size of the RSN to become compact. This goal was achieved by correcting inconsistencies and errors in the IST assignments in the UMLS, which additionally helped identify and correct ambiguities, inconsistencies, and errors in source terminologies widely used in the realm of public health. Methods In this paper, we discuss the process and steps employed in this longitudinal study and the intermediate results for different stages. The sculpting process includes removing redundant semantic type assignments, expanding semantic type assignments, and removing illegitimate ISTs by auditing ISTs of small extents. However, the emphasis of this paper is not on the auditing methodologies employed during the process, since they were introduced in earlier publications, but on the strategy of employing them in order to transform the RSN into a compact network. For this paper we also performed a comprehensive audit of 168 “small ISTs” in the 2013AA version of the UMLS to finalize the longitudinal study. Results Over the years it was found that the editors of the UMLS introduced some new inconsistencies that resulted in the reintroduction of unwarranted ISTs that had already been eliminated as a result of their previous corrections. Because of that, the transformation of the RSN into a compact network covering all necessary categories for the UMLS was slowed down. The corrections suggested by an audit of the 2013AA version of the UMLS achieve a compact RSN of equal magnitude as the UMLS SN. The number of ISTs has been reduced to 336. We also demonstrate how auditing the semantic type assignments of UMLS concepts can expose other modeling errors in the UMLS source terminologies, e.g., SNOMED CT, LOINC, and RxNORM that are important for health informatics. Such errors would otherwise stay hidden. Conclusions It is hoped that the UMLS curators will implement all required corrections and use the RSN along with the SN when maintaining and extending the UMLS. When used correctly, the RSN will support the prevention of the accidental introduction of inconsistent semantic type assignments into the UMLS. Furthermore, this way the RSN will support the exposure of other hidden errors and inconsistencies in health informatics terminologies, which are sources of the UMLS. Notably, the development of the RSN materializes the deeper, more refined Semantic Network for the UMLS that its designers envisioned originally but had not implemented. PMID:25422719

  5. A study of abbreviations in the UMLS.

    PubMed Central

    Liu, H.; Lussier, Y. A.; Friedman, C.

    2001-01-01

    Abbreviations are widely used in medicine. The understanding of abbreviations is important for medical language processing and information retrieval systems. The Unified Medical Language System (UMLS) contains a large number of abbreviations. We hypothesized that extracting and studying the UMLS abbreviations can be helpful for understanding the characteristics of abbreviations in medicine. In this paper, we describe a method for extracting abbreviations from the UMLS. We evaluated the method and studied the ambiguous nature of the abbreviations. In addition, the coverage of the UMLS abbreviations in medical reports was studied. Using our method, we extracted 163,666 unique (abbreviation, full form) pairs from the UMLS with a precision of 97.5%, and a recall of 96%. The UMLS abbreviations were highly ambiguous: 33.1% of abbreviations with six characters or less had multiple meanings; the average number of different full forms for all abbreviations with six characters or less was 2.28. The coverage of the UMLS abbreviations in medical reports was over 66%. PMID:11825217

  6. CSP 586: Software Modeling and Development with UML Jim Conallen. Building Web Applications with UML, Addison-Wesley

    E-print Network

    Heller, Barbara

    CSP 586: Software Modeling and Development with UML Texts Jim Conallen. Building Web Applications · UML for Web Design 3 hours Total 45 hours CSP 586: Software Modeling and Development with UML 1 of 1 exposure to the UML technology. This will include exposure to modeling, model-driven development

  7. Velocity diagrams

    NASA Technical Reports Server (NTRS)

    Whitney, W. J.; Stewart, W. L.

    1972-01-01

    The selection and design of velocity diagrams for axial flow turbines are considered. Application is treated in two parts which includes: (1) mean-section diagrams, and (2) radial variation of diagrams. In the first part, the velocity diagrams occurring at the mean section are assumed to represent the average conditions encountered by the turbine. The different types of diagrams, their relation to stage efficiency, and their selection when staging is required are discussed. In the second part, it is shown that in certain cases the mean-section diagrams may or may not represent the average flow conditions for the entire blade span. In the case of relatively low hub- to tip-radius ratios, substantial variations in the velocity diagrams are encountered. The radial variations in flow conditions and their effect on the velocity diagrams are considered.

  8. Description of ITRF construction using UML notation

    NASA Astrophysics Data System (ADS)

    Pa?nicka, M.; Szafranek, K.; Zwirowicz-Rutkowska, A.

    2012-04-01

    International Terrestrial Reference Frame (ITRF), as a practical realization of the International Terrestrial Reference System (ITRS), is based on long-term observations of four techniques: Global Navigation Satellite System (GNSS), Satellite Laser Ranging (SLR), DORIS. As a consequence contribution to ITRF of each of the mentioned techniques is different (e.g. origin of ITRF2008 was determined basing on SLR, scale using SLR and VLBI, and orientation was the result of all four techniques). ITRF is updated regularly with the most recent versions being ITRF97, ITRF2000, ITRF2005, ITRF2008. ITRF2008 is based on reprocessed solutions (time series of station positions and Earth Orientation Parameters) of all four techniques. The paper presents procedure of determining ITRF2008 using UML (Unified Modeling Language) - one of the graphical notations commonly used for information modeling. Concepts are represented as classes with their names, attributes, and different kinds of links between them. The main purpose of this paper is a comprehensive description of relationships between basic terms related to ITRF.

  9. Gnie logiciel 2. UML : Unified Modeling

    E-print Network

    Mille, Julien

    · Sortie de UML 2.0 : nouveaux diagrammes, changements importants au niveau du méta-modèle, pour permettre : descriptions du système dépendantes d'un point de vue, qui peut être organisationnel, temporel, architectural

  10. Gnie logiciel 2. UML : Unified Modeling

    E-print Network

    Mille, Julien

    , changements importants au niveau du métamodèle, pour permettre d'utiliser UML pour la programmation ­ 2007 d'un point de vue, qui peut être organisationnel, temporel, architectural, géographique, logique

  11. Playing games with UML tools Perdita Stevens

    E-print Network

    Stevens, Perdita

    FMCO 2002 Playing games with UML tools Perdita Stevens incorporating early joint work with Jennifer interfaces in arbitrary contexts ­ that was a pipe dream. Instead we can aim for appropriate libraries

  12. Formal Definition of UML's Package Concept

    Microsoft Academic Search

    A. Schurr; Rwth Aachen

    1998-01-01

    : UML is the first OO modeling language with a useful modularizationand information hiding concept. It supports nesting, import, and refinement ofso-called packages. This paper translates UML's informal package definition intopredicate logic formulas and solves some open problems concerning the visibilityof exported and imported modeling elements.Furthermore, the formulas will be transformed into a specification based on PROgrammedGraph REwriting Systems. We

  13. UML modeling of the LINC-NIRVANA control software

    NASA Astrophysics Data System (ADS)

    Gaessler, Wolfgang; Bertram, Thomas; Briegel, F.; Driebe, Thomas M.; Heininger, Matthias; Nussbaum, Edmund; Storz, Clemens; Wang, J.; Zealouk, Lahbib; Herbst, Thomas M.; Ragazzoni, Roberto; Eckhardt, A.; Weigelt, Gerd P.

    2004-09-01

    LINC-NIRVANA is a Fizeau interferometer for the Large Binocular Telescope (LBT) doing imaging in the near infrared (J,H,K - band). Multi-conjugated adaptive optics is used to increase sky coverage and to get diffraction limited images over a 2 arcminute field of view. The control system consists of five independent loops, which are mediated through a master control. Due to the configuration, LINC-NIRVANA has no delay line like other interferometers. To remove residual atmospheric piston, the system must control both the primary and secondary mirrors, in addition to a third, dedicated piston mirror. This leads to a complex and interlocked control scheme and software. We will present parts of the instrument software design, which was developed in an object-oriented manner using UML. Several diagram types were used to structure the overall system and to evaluate the needs and interfaces of each sub-system to each other.

  14. SecureUML: A UML-Based Modeling Language for Model-Driven Security

    Microsoft Academic Search

    Torsten Lodderstedt; David A. Basin; Jürgen Doser

    2002-01-01

    Abstract We present a modeling language for the model - driven development of secure, distributed systems based on the Unified Modeling Language (UML) Our approach is based on role - based access control with additional support for specifying authorization constraints We show how UML can be used to spec - ify information related to access control in the overall design

  15. Lucidchart: Diagramming

    NSDL National Science Digital Library

    2012-08-24

    For all those who have wrestled with creating charts and diagrams in word processors, the Google Chrome application Lucidchart may be a long-awaited answer. Users can start using the intuitive drag-and-drop interface right away, although a free signup is required to save diagrams. By sharing a link with coworkers, project collaborators can work on the same diagram at the same time. This application is compatible with all computers running Google Chrome.

  16. Venn Diagrams

    NSDL National Science Digital Library

    2011-05-24

    In this activity, students are given a Venn diagram with certain rules and an element. They must then determine where in the Venn diagram the element belongs. This activity allows students to practice placing elements in Venn diagrams as well as reviewing mathematical terms associated with the different rules. This activity includes supplemental materials, including background information about the topics covered, a description of how to use the application, and exploration questions for use with the java applet.

  17. Venn Diagrams and Logic

    NSDL National Science Digital Library

    2011-01-04

    This math lesson from Illuminations uses Venn diagrams to illustrate direct, indirect and transitive reasoning. Students will learn the definitions of direct, indirect and transitive reasoning and give examples of each. Several student activity sheets are included. The material is intended for grades 9-12 and should require 2 and a half class periods to complete.

  18. Venn Diagrams

    NSDL National Science Digital Library

    This interactive problem provides an opportunity for children to become familiar with Venn diagrams, while reinforcing knowledge of number properties. Students must place the numbers from 1 to 40 into a Venn diagram of two sets with an intersection. The Teachers' Notes page offers rationale, suggestions for implementation, discussion questions, ideas for extension and support.

  19. Venn Diagrams

    NSDL National Science Digital Library

    2011-05-23

    This lesson is designed to introduce students to sorting objects/elements using Venn diagrams. This lesson provides links to discussions and activities related to Venn diagrams as well as suggested ways to integrate them into the lesson. Finally, the lesson provides links to follow-up lessons designed for use in succession with the current one.

  20. Stateful UML Design with Security Constraints for Information Assurance The design of software applications using UML embodies

    E-print Network

    Demurjian, Steven A.

    Stateful UML Design with Security Constraints for Information Assurance Abstract The design design state containing security constraints and insures that information assurance with respect. Keywords: RBAC, MAC, UML, access control, information assurance, secure software design. 1. Introduction

  1. Cognitive Support, UMLAdherence, and XMI Interchange in Argo/UML

    E-print Network

    Redmiles, David F.

    Cognitive Support, UMLAdherence, and XMI Interchange in Argo/UML Jason E. Robbins and David F understanding. This paper describes Argo/UML, an object-oriented design tool using the Unified Modeling Language design notation. Argo/UML supports several identified cognitive needs of software designers. This support

  2. UML-Based Testing of Roaming with Bluetooth Devices

    Microsoft Academic Search

    Zhen Ru Dai; Jens Grabowski; Helmut Neukirchen; Holger Pals; Ratzeburger Allee

    In late 2001, the Object Management Group issued a Re- quest for Proposal to develop a testing profile for UML 2.0. In June 2003, the work of UML Testing Profile has finally been adopted by the OMG. The Testing Profile provides support for UML based model-driven testing. This paper introduces a methodol- ogy of how to use the testing profile

  3. Model-Driven Theme/UML

    NASA Astrophysics Data System (ADS)

    Carton, Andrew; Driver, Cormac; Jackson, Andrew; Clarke, Siobhán

    Theme/UML is an existing approach to aspect-oriented modelling that supports the modularisation and composition of concerns, including crosscutting ones, in design. To date, its lack of integration with model-driven engineering (MDE) techniques has limited its benefits across the development lifecycle. Here, we describe our work on facilitating the use of Theme/UML as part of an MDE process. We have developed a transformation tool that adopts model-driven architecture (MDA) standards. It defines a concern composition mechanism, implemented as a model transformation, to support the enhanced modularisation features of Theme/UML. We evaluate our approach by applying it to the development of mobile, context-aware applications-an application area characterised by many non-functional requirements that manifest themselves as crosscutting concerns.

  4. A Case Study for HRT-UML

    NASA Astrophysics Data System (ADS)

    D'Alessandro, M.; Mazzini, S.; Donati, F.

    The Hard-Real-Time Unified Modelling Language (HRT-UML) method replaces HRT-HOOD with a customized version of UML: it incorporates all the advantages of the HRT-HOOD method and improves the HRT-HOOD design concepts by converging to a more powerful and expressive modelling notation, that is currently a de-facto standard. This paper presents the principles of such a method and the related support toolset and describes the results of a case study showing how the method can be a comprehensive solution to the modelling of Hard Real Time systems.

  5. ICECCS -UML&AADL'09. Potsdam, Germany. June 2009, pp. 371376 Executing AADL models with UML/MARTE

    E-print Network

    Boyer, Edmond

    ICECCS - UML&AADL'09. Potsdam, Germany. June 2009, pp. 371­376 Executing AADL models with UML/MARTE and MARTE are two modeling formalisms sup- porting the analysis of real-time embedded systems. Since both on the MARTE Time Model and the operational semantics of its companion language CCSL we attempt to equip UML

  6. Unified Medical LanguageUnified Medical Language SystemSystem (UMLS(UMLS) Basics) Basics

    E-print Network

    Levin, Judith G.

    Unified Medical LanguageUnified Medical Language SystemSystem®® (UMLS(UMLS®®) Basics) Basics in granularity and perspectivedisparities in granularity and perspective Ex: Contusions, hematoma, bruise

  7. Quality evaluation of cancer study Common Data Elements using the UMLS Semantic Network.

    PubMed

    Jiang, Guoqian; Solbrig, Harold R; Chute, Christopher G

    2011-12-01

    The binding of controlled terminology has been regarded as important for standardization of Common Data Elements (CDEs) in cancer research. However, the potential of such binding has not yet been fully explored, especially its quality assurance aspect. The objective of this study is to explore whether there is a relationship between terminological annotations and the UMLS Semantic Network (SN) that can be exploited to improve those annotations. We profiled the terminological concepts associated with the standard structure of the CDEs of the NCI Cancer Data Standards Repository (caDSR) using the UMLS SN. We processed 17798 data elements and extracted 17526 primary object class/property concept pairs. We identified dominant semantic types for the categories "object class" and "property" and determined that the preponderance of the instances were disjoint (i.e. the intersection of semantic types between the two categories is empty). We then performed a preliminary evaluation on the data elements whose asserted primary object class/property concept pairs conflict with this observation - where the semantic type of the object class fell into a SN category typically used by property or visa-versa. In conclusion, the UMLS SN based profiling approach is feasible for the quality assurance and accessibility of the cancer study CDEs. This approach could provide useful insight about how to build mechanisms of quality assurance in a meta-data repository. PMID:21840422

  8. Cognitive support, UML adherence, and XMI interchange in Argo\\/UML

    Microsoft Academic Search

    Jason E. Robbins; David F. Redmiles

    2000-01-01

    Abstract Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the essential and difficult cognitive tasks facing designers. These cognitive tasks include decision-making,decision ordering, and task-specific design understanding. This paper describes Argo\\/UML, an object-oriented design tool using the Unified Modeling Language design notation. Argo\\/UML supports

  9. Query Based UML Modeling Validation and Verification of the System Model and

    E-print Network

    Austin, Mark

    ................................................. 9 2.1 Inheritance View Diagram ........................................ 10 2.2 Class Diagram the software and engineering communities to model system level architectures for various systems and subsystems ........................................ 11 2.3 Initial Use Case Diagram ........................................ 12 2.4 Nominal Phase Use

  10. A subset of precise UML for Model-based Testing University of Besanon

    E-print Network

    Paris-Sud XI, Université de

    representations. A static representation (i.e. class diagrams) is used to model the points of control standard for modelling enterprise IT applications; most software engineers have had some first level.g. state diagrams or activity diagrams) is used to model the expected behaviour of the SUT. Secondly

  11. State-Transition Diagrams for Biologists

    PubMed Central

    Bersini, Hugues; Klatzmann, David; Six, Adrien; Thomas-Vaslin, Véronique

    2012-01-01

    It is clearly in the tradition of biologists to conceptualize the dynamical evolution of biological systems in terms of state-transitions of biological objects. This paper is mainly concerned with (but obviously not limited too) the immunological branch of biology and shows how the adoption of UML (Unified Modeling Language) state-transition diagrams can ease the modeling, the understanding, the coding, the manipulation or the documentation of population-based immune software model generally defined as a set of ordinary differential equations (ODE), describing the evolution in time of populations of various biological objects. Moreover, that same UML adoption naturally entails a far from negligible representational economy since one graphical item of the diagram might have to be repeated in various places of the mathematical model. First, the main graphical elements of the UML state-transition diagram and how they can be mapped onto a corresponding ODE mathematical model are presented. Then, two already published immune models of thymocyte behavior and time evolution in the thymus, the first one originally conceived as an ODE population-based model whereas the second one as an agent-based one, are refactored and expressed in a state-transition form so as to make them much easier to understand and their respective code easier to access, to modify and run. As an illustrative proof, for any immunologist, it should be possible to understand faithfully enough what the two software models are supposed to reproduce and how they execute with no need to plunge into the Java or Fortran lines. PMID:22844438

  12. Software cost estimation using class point metrics (CPM)

    NASA Astrophysics Data System (ADS)

    Ghode, Aditi; Periyasamy, Kasilingam

    2011-12-01

    Estimating cost for the software project is one of the most important and crucial task to maintain the software reliability. Many cost estimation models have been reported till now, but most of them have significant drawbacks due to rapid changes in the technology. For example, Source Line Of Code (SLOC) can only be counted when the software construction is complete. Function Point (FP) metric is deficient in handling Object Oriented Technology, as it was designed for procedural languages such as COBOL. Since Object-Oriented Programming became a popular development practice, most of the software companies started applying the Unified Modeling Language (UML). The objective of this research is to develop a new cost estimation model with the application of class diagram for the software cost estimation.

  13. Static Verification of UML Model Consistency A. Baruzzo1

    E-print Network

    Comini, Marco

    verification technique that, by using OCL constraints together with Class Diagrams, certifies that the dy efforts have produced also relevant practical results. Indeed, the software engineering community has is nowadays a de-facto standard for design and develop- ment of (object-oriented) software. With version 2

  14. Venn diagrams

    NSDL National Science Digital Library

    National Science Digital Library (NSDL) Middle School Portal Staff

    2008-03-10

    These online resources offer varied opportunities to work with Venn diagrams, one of many tools used in logic and reasoning. Their use is especially helpful in learning foundational notions of definition and set theory. One of the five Process Standards promoted by NCTM, Reasoning and Proof requires middle school students to sharpen such skills as they learn to develop mathematical argument.

  15. Phase Diagrams

    NSDL National Science Digital Library

    Dexter Perkins

    This handout and problem set is a stand alone tutorial that introduces students to the basics of phase diagrams and the phase rule. It is a rather lengthy exercise, suitable as a homework assignment. It can replace lectures and yields superior learning.

  16. UMLS knowledge for biomedical language processing.

    PubMed

    McCray, A T; Aronson, A R; Browne, A C; Rindflesch, T C; Razi, A; Srinivasan, S

    1993-04-01

    This paper describes efforts to provide access to the free text in biomedical databases. The focus of the effort is the development of SPECIALIST, an experimental natural language processing system for the biomedical domain. The system includes a broad coverage parser supported by a large lexicon, modules that provide access to the extensive Unified Medical Language System (UMLS) Knowledge Sources, and a retrieval module that permits experiments in information retrieval. The UMLS Metathesaurus and Semantic Network provide a rich source of biomedical concepts and their interrelationships. Investigations have been conducted to determine the type of information required to effect a map between the language of queries and the language of relevant documents. Mappings are never straightforward and often involve multiple inferences. PMID:8472004

  17. Internal Report 2012-05 August 2012 Universiteit Leiden

    E-print Network

    Emmerich, Michael

    Internal Report 2012-05 August 2012 Universiteit Leiden Opleiding Informatica UML Class Diagram and Outline . . . . . . . . . . . . . . . . . . . . 8 2 Background Information 9 2.1 UML Class Diagram . . . . . . . . . . . . . . . . . . 13 2.5.3 Automated Abstraction of Class Diagrams . . . . . . . 14 2.5.4 Reasoning on UML Class

  18. Interpreting T-X Diagrams

    NSDL National Science Digital Library

    Dexter Perkins

    This short problem set works well as a group activity that can be completed in class. The purpose of the exercise is for students to begin to think about T-X phase diagrams and how they are interpreted. Along the way, students learn that text book authors sometimes make mistakes. The figure in the handout is from Winter's Petrology. But, Winter goofed and left some reactions off of the phase diagram.

  19. Diagrams Based on Structural Object Perception Pourang Irani

    E-print Network

    New Hampshire, University of

    (506) 453-4566 cware@omg.unb.ca ABSTRACT Most diagrams, particularly those used in software engineering attention on a common class of diagrams technically called graphs in computer science, and also sometimes called a node-link diagram. This category of diagrams includes software structure charts [14], entity

  20. A review method for UML requirements analysis model employing system-side prototyping.

    PubMed

    Ogata, Shinpei; Matsuura, Saeko

    2013-12-01

    User interface prototyping is an effective method for users to validate the requirements defined by analysts at an early stage of a software development. However, a user interface prototype system offers weak support for the analysts to verify the consistency of the specifications about internal aspects of a system such as business logic. As the result, the inconsistency causes a lot of rework costs because the inconsistency often makes the developers impossible to actualize the system based on the specifications. For verifying such consistency, functional prototyping is an effective method for the analysts, but it needs a lot of costs and more detailed specifications. In this paper, we propose a review method so that analysts can verify the consistency among several different kinds of diagrams in UML efficiently by employing system-side prototyping without the detailed model. The system-side prototype system does not have any functions to achieve business logic, but visualizes the results of the integration among the diagrams in UML as Web pages. The usefulness of our proposal was evaluated by applying our proposal into a development of Library Management System (LMS) for a laboratory. This development was conducted by a group. As the result, our proposal was useful for discovering the serious inconsistency caused by the misunderstanding among the members of the group. PMID:23807910

  1. A tutorial on flow diagrams: A tool for developing the structure of multicomponent phase diagrams

    Microsoft Academic Search

    R. G. Connell

    1994-01-01

    The tabular form of multiphase equilibria in temperature- or pressure-ordered sequence, often referred to as flow diagrams,\\u000a shows the interrelations that exist among the various types or classes of equilibria in a system. These interrelations establish\\u000a the structures of the various forms of phase diagrams. Flow diagrams have been used to simplify the presentation of complex\\u000a ternary phase diagrams. However,

  2. Validierung von UML-Modellen und OCL-Bedingungen

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Validierung von UML-Modellen und OCL-Bedingungen Mark Richters and Martin Gogolla Universität ein allgemein akzeptierter Standard für die Modellierung von Software- Systemen und wird als solcher von einer groÿen Anzahl von CASE-Tools unterstützt. Oft weisen UML-Werkzeuge nur wenig Unterstützung

  3. A UML-based Software Engineering Methodology for Agent Factory

    Microsoft Academic Search

    Rem W. Collier; Gregory M. P. O'hare; Colm Rooney

    2004-01-01

    This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Language (UML) and Agent UML to support the development of multi-agent systems. We illustrate the use of this methodology, through a simple case study and briefly compare it to some other well-known AOSE methodologies.

  4. TOWARD A HUMAN-CENTERED UML FOR RISK ANALYSIS

    E-print Network

    Paris-Sud XI, Université de

    TOWARD A HUMAN-CENTERED UML FOR RISK ANALYSIS Application to a medical robot Jérémie Guiochet1. The first and important step of this activity is risk analysis. During risk analysis, two main studies, this paper proposes to treat the risk analysis on the common expression language UML (Unified Modeling

  5. The Unified Medical Language System (UMLS): integrating biomedical terminology.

    PubMed

    Bodenreider, Olivier

    2004-01-01

    The Unified Medical Language System (http://umlsks.nlm.nih.gov) is a repository of biomedical vocabularies developed by the US National Library of Medicine. The UMLS integrates over 2 million names for some 900,000 concepts from more than 60 families of biomedical vocabularies, as well as 12 million relations among these concepts. Vocabularies integrated in the UMLS Metathesaurus include the NCBI taxonomy, Gene Ontology, the Medical Subject Headings (MeSH), OMIM and the Digital Anatomist Symbolic Knowledge Base. UMLS concepts are not only inter-related, but may also be linked to external resources such as GenBank. In addition to data, the UMLS includes tools for customizing the Metathesaurus (MetamorphoSys), for generating lexical variants of concept names (lvg) and for extracting UMLS concepts from text (MetaMap). The UMLS knowledge sources are updated quarterly. All vocabularies are available at no fee for research purposes within an institution, but UMLS users are required to sign a license agreement. The UMLS knowledge sources are distributed on CD-ROM and by FTP. PMID:14681409

  6. UML-Based Modeling of Roaming with Bluetooth Devices

    E-print Network

    Grabowski, Jens

    UML-Based Modeling of Roaming with Bluetooth Devices Holger Pals Institute of Computer Engineering transfer sce- narios using Bluetooth hardware devices and present a cor- responding UML model. Keywords-range wireless communication. The Bluetooth specification en- ables small devices to interact within a short

  7. Representing Genomic Knowledge in the UMLS Semantic Network

    Microsoft Academic Search

    Hong Yu; M. Phil; Carol Friedman; Andrey Rhzetsky; Pauline Kra

    1999-01-01

    Abstract: Thispaper describes our efforts to integrate concepts importantto genomics research with the UMLS semanticnetwork. We found that the UMLS contains over30 semantic types and most of the semantic relationsthat are essential for representing the underlyinggenomic knowledge. In addition, we observed thatthe organization of the network was appropriate forrepresenting the hierarchical organization of theconcepts. Because some of the concepts critical

  8. Simulation and Verification of UML-based Railway Interlocking Designs

    E-print Network

    Paris-Sud XI, Université de

    AVoCS 2006 Simulation and Verification of UML-based Railway Interlocking Designs Yuen Man Hon1 Maik Abstract The development of safety critical systems such as railway interlocking systems demands. In this contribution we outline our approach of developing a UML-based Railway Interlocking System. The feasibility

  9. Modeling SPIRIT IP-XACT with UML MARTE Charles Andre

    E-print Network

    Mallet, Frédéric

    Modeling SPIRIT IP-XACT with UML MARTE Charles Andr´e , Fr´ed´eric Mallet , Aamir Mehmood Khan representation issues. The equally recent MARTE UML profile focuses explicitly on the rich expression of time- tions as MARTE models. This leaves open the possibility to extend the formalism with timing aspects

  10. Artificial Intelligence 168 (2005) 70118 www.elsevier.com/locate/artint

    E-print Network

    Calvanese, Diego

    2005-01-01

    of software. One of the most important components of UML are class diagrams, which model the information of UML in industrial-scale software ap- plications brings about class diagrams that are large and complex class diagrams, which are one of the most important components of UML, and we address the problem

  11. Finding UMLS Metathesaurus concepts in MEDLINE.

    PubMed Central

    Srinivasan, Suresh; Rindflesch, Thomas C.; Hole, William T.; Aronson, Alan R.; Mork, James G.

    2002-01-01

    The entire collection of 11.5 million MEDLINE abstracts was processed to extract 549 million noun phrases using a shallow syntactic parser. English language strings in the 2002 and 2001 releases of the UMLS Metathesaurus were then matched against these phrases using flexible matching techniques. 34% of the Metathesaurus names (occurring in 30% of the concepts) were found in the titles and abstracts of articles in the literature. The matching concepts are fairly evenly chemical and non-chemical in nature and span a wide spectrum of semantic types. This paper details the approach taken and the results of the analysis. PMID:12463920

  12. Concepts and Synonymy in the UMLS Metathesaurus

    PubMed Central

    Merrill, Gary H.

    2009-01-01

    This paper advances a detailed exploration of the complex relationships among terms, concepts, and syn­onymy in the UMLS (Uni?ed Medical Language System) Metathesaurus, and proposes the study and under­standing of the Metathesaurus from a model-theoretic perspective. Initial sections provide the background and motivation for such an approach, and a careful informal treatment of these notions is offered as a con­text and basis for the formal analysis. What emerges from this is a set of puzzles and confusions in the Metathesaurus and its literature pertaining to synonymy and its relation to terms and concepts. A model theory for a segment of the Metathesaurus is then constructed, and its adequacy relative to the informal treatment is demonstrated. Finally, it is shown how this approach clari?es and addresses the puzzles educed from the informal discussion, and how the model-theoretic perspective may be employed to eval­uate some fundamental criticisms of the Metathesaurus. For users of the UMLS, two signi?cant results of this analysis are a rigorous clari?cation of the different senses of synonymy that appear in treatments of the Metathesaurus and an illustration of the dangers in computing inferences involving ambiguous terms. PMID:19838995

  13. Labeled floor diagrams for plane curves

    Microsoft Academic Search

    Sergey Fomin; Grigory Mikhalkin

    2009-01-01

    Floor diagrams are a class of weighted oriented graphs introduced by E. Brugalle and the second author. Tropical geometry arguments lead to combinatorial descriptions of (ordinary and relative) Gromov-Witten invariants of projective spaces in terms of floor diagrams and their generalizations. In a number of cases, these descriptions can be used to obtain explicit (direct or recursive) formulas for the

  14. Resummation of Cactus Diagrams in Lattice QCD

    E-print Network

    H. Panagopoulos; E. Vicari

    1998-06-08

    We show how to perform a resummation, to all orders in perturbation theory, of a certain class of gauge invariant diagrams in Lattice QCD. These diagrams are often largely responsible for lattice artifacts. Our resummation leads to an improved perturbative expansion. Applied to a number of cases of interest, this expansion yields results remarkably close to corresponding nonperturbative estimates.

  15. Representing Thoughts, Words, and Things in the UMLS

    PubMed Central

    Campbell, Keith E.; Oliver, Diane E.; Spackman, Kent A.; Shortliffe, Edward H.

    1998-01-01

    The authors describe a framework, based on the Ogden-Richards semiotic triangle, for understanding the relationship between the Unified Medical Language System (UMLS) and the source terminologies from which the UMLS derives its content. They pay particular attention to UMLS's Concept Unique Identifier (CUI) and the sense of “meaning” it represents as contrasted with the sense of “meaning” represented by the source terminologies. The CUI takes on emergent meaning through linkage to terms in different terminology systems. In some cases, a CUI's emergent meaning can differ significantly from the original sources' intended meanings of terms linked by that CUI. Identification of these different senses of meaning within the UMLS is consistent with historical themes of semantic interpretation of language. Examination of the UMLS within such a historical framework makes it possible to better understand the strengths and limitations of the UMLS approach for integrating disparate terminologic systems and to provide a model, or theoretic foundation, for evaluating the UMLS as a Possible World—that is, as a mathematical formalism that represents propositions about some perspective or interpretation of the physical world. PMID:9760390

  16. Free Body Diagrams

    NSDL National Science Digital Library

    This website from the University of Guelph's physics department offers a tutorial on free body diagrams. The tutorial includes an explanation of what free body diagrams are, example problems, a self-test, and a free body diagram java applet.

  17. An Infrastructure for UML-Based Code Generation Tools

    NASA Astrophysics Data System (ADS)

    Wehrmeister, Marco A.; Freitas, Edison P.; Pereira, Carlos E.

    The use of Model-Driven Engineering (MDE) techniques in the domain of distributed embedded real-time systems are gain importance in order to cope with the increasing design complexity of such systems. This paper discusses an infrastructure created to build GenERTiCA, a flexible tool that supports a MDE approach, which uses aspect-oriented concepts to handle non-functional requirements from embedded and real-time systems domain. GenERTiCA generates source code from UML models, and also performs weaving of aspects, which have been specified within the UML model. Additionally, this paper discusses the Distributed Embedded Real-Time Compact Specification (DERCS), a PIM created to support UML-based code generation tools. Some heuristics to transform UML models into DERCS, which have been implemented in GenERTiCA, are also discussed.

  18. Phase Diagrams and Chemographic Projections

    NSDL National Science Digital Library

    Dexter Perkins

    This exercise is a good way to get students thinking about the phase rule, metastable and stable reactions and phase diagrams. The exercise contains a lot of reading, and is suitable for in-class work or for homework. The idea is that students can do this on their own with little help from their instructor. The students only answer a few questions making this is more of a tutorial than a worksheet.

  19. Students' Different Understandings of Class Diagrams

    ERIC Educational Resources Information Center

    Boustedt, Jonas

    2012-01-01

    The software industry needs well-trained software designers and one important aspect of software design is the ability to model software designs visually and understand what visual models represent. However, previous research indicates that software design is a difficult task to many students. This article reports empirical findings from a…

  20. Model-based testing with UML applied to a roaming algorithm for Bluetooth devices

    Microsoft Academic Search

    DAI Zhen Ru; GRABOWSKI Jens; NEUKIRCHEN Helmut; PALS Holger

    2004-01-01

    In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven

  1. Model-based testing with UML applied to a roaming algorithm for Bluetooth devices

    Microsoft Academic Search

    Zhen Ru Dai; Jens Grabowski; Helmut Neukirchen; Holger Pals

    2004-01-01

    In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June\\u000a 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official\\u000a standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven

  2. Reliability computation from reliability block diagrams

    NASA Technical Reports Server (NTRS)

    Chelson, P. O.; Eckstein, R. E.

    1971-01-01

    A method and a computer program are presented to calculate probability of system success from an arbitrary reliability block diagram. The class of reliability block diagrams that can be handled include any active/standby combination of redundancy, and the computations include the effects of dormancy and switching in any standby redundancy. The mechanics of the program are based on an extension of the probability tree method of computing system probabilities.

  3. UML Deficiencies from the perspective of Automatic Performance Model Generation Submission to

    E-print Network

    Kent, University of

    and the use of UML for system design arises principally from research on a project aimed at the automaticUML Deficiencies from the perspective of Automatic Performance Model Generation Submission.H.Akehurst, A.G.Waters, University of Kent at Canterbury, UK. 1. Introduction Our experience of UML semantics

  4. From Design to Test with UML: Applied to a Roaming Algorithm for Bluetooth Devices

    Microsoft Academic Search

    Zhen Ru Dai; Jens Grabowski; Helmut Neukirchen; Holger Pals

    2004-01-01

    Abstract The UML Testing Pro le provides support for UML based model - driven testing This paper introduces a methodology of how to use the testing pro le in order to modify and extend an existing UML design model for test issues As a case study, a new roaming algorithm for bluetooth devices has been developed at the University of

  5. Using UML in Software Requirements Analysis - Experiences from Practical Student Project Work

    Microsoft Academic Search

    Dirk Frosch-Wilke

    2003-01-01

    Currently the Unified Modeling Language (UML) is an industry standard for object-oriented analysis and design of software systems. Accordingly, teaching UML is part of curricula in many universities engaged in the field of software engineering. Yet not much has been reported in the literature on how efficiently such courses enable students to use UML in software development projects. In this

  6. Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net

    E-print Network

    Paris-Sud XI, Université de

    Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net Ning Ge, Marc-Time Embedded Systems (RTES) have strong requirement regarding system's reliability. UML and its pro- file MARTE in UML-MARTE model at early phases of the system lifecycle becomes possible. However, many challenges

  7. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems

    E-print Network

    Paris-Sud XI, Université de

    Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems Ning Ge for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are stan- dardized modelling languages). However, for- mal verification at early phases of the system lifecycle for UML-MARTE models remains mainly

  8. Time Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification

    E-print Network

    Paris-Sud XI, Université de

    Time Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification's reliability. UML and its profile MARTE are standardized modeling lan- guage that are getting widely accepted at early phases of the system lifecycle is an important problem, which remains open especially for UML-MARTE

  9. Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams

    Microsoft Academic Search

    Jeffrey A. Ingalsbe

    2004-01-01

    \\u000a Rational, objective analysis of an infrastructure portfolio requires that the portfolio be represented in a consistent and\\u000a understandable way. For an organization whose portfolio includes legacy systems, systems under development, systems on fundamentally\\u000a different and incongruous platforms, and systems with little or no documentation, the task is daunting. This paper describes\\u000a work currently being undertaken to represent the IT portfolio of Ford

  10. Automatic Translation of UML Sequence Diagrams into PEPA Models Mirco Tribastone and Stephen Gilmore

    E-print Network

    Gilmore, Stephen

    .0, SDs can express rich sequence traces, incorporating parallel frag- ments and alternative fragments. We fragment. Each component synchro- nises over shared actions enabled when the parallel frag- ment is entered

  11. AFM Diagram Quiz

    NSDL National Science Digital Library

    Dexter Perkins

    This exercise should be used after you think students know what AFM diagrams are and how they work. This is sort of a quiz - to see if they can properly interpret the diagrams. There is no point moving on to real projects that involve AFM diagrams if the students don't understand the basics.

  12. Tree Diagrams and Probability

    NSDL National Science Digital Library

    2011-01-20

    This lesson is designed to develop students' ability to create tree diagrams and figure probabilities of events based on those diagrams. This lesson provides links to discussions and activities related to tree diagrams as well as suggested ways to work them into the lesson. Finally, the lesson provides links to follow-up lessons designed for use in succession with the current one.

  13. Vehicle System Management Modeling in UML for Ares I

    NASA Technical Reports Server (NTRS)

    Pearson, Newton W.; Biehn, Bradley A.; Curry, Tristan D.; Martinez, Mario R.

    2011-01-01

    The Spacecraft & Vehicle Systems Department of Marshall Space Flight Center is responsible for modeling the Vehicle System Management for the Ares I vehicle which was a part of the now canceled Constellation Program. An approach to generating the requirements for the Vehicle System Management was to use the Unified Modeling Language technique to build and test a model that would fulfill the Vehicle System Management requirements. UML has been used on past projects (flight software) in the design phase of the effort but this was the first attempt to use the UML technique from a top down requirements perspective.

  14. Software Engineering Methodologies Description

    E-print Network

    Maletic, Jonathan I.

    Software Engineering Methodologies Project Description Develop a UML development software development process. The environment must support the following diagrams for the development of class diagrams. The sequence charts and class diagrams must

  15. Modeling and Formally Checking Workflow Properties Using UML and OCL

    E-print Network

    Gogolla, Martin - Fachbereich 3

    , Germany {jens.bruening, peter.forbrig}@uni­rostock.de 2 University of Bremen, Department of Computer1 Modeling and Formally Checking Workflow Properties Using UML and OCL Jens Brüning 1 , Martin Gogolla 2 , Peter Forbrig 1 1 University of Rostock, Department of Computer Science, D­18059 Rostock

  16. BUSINESS PROCESSES EXTENSIONS TO UML PROFILE FOR BUSINESS MODELING

    E-print Network

    times has forced various industries to consider new product design, manufacturing and management-centered paradigm. In order to take the most out of the reengineering efforts and from the information technology is choosing the common modeling language. The obvious choice was the Unified Modeling Language (UML), since

  17. MDA: Revenge of the Modelers or UML Utopia?

    Microsoft Academic Search

    Dave A. Thomas

    2004-01-01

    Modeling is at the core of many disciplines, but it is especially important in engineering because it facilitates communication and constructs complex things from smaller parts. Model engineering or model-driven development, treats software development as a set of transformations between successive models from requirements to analysis, to design, to implementation, to deployment. We discuss UML and MDA tools for developing

  18. Extending UML with Aspects: Aspect Support in the Design Phase

    Microsoft Academic Search

    Junichi Suzuki; Yoshikazu Yamamoto

    1999-01-01

    Aspect-Oriented Programming (AOP) has been considered a promising abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This paper addresses the aspect support in the design level while it has been focused mainly in the implementation\\/coding phase. We propose an extension to Unified Modeling Language (UML) to support aspects properly without breaking the

  19. UML based risk analysis -Application to a medical J. Guiochet

    E-print Network

    Guiochet, Jérémie

    UML based risk analysis - Application to a medical robot J. Guiochet GRIMM-ISYCOM/LESIA, University approach, based on the risk concept in order to guide designers along the safety analysis of such complex systems. Safety depends on risk management activity, which core is risk analysis. This one consists

  20. UML-Based Modeling of Roaming with Bluetooth Devices

    Microsoft Academic Search

    Holger Pals; Ratzeburger Allee; Zhen Ru Dai; Jens Grabowski; Helmut Neukirchen

    Bluetooth is a standard for wireless personal area net- works. The current standard does not support roaming be- tween different bluetooth networks. In this paper, we will in- troduce potential roaming techniques for data transfer sce- narios using Bluetooth hardware devices and present a cor- responding UML model.

  1. Towards Personalized Medical Document Classification by Leveraging UMLS Semantic

    E-print Network

    Petrakis, Euripides G.M.

    The Automatic MeSH Term Extraction (AMTEx) method The UTilites Additives (UTA) method 3 Proposed work MedicalTowards Personalized Medical Document Classification by Leveraging UMLS Semantic Network Kleanthi, London, 2013 Lakiotaki et.al (TUC) Personalized Medical Document Classification klakiotaki@isc.tuc.gr 1

  2. Simulated Satisfaction of Coverage Criteria on UML State Machines

    Microsoft Academic Search

    Stephan Weißleder

    2010-01-01

    UML state machines are widely used as test models in model-based testing. Coverage criteria are applied to them, e.g. to measure a test suite's coverage of the state machine or to steer automatic test suite generation based on the state machine. The model elements to cover as described by the applied coverage criterion depend on the structure of the state

  3. Visualization of Learning Scenarios with UML4LD

    ERIC Educational Resources Information Center

    Laforcade, Pierre

    2007-01-01

    Present Educational Modelling Languages are used to formally specify abstract learning scenarios in a machine-interpretable format. Current tooling does not provide teachers/designers with some graphical facilities to help them in reusing existent scenarios. They need human-readable representations. This paper discusses the UML4LD experimental…

  4. Simulation of the GAIA Mission Using Java and UML

    NASA Astrophysics Data System (ADS)

    Luri, X.; Masana, E.; O'Mullane, W.

    The GAIA mission has been selected as ESA's cornerstone 6, to be launched not later than 2012. The main characteristics of the mission are presented and the design issues of its data management system are discussed. The mission simulator, to be used in the development and testing of this data management system, is specifically presented. This simulator is being developed using Java and UML.

  5. UMLSAMP Team Chart (Focus -UML& MCC) Governing Board

    E-print Network

    Massachusetts at Lowell, University of

    . College of Management - 4. Graduate School of Education 5. School of Health & Environment 6 Links: 1. Lawrence Higher Education Resource Center (HERC) - 2. Middlesex Community College Site UML Department/Program Contacts: 1. College of Engineering - 2. College of Arts & Sciences - 3

  6. Rewriting and suppressing UMLS terms for improved biomedical term identification

    PubMed Central

    2010-01-01

    Background Identification of terms is essential for biomedical text mining.. We concentrate here on the use of vocabularies for term identification, specifically the Unified Medical Language System (UMLS). To make the UMLS more suitable for biomedical text mining we implemented and evaluated nine term rewrite and eight term suppression rules. The rules rely on UMLS properties that have been identified in previous work by others, together with an additional set of new properties discovered by our group during our work with the UMLS. Our work complements the earlier work in that we measure the impact on the number of terms identified by the different rules on a MEDLINE corpus. The number of uniquely identified terms and their frequency in MEDLINE were computed before and after applying the rules. The 50 most frequently found terms together with a sample of 100 randomly selected terms were evaluated for every rule. Results Five of the nine rewrite rules were found to generate additional synonyms and spelling variants that correctly corresponded to the meaning of the original terms and seven out of the eight suppression rules were found to suppress only undesired terms. Using the five rewrite rules that passed our evaluation, we were able to identify 1,117,772 new occurrences of 14,784 rewritten terms in MEDLINE. Without the rewriting, we recognized 651,268 terms belonging to 397,414 concepts; with rewriting, we recognized 666,053 terms belonging to 410,823 concepts, which is an increase of 2.8% in the number of terms and an increase of 3.4% in the number of concepts recognized. Using the seven suppression rules, a total of 257,118 undesired terms were suppressed in the UMLS, notably decreasing its size. 7,397 terms were suppressed in the corpus. Conclusions We recommend applying the five rewrite rules and seven suppression rules that passed our evaluation when the UMLS is to be used for biomedical term identification in MEDLINE. A software tool to apply these rules to the UMLS is freely available at http://biosemantics.org/casper. PMID:20618981

  7. THESIS_036_TX.DOCX Using Diagrammatic Explorations

    E-print Network

    models such as UML class diagrams and layered architectural diagrams, so that developers can understand architectural diagrams, and Relo, which is based on UML class diagrams. The tools have been evaluated using both Science and Engineering, Massachusetts Institute of Technology (2003) B.A.Sc. Computer Engineering

  8. Evaluation Methodology for UML and GML Application Schemas Quality

    NASA Astrophysics Data System (ADS)

    Chojka, Agnieszka

    2014-05-01

    INSPIRE Directive implementation in Poland has caused the significant increase of interest in making spatial data and services available, particularly among public administration and private institutions. This entailed a series of initiatives that aim to harmonise different spatial data sets, so to ensure their internal logical and semantic coherence. Harmonisation lets to reach the interoperability of spatial databases, then among other things enables joining them together. The process of harmonisation requires either working out new data structures or adjusting existing data structures of spatial databases to INSPIRE guidelines and recommendations. Data structures are described with the use of UML and GML application schemas. Although working out accurate and correct application schemas isn't an easy task. There should be considered many issues, for instance recommendations of ISO 19100 series of Geographic Information Standards, appropriate regulations for given problem or topic, production opportunities and limitations (software, tools). In addition, GML application schema is deeply connected with UML application schema, it should be its translation. Not everything that can be expressed in UML, though can be directly expressed in GML, and this can have significant influence on the spatial data sets interoperability, and thereby the ability to valid data exchange. For these reasons, the capability to examine and estimate UML and GML application schemas quality, therein also the capability to explore their entropy, would be very important. The principal subject of this research is to propose an evaluation methodology for UML and GML application schemas quality prepared in the Head Office of Geodesy and Cartography in Poland within the INSPIRE Directive implementation works.

  9. Venn Diagram Shape Sorter

    NSDL National Science Digital Library

    2010-01-01

    In this activity, students practice placing big and small shapes into Venn diagrams depending on the rules of the diagram. Students can either specify these rules or have the applet assign the rules so they can try to figure them out by placing shapes in the diagram. This activity allows students to explore Venn diagrams and the terms associated with set theory. This activity includes supplemental materials, including background information about the topics covered, a description of how to use the application, and exploration questions for use with the java applet.

  10. Conceptual Model of Clinical Governance Information System for Statistical Indicators by Using UML in Two Sample Hospitals

    PubMed Central

    Jeddi, Fatemeh Rangraz; Farzandipoor, Mehrdad; Arabfard, Masoud; Hosseini, Azam Haj Mohammad

    2014-01-01

    Objective: The purpose of this study was investigating situation and presenting a conceptual model for clinical governance information system by using UML in two sample hospitals. Background: However, use of information is one of the fundamental components of clinical governance; but unfortunately, it does not pay much attention to information management. Material and Methods: A cross sectional study was conducted in October 2012- May 2013. Data were gathered through questionnaires and interviews in two sample hospitals. Face and content validity of the questionnaire has been confirmed by experts. Data were collected from a pilot hospital and reforms were carried out and Final questionnaire was prepared. Data were analyzed by descriptive statistics and SPSS 16 software. Results: With the scenario derived from questionnaires, UML diagrams are presented by using Rational Rose 7 software. The results showed that 32.14 percent Indicators of the hospitals were calculated. Database was not designed and 100 percent of the hospital’s clinical governance was required to create a database. Conclusion: Clinical governance unit of hospitals to perform its mission, do not have access to all the needed indicators. Defining of Processes and drawing of models and creating of database are essential for designing of information systems. PMID:24825933

  11. PHASE DIAGRAMS Phase Rule

    E-print Network

    Subramaniam, Anandh

    diagram demarcates regions of existence of various phases. This is similar to a map which demarcates regions based on political, geographical, ecological etc. criteria. Phase diagrams are maps* Thorough) are extensively used in materials science and will be considered in detail in this chapter. Also, we shall

  12. Xilinx State Diagram

    E-print Network

    Izadi, Baback

    Xilinx State Diagram Tutorial Department of Electrical and Computer Engineering State University of New York ­ New Paltz © Fall 2006 Baback Izadi #12;Start a new Project Next. #12;This opens the New Project Dialog box. Click on New Source. Select State Diagram and give

  13. Latent Semantic Indexing of medical diagnoses using UMLS semantic structures.

    PubMed

    Chute, C G; Yang, Y; Evans, D A

    1991-01-01

    The relational files within the UMLS Metathesaurus contain rich semantic associations to main concepts. We invoked the technique of Latent Semantic Indexing to generate information matrices based on these relationships and created "semantic vectors" using singular value decomposition. Evaluations were made on the complete set and subsets of Metathesaurus main concepts with the semantic type "Disease or Syndrome." Real number matrices were created with main concepts, lexical variants, synonyms, and associated expressions. Ancestors, children, siblings, and related terms were added to alternative matrices, preserving the hierarchical direction of the relation as the imaginary component of a complex number. Preliminary evaluation suggests that this technique is robust. A major advantage is the exploitation of semantic features which derive from a statistical decomposition of UMLS structures, possibly reducing dependence on the tedious construction of semantic frames by humans. PMID:1807584

  14. Effectively processing medical term queries on the UMLS Metathesaurus by layered dynamic programming

    PubMed Central

    2014-01-01

    Background Mapping medical terms to standardized UMLS concepts is a basic step for leveraging biomedical texts in data management and analysis. However, available methods and tools have major limitations in handling queries over the UMLS Metathesaurus that contain inaccurate query terms, which frequently appear in real world applications. Methods To provide a practical solution for this task, we propose a layered dynamic programming mapping (LDPMap) approach, which can efficiently handle these queries. LDPMap uses indexing and two layers of dynamic programming techniques to efficiently map a biomedical term to a UMLS concept. Results Our empirical study shows that LDPMap achieves much faster query speeds than LCS. In comparison to the UMLS Metathesaurus Browser and MetaMap, LDPMap is much more effective in querying the UMLS Metathesaurus for inaccurately spelled medical terms, long medical terms, and medical terms with special characters. Conclusions These results demonstrate that LDPMap is an efficient and effective method for mapping medical terms to the UMLS Metathesaurus. PMID:25079259

  15. Paper accepted for publication in Artificial Intelligence Review, special issue on Thinking with Diagrams. Cognitive Factors in Programming with Diagrams

    E-print Network

    Blackwell, Alan

    .petre@open.ac.uk Abstract Visual programming languages aim to broaden the use of diagrams within the software industry of diagrams in software design, but these are being addressed by empirical studies and by new theories design and engineering activities. In the term introduced by Reitman (1964) it belongs to the class

  16. Examen Java UML Gnie Logiciel Bruno Bouzy 1/16

    E-print Network

    Bouzy, Bruno

    'atteindre une case du bord du damier et celui du diable de bloquer l'ange sur une case du damier qui ne soit pas une case du bord. Objectif et méthode En annexe figure un programme Java permettant de jouer à ce jeu) et f) est NON. i) dessiner un diagramme de séquence UML correspondant à l'interaction de l

  17. Examen Java UML Gnie Logiciel Bruno Bouzy 1/10

    E-print Network

    Bouzy, Bruno

    'atteindre une case du bord du damier et celui du diable de bloquer l'ange sur une case du damier qui ne soit pas une case du bord. Objectif et méthode En annexe figure un programme Java permettant de jouer à ce jeu correspondant à l'interaction de l'utilisateur avec ce programme dans le cas d). #12;Examen Java UML Génie

  18. Static and Dynamic Consistency Analysis of UML State Chart Models

    Microsoft Academic Search

    Christian Schwarzl; Bernhard Peischl

    2010-01-01

    \\u000a UML state chart models describing the behavior of a system can be used as a formal specification thereof. The existence of\\u000a advanced modeling tools allows for model simulation and enables the execution of manually created tests on the models. In\\u000a this work the usage of static and dynamic model analysis techniques is proposed to reveal errors in these models. The

  19. Auto-Coding UML Statecharts for Flight Software

    NASA Technical Reports Server (NTRS)

    Benowitz, Edward G; Clark, Ken; Watney, Garth J.

    2006-01-01

    Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Hand-translating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code. To improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our process is being used for the flight software on the Space Interferometer Mission (SIM).

  20. Industrial communication protocol engineering using UML 2.0: A case study

    Microsoft Academic Search

    Barath Kumar; Juergen Jasperneite

    2008-01-01

    The advent of Unified Modeling Language version 2.0 (UML 2.0) along with its UML testing profile in the recent years, promises to be a major break through in the field of formal description techniques. Thus in this paper we evaluate the suitability of UML 2.0 combined with its Testing profile for the engineering of industrial communication protocols using a case

  1. The geometry of polynomial diagrams

    E-print Network

    Maksim Alennikov

    2015-02-18

    In this paper we introduce the concept of polynomial diagrams and its area for special polynomials.We study the properties of polynomial area diagrams. The formula for the area of an arbitrary polynomial diagram.

  2. SSBRP Communication & Data System Development using the Unified Modeling Language (UML)

    NASA Technical Reports Server (NTRS)

    Windrem, May; Picinich, Lou; Givens, John J. (Technical Monitor)

    1998-01-01

    The Unified Modeling Language (UML) is the standard method for specifying, visualizing, and documenting the artifacts of an object-oriented system under development. UML is the unification of the object-oriented methods developed by Grady Booch and James Rumbaugh, and of the Use Case Model developed by Ivar Jacobson. This paper discusses the application of UML by the Communications and Data Systems (CDS) team to model the ground control and command of the Space Station Biological Research Project (SSBRP) User Operations Facility (UOF). UML is used to define the context of the system, the logical static structure, the life history of objects, and the interactions among objects.

  3. Diagram of Computer Keyboard

    NSDL National Science Digital Library

    Dr. Charles Ward

    This is a line drawing of a Windows PC keyboard complete with labels for each key. This diagram is used on tests where students are asked to circle the keys that would be used to perform various functions.

  4. Satellite Venn Diagram

    NSDL National Science Digital Library

    In this activity, students will use the background information they have read to organize a list of sources and objects, putting each item given in the appropriate part of the Venn diagram, depending on which instrument will study that item. Students will demonstrate their understanding of spectra, astronomical observations, and have read the background material on Chandra, Astro-E and the microcalorimeter, and the Constellation X-ray Observatory. They will write a five minute summary of the capabilities of the three observatories, based on their Venn diagram. Students' understanding of the background material will be evaluated based on the accuracy of their Venn diagrams and the interpretation of the information on the Venn diagrams from their closure paper.

  5. Phase Diagrams in Vivo

    NSDL National Science Digital Library

    This activity uses three experiments for students to construct a phase diagram; the experiments have been videotaped and can be seen online. The purpose of this laboratory as designed is to gain familiarity with simple phase diagrams, their construction, and their applications to the understanding of geological and environmental problems. Subsidiary objectives include development of strategies for data processing including evaluation of assumptions and sources of errors, as well as honing of computer, spreadsheet, presentation (tabular and graphical), and report writing skills.

  6. Weyl Card Diagrams

    E-print Network

    Gregory C. Jones; John E. Wang

    2005-06-02

    To capture important physical properties of a spacetime we construct a new diagram, the card diagram, which accurately draws generalized Weyl spacetimes in arbitrary dimensions by encoding their global spacetime structure, singularities, horizons, and some aspects of causal structure including null infinity. Card diagrams draw only non-trivial directions providing a clearer picture of the geometric features of spacetimes as compared to Penrose diagrams, and can change continuously as a function of the geometric parameters. One of our main results is to describe how Weyl rods are traversable horizons and the entirety of the spacetime can be mapped out. We review Weyl techniques and as examples we systematically discuss properties of a variety of solutions including Kerr-Newman black holes, black rings, expanding bubbles, and recent spacelike-brane solutions. Families of solutions will share qualitatively similar cards. In addition we show how card diagrams not only capture information about a geometry but also its analytic continuations by providing a geometric picture of analytic continuation. Weyl techniques are generalized to higher dimensional charged solutions and applied to generate perturbations of bubble and S-brane solutions by Israel-Khan rods. This paper is a condensed and simplified presentation of the card diagrams in hep-th/0409070.

  7. Explicit Modeling of Semantics Associated with Composite States in UML Statecharts1 Zhaoxia Hu and Sol M. Shatz

    E-print Network

    Shatz, Sol M.

    1 Explicit Modeling of Semantics Associated with Composite States in UML Statecharts1 Zhaoxia Hu of Illinois at Chicago {zhu, shatz}@cs.uic.edu Abstract: UML statecharts are used for describing dynamic

  8. Constraint-based Diagram Beautification Sitt Sen Chok, Kim Marriott and Tom Paton

    E-print Network

    Marriott, Kimbal

    of Computer Science and Software Engineering Monash University, Victoria, Australia {css the graphic editor is specialized for a particular class of diagrams, i.e. a visual language. During diagramConstraint-based Diagram Beautification Sitt Sen Chok, Kim Marriott and Tom Paton School

  9. Recognising Sketches of Euler Diagrams Augmented with Graphs Gem Stapleton Aidan Delaney Peter Rodgers Beryl Plimmer

    E-print Network

    Kent, University of

    languages often relies on soft- ware support. For example, in software engineering, class diagrams can the development of software that allows users to create diagrams using a stylus, or pen, on a touchscreen device is not of semantic significance. We have devised sketch recognition software for Euler diagrams [2, 15] where

  10. Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles

    Microsoft Academic Search

    Simona Bernardi; Dorina C. Petriu

    The paper compares two UML Profiles adopted by OMG for annotat- ing non-functional requirements of software systems: the UML Profile for Schedu- lability, Performance and Time(SPT) formally adopted in 2003 and the recently emerging UML Profile for Modeling Quality of Service and Fault Tolerance Char- acteristics and Mechanisms(QoS). The SPT Profile was the first attempt to ex- tend UML with

  11. UML Based Reverse Engineering for the Verification of Railway Control Logics

    Microsoft Academic Search

    Chiara Abbaneo; Francesco Flammini; Armando Lazzaro; Pietro Marmo; Nicola Mazzocca; Angela Sanseviero

    2006-01-01

    The Unified Modeling Language (UML) is widely used as a high level object oriented specification language. In this paper we present a novel approach in which reverse engineering is performed using UML as the modeling language used to achieve a representation of the implemented system. The target is the core logic of a complex critical railway control system, which was

  12. Beyond Stereotyping: Metamodeling Approaches for the UML Ansgar Schleicher, Bernhard Westfechtel

    E-print Network

    Westfechtel, Bernhard

    and evaluates the UML's inherent as well as proprietary metamodeling approaches and will provide domain driven- purpose modeling language usable in a rich spectrum of application domains, the designers of the UML of domain-specific software engineering which is concerned with the design of modeling languages

  13. Options for expressing ODP enterprise communities and their policies by using UML

    Microsoft Academic Search

    Peter F. Linington

    1999-01-01

    The ODP Enterprise Language allows the rules and policies that characterize an organization to be brought together and used to guide the various stages of system design, development and operation. UML is one of the leading notations for system design and is likely to be the basis for a wide range of design tools. However, UML has a comparatively weak

  14. Design and realize the electromotor choice expert system of sewing machine based on UML

    Microsoft Academic Search

    Chuanhong Zhou; Liang Gao; Zhixue Liu

    2009-01-01

    The unified modeling language (UML), which is introduced in this paper, is an important technology about the developing method of object-oriented software. UML can make each component of the large complicated system visualize, then indicate and construct the system model, and build up various documents. This paper, which takes the electromotor choice expert system of sewing machine as an instance,

  15. Checking Transformation Model Properties with a UML and OCL Model Validator

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars|lhamann|fhilken}@informatik.uni-bremen.de Abstract. This paper studies model transformations in the form of transformation models connecting source and target metamodels. We propose to analyze transformation models with a UML and OCL tool on the basis

  16. UML 2.0 Profile for Embedded System Design Petri Kukkala1

    E-print Network

    Paris-Sud XI, Université de

    UML 2.0 Profile for Embedded System Design Petri Kukkala1 , Jouni Riihimäki1 , Marko Hännikäinen1. Introduction The development of modern embedded systems requires reducing the gap between traditional hardware it is emerging in embedded system design. Especially the latest release of the language, UML 2.0 with its

  17. Digital Sound Recorder: A case study on designing embedded systems using the UML notation

    Microsoft Academic Search

    Ivan Porres Paltor; Johan Lilius

    Abstract This document,is an example,of the object-oriented analysis and design of an embedded,system using the Unified Modelling Language (UML). The analysed system is a digital sound recorder, or Dictaphone. The design has been implemented,using an embedded,processor and the C++ programming language. Keywords: object-oriented design, UML, embedded systems. TUCS Research Group

  18. 30 THINGS THAT GO WRONG IN OBJECT MODELLING WITH UML 1.3

    Microsoft Academic Search

    Anthony J H Simons; Ian Graham

    1999-01-01

    The authors offer a catalogue of problems experienced by developers, using various object modelling techniques brought into prominence by the widespread adoption of UML standard notations. The catalogue is revised to reflect changes made between UML versions 1.1 and 1.3, in which a number of semantic inconsistencies in the notation were fixed. Notwithstanding this, developers still seem to create inordinate

  19. CoLeMo: A Collaborative Learning Environment for UML Modelling

    ERIC Educational Resources Information Center

    Chen, Weiqin; Pedersen, Roger Heggernes; Pettersen, Oystein

    2006-01-01

    This paper presents the design, implementation, and evaluation of a distributed collaborative UML modelling environment, CoLeMo. CoLeMo is designed for students studying UML modelling. It can also be used as a platform for collaborative design of software. We conducted formative evaluations and a summative evaluation to improve the environment and…

  20. Extending UML Use Case Modelling to Support Graphical User Interface Design

    Microsoft Academic Search

    Chris Phillips; Elizabeth A. Kemp; Sai Mei Kek

    2001-01-01

    UML supports the construction of several views of a software system. The paper reviews use case modelling in UML from the viewpoint of its suitability as input to the early stages of graphical user interface design. Three use case representations are compared, and an extended tabular representation is proposed which assists with the identification of user interface elements. This is

  1. Modeling Networks-on-Chip at System Level with the MARTE UML profile

    E-print Network

    Paris-Sud XI, Université de

    Modeling Networks-on-Chip at System Level with the MARTE UML profile Majdi Elhaji Abdelkrim Zitouni called UML profile for MARTE (Modeling and Analysis of Real-Time and Embedded systems) specifies some concepts for model-based design and analysis of real time and embedded systems. This paper presents a MARTE

  2. Experiences using the UML profile for MARTE to stochastically model post-

    E-print Network

    Middleton, Stuart E.

    Experiences using the UML profile for MARTE to stochastically model post- production interactive describe a practical approach applying the UML 2.0 standard MARTE profile to model stochastic interactiveCommHost MARTE stereotypes and find them sufficient for stochastic modelling with the exception of being unable

  3. TURTLE-P : un profil UML pour la validation d'architectures distribues

    E-print Network

    Khendek, Ferhat

    TURTLE-P : un profil UML pour la validation d'architectures distribuées L. Apvrille* ---- P. de du Colonel Roche, 31077 Toulouse Cedex 04, France R�SUM�. Le profil TURTLE (Timed UML and RT déterministe, offre limitée dans le temps). L'article propose d'étendre TURTLE dans l'optique d

  4. Weyl card diagrams

    SciTech Connect

    Jones, Gregory [Department of Physics, Harvard University, Cambridge, Massachusetts 02138 (United States); Wang, John E. [Department of Physics, Harvard University, Cambridge, Massachusetts 02138 (United States); Department of Physics, National Taiwan University, Taipei 106, Taiwan (China); National Center for Theoretical Sciences, Taiwan, National Taiwan University, Taipei 10617, Taiwan (China)

    2005-06-15

    To capture important physical properties of a spacetime we construct a new diagram, the card diagram, which accurately draws generalized Weyl spacetimes in arbitrary dimensions by encoding their global spacetime structure, singularities, horizons, and some aspects of causal structure including null infinity. Card diagrams draw only nontrivial directions providing a clearer picture of the geometric features of spacetimes as compared to Penrose diagrams, and can change continuously as a function of the geometric parameters. One of our main results is to describe how Weyl rods are traversable horizons and the entirety of the spacetime can be mapped out. We review Weyl techniques and as examples we systematically discuss properties of a variety of solutions including Kerr-Newman black holes, black rings, expanding bubbles, and recent spacelike-brane solutions. Families of solutions will share qualitatively similar cards. In addition we show how card diagrams not only capture information about a geometry but also its analytic continuations by providing a geometric picture of analytic continuation. Weyl techniques are generalized to higher dimensional charged solutions and applied to generate perturbations of bubble and S-brane solutions by Israel-Khan rods.

  5. Experiences of using rational rose\\/visio for UML modeling in an undergraduate software engineering course: a student perspective

    Microsoft Academic Search

    Aydaen Lynch; Darynn Flango; Rob Smith; Matthew Lang

    2004-01-01

    In the past, Visio has been used as the UML modeling tool for the software engineering concept course at IUP (Indiana University Of Pennsylvania). Two years ago, Rational Rose (Rose) was introduced in parallel. Students now have a choice of using either tool for UML modeling. Since the introduction of Rose, about 100 students have used both tools for UML

  6. Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design

    E-print Network

    Paris-Sud XI, Université de

    1 Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design Jean-François Le Tallec by translation. It then exports the resulting IP-Xact model into the UML/MARTE profile modeling framework, we consider the representation of these IP-Xact structural descriptions into the MARTE profile of UML

  7. Searching for information on the Internet using the UMLS and Medical World Search.

    PubMed Central

    Suarez, H. H.; Hao, X.; Chang, I. F.

    1997-01-01

    Medical World Search is a search engine for medical information on the Internet that distinguishes itself from other search engines by its built-in knowledge of medical terminology through its use of the National Library of Medicine's UMLS and its carefully selected but large database of medical sites. After discussing some of the previous uses of the UMLS for medical information retrieval, we describe the Medical World Search system. In October 1996, Medical World Search became operational on the World Wide Web at http:@www.mwsearch.poly.edu. It has been operating uninterrupted since then. We review our experiences with creating a search engine for medical information on the Internet and using the UMLS in this application. The UMLS has some clear advantages in this application. Some aspects of the UMLS also decrease its usefulness in information retrieval. Medical World Search's usage by medical information seekers is summarized. future directions for research are outlined. PMID:9357740

  8. Corpus-based Approach to Creating a Semantic Lexicon for Clinical Research Eligibility Criteria from UMLS

    PubMed Central

    Luo, Zhihui; Duffy, Robert; Johnson, Stephen; Weng, Chunhua

    2010-01-01

    We describe a corpus-based approach to creating a semantic lexicon using UMLS knowledge sources. We extracted 10,000 sentences from the eligibility criteria sections of clinical trial summaries contained in ClinicalTrials.gov. The UMLS Metathesaurus and SPECIALIST Lexical Tools were used to extract and normalize UMLS recognizable terms. When annotated with Semantic Network types, the corpus had a lexical ambiguity of 1.57 (=total types for unique lexemes / total unique lexemes) and a word occurrence ambiguity of 1.96 (=total type occurrences / total word occurrences). A set of semantic preference rules was developed and applied to completely eliminate ambiguity in semantic type assignment. The lexicon covered 95.95% UMLS-recognizable terms in our corpus. A total of 20 UMLS semantic types, representing about 17% of all the distinct semantic types assigned to corpus lexemes, covered about 80% of the vocabulary of our corpus. PMID:21347142

  9. Diblock copolymer phase diagram

    NSDL National Science Digital Library

    Iacovella, Christopher R.

    2006-11-20

    Adaptation of the Matsen and Bates BCP phase diagram predicted using Mean-field Theory. * Matsen MW, Bates FS, ''http://pubs3.acs.org/acs/journals/doilookup?in_doi=10.1021/ma951138i Unifying weak- and strong-segregation block copolymer theories. Diblock copolymer phase diagram as calculated using Mean-field Theory by Matsen and Bates, where fA is the Block fraction, ? is the Flory-Huggins Chi Parameter, and N is the length of the block.

  10. Nonthermal Radio Emission and the HR Diagram

    NASA Technical Reports Server (NTRS)

    Gibson, D. M.

    1985-01-01

    Perhaps the most reliable indicator of non-radiative heating/momentum in a stellar atmosphere is the presence of nonthermal radio emission. To date, 77 normal stellar objects have been detected and identified as nonthermal sources. These stellar objects are tabulated herein. It is apparent that non-thermal radio emission is not ubiquitous across the HR diagram. This is clearly the case for the single stars; it is not as clear for the binaries unless the radio emission is associated with their late-type components. Choosing to make this association, the single stars and the late-type components are plotted together. The following picture emerges: (1) there are four locations on the HR diagram where non-thermal radio stars are found; (2) the peak incoherent 5 GHz luminosities show a suprisingly small range for stars within each class; (3) the fraction of stellar energy that escapes as radio emission can be estimated by comparing the integrated maximum radio luminosity to the bolometric luminosity; (4) there are no apparent differences in L sub R between binaries with two cool components, binaries with one hot and one cool component, and single stars for classes C and D; and (5) The late-type stars (classes B, C, and D) are located in parts of the HR diagram where there is reason to suspect that the surfaces of the stars are being braked with respect to their interiors.

  11. Approaching a Discrete-Continuous UML: Tool Support and Formalization

    E-print Network

    Modeling methodology. All vital parts of HyROOM's operational simulation semantics are mapped into HyCharts discrete and continuous systems. These include structure diagrams for the architectural view as well as extended state machines and continuous block diagrams for the specification of the behav- ioral view

  12. Carbon Cycle Diagram

    NSDL National Science Digital Library

    This diagram illustrates some of the most abundant stores of carbon and identifies some of the pathways in the carbon cycle along which carbon is transferred from one form to another. Long-term sinks of carbon are labelled in black; shorter-term fluxes are labelled in purple. Amounts are in billions of tons.

  13. Plagioclase Phase Diagram

    NSDL National Science Digital Library

    Dexter Perkins

    This is a short exercise aimed at evaluating whether students understand how to interpret the Ab-An phase diagram. If students know what is going on, it takes about 10 minutes to complete. This active learning exercise makes a good break from lecture. It is best done as a group activity.

  14. Understanding Network Diagrams.

    ERIC Educational Resources Information Center

    Waller, Robert

    A survey of a range of introductory university level textbooks in the social sciences found little use of network diagrams (NDs), i.e., graphic representations of processes, organizations, systems, and mechanisms. NDs can be viewed as a text/picture hybrid medium with titles and captions serving to qualify and identify the meaning and status of…

  15. Impulse-Momentum Diagrams

    ERIC Educational Resources Information Center

    Rosengrant, David

    2011-01-01

    Multiple representations are a valuable tool to help students learn and understand physics concepts. Furthermore, representations help students learn how to think and act like real scientists. These representations include: pictures, free-body diagrams, energy bar charts, electrical circuits, and, more recently, computer simulations and…

  16. k-neighborhood Decentralization: A Comprehensive Solution to Index the UMLS for Large Scale Knowledge Discovery

    PubMed Central

    Xiang, Yang; Lu, Kewei; James, Stephen L.; Borlawsky, Tara B.; Huang, Kun; Payne, Philip R.O.

    2011-01-01

    The Unified Medical Language System (UMLS) is the largest thesaurus in the biomedical informatics domain. Previous works have shown that knowledge constructs comprised of transitively-associated UMLS concepts are effective for discovering potentially novel biomedical hypotheses. However, the extremely large size of the UMLS becomes a major challenge for these applications. To address this problem, we designed a k-neighborhood Decentralization Labeling Scheme (kDLS) for the UMLS, and the corresponding method to effectively evaluate the kDLS indexing results. kDLS provides a comprehensive solution for indexing the UMLS for very efficient large scale knowledge discovery. We demonstrated that it is highly effective to use kDLS paths to prioritize disease-gene relations across the whole genome, with extremely high fold-enrichment values. To our knowledge, this is the first indexing scheme capable of supporting efficient large scale knowledge discovery on the UMLS as a whole. Our expectation is that kDLS will become a vital engine for retrieving information and generating hypotheses from the UMLS for future medical informatics applications. PMID:22154838

  17. An Introduction to Tree Diagrams

    NSDL National Science Digital Library

    Stu Cork

    2014-01-01

    This brief article describes the use of tree diagrams in calculating probabilities. The author provides examples of how tree diagrams are used to calculate specific probabilities and why the language chosen relates to the operations used to find the probability.

  18. Circular hierarchical relationships in the UMLS: etiology, diagnosis, treatment, complications and prevention.

    PubMed Central

    Bodenreider, O.

    2001-01-01

    The Unified Medical Language System (UMLS) is a large repository of some 800,000 concepts for the biomedical domain, organized by several millions of inter-concept relationships, either inherited from the source vocabularies, or specifically generated. This paper focuses on hierarchical relationships in the UMLS Metathesaurus, and especially, on circular hierarchical relationships. Using the metaphor of a disease, we first analyze the causal mechanisms for circular hierarchical relationships. Then, we discuss methods to identify and remove these relationships. Finally, we briefly discuss the consequences of these relationships for applications based on the UMLS, and we propose some prevention measures. PMID:11825155

  19. Linking diagrams for free

    E-print Network

    Dominic J. D. Hughes

    2008-05-11

    Linking diagrams with path composition are ubiquitous, for example: Temperley-Lieb and Brauer monoids, Kelly-Laplaza graphs for compact closed categories, and Girard's multiplicative proof nets. We construct the category Link=Span(iRel), where iRel is the category of injective relations (reversed partial functions) and show that the aforementioned linkings, as well as Jones-Martin partition monoids, reside inside Link. Path composition, including collection of loops, is by pullback. Link contains the free compact closed category on a self-dual object (hence also the looped Brauer and Temperly-Lieb monoids), and generalises partition monoids with partiality (vertices in no partition) and empty- and infinite partitions. Thus we obtain conventional linking/partition diagrams and their composition "for free", from iRel.

  20. Leveraging the UML Metamodel: Expressing ORM Semantics Using a UML Profile

    SciTech Connect

    CUYLER,DAVID S.

    2000-11-01

    Object Role Modeling (ORM) techniques produce a detailed domain model from the perspective of the business owner/customer. The typical process begins with a set of simple sentences reflecting facts about the business. The output of the process is a single model representing primarily the persistent information needs of the business. This type of model contains little, if any reference to a targeted computerized implementation. It is a model of business entities not of software classes. Through well-defined procedures, an ORM model can be transformed into a high quality objector relational schema.

  1. Hertzsprung-Russell Diagram

    NSDL National Science Digital Library

    Hackworth, Martin

    Authored by Martin Hackworth of Idaho State University, This lab asks students to construct two Hertzsprung-Russell diagrams, one for the Pleiades Cluster and the other for the Trapezium Cluster. Students should then to be able to recognize the evolution process of all stars depending on their mass. The page features objectives, equipment, discussion, procedure, and exercises. The lesson plan is outlined in an understandable format for translation into almost any curriculum. The resource is available in a pdf format.

  2. Modeling process flow using diagrams

    Microsoft Academic Search

    Benjamin Kemper; Jeroen de Mast; Michel Mandjes

    2010-01-01

    In the practice of process improvement, tools such as the flowchart, the value-stream map (VSM), and a variety of ad hoc variants of such diagrams are commonly used. The purpose of this paper is to present a clear, precise, and consistent framework for the use of such flow diagrams in process improvement projects. The paper finds that traditional diagrams, such

  3. Augmenting GRATEFUL MED with the UMLS Metathesaurus: an initial evaluation.

    PubMed Central

    Jachna, J S; Powsner, S M; Miller, P L

    1993-01-01

    Clinicians in patient care settings must be able to locate relevant recent medical literature quickly. Computer literacy is increasing, but many clinicians remain ill at ease with search strategies for online bibliographic databases. As part of an ongoing project to simplify the translation of clinical questions into effective searches, a Unified Medical Language System (UMLS) Metathesaurus tool was designed. The authors compared bibliographic searches by relatively inexperienced users employing only GRATEFUL MED to searches done using GRATEFUL MED augmented with this tool. The users were clinicians examining questions related to a test set of clinical cases. Their problems and successes were monitored; the results suggest that the addition of a thesaurus helps resolve some problems in citation retrieval that trouble the novice user. By helping the user understand indexing terms in context and by reducing typing errors, a thesaurus can help provide an intelligent solution to lexical mismatches in bibliographic retrieval. PMID:8428185

  4. Automated UMLS-Based Comparison of Medical Forms

    PubMed Central

    Dugas, Martin; Fritz, Fleur; Krumm, Rainer; Breil, Bernhard

    2013-01-01

    Medical forms are very heterogeneous: on a European scale there are thousands of data items in several hundred different systems. To enable data exchange for clinical care and research purposes there is a need to develop interoperable documentation systems with harmonized forms for data capture. A prerequisite in this harmonization process is comparison of forms. So far – to our knowledge – an automated method for comparison of medical forms is not available. A form contains a list of data items with corresponding medical concepts. An automatic comparison needs data types, item names and especially item with these unique concept codes from medical terminologies. The scope of the proposed method is a comparison of these items by comparing their concept codes (coded in UMLS). Each data item is represented by item name, concept code and value domain. Two items are called identical, if item name, concept code and value domain are the same. Two items are called matching, if only concept code and value domain are the same. Two items are called similar, if their concept codes are the same, but the value domains are different. Based on these definitions an open-source implementation for automated comparison of medical forms in ODM format with UMLS-based semantic annotations was developed. It is available as package compareODM from http://cran.r-project.org. To evaluate this method, it was applied to a set of 7 real medical forms with 285 data items from a large public ODM repository with forms for different medical purposes (research, quality management, routine care). Comparison results were visualized with grid images and dendrograms. Automated comparison of semantically annotated medical forms is feasible. Dendrograms allow a view on clustered similar forms. The approach is scalable for a large set of real medical forms. PMID:23861827

  5. Finding Semantic Inconsistencies in UMLS using Answer Set Programming Halit Erdogan

    E-print Network

    Erdem, Esra

    - onymy, wrong categorization, ambiguity and so forth. For example, Capsule of adrenal gland, it is defined as a subclass of Capsule. Once integrated in the UMLS, Capsule of adrenal gland appears as a child

  6. Using UML in the Context of Agent-Oriented Software Engineering: State of the Art

    Microsoft Academic Search

    Bernhard Bauer; Jörg P. Müller

    2003-01-01

    \\u000a Most of the methodologies and notations for agent-oriented software engineering developed over the past few years are based\\u000a on the Unified Modeling Language (UML) or proposed extensions of UML. However, at the moment an overview on the different\\u000a approaches is missing. In this paper. we present a state-of-the-art survey of the different methodologies and notations that,\\u000a in one way or

  7. Sound methods and effective tools for model-based security engineering with UML

    Microsoft Academic Search

    Jan Jürjens

    2005-01-01

    Developing security-critical systems is difficult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed.We present an extensible verification framework for verifying UML models for security requirements. In particular, it includes various plugins performing different security analyses on models of the security extension UMLsec of UML. Here,

  8. Warped penguin diagrams

    SciTech Connect

    Csaki, Csaba; Grossman, Yuval; Tanedo, Philip; Tsai, Yuhsin [Institute for High Energy Phenomenology, Newman Laboratory of Elementary Particle Physics, Cornell University, Ithaca, New York 14853 (United States)

    2011-04-01

    We present an analysis of the loop-induced magnetic dipole operator in the Randall-Sundrum model of a warped extra dimension with anarchic bulk fermions and an IR brane-localized Higgs. These operators are finite at one-loop order and we explicitly calculate the branching ratio for {mu}{yields}e{gamma} using the mixed position/momentum space formalism. The particular bound on the anarchic Yukawa and Kaluza-Klein (KK) scales can depend on the flavor structure of the anarchic matrices. It is possible for a generic model to either be ruled out or unaffected by these bounds without any fine-tuning. We quantify how these models realize this surprising behavior. We also review tree-level lepton flavor bounds in these models and show that these are on the verge of tension with the {mu}{yields}e{gamma} bounds from typical models with a 3 TeV Kaluza-Klein scale. Further, we illuminate the nature of the one-loop finiteness of these diagrams and show how to accurately determine the degree of divergence of a five-dimensional loop diagram using both the five-dimensional and KK formalism. This power counting can be obfuscated in the four-dimensional Kaluza-Klein formalism and we explicitly point out subtleties that ensure that the two formalisms agree. Finally, we remark on the existence of a perturbative regime in which these one-loop results give the dominant contribution.

  9. Impact decision support diagrams

    NASA Astrophysics Data System (ADS)

    Boslough, Mark

    2014-10-01

    One way to frame the job of planetary defense is to “find the optimal approach for finding the optimal approach” to NEO mitigation. This requires a framework for defining in advance what should be done under various circumstances. The two-dimensional action matrix from the recent NRC report “Defending Planet Earth” can be generalized to a notional “Impact Decision Support Diagram” by extending it into a third dimension. The NRC action matrix incorporated two important axes: size and time-to-impact, but probability of impact is also critical (it is part of the definitions of both the Torino and Palermo scales). Uncertainty has been neglected, but is also crucial. It can be incorporated by subsuming it into the NEO size axis by redefining size to be three standard deviations greater than the best estimate, thereby providing a built-in conservative margin. The independent variable is time-to-impact, which is known with high precision. The other two axes are both quantitative assessments of uncertainty and are both time dependent. Thus, the diagram is entirely an expression of uncertainty. The true impact probability is either one or zero, and the true size does not change. The domain contains information about the current uncertainty, which changes with time (as opposed to reality, which does not change).

  10. Extracting Formal Concepts out of Relational Data Petko Valtchev 1 and Mohamed Rouane Hacene 2 and Marianne Huchard 3 and Cyril Roume4

    E-print Network

    Valtchev, Petko

    such as databases, both relational and object-oriented, or software models, e.g., UML class diagrams. When disciplines including data mining [20] and software engineering [13, 21]. While the classical FCA problem.g., UML class diagrams. When processing such complex datasets, it is of prime importance for an analysis

  11. Documenting Design Refinement E.R. Olderog

    E-print Network

    Habel, Annegret

    Aalborg University DK­9220 Aalborg East, Denmark apr@cs.auc.dk ABSTRACT We show how UML class diagrams can from the area of embedded real­time and hybrid systems. A precise semantics is given for the UML class diagrams by translation to the Z schema calcu­ lus. 1. INTRODUCTION When we wish to introduce formal

  12. Argument Diagramming: The Araucaria Project

    NASA Astrophysics Data System (ADS)

    Rowe, Glenn; Reed, Chris

    Formal arguments, such as those used in science, medicine and law to establish a conclusion by providing supporting evidence, are frequently represented by diagrams such as trees and graphs. We describe the software package Araucaria which allows textual arguments to be marked up and represented as standard, Toulmin or Wigmore diagrams. Since each of these diagramming techniques was devised for a particular domain or argumentation, we discuss some of the issues involved in translating between diagrams. The exercise of translating between different diagramming types illustrates that any one diagramming system often cannot capture all of the nuances inherent in an argument. Finally, we describe some areas, such as critical thinking courses in colleges and universities and the analysis of evidence in court cases, where Araucaria has been put to practical use.

  13. Generating function for web diagrams

    E-print Network

    A. A. Vladimirov

    2014-09-06

    We present the description of the exponentiated diagrams in terms of generating function within the universal diagrammatic technique. In particular, we show the exponentiation of the gauge theory amplitudes involving products of an arbitrary number of Wilson lines of arbitrary shapes, which generalizes the concept of web diagrams. The presented method gives a new viewpoint on the web diagrams and proves the non-Abelian exponentiation theorem.

  14. Accepted for the 40th International Conference on Technology of Object-Oriented Languages and Systems Sydney, Australia, February 18-21, 2002, pp. 13-21

    E-print Network

    Power, James

    engineer a class diagram from the C + + source code representa- tion of the software. In Reveal, we remain to three other tools that reverse-engineer class diagrams, for both compliance to the UML standard of user requirements, class diagrams to visualize the design of the software and sequence diagrams to visu

  15. A Language and PlatformIndependent Approach for Reverse Engineering

    E-print Network

    Malloy, Brian

    development to enable re­engineering of information and high­level diagrams such as metrics and class diagrams­ itate visualization of user requirements, class diagrams to visualize the design of the software and imple­ mentation artifacts such as metrics and UML class or sequence diagrams. We also describe

  16. A Language and Platform-Independent Approach for Reverse Engineering

    E-print Network

    Malloy, Brian

    development to enable re-engineering of information and high-level diagrams such as metrics and class diagrams- itate visualization of user requirements, class diagrams to visualize the design of the software and imple- mentation artifacts such as metrics and UML class or sequence diagrams. We also describe

  17. Phase diagrams of two-lane driven diffusive systems

    NASA Astrophysics Data System (ADS)

    Evans, M. R.; Kafri, Y.; Sugden, K. E. P.; Tailleur, J.

    2011-06-01

    We consider a large class of two-lane driven diffusive systems in contact with reservoirs at their boundaries and develop a stability analysis of mean-field profiles as a method to derive the phase diagrams of such systems. We illustrate the method by deriving phase diagrams for the asymmetric exclusion process coupled to various second lanes: a diffusive lane, an asymmetric exclusion process with advection in the same direction as the first lane, and an asymmetric exclusion process with advection in the opposite direction. The competing currents on the two lanes naturally lead to a very rich phenomenology and we find a variety of phase diagrams. It is shown that the stability analysis is equivalent to an 'extremal current principle' for the total current in the two lanes. We also point to classes of models where the analysis fails due to the lack of a dynamically stable current-density relation.

  18. Intro to UML: after-course work 22 April 2010

    E-print Network

    Stevens, Perdita

    by the clinic administrators. During the appointment, the doctor or nurse will enter details of the patient fragment: public void addNode(Object node) { if (!canAddNode(node)) { return; } get about (but you need not write about) the relative merits of using sequence diagrams to represent

  19. English Pyramids: Using Hierarchical Diagrams for Communication Activities.

    ERIC Educational Resources Information Center

    Johnson, Tia; Sheetz-Brunetti, Judy

    The pyramid, or hierarchical diagram, is used in teaching writing English as a second language (ESL) as a visual representation of the way English speakers and writers organize ideas, for comparison with discourse organization in other cultures. A common problem of ESL students is an inability to organize ideas hierarchically. One class activity…

  20. New Metrics for Static Variable Ordering in Decision Diagrams

    Microsoft Academic Search

    Radu I. Siminiceanu; Gianfranco Ciardo

    2006-01-01

    We investigate a new class of metrics to find good variable orders for decision diagrams in symbolic state-space generation. Most of the previous work on static ordering is centered around the concept of minimum variable span, which can also be found in the literature un- der several other names. We use a similar concept, but applied to event span, and

  1. Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams

    E-print Network

    Malloy, Brian

    provide for round-trip engineering, where a pro- grammer can develop class diagrams and code in tandem stages of the software life-cycle. The approach has already been successful with class di- agrams, which that describes dynamic aspects of the software system, and can be seen as a dynamic manifestation of the class

  2. Using a Molecular Metaphor to Facilitate Comprehension of 3D Object Diagrams

    E-print Network

    Malloy, Brian

    provide for round­trip engineering, where a pro­ grammer can develop class diagrams and code in tandem stages of the software life­cycle. The approach has already been successful with class di­ agrams, which that describes dynamic aspects of the software system, and can be seen as a dynamic manifestation of the class

  3. Physiology Flow-Diagram Models

    NSDL National Science Digital Library

    PhD Sandra J Bruner (Polk Community College Biology)

    2005-10-04

    A set of physiology flow-diagrams for the cardiovascular system, cardiac auto-rhythmic cell, cardiac contractile cell, respiratory system, coagulation/hemostasis, digestive system, excretion, and autonomic nervous system. These flow-diagrams show cause-and-effect markup and have accompanying tutorials.

  4. Perturbations to the Hubble diagram

    E-print Network

    Thomas Schucker; Ilhem ZouZou

    2005-11-17

    We compute the linear responses of the Hubble diagram to small scalar perturbations in the Robertson-Walker metric and to small peculiar velocities of emitter and receiver. We discuss the monotonicity constraint of the Hubble diagram in the light of these responses.

  5. Summarization of Diagrams in Documents

    Microsoft Academic Search

    Robert P. Futrelle

    1999-01-01

    Documents are composed of text and graphics. There is substantial work on automated text summarization but almost none on the automated summarization of graphics. Four examples of diagrams from the scientific literature are used to indicate the problems and possible solutions: a table of images, a flow chart, a set of x,y data plots, and a block diagram. Manual summaries

  6. Sets and the Venn Diagram

    NSDL National Science Digital Library

    2011-05-23

    This lesson is designed to introduce students to sets, terms used with sets, and Venn diagrams. This lesson provides links to discussions and activities related to sets and Venn diagrams as well as suggested ways to integrate them into the lesson. Finally, the lesson provides links to follow-up lessons designed for use in succession with the current one.

  7. Architecture flow diagrams under Teamwork

    Microsoft Academic Search

    Tom Nicinski

    1992-01-01

    The Teamwork CASE tool allows data flow diagrams (DFDs) to be maintained for structured analysis. Fermilab has extended Teamwork under UNIX to permit Hatley and Pirbhai architecture flow diagrams (AFDs) to be associated with DFDs and subsequently maintained. This extension, called TWKAFD, allows a user to open an AFD, graphically edit it, and replace it into a TWKAFD maintained library.

  8. Time-Based Voronoi Diagram

    Microsoft Academic Search

    D. T. Lee; Chung-Shou Liao; Wei-Bung Wang

    We consider a variation of Voronoi diagram, or time-based Voronoi diagram, for a set S of points in the presence of transportation lines or highways in the plane. A shortest time-distance path from a query point to any given point in S is a path that takes the least travelling time. The travelling speeds and hence travelling times of the

  9. Teaching Tip: Using Activity Diagrams to Model Systems Analysis Techniques: Teaching What We Preach

    ERIC Educational Resources Information Center

    Lending, Diane; May, Jeffrey

    2013-01-01

    Activity diagrams are used in Systems Analysis and Design classes as a visual tool to model the business processes of "as-is" and "to-be" systems. This paper presents the idea of using these same activity diagrams in the classroom to model the actual processes (practices and techniques) of Systems Analysis and Design. This tip…

  10. Resummation of Cactus Diagrams in the Clover Improved Lattice Formulation of QCD

    E-print Network

    H. Panagopoulos; E. Vicari

    1998-09-02

    We extend to the clover improved lattice formulation of QCD the resummation of cactus diagrams, i.e. a certain class of tadpole-like gauge invariant diagrams. Cactus resummation yields an improved perturbative expansion. We apply it to the lattice renormalization of some two-fermion operators improving their one-loop perturbative estimates.

  11. Resummation of Cactus Diagrams in the Clover Improved Lattice Formulation of QCD

    E-print Network

    Panagopoulos, H

    1999-01-01

    We extend to the clover improved lattice formulation of QCD the resummation of cactus diagrams, i.e. a certain class of tadpole-like gauge invariant diagrams. Cactus resummation yields an improved perturbative expansion. We apply it to the lattice renormalization of some two-fermion operators improving their one-loop perturbative estimates.

  12. Transformations of triangle ladder diagrams

    E-print Network

    Igor Kondrashuk; Alvaro Vergara

    2010-02-13

    It is shown how dual space diagrammatic representation of momentum integrals corresponding to triangle ladder diagrams with an arbitrary number of rungs can be transformed to half-diamonds. In paper arXiv:0803.3420 [hep-th] the half-diamonds were related by conformal integral substitution to the diamonds which represent the dual space image of four-point ladder integrals in the four-dimensional momentum space. Acting in the way described in the present paper we do not need to use the known result for diamond (four-point) diagrams as an external input in deriving relations of arXiv:0803.3420 [hep-th], however, that result for the diamond diagram arises in the present proof as an intermediate consequence in a step-by-step diagrammatic transformation from the triangle ladder diagram to the half-diamond diagrams.

  13. 2001 Mercury Computer Systems, Inc. UML 2.0 Redux for HPECUML 2.0 Redux for HPEC

    E-print Network

    Kepner, Jeremy

    © 2001 Mercury Computer Systems, Inc. UML 2.0 Redux for HPECUML 2.0 Redux for HPEC Dr. Jeffrey E. Smith Mercury Computer Systems, Inc. Manfred Koethe 88solutions Corp. High Performance Embedded Computing (HPEC) Conference September 25, 2003 #12;2© 2003 Mercury Computer Systems, Inc. UML Overview

  14. Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brio, Francisco A. Nascimento,

    E-print Network

    Wagner, Flávio Rech

    Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brião, flavio}@inf.ufrgs.br Abstract. This paper proposes a Design Space Exploration (DSE) framework using UML requiring costly hardware synthesis and code generation steps. A design space exploration scenario

  15. Verification of Synchronization-Related Properties for UML-MARTE RTES Models with a Set of Time Constraints Dedicated Formal Semantic

    E-print Network

    Paris-Sud XI, Université de

    Verification of Synchronization-Related Properties for UML-MARTE RTES Models with a Set of Time issue, especially for time constraints in UML-MARTE RTES model. In order to assess that the time from the UML-MARTE model to computable formal semantics that provide time properties verification

  16. Arranging ISO 13606 archetypes into a knowledge base using UML connectors.

    PubMed

    Kopanitsa, Georgy

    2014-01-01

    To enable the efficient reuse of standard based medical data we propose to develop a higher-level information model that will complement the archetype model of ISO 13606. This model will make use of the relationships that are specified in UML to connect medical archetypes into a knowledge base within a repository. UML connectors were analysed for their ability to be applied in the implementation of a higher-level model that will establish relationships between archetypes. An information model was developed using XML Schema notation. The model allows linking different archetypes of one repository into a knowledge base. Presently it supports several relationships and will be advanced in future. PMID:24743069

  17. Resummation of Cactus Diagrams in Lattice QCD, to all Orders

    E-print Network

    H. Panagopoulos; E. Vicari

    1999-09-08

    We show how to perform a resummation, to all orders in perturbation theory, of a certain class of gauge invariant tadpole-like diagrams in Lattice QCD. These diagrams are often largely responsible for lattice artifacts. Our resummation leads to an improved perturbative expansion. Applied to a number of cases of interest, e.g. the lattice renormalization of some two-fermion operators, this expansion yields results remarkably close to corresponding nonperturbative estimates. We consider in our study both the Wilson and the clover action for fermions.

  18. Resummation of Cactus Diagrams in Lattice QCD, to all Orders

    E-print Network

    Panagopoulos, H

    2000-01-01

    We show how to perform a resummation, to all orders in perturbation theory, of a certain class of gauge invariant tadpole-like diagrams in Lattice QCD. These diagrams are often largely responsible for lattice artifacts. Our resummation leads to an improved perturbative expansion. Applied to a number of cases of interest, e.g. the lattice renormalization of some two-fermion operators, this expansion yields results remarkably close to corresponding nonperturbative estimates. We consider in our study both the Wilson and the clover action for fermions.

  19. The Hertzsprung-Russell Diagram.

    ERIC Educational Resources Information Center

    Woodrow, Janice

    1991-01-01

    Describes a classroom use of the Hertzsprung-Russell diagram to infer not only the properties of a star but also the star's probable stage in evolution, life span, and age of the cluster in which it is located. (ZWH)

  20. Formulae and Flow-Diagrams

    ERIC Educational Resources Information Center

    Willson, William Wynne

    1977-01-01

    The author recommends the use of flow charting to help students understand the manipulation of algebraic formulae. He identifies some problems with flow charts and suggests an alternative method of constructing flow diagrams. (SD)

  1. Changing Perceptions of Animated Diagrams

    Microsoft Academic Search

    Richard Lowe

    2006-01-01

    \\u000a While the educational effectiveness of static diagrams is underpinned by a long heritage of manipulating visuospatial characteristics\\u000a of the depicted content to improve explanatory power, no corresponding evolution has occurred regarding temporal manipulation\\u000a of animated diagrams. When complex dynamic subject matter is presented using animations that depict temporal information in\\u000a a behaviorally realistic manner, the perceptual properties of the display

  2. Formal Model Merging Applied to Class Diagram Integration

    Microsoft Academic Search

    Artur Boronat; José A. Carsí; Isidro Ramos; Patricio Letelier

    2007-01-01

    The integration of software artifacts is present in many scenarios of the Software Engineering field: object-oriented modeling, relational databases, XML schemas, ontologies, aspect-oriented programming, etc. In Model Management, software artifacts are viewed as models that can be manipulated by means of generic operators, which are specified independently of the context in which they are used. One of these operators is

  3. Predicting memory use from a class diagram using dynamic information

    Microsoft Academic Search

    Gail C. Murphy; Ekaterina Saenko

    1998-01-01

    Increasingly, new applications are being built by composing existing software components rather than by coding a system from scratch. Using this approach, applications can be built quickly. Far too often, however, these applications do not exhibit acceptable performance. The benefits of construction through composition could be more reliably achieved if a software engineer could assess the performance impact of a

  4. Measuring system and software architecture complexity

    Microsoft Academic Search

    Jeff Lankford; Galileo Galilei

    2003-01-01

    Conventional measures of software code complexity, specifically code length, Halstead difficulty: and McCahe cyclomatic complexity, are adapted to measure architecture complexity. These measures are applied to architecture models based on Unified Modeling Language (UML) class, sequence, and state diagrams by redefming measure factors in terms of UML elements. This approach is illustrated using architecture diagrams Gom a real-time communication control

  5. A new approach to the semantics of model Johan G. Granstrm

    E-print Network

    Tomkins, Andrew

    . But, sadly, most of the time, software engineers give up on diagrams after the design phase, and all. This paper suggests that model and instance diagrams, or, which amounts to the same, class and object and instance diagrams. The semantics of visual modelling lan- guages, such as UML class diagrams, is surrounded

  6. Auto-Generation of Use Case Controllers

    Microsoft Academic Search

    Pushkar Marathe

    2010-01-01

    The thesis is based on the concept of generating machine executable code from UML diagrams. There has been some research done on the same topic but it is mainly focused on class diagrams. My main focus will be on the use case diagrams, and sequence diagrams. Sequence diagrams give us the details of any process in a step-by-step fashion which

  7. Fast Formal Analysis of Requirements via "Topoi Diagrams"

    NASA Technical Reports Server (NTRS)

    Menzies, Tim; Powell, John; Houle, Michael E.; Kelly, John C. (Technical Monitor)

    2001-01-01

    Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cost of requirements analysis. We show here that requirements expressed as topoi diagrams can be built and tested cheaply using our SP2 algorithm, the formal temporal properties of a large class of topoi can be proven very quickly, in time nearly linear in the number of nodes and edges in the diagram. There are two limitations to our approach. Firstly, topoi diagrams cannot express certain complex concepts such as iteration and sub-routine calls. Hence, our approach is more useful for requirements engineering than for traditional model checking domains. Secondly, out approach is better for exploring the temporal occurrence of properties than the temporal ordering of properties. Within these restrictions, we can express a useful range of concepts currently seen in requirements engineering, and a wide range of interesting temporal properties.

  8. Kepler's Laws of Planetary Motion Charles Byrne (Charles Byrne@uml.edu)

    E-print Network

    Byrne, Charles

    Kepler's Laws of Planetary Motion Charles Byrne (Charles Byrne@uml.edu) Department of Mathematical strong evidence for Newton's law of universal gravitation. 1 Preliminaries Kepler worked from 1601 the second law preceded the first, Kepler's Laws are usually enumerated as follows: 1 #12;· 1. the planets

  9. Formal Development and Veri cation of Security-Critical Systems with UML

    E-print Network

    Jurjens, Jan

    Formal Development and Veri#12;cation of Security-Critical Systems with UML (Position Paper) Jan J of secure systems. We sketch some current challenges for the formal (in particular au- tomated) development and veri#12;cation of (in particular) security-critical systems and note how some of our work tries

  10. A Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems

    Microsoft Academic Search

    Rafael Marcano; Samuel Colin; Georges Mariano

    In the context of railway signalling systems, time related features play a relevant role at the validation process and specialists are more and more con- fronted with the necessity of applying formal methods as mean of preventing software faults. UML offers a standard notation for high quality systems mod- elling, however its current lack of formal semantics explains the existence

  11. FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS

    Microsoft Academic Search

    Martin Kardos; Norbert Fristacky

    Modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of design of embedded systems and consequently help reduce the development costs. This paper tackles the problem of providing a fully automated formal verification for UML-based design of embedded systems. For verification it employs the model checking technique. Unlike other approaches, the paper

  12. A UML profile for model-driven design of software defined radio applications

    E-print Network

    Paris-Sud XI, Université de

    A UML profile for model-driven design of software defined radio applications Jair Gonzalez Telecom applications such as software defined radio (SDR). This paper proposes a MDD approach for SDR applications. Our Current design methodologies cannot cope efficiently with the high complexity of software defined radio

  13. A UML Profile for the e3-Value e-Business Model Ontology

    E-print Network

    A UML Profile for the e3-Value e-Business Model Ontology C. Huemer1 , A. Schmidt2 , H. Werthner1 of Technology, Austria huemer@big.tuwien.ac.at, werthner@ec.tuwien.ac.at, marco@ec.tuwien.ac.at 2 SAP Research

  14. Architectural-Level Risk Analysis Using UML Katerina Goseva-Popstojanova, Senior Member, IEEE,

    E-print Network

    Goseva-Popstojanova, Katerina

    Architectural-Level Risk Analysis Using UML Katerina Goseva-Popstojanova, Senior Member, IEEE process and the quality of software products, we need to be able to build risk analysis models based architecture, a dynamic heuristic risk factor is obtained and severity is assessed based on hazard analysis

  15. Verification and Trade-Off Analysis of Security Properties in UML System Models

    E-print Network

    Bordbar, Behzad

    constraints. In this paper, we focus on the AORDD analysis, which consists of: 1) a formal security evaluationVerification and Trade-Off Analysis of Security Properties in UML System Models Geri Georg, Member with designers defining system assets, identifying potential attacks against them, and evaluating system risks

  16. A UML-Based Approach for Heterogeneous IP Integration Abstract -With increasing availability of predefined IP

    E-print Network

    Wong, Weng Fai

    for heterogeneous IP would benefit designers working through a top-down design process. UML-based approa the time to market. However, as the IP blocks are provided by different vendors, they differ to customize them to comply with the OCP standard. The process of IP integration also suffers from mis

  17. Combining Image Features, Case Descriptions and UMLS Concepts to Improve Retrieval of Medical Images

    E-print Network

    Ruiz, Miguel E.

    Combining Image Features, Case Descriptions and UMLS Concepts to Improve Retrieval of Medical Images Miguel E. Ruiz, Ph.D. State University of New York at Buffalo Buffalo, NY Abstract This paper evaluates a system, UBMedTIRS, for retrieval of medical images. The system uses a combination of image

  18. Modeling of immediate vs. delayed data communications: from AADL to UML MARTE

    E-print Network

    Paris-Sud XI, Université de

    Modeling of immediate vs. delayed data communications: from AADL to UML MARTE Charles Andr´e, Fr for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing to be controlled. We describe here the abilities of MARTE in this respect. I. Introduction The modeling phase

  19. Event-triggered vs. Time-Triggered communications with UML MARTE Frdric Mallet, Robert de Simone

    E-print Network

    Mallet, Frédéric

    Event-triggered vs. Time-Triggered communications with UML MARTE Frédéric Mallet, Robert de Simone and MARTE) to model these two kinds of communications. Specifically we focus on the Time facilities of MARTE Language) profile for MARTE (Modeling and Analysis of Real-Time and Embedded systems) [3], recently adopted

  20. Quality evaluation of value sets from cancer study common data elements using the UMLS semantic groups

    PubMed Central

    Solbrig, Harold R; Chute, Christopher G

    2012-01-01

    Objective The objective of this study is to develop an approach to evaluate the quality of terminological annotations on the value set (ie, enumerated value domain) components of the common data elements (CDEs) in the context of clinical research using both unified medical language system (UMLS) semantic types and groups. Materials and methods The CDEs of the National Cancer Institute (NCI) Cancer Data Standards Repository, the NCI Thesaurus (NCIt) concepts and the UMLS semantic network were integrated using a semantic web-based framework for a SPARQL-enabled evaluation. First, the set of CDE-permissible values with corresponding meanings in external controlled terminologies were isolated. The corresponding value meanings were then evaluated against their NCI- or UMLS-generated semantic network mapping to determine whether all of the meanings fell within the same semantic group. Results Of the enumerated CDEs in the Cancer Data Standards Repository, 3093 (26.2%) had elements drawn from more than one UMLS semantic group. A random sample (n=100) of this set of elements indicated that 17% of them were likely to have been misclassified. Discussion The use of existing semantic web tools can support a high-throughput mechanism for evaluating the quality of large CDE collections. This study demonstrates that the involvement of multiple semantic groups in an enumerated value domain of a CDE is an effective anchor to trigger an auditing point for quality evaluation activities. Conclusion This approach produces a useful quality assurance mechanism for a clinical study CDE repository. PMID:22511016

  1. A. Syntax Diagrams A-1 Appendix A

    E-print Network

    Brass, Stefan

    A. Syntax Diagrams A-1 Appendix A: Syntax Diagrams References: · Kathleen Jensen/Niklaus Wirth A is a short introduction to syntax diagrams. · Don Chamberlin: A Complete Guide to DB2 Universal Database. Morgan Kaufmann, 1998. Section 1.1.2 is a very quick introduction to syntax diagrams. Stefan Brass

  2. Automatically Assessing Graph-Based Diagrams

    ERIC Educational Resources Information Center

    Thomas, Pete; Smith, Neil; Waugh, Kevin

    2008-01-01

    To date there has been very little work on the machine understanding of imprecise diagrams, such as diagrams drawn by students in response to assessment questions. Imprecise diagrams exhibit faults such as missing, extraneous and incorrectly formed elements. The semantics of imprecise diagrams are difficult to determine. While there have been…

  3. CONTEXTEXPLOITING SHAPES FOR DIAGRAM TRANSFORMATION Frank Drewes

    E-print Network

    Drewes, Frank

    with editors for control flow diagrams, Nassi­Shneiderman diagrams, message sequence charts, state charts primitives, and reduces them to dia­ gram symbols, like assignments and branches in a control flow diagramCONTEXT­EXPLOITING SHAPES FOR DIAGRAM TRANSFORMATION Frank Drewes Institutionen fË?or Datavetenskap

  4. NAAP HR Diagram Explorer 1/9 HR Diagram Student Guide

    E-print Network

    Farritor, Shane

    Name: NAAP ­ HR Diagram Explorer 1/9 HR Diagram ­ Student Guide Background Information Work through Orionis O9 Radius (R) Temperature (T) Luminosity (L) 1 1 1 2 1 9 1 1/2 #12;NAAP ­ HR Diagram Explorer 2 Diagram Explorer Open the HR Diagram Explorer. Begin by familiarizing yourself with the capabilities

  5. Towards Transformation of Integrity Constraints and Database States

    E-print Network

    Gogolla, Martin - Fachbereich 3

    state. The paper concentrates on structural models provided by UML class diagrams and OCL invariant constraints attached to a class diagram and how these changes interact with given database states. Index Terms and used. A model M is described by a class diagram and a set of OCL integrity constraints, in other words

  6. Derivation of xUML Models Multiple Relationships

    E-print Network

    Browne, James C.

    ..* organizes #12;4 9/13/2008 Specification Classes An airplane leasing company owns many instances of a given airplane and leases several different types of airplanes. Each airplane is characterized by a model number, an empty weight, a wingspan, a stall profile and a fuel consumption rate. The leasing company keeps track

  7. Dynamic programming and influence diagrams

    Microsoft Academic Search

    JOSEPH A. TATMAN; ROSS D. SHACHTER

    1990-01-01

    The concept of a super value node is developed to extend the theory of influence diagrams to allow dynamic programming to be performed within this graphical modeling framework. The operations necessary to exploit the presence of these nodes and efficiently analyze the models are developed. The key result is that by representing value function separability in the structure of the

  8. ccsd00000445, Making diagrams speak,

    E-print Network

    raised by the presence of diagrams in a VIIth century Sanskrit mathematical com- mentary. Exploring di- agrammes dans un commentaire math#19;ematique en langue sanskrite datant du VII#18;eme si#18;ecle: A. Keller is a French CNRS researcher working on medieval sanskrit mathematics but also

  9. Causal diagrams for empirical research

    Microsoft Academic Search

    JUDEA PEARL

    1995-01-01

    The primary aim of this paper is to show how graphical models can be used as a mathematical language for integrating statistical and subject-matter information. In particular, the paper develops a principled, nonparametric framework for causal inference, in which diagrams are queried to determine if the assumptions available are sufficient for identifying causal effects from nonexperimental data. If so the

  10. Phase Diagrams for Sonoluminescing Bubbles

    Microsoft Academic Search

    Sascha Hilgenfeldt; Detlef Lohse; Michael P. Brenner

    1996-01-01

    Sound driven gas bubbles in water can emit light pulses. This phenomenon is called sonoluminescence (SL). Two different phases of single bubble SL have been proposed: diffusively stable and diffusively unstable SL. We present phase diagrams in the gas concentration vs forcing pressure state space and also in the ambient radius vs gas concentration and vs forcing pressure state spaces.

  11. Precipitation and the Sounding Diagram

    NSDL National Science Digital Library

    John Nielsen-Gammon

    1996-01-01

    This undergraduate meteorology tutorial deals with the interplay between the vertical temperature structure of the atmosphere and the temperature of the ascending air in the formation of precipitation. Students learn about the dry and moist adiabatic lapse rates, reading and interpreting sounding diagrams, and determining the change in temperature as air parcels rise or sink.

  12. Using influence diagrams for PERT

    Microsoft Academic Search

    A. Jenzarli

    1997-01-01

    Summary form only given. We describe a new method for explicit modeling of decisions that bear on activity times in a project. This method extends the PERT belief network (PBN) model to include decisions variables. The resulting network is called PERT Influence Diagram (PID). A PID is a PBN that includes decision variables, where arrows into decision nodes mean that

  13. Voronoi Diagrams and Spring Rain

    ERIC Educational Resources Information Center

    Perham, Arnold E.; Perham, Faustine L.

    2011-01-01

    The goal of this geometry project is to use Voronoi diagrams, a powerful modeling tool across disciplines, and the integration of technology to analyze spring rainfall from rain gauge data over a region. In their investigation, students use familiar equipment from their mathematical toolbox: triangles and other polygons, circumcenters and…

  14. Index of Animated Phase Diagrams

    NSDL National Science Digital Library

    Kenneth E Windom

    This is a collection of animated phase diagrams by Kenneth Windom at Iowa State University. These short Power Point animations can be used to illustrate equilibrium crystallization concepts. There are slide shows for plagioclase feldspars (albite and anorthite); forsterite, diopside and anorthite; forsterite, enstatite and silica; and diopside and anorthite.

  15. Concrete and Abstract Voronoi Diagrams

    Microsoft Academic Search

    Rolf Klein

    1989-01-01

    The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is

  16. Telesynergy V3 Wiring Diagram

    Cancer.gov

    Extron 8 port Video/Audio Switch WAVE Camera Telesynergy v3 Wiring Diagram ISDN T1/PRI Module CTRLR 0 Legend: S-Video Audio VGA DVI USB RS-232 Serial Microphone Ethernet Planar C5i AMD Exam Cam Canon Document Camera Olympus BX51 Sony DVD Recorder JVC

  17. Policy Specification Using Sequence Diagrams

    E-print Network

    Stølen, Ketil

    of Information Science and Media Studies and at the Faculty of Social Sciences at the Uni- versity of BergenPolicy Specification Using Sequence Diagrams Applied to Trust Management Bjørnar Solhaug which was funded by the Research Council of Norway. The ENFORCE project was a joint initiative between

  18. State diagrams of linear sequential machines

    E-print Network

    English, Linda Sue

    1977-01-01

    14 37 38 LIST OF FIGURFS FIGURE Page 1. State Diagram M . 2. Diagram of Example l. 3. Diagram of Example 2. 4. Diagram of Example 3. 5. State Diagram of a Linear Sequential Machine. 6. State Diagram of a Sequential Machine . 24 26 35 36.... A sequential machine N is a five-tuple &S, I, s, 6, x& where S is a set of states, I is a set of input symbols, A is a set of output symbols, s is the transition function, and ~ is the output function. A particular three-state machine h1=&S, I, a...

  19. BWeb Notes for Chapter 6: Equilibrium Diagrams The first two notes concern the stocks and flows in the rock cycle

    E-print Network

    Ford, Andrew

    BWeb Notes for Chapter 6: Equilibrium Diagrams The first two notes concern the stocks and flows are taken from a website description of a Stella diagram by David Bice for a class at Carleton College which is 4 billion years in the past. Dr. Bice provided estimates of the flows in Fig. 6

  20. UMLS-based Conceptual Queries to Biomedical Information Databases : An Overview of the Project ARIANE

    Microsoft Academic Search

    Michel Joubert; Marius Fieschi; Jean-Jacques Robert; Françoise Volot; Dominique Fieschi

    1998-01-01

    ObjectiveThe aim of the project ARIANE is to model and implement seamless, natural, and easy-to-use interfaces with various kinds of heterogeneous biomedical information databases.DesignA conceptual model of some of the Unified Medical Language System (UMLS) knowledge sources has been developed to help end-users to query information databases. A query is represented by a conceptual graph that translates the deep structure

  1. Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC

    Microsoft Academic Search

    Jan Jürjens

    2001-01-01

    To overcome the difficulties of correct secure systems design, we propose formal modelling using the object-oriented modelling\\u000a language UML. Specifically, we consider the problem of accountability through auditing.\\u000a \\u000a We explain our method at the example of a part of the Common Electronic Purse Specifications (CEPS), a candidate for an international\\u000a electronic purse standard, indicate possible vulnerabilities and present concrete security

  2. Animation of UML-B State-machines Vitaly Savicks, Colin Snook, Michael Butler

    E-print Network

    Southampton, University of

    for these will appear in a pop-up menu for selection in a style similar to the ProB Animator.The state-machines mayAnimation of UML-B State-machines Vitaly Savicks, Colin Snook, Michael Butler University of Southampton, Southampton SO17 1BJ, UK {vs02, cfs, mjb}@ecs.soton.ac.uk Abstract. Animation is important

  3. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile

    Microsoft Academic Search

    Kirsten Berkenkötter; Ulrich Hannemann

    2006-01-01

    We introduce the Railway Control Systems Domain (RCSD) profile of the Unified Modeling Language UML 2.0 as a domain specific\\u000a modeling language for railway and tramway control systems. The RCSD profile covers the segments of the rail network, sensors,\\u000a and control elements like signals and switches. Using these terms of the railway domain, it facilitates the communication\\u000a between domain experts and

  4. UML-BASED DESIGN AND FORMAL ANALYSIS OF A SAFETY CRITICAL RAILWAY CONTROL SOFTWARE MODULE

    Microsoft Academic Search

    András Pataricza; István Majzik; Gábor Huszerl; György Várnai

    A new equipment of safety relevance has been developed to upgrade ageing relay-based railway interlocking systems in Hungary. In course of the design process formal methods have been used in the development of a module realising a well-separable function of the system. Namely, the UML-based design process was extended by model based analysis and validation. The first kind of analysis

  5. Relating UMLS semantic types and task-based ontology to computer-interpretable clinical practice guidelines.

    PubMed

    Kumar, Anand; Ciccarese, Paolo; Quaglini, Silvana; Stefanelli, Mario; Caffi, Ezio; Boiocchi, Lorenzo

    2003-01-01

    Medical knowledge in clinical practice guideline (GL) texts is the source of task-based computer-interpretable clinical guideline models (CIGMs). We have used Unified Medical Language System (UMLS) semantic types (STs) to understand the percentage of GL text which belongs to a particular ST. We also use UMLS semantic network together with the CIGM-specific ontology to derive a semantic meaning behind the GL text. In order to achieve this objective, we took nine GL texts from the National Guideline Clearinghouse (NGC) and marked up the text dealing with a particular ST. The STs we took into consideration were restricted taking into account the requirements of a task-based CIGM. We used DARPA Agent Markup Language and Ontology Inference Layer (DAML + OIL) to create the UMLS and CIGM specific semantic network. For the latter, as a bench test, we used the 1999 WHO-International Society of Hypertension Guidelines for the Management of Hypertension. We took into consideration the UMLS STs closest to the clinical tasks. The percentage of the GL text dealing with the ST "Health Care Activity" and subtypes "Laboratory Procedure", "Diagnostic Procedure" and "Therapeutic or Preventive Procedure" were measured. The parts of text belonging to other STs or comments were separated. A mapping of terms belonging to other STs was done to the STs under "HCA" for representation in DAML + OIL. As a result, we found that the three STs under "HCA" were the predominant STs present in the GL text. In cases where the terms of related STs existed, they were mapped into one of the three STs. The DAML + OIL representation was able to describe the hierarchy in task-based CIGMs. To conclude, we understood that the three STs could be used to represent the semantic network of the task-bases CIGMs. We identified some mapping operators which could be used for the mapping of other STs into these. PMID:14664031

  6. C++ UML Ange Diable Gnie Logiciel Bruno Bouzy 1/17

    E-print Network

    Bouzy, Bruno

    'atteindre une case du bord du damier et celui du diable de bloquer l'ange sur une case du damier qui ne soit pas une case du bord. Objectif et méthode En annexe figure un programme C++ permettant de jouer à ce jeu'autre. La réponse aux questions e) et f) est NON. i) dessiner un diagramme de séquence UML correspondant à l'interaction

  7. UML Model Based Development Process for the SIRAL Digital Processing Unit Software

    NASA Astrophysics Data System (ADS)

    Estaves, G.; Ruiz, F.

    The goal of this paper is to present, in a first part, the UML model based development approach adopted by the payload embedded software group in Alcatel Space (ASP). In a second part, it will be given the example of the SIRAL software, developed following this methodology. After a short presentation of the SIRAL project and the payload, it will be described the functions and the architecture of Radar Altimeter software developed in the frame of the ESA CryoSat mission.

  8. Generation of powder compaction response diagrams

    SciTech Connect

    Matsumoto, R.L.K.

    1986-10-01

    The effect of elastic compliances in the testing system is shown to have a considerable influence on the compaction diagram generated via an automatic procedure. Proper accounting of this effect allows rapid and accurate diagrams to be made.

  9. A Study of Terminology Auditors’ Performance for UMLS Semantic Type Assignments

    PubMed Central

    Gu, Huanying (Helen); Elhanan, Gai; Perl, Yehoshua; Hripcsak, George; Cimino, James J.; Xu, Julia; Chen, Yan; Geller, James; Morrey, C. Paul

    2012-01-01

    Auditing healthcare terminologies for errors requires human experts. In this paper, we present a study of the performance of auditors looking for errors in the semantic type assignments of complex UMLS concepts. In this study, concepts are considered complex whenever they are assigned combinations of semantic types. Past research has shown that complex concepts have a higher likelihood of errors. The results of this study indicate that individual auditors are not reliable when auditing such concepts and their performance is low, according to various metrics. These results confirm the outcomes of an earlier pilot study. They imply that to achieve an acceptable level of reliability and performance, when auditing such concepts of the UMLS, several auditors need to be assigned the same task. A mechanism is then needed to combine the possibly differing opinions of the different auditors into a final determination. In the current study, in contrast to our previous work, we used a majority mechanism for this purpose. For a sample of 232 complex UMLS concepts, the majority opinion was found reliable and its performance for accuracy, recall, precision and the F-measure was found statistically significantly higher than the average performance of individual auditors. PMID:22687822

  10. An Evaluation of the UMLS in Representing Corpus Derived Clinical Concepts

    PubMed Central

    Friedlin, Jeff; Overhage, Marc

    2011-01-01

    We performed an evaluation of the Unified Medical Language System (UMLS) in representing concepts derived from medical narrative documents from three domains: chest x-ray reports, discharge summaries and admission notes. We detected concepts in these documents by identifying noun phrases (NPs) and N-grams, including unigrams (single words), bigrams (word pairs) and trigrams (word triples). After removing NPs and N-grams that did not represent discrete clinical concepts, we processed the remaining with the UMLS MetaMap program. We manually reviewed the results of MetaMap processing to determine whether MetaMap found full, partial or no representation of the concept. For full representations, we determined whether post-coordination was required. Our results showed that a large portion of concepts found in clinical narrative documents are either unrepresented or poorly represented in the current version of the UMLS Metathesaurus and that post-coordination was often required in order to fully represent a concept. PMID:22195097

  11. The Butterfly Diagram Internal Structure

    NASA Astrophysics Data System (ADS)

    Ternullo, Maurizio

    2013-06-01

    A time-latitude diagram, where the spotgroup area is taken into account, is presented for cycles 12 through 23. The results show that the spotted area is concentrated in few, small portions ("knots") of the Butterfly Diagram (BD). The BD may be described as a cluster of knots. Knots are distributed in the butterfly wings in a seemingly randomly way. A knot may appear at either lower or higher latitudes than previous ones, in spite of the prevalent tendency to appear at lower and lower latitudes. Accordingly, the spotted area centroid, far from continuously drifting equatorward, drifts poleward or remains stationary in any hemisphere for significant fractions (? 1/3) of the cycle total duration. In a relevant number of semicycles, knots seem to form two roughly parallel, oblique "chains", separated by an underspotted band. This picture suggests that two (or more) "activity streams" approach the equator at a rate higher than the spot zone as a whole.

  12. Two-state shear diagrams for complex fluids in shear flow

    E-print Network

    Peter D. Olmsted

    1999-09-01

    The possible ``phase diagrams'' for shear-induced phase transitions between two phases are collected. We consider shear-thickening and shear-thinning fluids, under conditions of both common strain rate and common stress in the two phases, and present the four fundamental shear stress vs. strain-rate curves and discuss their concentration dependence. We outline how to construct more complicated phase diagrams, discuss in which class various experimental systems fall, and sketch how to reconstruct the phase diagrams from rheological measurements.

  13. T-X Phase Diagrams

    NSDL National Science Digital Library

    Dexter Perkins

    This is a 15 page tutorial and problem set designed to get students familiar with T-X diagrams, their implications, and uses. Students start by reading but, after 10-15 minutes, the room becomes noisy as they work their way through the questions at the end. Often there are "Eureka" moments as they all of a sudden grasp some fundamental principles. It is also interesting to hear them try to explain these insights to others.

  14. Online Diagnosis Using Influence Diagrams

    Microsoft Academic Search

    Baldramino Morales Sánchez; Pablo H. Ibargüengoytia

    2004-01-01

    \\u000a This paper presents the utilization of influence diagrams in the diagnosis of industrial processes. The diagnosis in this\\u000a context signifies the early detection of abnormal behavior, and the selection of the best recommendation for the operator\\u000a in order to correct the problem or minimize the effects. A software architecture is presented, based on the Elvira package, including the connection with

  15. Algorithm Discovery with Venn Diagrams

    NSDL National Science Digital Library

    2011-05-23

    This lesson is designed to develop students' abilities to create algorithms or a set of directions to solve a problem. In this lesson, the problem is to determine the rules in a Venn diagram. This lesson provides links to discussions and activities related to the topic as well as suggested ways to integrate them into the lesson. Finally, the lesson provides links to follow-up lessons designed for use in succession with the current one.

  16. INCONEL 718: A solidification diagram

    NASA Astrophysics Data System (ADS)

    Knorovsky, G. A.; Cieslak, M. J.; Headley, T. J.; Romig, A. D.; Hammetter, W. F.

    1989-10-01

    As part of a program studying weldability of Ni-base superalloys, results of an integrated analytical approach are used to generate a constitution diagram for INCONEL 718* in the temperature range associated with solidification. Differential thermal analysis of wrought material and optical and scanning electron microscopy, electron probe microanalysis, and analytical electron microscopy of gas tungsten arc welds are used in conjunction with solidification theory to generate data points for this diagram. The important features of the diagram are an austenite (?)/Laves phase eutectic which occurs at ?19.1 wt pct Nb between austenite containing ?9.3 wt pct Nb and a Laves phase which contains ?22.4 wt pct Nb. The distribution coefficient for Nb was found to be ?0.5. The solidification sequence of INCONEL 718 was found to be (1) proeutectic ?, followed by (2) a ?/NbC eutectic at ?1250°C, followed by (3) continued ? solidification, followed by (4) a ?/Laves phase eutectic at ?1200°C. An estimate of the volume fraction eutectic is made using the Scheil solidification model, and the fraction of each phase in the eutectic is calculated via the lever rule. These are compared with experimentally determined values and found to be in good agreement.

  17. Diagrams in Biology1 Laura Perini

    E-print Network

    McBurney, Peter

    , as biologists plan experiments with flow charts, and draw models to represent hypotheses for consideration representational features of diagrams. Analysis of the relation between the forms and contents of diagrams1 Diagrams in Biology1 Laura Perini Department of Philosophy Pomona College Abstract Biologists

  18. Semantics of the Domain of Flow Diagrams

    Microsoft Academic Search

    John C. Reynolds

    1977-01-01

    A domain of flow diagrams similar to that proposed by Scott, a domain of linear flow diagrams proposed by Goguen et al , a domain of decision table diagrams involving mfimtary branching, and a domain of processes based on the ideas of Milner and Beklc are each provided with a direct semantics, closely related to partial-function semantics, and a continuation

  19. A Layout Algorithm for Data Flow Diagrams

    Microsoft Academic Search

    Carlo Batini; Enrico Nardelli; Roberto Tamassia

    1986-01-01

    A layout algorithm is presented that allows the automatic drawing of data flow diagrams, a diagrammatic representation widely used in the functional analysis of information systems. A grid standard is defined for such diagrams, and aesthetics for a good readability are identified. The layout algorithm receives as input an abstract graph, specifying connectivity relations between the elements of the diagram,

  20. A Formal Semantics of Data Flow Diagrams

    Microsoft Academic Search

    Peter Gorm Larsen; Nico Plat; Hans Toetenel

    1994-01-01

    This document presents a full version of the formal semantics of data ow diagrams reported in [Larsen&93]. Data Flow Diagrams are used in Structured Analysis and are based on an abstract model for data flow transformations. The semantics consists of a collection of VDM functions, transforming an abstract syntax representation of a data flow diagram into an abstract syntax representation

  1. Retrieving Information from Data Flow Diagrams

    Microsoft Academic Search

    Gregory Butler; Peter Grogono; Rajjan Shinghal; Indra A. Tjandra

    1995-01-01

    For reverse engineering, we need tools that can extract information from documents written before routine digital storage was feasible. Documents contain both text and diagrams; data flow diagrams play a prominent role in software documents. Using current techniques, it is possible to recover the information in a data flow diagram by scanning the printed document and processing the data obtained.

  2. Phase diagrams and shape transformations of toroidal vesicles

    NASA Astrophysics Data System (ADS)

    Jülicher, Frank; Seifert, Udo; Lipowsky, Reinhard

    1993-11-01

    Shapes of vesicles with toroidal topology are studied in the context of curvature models for the membrane. For two simplified curvature models, the spontaneous curvature (SC) model and the bilayer couple (BC) model, the structure of energy diagrams, sheets of stationary shapes and phase diagrams are obtained by solving shape equations for axisymmetric shapes. Three different sheets of axisymmetric shapes are investigated systematically: i) discoid tori; ii) sickle shaped tori and iii) toroidal stomatocytes. A stability analysis of axisymmetric shapes with respect to symmetry breaking conformal transformations reveals that large regions of the phase diagrams of toroidal vesicles are non axisymmetric. Non axisymmetric shapes are determined approximately using conformal transformations. To compare the theory with experiments, a generalization of the SC and BC model, the area difference elasticity model (ADE model), which is a more realistic curvature model for lipid bilayers, is discussed. Shapes of toroidal vesicles which have been observed recently can be located in the phase diagram of the ADE model. We predict the effect of temperature changes on the observed shapes. The new class of shapes, the toroidal stomatocytes, have not yet been observed.

  3. Origin and use of crystallization phase diagrams.

    PubMed

    Rupp, Bernhard

    2015-03-01

    Crystallization phase diagrams are frequently used to conceptualize the phase relations and also the processes taking place during the crystallization of macromolecules. While a great deal of freedom is given in crystallization phase diagrams owing to a lack of specific knowledge about the actual phase boundaries and phase equilibria, crucial fundamental features of phase diagrams can be derived from thermodynamic first principles. Consequently, there are limits to what can be reasonably displayed in a phase diagram, and imagination may start to conflict with thermodynamic realities. Here, the commonly used `crystallization phase diagrams' are derived from thermodynamic excess properties and their limitations and appropriate use is discussed. PMID:25760697

  4. Proc. ICGT Workshop Graph Transformation and Visual Modeling Tech-niques (GT-VMT'2002), Paolo Bottoni, Mark Minas (Eds.), Electronic Notes

    E-print Network

    Gogolla, Martin - Fachbereich 3

    of a class diagram and particular state diagrams, a graph transforma- tion system can be de#12;ned. Its graphs are associated with system states and its rules with operations in the class diagram. The Uni- #12;ed Modeling Language (UML) is a visual language supporting the software engineer using object

  5. Multiple representations and free-body diagrams: Do students benefit from using them?

    NASA Astrophysics Data System (ADS)

    Rosengrant, David R.

    2007-12-01

    Introductory physics students have difficulties understanding concepts and solving problems. When they solve problems, they use surface features of the problems to find an equation to calculate a numerical answer often not understanding the physics in the problem. How do we help students approach problem solving in an expert manner? A possible answer is to help them learn to represent knowledge in multiple ways and then use these different representations for conceptual understanding and problem solving. This solution follows from research in cognitive science and in physics education. However, there are no studies in physics that investigate whether students who learn to use multiple representations are in fact better problem solvers. This study focuses on one specific representation used in physics--a free body diagram. A free-body diagram is a graphical representation of forces exerted on an object of interest by other objects. I used the free-body diagram to investigate five main questions: (1) If students are in a course where they consistently use free body diagrams to construct and test concepts in mechanics, electricity and magnetism and to solve problems in class and in homework, will they draw free-body diagrams on their own when solving exam problems? (2) Are students who use free-body diagrams to solve problems more successful then those who do not? (3) Why do students draw free-body diagrams when solving problems? (4) Are students consistent in constructing diagrams for different concepts in physics and are they consistent in the quality of their diagrams? (5) What are possible relationships between features of a problem and how likely a student will draw a free body diagram to help them solve the problem? I utilized a mixed-methods approach to answer these questions. Questions 1, 2, 4 and 5 required a quantitative approach while question 3 required a qualitative approach, a case study. When I completed my study, I found that if students are in an environment which fosters the use of representations for problem solving and for concept development, then the majority of students will consistently construct helpful free-body diagrams and use them on their own to solve problems. Additionally, those that construct correct free-body diagrams are significantly more likely to successfully solve the problem. Finally, those students that are high achieving tend to use diagrams more and for more reasons then students who have low course grades. These findings will have major impacts on how introductory physics instructors run their classes and how curriculums are designed. These results favor a problem solving strategy that is rich with representations.

  6. Community detection by graph Voronoi diagrams

    NASA Astrophysics Data System (ADS)

    Deritei, Dávid; Lázár, Zsolt I.; Papp, István; Járai-Szabó, Ferenc; Sumi, Róbert; Varga, Levente; Ravasz Regan, Erzsébet; Ercsey-Ravasz, Mária

    2014-06-01

    Accurate and efficient community detection in networks is a key challenge for complex network theory and its applications. The problem is analogous to cluster analysis in data mining, a field rich in metric space-based methods. Common to these methods is a geometric, distance-based definition of clusters or communities. Here we propose a new geometric approach to graph community detection based on graph Voronoi diagrams. Our method serves as proof of principle that the definition of appropriate distance metrics on graphs can bring a rich set of metric space-based clustering methods to network science. We employ a simple edge metric that reflects the intra- or inter-community character of edges, and a graph density-based rule to identify seed nodes of Voronoi cells. Our algorithm outperforms most network community detection methods applicable to large networks on benchmark as well as real-world networks. In addition to offering a computationally efficient alternative for community detection, our method opens new avenues for adapting a wide range of data mining algorithms to complex networks from the class of centroid- and density-based clustering methods.

  7. Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC) (2009) 301-312 On the semantics of UML/MARTE Clock Constraints

    E-print Network

    Paris-Sud XI, Université de

    -312 On the semantics of UML/MARTE Clock Constraints Frédéric Mallet and Charles André Université de Nice Sophia for MARTE, we devised a broadly expressive Time Model to provide a generic timed interpretation for UML give a formal semantics to a core subset of MARTE clock con- straint language and we give an equivalent

  8. A layout algorithm for data flow diagrams

    SciTech Connect

    Batini, C.; Nardelli, E.; Tamassia, R.

    1986-04-01

    A layout algorithm is presented that allows the automatic drawing of data flow diagrams, a diagrammatic representation widely used in the functional analysis of information systems. A grid standard is defined for such diagrams, and aesthetics for a good readability are identified. The layout algorithm receives as input an abstract graph, specifying connectivity relations between the elements of the diagram, and produces as output a corresponding diagram according to the aesthetics. The basic strategy is to build incrementally the layout; first, a good topology is constructed with few crossings between edges; subsequently, the shape of the diagram is determined in terms of angles appearing along edges; and finally, dimensions are given to the graph, obtaining a grid skeleton for the diagram.

  9. Nonverbal Poetry: Family Life-Space Diagrams

    Microsoft Academic Search

    Donald R. Bardill

    2001-01-01

    The purpose of this article is to examine life-space diagrams as a form of nonverbal poetry. Family life-space diagrams, by their very nature, are a nonverbal blend of lyrical, narrative, and dramatic poetry. The life-space diagram taps personal feelings, tells a story, and characterizes a particular life situation. The human memory process, with its multilevel consciousness, provides the basis for

  10. Variable stars across the observational HR diagram

    Microsoft Academic Search

    Laurent Eyer; Nami Mowlavi

    2008-01-01

    An overview of pulsating variable stars across the observational Hertzprung-Russel (HR) diagram is presented, together with a summary of their global properties. The HR diagram is presented with a third colour-coded dimension, visualizing the fraction of variable, the amplitude of variability or the period of variability. The distribution of variable stars in the other observational diagrams, such as the Period-Amplitude

  11. Object Flow Definition for Refined Activity Diagrams

    Microsoft Academic Search

    Stefan Jurack; Leen Lambers; Katharina Mehner; Gabriele Taentzer; Gerd Wierse

    2009-01-01

    Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced\\u000a by using their object flow notation. In addition, we refine activities by pairs of pre- and post-conditions formulated by\\u000a interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation\\u000a approach. Control

  12. The sunset diagram in SU(3) chiral perturbation theory

    E-print Network

    P. Post; J. B. Tausk

    1996-04-09

    A general procedure for the calculation of a class of two-loop Feynman diagrams is described. These are two-point functions containing three massive propagators, raised to integer powers, in the denominator, and arbitrary polynomials of the loop momenta in the numerator. The ultraviolet divergent parts are calculated analytically, while the remaining finite parts are obtained by a one-dimensional numerical integration, both below and above the threshold. Integrals of this type occur, for example, in chiral perturbation theory at order p^6.

  13. Variable stars across the observational HR diagram

    E-print Network

    Laurent Eyer; Nami Mowlavi

    2007-12-21

    An overview of pulsating variable stars across the observational Hertzprung-Russel (HR) diagram is presented, together with a summary of their global properties. The HR diagram is presented with a third colour-coded dimension, visualizing the fraction of variable, the amplitude of variability or the period of variability. The distribution of variable stars in the other observational diagrams, such as the Period-Amplitude diagram, is also presented. Some of the progresses performed in the field of variable stars during the last decade are briefly summarized, and future projects that will improve our knowledge of variable stars are mentioned.

  14. Hofstadter Butterfly Diagram in Noncommutative Space

    E-print Network

    Hidenori Takahashi; Masanori Yamanaka

    2006-06-23

    We study an energy spectrum of electron moving under the constant magnetic field in two dimensional noncommutative space. It take place with the gauge invariant way. The Hofstadter butterfly diagram of the noncommutative space is calculated in terms of the lattice model which is derived by the Bopp's shift for space and by the Peierls substitution for external magnetic field. We also find the fractal structure in new diagram. Although the global features of the new diagram are similar to the diagram of the commutative space, the detail structure is different from it.

  15. Phase diagram of ammonium nitrate

    NASA Astrophysics Data System (ADS)

    Dunuwille, Mihindra; Yoo, Choong-Shik

    2013-12-01

    Ammonium Nitrate (AN) is a fertilizer, yet becomes an explosive upon a small addition of chemical impurities. The origin of enhanced chemical sensitivity in impure AN (or AN mixtures) is not well understood, posing significant safety issues in using AN even today. To remedy the situation, we have carried out an extensive study to investigate the phase stability of AN and its mixtures with hexane (ANFO-AN mixed with fuel oil) and Aluminum (Ammonal) at high pressures and temperatures, using diamond anvil cells (DAC) and micro-Raman spectroscopy. The results indicate that pure AN decomposes to N2, N2O, and H2O at the onset of the melt, whereas the mixtures, ANFO and Ammonal, decompose at substantially lower temperatures. The present results also confirm the recently proposed phase IV-IV' transition above 17 GPa and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400°C.

  16. Hubble's diagram and cosmic expansion

    NASA Astrophysics Data System (ADS)

    Kirshner, Robert P.

    2004-01-01

    Edwin Hubble's classic article on the expanding universe appeared in PNAS in 1929 [Hubble, E. P. (1929) Proc. Natl. Acad. Sci. USA 15, 168-173]. The chief result, that a galaxy's distance is proportional to its redshift, is so well known and so deeply embedded into the language of astronomy through the Hubble diagram, the Hubble constant, Hubble's Law, and the Hubble time, that the article itself is rarely referenced. Even though Hubble's distances have a large systematic error, Hubble's velocities come chiefly from Vesto Melvin Slipher, and the interpretation in terms of the de Sitter effect is out of the mainstream of modern cosmology, this article opened the way to investigation of the expanding, evolving, and accelerating universe that engages today's burgeoning field of cosmology.

  17. Birthing Classes

    MedlinePLUS

    ... the third trimester of the pregnancy, when the mother is about 7 months pregnant. But some classes ... act as a good bonding experience. Like the mother, the father can also benefit from knowing what ...

  18. In Proceedings of the 2005 ACM/IEEE International Conference on Automated Software Engineering, Long Beach, CA, Nov 2005. A Visual Language and Environment for Composing Web

    E-print Network

    Grundy, John

    definitions, and multiple-views of data-flow, control- flow and event propagation in a modelled process to support web service composition. UML state-charts can be used to specify implementation aspects to execute a target action. UML-WSC [11] uses class diagrams with stereotypes to model static structure

  19. The HR diagram of the Large Magellanic Cloud and implications for stellar evolution

    Microsoft Academic Search

    Edward L. Fitzpatrick; Catharine D. Garmany

    1990-01-01

    An H-R diagram for the Large Magellanic Cloud is produced using a sample of 1375 normal spectral class O through G supergiants. The definition of normal includes all O stars that fit into the standard two-dimensional spectral classification framework and all later type stars that do not exhibit optical emission lines. The upper luminosity limit observed for this sample agrees

  20. The architecture of the CMS Level-1 Trigger Control and Monitoring System using UML

    NASA Astrophysics Data System (ADS)

    Magrans de Abril, Marc; Da Rocha Melo, Jose L.; Ghabrous Larrea, Carlos; Hammer, Josef; Hartl, Christian; Lazaridis, Christos

    2011-12-01

    The architecture of the Compact Muon Solenoid (CMS) Level-1 Trigger Control and Monitoring software system is presented. This system has been installed and commissioned on the trigger online computers and is currently used for data taking. It has been designed to handle the trigger configuration and monitoring during data taking as well as all communications with the main run control of CMS. Furthermore its design has foreseen the provision of the software infrastructure for detailed testing of the trigger system during beam down time. This is a medium-size distributed system that runs over 40 PCs and 200 processes that control about 4000 electronic boards. The architecture of this system is described using the industry-standard Universal Modeling Language (UML). This way the relationships between the different subcomponents of the system become clear and all software upgrades and modifications are simplified. The described architecture has allowed for frequent upgrades that were necessary during the commissioning phase of CMS when the trigger system evolved constantly. As a secondary objective, the paper provides a UML usage example and tries to encourage the standardization of the software documentation of large projects across the LHC and High Energy Physics community.

  1. Disambiguation of ambiguous biomedical terms using examples generated from the UMLS Metathesaurus.

    PubMed

    Stevenson, Mark; Guo, Yikun

    2010-10-01

    Researchers have access to a vast amount of information stored in textual documents and there is a pressing need for the development of automated methods to enable and improve access to this resource. Lexical ambiguity, the phenomena in which a word or phrase has more than one possible meaning, presents a significant obstacle to automated text processing. Word Sense Disambiguation (WSD) is a technology that resolves these ambiguities automatically and is an important stage in text understanding. The most accurate approaches to WSD rely on manually labeled examples but this is usually not available and is prohibitively expensive to create. This paper offers a solution to that problem by using information in the UMLS Metathesaurus to automatically generate labeled examples. Two approaches are presented. The first is an extension of existing work (Liu et al., 2002 [1]) and the second a novel approach that exploits information in the UMLS that has not been used for this purpose. The automatically generated examples are evaluated by comparing them against the manually labeled ones in the NLM-WSD data set and are found to outperform the baseline. The examples generated using the novel approach produce an improvement in WSD performance when combined with manually labeled examples. PMID:20541624

  2. Constraints Modeling in FRBR Data Model Using OCL

    NASA Astrophysics Data System (ADS)

    Rudi?, Gordana

    2011-09-01

    Transformation of the conceptual FRBR data model to the class diagram in UML 2.0 notation is given. The class diagram is formed using MagicDraw CASE tool. The paper presents a class diagram for the first group of FRBR entities ie. classes (the product of intellectual or artistic endeavour). It is demonstrated how to model constraints over relationships between classes in FRBR object data model using OCL 2.0.

  3. Timing Diagrams: Formalization and Algorithmic Verification

    E-print Network

    Fisler, Kathryn

    generated by B¨uchi automata in timing diagram languages is decidable. The result relies on a correlation foundation for both reasoning and theoretical analyses. This paper presents a timing dia­ gram logicTiming Diagrams: Formalization and Algorithmic Verification Kathi Fisler \\Lambda Department

  4. DECISION DIAGRAMS AND PASS TRANSISTOR LOGIC SYNTHESIS

    E-print Network

    De Micheli, Giovanni

    DECISION DIAGRAMS AND PASS TRANSISTOR LOGIC SYNTHESIS V. Bertacco S. Minato P. Verplaetse L. Benini by ARPA, under grant No. DABT63-95-C-0049. #12;Decision Diagrams and Pass Transistor Logic Synthesis V transistors and domino logic. The synthesis of these cells is based on BDD and ZBDD representations

  5. THE QCD PHASE DIAGRAM AT FINITE DENSITY.

    SciTech Connect

    SCHMIDT, C.; FODOR, Z.; KATZ, S.

    2005-07-25

    We study the density of states method to explore the phase diagram of the chiral transition on the temperature and quark chemical potential plane. Four quark flavours are used in the analysis. Though the method is quite expensive small lattices show an indication for a triple-point connecting three different phases on the phase diagram.

  6. Penrose diagram for a transient black hole

    Microsoft Academic Search

    James Lindesayand; Paul Sheldon

    2010-01-01

    A Penrose diagram is constructed for a spatially coherent black hole that smoothly begins an accretion, and then excretes symmetrically as measured by a distant observer, with the initial and final states described by a metric of the Minkowski form. Coordinate curves on the diagram are computationally derived. Causal relationships between spacetime regions are briefly discussed. The life cycle of

  7. Building Path Diagrams for Multilevel Models

    ERIC Educational Resources Information Center

    Curran, Patrick J.; Bauer, Daniel J.

    2007-01-01

    Multilevel models have come to play an increasingly important role in many areas of social science research. However, in contrast to other modeling strategies, there is currently no widely used approach for graphically diagramming multilevel models. Ideally, such diagrams would serve two functions: to provide a formal structure for deriving the…

  8. Formalizing Spider Diagrams Joseph (Yossi) Gil

    E-print Network

    Kent, University of

    ]. The Swiss mathemati- cian Leonhard Euler (1707-1783) introduced the notation we now call Euler circles (or- lar and intuitive Venn diagrams and Euler circles. The language design emphasized scalability Euler diagrams) [1] to illus- trate relations between sets. This notation uses the topo- logical

  9. Simplifying computation of dynamic influence diagrams

    Microsoft Academic Search

    Hong-Liang Yao; Hao Wang; You-Sheng Zhang; Xue-Gang Hu; Bao-Fu Fang

    2004-01-01

    Influence diagrams (EDs) are based on Bayesian networks (BNs) and decision theory, and they are powerful tools for representing and processing problems of agents. An approach of decomposition and incorporation is developed to solve problems of multi-agent system based on influence diagrams and dynamic Bayesian networks (DBNs) that is intractable for exact calculation. In additional, we discuss realizing decision of

  10. Abstract Voronoi Diagrams Revisited Elmar Langetepe

    E-print Network

    Klein, Rolf

    bisectors have infinitely many intersections, so that it was not covered by the existing AVD theory Voronoi Diagrams (AVDs) were introduced by the first author in [20], as a unifying concept for both, structure theory and algorithmic computation. The basic observation behind AVDs was that Voronoi diagrams

  11. A Formal Semantics of Data Flow Diagrams

    Microsoft Academic Search

    semantics Abstract. This paper presents a formal semantics of data flow diagrams as used in Structured Analysis, based on an abstract model for data flow transformations. The semantics consists of a collection of VDM functions, transforming an abstract syntax representation of a data flow diagram into an abstract syntax representation of a VDM specification. Since this transformation is executable, it

  12. Local helioseismology using ring diagram analysis

    Microsoft Academic Search

    H. M. Antia; S. Basu

    2007-01-01

    Ring diagram analysis is an extension of global helioseismology that is applied to small areas on the Sun. It can be used to infer the horizontal components of large scale flows as well as the structure, and variations thereof, in the outer convection zone. We describe below the ring-diagram analysis technique, and some results obtained using this technique.

  13. Architecture flow diagrams under teamwork reg sign

    Microsoft Academic Search

    Nicinski

    1992-01-01

    The Teamwork CASE tool allows Data Flow Diagrams (DFDs) to be maintained for structured analysis. Fermilab has extended teamwork under UNIX{trademark} to permit Hatley and Pirbhai Architecture Flow Diagrams (AFDs) to be associated with DFDs and subsequently maintained. This extension, called TWKAFD, allows a user to open an AFD, graphically edit it, and replace it into a TWKAFD maintained library.

  14. HMI ring diagram analysis II. Data products

    Microsoft Academic Search

    R. S. Bogart; C. Baldner; S. Basu; D. A. Haber; M. C. Rabello-Soares

    2011-01-01

    The combination of high resolution, spatial coverage, and continuity of photospheric Doppler and other data from HMI has allowed us to embark on a program of systematic exploration of solar subsurface flows and thermal structure variations using the technique of ring-diagram analysis on an unprecedented scale. There are two ring-diagrams pipelines, as described in [1]. In this paper we discuss

  15. Chord Diagrams and Coxeter Links Eriko Hironaka

    E-print Network

    Hironaka, Eriko

    Chord Diagrams and Coxeter Links Eriko Hironaka April 23, 2003 Abstract This paper presents a construction of #12;bered links (K; #6;) out of chord diagrams L. Let be the incidence graph of L. Under; S). Lehmer's problem is solved for the monodromy of these Coxeter links. 1 1 Introduction A chord

  16. Chord Diagrams and Coxeter Links Eriko Hironaka

    E-print Network

    Aluffi, Paolo

    Chord Diagrams and Coxeter Links Eriko Hironaka February 28, 2003 Abstract This paper presents a construction of #12;bered links (K; #6;) out of chord diagrams L. Let be the incidence graph of L. Under; S). Lehmer's problem is solved for the monodromy of these Coxeter links. 1 1 Introduction A chord

  17. Reading fitness landscape diagrams through HSAB concepts

    NASA Astrophysics Data System (ADS)

    Vigneresse, Jean-Louis

    2014-10-01

    Fitness landscapes are conceived as range of mountains, with local peaks and valleys. In terms of potential, such topographic variations indicate places of local instability or stability. The chemical potential, or electronegativity, its value changed of sign, carries similar information. In addition to chemical descriptors defined through hard-soft acid-base (HSAB) concepts and computed through density functional theory (DFT), the principles that rule chemical reactions allow the design of such landscape diagrams. The simplest diagram uses electrophilicity and hardness as coordinates. It allows examining the influence of maximum hardness or minimum electrophilicity principles. A third dimension is introduced within such a diagram by mapping the topography of electronegativity, polarizability or charge exchange. Introducing charge exchange during chemical reactions, or mapping a third parameter (f.i. polarizability) reinforces the information carried by a simple binary diagram. Examples of such diagrams are provided, using data from Earth Sciences, simple oxides or ligands.

  18. A GATE Plugin For Tagging French Medical Texts with UMLS concepts Thierry Delbecque, MSc, Pierre Zweigenbaum, PhD

    E-print Network

    Zweigenbaum, Pierre

    A GATE Plugin For Tagging French Medical Texts with UMLS concepts Thierry Delbecque, MSc, Pierre with tools that are necessary in modern medical information processing, we present a specialized GATE component (MetaCoDe V0.2) that aims at tagging medical corpora available in some non English languages

  19. A Model Transformation Framework for Domain Specific Languages: An Approach Using UML and Attribute-Oriented Programming*

    E-print Network

    Suzuki, Jun

    a new model-driven framework that allows developers to model and program domain-specific concepts (ideas-specific concepts. Keywords: Model Driven Development, Domain Specific Lan- guage, UML, Attribute at a higher level of abstraction [2]. The notion of model-driven development aims to build application design

  20. Architectural-Level Risk Analysis FOR UML Dynamic Specifications1 Alaa Ibrahim, Sherif M. Yacoub, Hany H. Ammar1

    E-print Network

    Ammar, Hany H.

    of this environment. The dynamic metrics based methodology is a heuristic risk assessment methodology that is based phases enhances the resource allocation decisions. Several methodologies for risk assessment were developed, mostly based on subjective judgment. In this paper we use the Unified Modeling language (UML

  1. Symmetry Classes

    E-print Network

    Zirnbauer, Martin R

    2010-01-01

    Physical systems exhibiting stochastic or chaotic behavior are often amenable to treatment by random matrix models. In deciding on a good choice of model, random matrix physics is constrained and guided by symmetry considerations. The notion of 'symmetry class' (not to be confused with 'universality class') expresses the relevance of symmetries as an organizational principle. Dyson, in his 1962 paper referred to as the Threefold Way, gave the prime classification of random matrix ensembles based on a quantum mechanical setting with symmetries. In this article we review Dyson's Threefold Way from a modern perspective. We then describe a minimal extension of Dyson's setting to incorporate the physics of chiral Dirac fermions and disordered superconductors. In this minimally extended setting, where Hilbert space is replaced by Fock space equipped with the anti-unitary operation of particle-hole conjugation, symmetry classes are in one-to-one correspondence with the large families of Riemannian symmetric spaces.

  2. Phase diagram of ammonium nitrate

    SciTech Connect

    Dunuwille, Mihindra; Yoo, Choong-Shik, E-mail: csyoo@wsu.edu [Department of Chemistry and Institute for Shock Physics, Washington State University, Pullman, Washington 99164 (United States)] [Department of Chemistry and Institute for Shock Physics, Washington State University, Pullman, Washington 99164 (United States)

    2013-12-07

    Ammonium Nitrate (AN) is a fertilizer, yet becomes an explosive upon a small addition of chemical impurities. The origin of enhanced chemical sensitivity in impure AN (or AN mixtures) is not well understood, posing significant safety issues in using AN even today. To remedy the situation, we have carried out an extensive study to investigate the phase stability of AN and its mixtures with hexane (ANFO–AN mixed with fuel oil) and Aluminum (Ammonal) at high pressures and temperatures, using diamond anvil cells (DAC) and micro-Raman spectroscopy. The results indicate that pure AN decomposes to N{sub 2}, N{sub 2}O, and H{sub 2}O at the onset of the melt, whereas the mixtures, ANFO and Ammonal, decompose at substantially lower temperatures. The present results also confirm the recently proposed phase IV-IV{sup ?} transition above 17 GPa and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400°C.

  3. The morphological diagram of spinels

    SciTech Connect

    Ziolkowski, J. [Institute of Catalysis and Surface Chemistry, Krakow (Poland)] [Institute of Catalysis and Surface Chemistry, Krakow (Poland)

    1996-02-01

    Catalytic anisotropy in mild oxidation reactions results from the varying activity of different crystal faces. Here, spinels exposing (100), (110), and (111) faces have been considered and their Curie-Wulff plots have been drawn, admitting that the relative G(hkl) surface free energies may change in a wide range as a function of composition, inversion, and segregation degree. The normalized free surface energies are defined as A = G(100)/G(111), B = G(110)/G(111), and C = G(111)/G(111) = 1 = const. This made it possible to construct bidimensional morphological diagrams (morphology = f(A,B) at C = const) in the exposed-face-type, solid-type, and exposure-percentage versions. Eleven morphological habits of grains have been identified, including (100)-cube, (110)-dodecahedron, (111)-hexagons, 18-hedron, 20-hedron, and up to 26-hedra bordered with (i) 6 (100)-octagons, 12 (110)-rectangles, and 8 (111)-hexagons, (ii) 6 (100)-squares, 12 (110)-rectangles, and 8 (111)-triangles, or (iii) 6 (100)-squares, 12 (110)-octagons, and 8 (100)-triangles. The analysis is valid for all compounds crystallizing in the cubic system and preferentially exposing the three enumerated faces.

  4. Towards the QCD phase diagram

    E-print Network

    Philippe de Forcrand; Owe Philipsen

    2006-11-22

    We summarize our recent results on the phase diagram of QCD with N_f=2+1 quark flavors, as a function of temperature T and quark chemical potential \\mu. Using staggered fermions, lattices with temporal extent N_t=4, and the exact RHMC algorithm, we first determine the critical line in the quark mass plane (m_{u,d},m_s) where the finite temperature transition at \\mu=0 is second order. We confirm that the physical point lies on the crossover side of this line. Our data are consistent with a tricritical point at (m_{u,d},m_s) = (0,\\sim 500) MeV. Then, using an imaginary chemical potential, we determine in which direction this second-order line moves as the chemical potential is turned on. Contrary to standard expectations, we find that the region of first-order transitions shrinks in the presence of a chemical potential, which is inconsistent with the presence of a QCD critical point at small chemical potential. The emphasis is put on clarifying the translation of our results from lattice to physical units, and on discussing the apparent contradiction of our findings with earlier lattice studies.

  5. The amplituhedron from momentum twistor diagrams

    NASA Astrophysics Data System (ADS)

    Bai, Yuntao; He, Song

    2015-02-01

    We propose a new diagrammatic formulation of the all-loop scattering amplitudes/Wilson loops in planar = 4 SYM, dubbed the "momentum-twistor diagrams". These are on-shell-diagrams obtained by gluing trivalent black and white vertices in momentum twistor space, which, in the reduced diagram case, are known to be related to diagrams in the original twistor space. The new diagrams are manifestly Yangian invariant, and they naturally represent factorization and forward-limit contributions in the all-loop BCFW recursion relations in momentum twistor space, in a fashion that is completely different from those in momentum space. We show how to construct and evaluate momentum-twistor diagrams, and how to use them to obtain tree-level amplitudes and loop-level integrands; in particular the latter involve isolated bubble-structures for loop variables arising from forward limits, or the entangled removal of particles. From each diagram, the generalized "boundary measurement" directly gives the C, D matrices, thus a cell in the amplituhedron associated with the amplitude, and we expect that our diagrammatic representations of the amplitude provide triangulations of the amplituhedron. To demonstrate the computational power of the formalism, we give explicit results for general two-loop integrands, and the cells of the amplituhedron for two-loop MHV amplitudes.

  6. Diffeq class

    NSDL National Science Digital Library

    David Joiner

    The Diffeq class is designed to solve for the solution of a system of first order differential equations x'(x,t) = f(x,t). Versions are provided in C++ and Java. Algorithms used include Euler's method, improved Euler's method, and the 4th order Runge Kutta method.

  7. Class Matters

    Microsoft Academic Search

    Erica J. Hashimoto

    2011-01-01

    Poor people constitute one of the most overrepresented categories of people in the criminal justice system. Why is that so? Unfortunately, we simply do not know, in large part because we have virtually no information that could provide an answer. As a result of that informational vacuum, policymakers either have ignored issues related to socioeconomic class, instead focusing on issues

  8. Project CLASS.

    ERIC Educational Resources Information Center

    McBain, Susan L.; And Others

    Project CLASS (Competency-Based Live-Ability Skills) uses a series of 60 modules to teach life survival skills to adults with low-level reading ability--especially Adult Basic Education/English as a Second Language students. Two versions of the modules have been developed: one for use with teacher-directed instruction and another for independent…

  9. Evaluating the Efficacy of an Animation to Enhance Understanding of First Motion Diagrams

    NASA Astrophysics Data System (ADS)

    Farmer, E. C.

    2011-12-01

    Having taught the interpretation of first motion diagrams (sometimes referred to as "beach ball diagrams" due to their appearance) in an Introduction to Physical Geology class over many semesters, I was frustrated with the hand-waving this effort entailed when describing static diagrams. I searched for a computer animation that would show how the initial ground motions in an earthquake correspond to the various shaded regions in each first motion diagram, but was not able to find such a pedagogical tool in existence. I decided to work with the staff of my University's Faculty Computing Services to create something that would serve this need. We designed and constructed an animation of strike-slip motions, which can be seen at http://people.hofstra.edu/alex_smiros/earthquake/grid_22march2011.swf. A still image of the animation appears in Figure 1. In order to see if utilizing this visualization enhanced student understanding of the difficult concepts involved in interpreting first motion diagrams, I compared scores on test questions involving first motion diagrams from two different semester iterations of the course: one was taught without utilizing the animation, and one was taught with utilization of the animation.

  10. Breviz: Visualizing Spreadsheets using Dataflow Diagrams

    E-print Network

    Hermans, Felienne; van Deursen, Arie

    2011-01-01

    Spreadsheets are used extensively in industry, often for business critical purposes. In previous work we have analyzed the information needs of spreadsheet professionals and addressed their need for support with the transition of a spreadsheet to a colleague with the generation of data flow diagrams. In this paper we describe the application of these data flow diagrams for the purpose of understanding a spreadsheet with three example cases. We furthermore suggest an additional application of the data flow diagrams: the assessment of the quality of the spreadsheet's design.

  11. A UML 2.0 Profile to Model Block Cipher Algorithms

    NASA Astrophysics Data System (ADS)

    Balderas-Contreras, Tomás; Rodriguez-Gomez, Gustavo; Cumplido, René

    Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical information. To achieve higher performance, the security algorithms are usually implemented as dedicated hardware functional units attached to the main processing units of the embedded communication system. To save hardware resources, the designer usually performs a number of manipulations in the cipher algorithm lying at the core of the confidentiality and integrity operations to implement a simplified version of it that is suitable to be efficiently used in an embedded environment. This paper describes an extension to UML 2.0 to model the structure of contemporary block cipher algorithms, with the ultimate goal of synthesizing representations in a hardware description language from these models according to a model-driven development principle. This automated process should alleviate design complexity and increase the productivity of the developer during experimentation with different design alternatives.

  12. UML for Validation: Experimenting Automatic Test Generation for Flight Software Validation

    NASA Astrophysics Data System (ADS)

    Hyounet, P.; Pouly, J.

    2009-05-01

    UML for validation is a CNES study that aims at prototyping and experimenting automatic test generation technologies in the context of a model- based approach applied to on-board software development and tests. Starting from real test cases and test procedures taken from a state-of-the-art onboard software, we first applied a reverse engineering methodology to obtain an augmented software specification model, i.e. ready to support automated test generation. In parallel, we defined and prototyped a test generation tool using innovative model-based technologies based on EMF (Eclipse Modeling Framework). Finally, a representative end-to-end experiment was performed to evaluate the benefit of such technologies .

  13. Multi-tier Internet Architecture with Java, UML and OOA &D

    NASA Astrophysics Data System (ADS)

    Chavez, J.

    The Space Infrared Telescope Facility (SIRTF) is the fourth and final element in NASA's family of ``Great Observatories'' and is set for a December 2001 launch. SIRTF will provide infrared imaging and spectroscopy in the 3 to 180-micron wavelength range. SIRTF will deploy an Internet Java application, the SIRTF Planning and Observation Tools (SPOT) to facilitate the proposal creation, editing and monitoring processes. Java will provide a development and runtime environment capable of supporting the diverse and globally dispersed astronomical community. The SPOT will provide a means of standardized input of observation parameters that can be integrated into the mission planning function using predefined workflow processes. The use of highly automated workflow processes will help keep the Development and Operations budgets within their current cost constraints. The Science Operations Application Server (SOAS) is being designed and developed to support the SPOT and Science Operations System (SOS). SOAS will provide integration of back end services such as database, astronomical catalogs, and estimation software and legacy software libraries. Development of this application server architecture required the design and development of an object communications architecture and software deployment mechanism. The object communications architecture makes use of the built in serialization capabilities of Java and the Hypertext Transport Protocol (HTTP) for implementation. The software deployment mechanism is designed to provide initial software installation and an automated update facility and is implemented using a Commercial Off The Shelf (COTS) software package. Enterprise Java Beans will be developed and deployed within the SOAS to satisfy requests to the DBMS for proposal processing. This presentation will also cover the synergy between the UML and Java. The SOAS development team will utilize OOA&D, the UML and Java to design, document and implement the SOAS.

  14. GRB Energetics and the GRB Hubble Diagram: Promises and Limitations

    E-print Network

    J. S. Bloom; D. A. Frail; S. R. Kulkarni

    2003-05-26

    We present a complete sample of 29 GRBs for which it has been possible to determine temporal breaks (or limits) from their afterglow light curves. We interpret these breaks within the framework of the uniform conical jet model, incorporating realistic estimates of the ambient density and propagating error estimates on the measured quantities. In agreement with our previous analysis of a smaller sample, the derived jet opening angles of those 16 bursts with redshifts result in a narrow clustering of geometrically-corrected gamma-ray energies about E_gamma = 1.33e51 erg; the burst-to-burst variance about this value is a factor of 2.2. Despite this rather small scatter, we demonstrate in a series of GRB Hubble diagrams, that the current sample cannot place meaningful constraints upon the fundamental parameters of the Universe. Indeed for GRBs to ever be useful in cosmographic measurements we argue the necessity of two directions. First, GRB Hubble diagrams should be based upon fundamental physical quantities such as energy, rather than empirically-derived and physically ill-understood distance indicators. Second, a more homogeneous set should be constructed by culling sub-classes from the larger sample. These sub-classes, though now first recognizable by deviant energies, ultimately must be identifiable by properties other than those directly related to energy. We identify a new sub-class of GRBs (``f-GRBs'') which appear both underluminous by factors of at least 10 and exhibit a rapid fading at early times. About 10-20% of observed long-duration bursts appear to be f-GRBs.

  15. ConcepTest: Relative Time Diagram #3

    NSDL National Science Digital Library

    Match the features in the relative time diagram below with the events described in the short sentence. Assume all rocks are sedimentary unless otherwise indicated. Which unit is composed of granite and older than ...

  16. A Phase Diagram for Solar Flares

    NASA Astrophysics Data System (ADS)

    Balasubramaniam, K. S.; Winter, Lisa; Pernak, Rick

    2015-04-01

    Using the data from the NOAA/GOES X-ray observations of ~50,000 flares, we develop a Phase Diagram for solar flares. Such a Solar Flare Phase Diagram helps to trace the underlying energy structure of solar flares, and provides a prediction framework. The temperature (maximum ratio of short (0.5 – 4 A) to long band (1-8 A) band) and background solar x-ray radiation (at 1-8 A band) forms the basis of the phase diagram. Using the phase diagram and relevant statistical analysis, we derive insights into the eruptive nature of flares during the solar-cycle ramp (ramp up to and ramp down from solar maximum) phases and peak phase of the solar cycle.

  17. Architecture flow diagrams under teamwork reg sign

    SciTech Connect

    Nicinski, T.

    1992-02-01

    The Teamwork CASE tool allows Data Flow Diagrams (DFDs) to be maintained for structured analysis. Fermilab has extended teamwork under UNIX{trademark} to permit Hatley and Pirbhai Architecture Flow Diagrams (AFDs) to be associated with DFDs and subsequently maintained. This extension, called TWKAFD, allows a user to open an AFD, graphically edit it, and replace it into a TWKAFD maintained library. Other aspects of Hatley and Pirbhai's methodology are supported. This paper presents a quick tutorial on Architecture Diagrams. It then describes the user's view of TWKAFD, the experience incorporating it into teamwork, and the successes with using the Architecture Diagram methodology along with the shortcomings of using the teamwork/TWKAFD tool. 8 refs.

  18. Sequential Influence Diagrams: A Unified Asymmetry Framework

    E-print Network

    Jensen, Finn V.; Nielsen, Thomas D.; Shenoy, Prakash P.

    2004-10-01

    We describe a new graphical language for specifying asymmetric decision problems. The language is based on a filtered merge of several existing languages including sequential valuation networks, asymmetric influence diagrams, ...

  19. An Improved Mnemonic Diagram for Thermodynamic Relationships.

    ERIC Educational Resources Information Center

    Rodriguez, Joaquin; Brainard, Alan J.

    1989-01-01

    Considers pressure, volume, entropy, temperature, Helmholtz free energy, Gibbs free energy, enthalpy, and internal energy. Suggests the mnemonic diagram is for use with simple systems that are defined as macroscopically homogeneous, isotropic, uncharged, and chemically inert. (MVL)

  20. Voronoi diagram generation on the ellipsoidal earth

    NASA Astrophysics Data System (ADS)

    Hu, Hai; Liu, XiaoHang; Hu, Peng

    2014-12-01

    Voronoi diagram on the earth surface is a powerful tool to study spatial proximity at continental or global scale. However, its computation remains challenging because geospatial features have complex shapes. This paper presents a raster-based algorithm to generate Voronoi diagrams on earth's surface. The algorithm approximates the exact point-to-point geographical distances using the cell-to-cell geographical distances calculated by a geographical distance transform. The result is a distance image on which Voronoi diagram is delineated. Compared to existing methods, the proposed algorithm calculates geographical distances based on an earth ellipsoid and allows Voronoi generators to take complex shapes. Most importantly, its approximation error is bounded thus enabling users to control the accuracy of the Voronoi diagram through grid resolution.