Sample records for uml class diagram

  1. 6. UML Class Diagrams 6-1 Part 6: UML Class Diagrams

    E-print Network

    Brass, Stefan

    6. UML Class Diagrams 6-1 Part 6: UML Class Diagrams References: · Grady Booch, James Rumbaugh Scott: UML Distilled, Second Edition. Addison-Wesley, 2000, ISBN 0-201-65783-X, 185 pages. · Terry Quatrani: Visual Modeling with Rational Rose 2000 and UML. Addison-Wesley, 2000, ISBN 0-201-69961-3, 256

  2. 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

  3. Agent UML Class Diagrams Revisited Marc-Philippe Huget

    E-print Network

    Atkinson, Katie

    Agent UML Class Diagrams Revisited Marc-Philippe Huget Agent ART Group University of Liverpool Agent UML in order to represent the interaction protocols [8] [2]. Agent UML is a graphical modeling language based on UML. As UML, Agent UML provides sev- eral types of representation covering

  4. Reasoning with UML Class Diagrams

    Microsoft Academic Search

    Andy S. Evans

    1998-01-01

    The Unified Modeling Language (UML) is likely to be- come an important industry standard language for mod- elling object-oriented systems. However, its use as a pre- cise analysis tool is limited due to a lack of precise seman- tics and practical analysis techniques. This paper proposes a rigorous analysis technique for UML based on the use of diagrammatical transformations. A

  5. An Integrated Semantics for UML Class, Object and State Diagrams

    E-print Network

    Gogolla, Martin - Fachbereich 3

    structural or behav- ioral aspects. From a fundamental point of view, class and state diagrams are the basic and state diagrams can be employed for describing the fundamental object behavior. Graph transformation are fundamental diagrams of the UML. In the following we shortly illustrate both diagram types. For further

  6. 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

  7. Andriyevska, Dragan, Simoes, Maletic VISSOFT05 Submission Evaluating UML Class Diagram Layout based on Architectural Importance

    E-print Network

    Maletic, Jonathan I.

    Andriyevska, Dragan, Simoes, Maletic VISSOFT05 Submission Evaluating UML Class Diagram Layout based}@cs.kent.edu Abstract The paper presents and assesses a layout scheme for UML class diagrams that takes into account and running of a user study is described. The results of the study supports the hypothesis that layout based

  8. The Effect of Layout on the Comprehension of UML Class Diagrams: A Controlled Experiment

    E-print Network

    Maletic, Jonathan I.

    The Effect of Layout on the Comprehension of UML Class Diagrams: A Controlled Experiment Bonita the effects of different layout strategies on the comprehension of UML class diagrams of two software systems, are used to assess the layouts. Each task consists of several questions aimed at measuring

  9. 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

  10. Supporting collaborative learning and problem-solving in a constraint-based CSCL environment for UML class diagrams

    Microsoft Academic Search

    Nilufar Baghaei; Antonija Mitrovic; Warwick Irwin

    2007-01-01

    We present COLLECT-UML, a constraint-based intelligent tutoring system (ITS) that teaches object-oriented analysis and design\\u000a using Unified Modelling Language (UML). UML is easily the most popular object-oriented modelling technology in current practice.\\u000a While teaching how to design UML class diagrams, COLLECT-UML also provides feedback on collaboration. Being one of constraint-based\\u000a tutors, COLLECT-UML represents the domain knowledge as a set of

  11. Integrating UML diagrams for production control systems

    Microsoft Academic Search

    Hans J. Khler; Ulrich Nickel; Jrg Niere; Albert Zndorf

    2000-01-01

    This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous production agents, which are used for the decentralization of production control systems. In order to generate a (Java) implementation of a production control system from

  12. Integrating Model Information in UML Sequence Diagrams

    Microsoft Academic Search

    Aliki Tsiolakis

    2001-01-01

    In a UML model, dierent aspects of a system are covered by dierent types of diagrams. Nevertheless, it is important to provide means to check the consistency and completeness of the UML model. This problem is addressed in this paper by integrating the information specified in class and statechart diagrams into se- quence diagrams. The representation as constraints attached to

  13. Are use case and class diagrams complementary in requirements analysis? An experimental study on use case and class diagrams in UML

    Microsoft Academic Search

    Keng Siau; Lihyunn Lee

    2004-01-01

    Despite the status of united modeling language (UML) as the de facto standard for object oriented modeling, it has received controversial reviews. The most controversial diagram in UML is the use case diagram. Some practitioners claim that use case diagrams are not valuable in requirements analysis and some have even argued that use case diagrams should not be part of

  14. Designing UML diagrams for technical documentation

    Microsoft Academic Search

    Neil MacKinnon; Steve Murphy

    2003-01-01

    This paper presents a framework for improving the presentation of Unified Modeling Language (UML) diagrams, as applied in technical documentation produced at the IBM Toronto Software Laboratory. UML diagrams are a key part of program design. They can enhance understanding of complex programming concepts, and assist in problem analysis and solution design. In turn, UML diagrams can add significant value

  15. Sematics of UML Sequence Diagrams in PVS

    Microsoft Academic Search

    Demissie B. Aredo

    In this paper, we present formal semantics of UML (Unified Modeling Language) sequence diagrams using the PVS (Prototype Ver- ification System) (8) as an underlying semantic foundation. We give a formal definition of a trace-based semantics (5) of UML sequence dia- grams; i.e. a sequence diagram is interpreted as a set of traces of events that may occur in the

  16. An ASM Semantics for UML Activity Diagrams

    Microsoft Academic Search

    Egon Brger; Alessandra Cavarra; Elvinia Riccobene

    2000-01-01

    . We provide a rigorous semantics for one of the central diagramtypes which are used in UML for the description of dynamicalsystem behavior, namely activity diagrams. We resolve for these diagramssome of the ambiguities which arise from dierent interpretationsof UML models. Since we phrase our denition in terms of Abstract StateMachines, we dene at the same time an interesting subclass

  17. Interactive Exploration of UML Sequence Diagrams

    Microsoft Academic Search

    Richard Sharp; Atanas Rountev

    2005-01-01

    Sequence diagrams are commonly used to represent ob- ject interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becoming widely available to more program- mers through modern commercial and research UML tools. However, due to their large size and inefficient spatial de- sign, such diagrams can easily become useless. We discuss the visual limitations of

  18. Language and Tool Support for Class and State Machine Refinement in UML-B

    E-print Network

    Southampton, University of

    Language and Tool Support for Class and State Machine Refinement in UML-B Mar Yah Said, Michael,mjb,cfs)@ecs.soton.ac.uk Abstract. UML-B is a 'UML-like' graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts

  19. A Monitoring Profile for UML Sequence Diagrams

    Microsoft Academic Search

    Kai Xu; Donglin Liang

    UML sequence diagrams are widely used during require- ments analysis and design for specifying the expected behaviors of a system. In this paper, we present a monitoring profile that extends se- quence diagrams to facilitate the comparison between the actual behav- iors and expected behaviors of a system. With the profile, the developers can precisely specify the runtime objects to

  20. Transformation of Web Service Specification Languages into UML Activity Diagrams

    E-print Network

    Hochreiter, Sepp

    1 Transformation of Web Service Specification Languages into UML Activity Diagrams Magisterarbeit to UML and vice versa. This work deals with the automated transformation of BPEL documents into UML named Marius has been developed. The mapping from BPEL to UML is specified in transformation definitions

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

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations Paul. In this paper we continue our work on the formalization and vali­ dation of UML models by means of graph for the statechart and collaboration diagrams. 1. Introduction The Unified Modeling Language (UML) has recently

  2. Towards a Formal Operational Semantics of UML Statechart Diagrams

    Microsoft Academic Search

    Diego Latella; Istvn Majzik; Mieke Massink

    1999-01-01

    Statechart Diagrams are a notation for describing behaviours in the frame work of UML, the Unied Modeling Language of objectoriented systems. UML is a semiformal language, with a precisely dened syntax and static semantics but with an only informally specied dynamic semantics. UML Statechart Diagrams differ from clas sical statecharts, as dened by Harel, for which formalizations and results are

  3. Specifying and Verifying UML Activity Diagrams via Graph Transformation ?

    E-print Network

    Baldan, Paolo

    Specifying and Verifying UML Activity Diagrams via Graph Transformation ? Paolo Baldan 1 , Andrea for system speci#12;cation and ver- i#12;cation based on UML diagrams and interpreted in terms of graphs The use of visual modeling techniques, like the UML [22], for the design and de- velopment of large

  4. Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets

    Microsoft Academic Search

    Tony Spiteri Staines

    2008-01-01

    This paper describes how UML 2 Activity diagrams can be intuitively translated into Petri net notations. The UML2 specification states that activities are based on Petri net semantics. The transformation of UML 2 Activity diagrams into Petri net semantics have been researched for various reasons. Translating UML activities into Petri nets creates new problems. The Petri net diagrams are (i)

  5. 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. This paper proposes an instrumented approach to integrate feature diagrams with UML models, via UML profiles and a Rational Software Architect plugin. The concrete contri- bution is the specification of a new UML profile

  6. Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures

    E-print Network

    Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures}@wit.tuwien.ac.at http://wit.tuwien.ac.at Abstract. The UML 2 Activity Diagram is designed for modelling business the UML 2 Activity Diagram with process goals and performance measures to make them conceptually visible

  7. Formal Verification of UML Diagrams: A First Step Towards Code Generation

    E-print Network

    Baclawski, Kenneth B.

    Formal Verification of UML Diagrams: A First Step Towards Code Generation Jeffrey Smith1. UML diagrams can be used for code generation. Such code should carry the meaning embedded in a diagram process and example. Keywords - UML specification, formalization and translation, formal methods. 1

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

    Microsoft Academic Search

    Aynur Abdurazik; A. Jefferson Offutt

    2000-01-01

    Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Tests are commonly generated from program source code, graphical models of software (such as control flow graphs), and specifications\\/requirements. UML collaboration diagrams represent a significant opportunity for testing because they precisely describe how the functions the software provides are connected in a

  9. The Formal Foundations in RSL for UML Statechart Diagrams Sun Meng, Zhang Naixiao

    E-print Network

    The Formal Foundations in RSL for UML Statechart Diagrams Sun Meng, Zhang Naixiao LMAM, School.O. Box 3058 bka@iist.unu.edu Abstract In this paper, we present a formalization for UML state- chart for integration of graphical UML statechart diagrams and formal RSL specifications, which forms the continuation

  10. Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML

    Microsoft Academic Search

    Gregor Engels; Jan Hendrik Hausmann; Reiko Heckel; Stefan Sauer

    2000-01-01

    In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system's dynamics by means of collaboration dia- grams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual

  11. Design of a UML prole for feature diagrams and its tooling implementation

    E-print Network

    Design of a UML prole for feature diagrams and its tooling implementation Thibaut Possomps1 approach to integrate feature diagrams with UML models to be used as part of a general ap- proach for designing software product lines and for product generation. The concrete contribution is a new UML prole

  12. From Activity Diagrams to Class Diagrams

    Microsoft Academic Search

    Joao Paulo Barros; Luis Gomes

    2000-01-01

    A translation from activity diagrams to class diagrams, with executable code, is presented. The translation is amenable to b e made with o r without automating tools. An illustrative a pplication example is also b riefly p resented: Activity diagrams are used in the modelling and implementation of graphical user interfaces, more precisely in the c ontroller part of the

  13. Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert

    Microsoft Academic Search

    Mass Soldal Lund; Ketil Stlen

    2006-01-01

    In this paper we define an algorithm for deriving tests from UML 2.0 sequence diagrams based on the operational se- mantics for sequence diagrams defined in (13). The algo- rithm is a modified and adapted version of the algorithm presented in (19, 20). This modified algorithm is based on the standard semantic model of sequence diagrams and al- lows diagrams

  14. 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

  15. Generating OCL Specifications and Class Diagrams from Use Cases: A Newtonian Approach

    Microsoft Academic Search

    Boris Roussev

    2003-01-01

    The universal adoption of UML for object-oriented modeling notwithstanding, a major impediment for UML 1.4 is the lack of seamless integration between the different models and the inadequate support for diagram interchange. In this paper we propose a process generating formal object-oriented specifications in OCL and class diagrams from the use case model of a system through a clearly defined

  16. minimUML: A minimalist approach to UML diagramming for early computer science education

    Microsoft Academic Search

    Scott A. Turner; Manuel A. Prez-quiones; Stephen H. Edwards

    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 educational use sometimes have poor interfaces or are

  17. 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

  18. Verifying Implementation of UML Sequence Diagrams Using Java PathFinder

    Microsoft Academic Search

    Dinh-Phuc Nguyen; Chung-Tuyen Luu; Anh-Hoang Truong; Norbert Radics

    2010-01-01

    The introduction of combined fragments to UML 2.x sequence diagrams makes it much harder for programmers to check manually the correctness of an implementation, especially when the fragments are nested. We develop an extension for Symbolic Java Path Finder (SPF) to verify if a Java program correctly implements its sequence diagram specification. Our main contribution is an algorithm to follow

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

    E-print Network

    Rountev, Atanas "Nasko"

    Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams Atanas Rountev Ohio to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed. In static analysis for such reverse engineering, an open question is how to represent the intraprocedural

  20. Analysing UML Active Classes and Associated State A Lightweight Formal Approach

    E-print Network

    Reggio, Gianna

    Analysing UML Active Classes and Associated State Machines ­ A Lightweight Formal Approach G University of Technology ­ Germany Abstract. We consider the problem of precisely defining UML active classes with an associated state chart. We are convinced that the first step to make UML precise is to find an underlying

  1. A Casl Formal Definition of UML Active Classes and Associated State Machines

    E-print Network

    Reggio, Gianna

    A Casl Formal Definition of UML Active Classes and Associated State Machines G. Reggio(1) -- E of Technology ­ Germany Abstract We consider the problem of precisely defining UML active classes with an associated state chart. We are convinced that the first step to make UML precise is to find an under­ lying

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

    E-print Network

    Gogolla, Martin - Fachbereich 3

    1 Modeling and Formally Checking Workflow Properties Using UML and OCL Jens Brüning 1 , Martin for workflows is described by using UML. The underlying UML class diagram is formally extended with OCL pre on the basis of a tool realizing parts of the UML action semantics. Prototypical process execution

  3. Design of a UML profile for feature diagrams and its tooling implementation Thibaut Possomp`es, Christophe Dony, Marianne Huchard, Chouki Tibermacine

    E-print Network

    Paris-Sud XI, Universit de

    Design of a UML profile for feature diagrams and its tooling implementation Thibaut Possomp diagrams with UML models to be used as part of a general approach for designing software product lines transformations to derive products. Our RSA implementation makes it possible to link feature diagrams with UML

  4. Extendable and modifiable operational semantics for UML 2.0 sequence diagrams

    Microsoft Academic Search

    Mass Soldal Lund; Ketil Stlen

    UML sequence diagrams is a specification language that has proved it- self to be of great value in system development. When put to applications such as simulation, testing and other kinds of automated analysis there is a need for formal semantics. Such methods of analysis are by nature operational, and this motivates formalizing an operational semantics. We present an operational

  5. Mappings for Accurately Reverse Engineering UML Class Models from C++ Andrew Sutton, Jonathan I. Maletic

    E-print Network

    Maletic, Jonathan I.

    Mappings for Accurately Reverse Engineering UML Class Models from C++ Andrew Sutton, Jonathan I}@cs.kent.edu Abstract The paper introduces a number of mapping rules for reverse engineering UML class models from C to reverse engineer a moderately sized open source, C++ application, and the resultant class model

  6. Formalize UML 2 Sequence Diagrams Department of Computer Science

    E-print Network

    Texas at San Antonio, University of

    , for the investment of constructing sequence diagrams, analysis of them remain largely limited to human inspection substantial proof to demonstrate that they perform reliably and safely. Formal analysis techniques may provide practitioners with the ability to build analysis tools. A sequence diagram describes an interaction between

  7. UML Diagrams to Object Petri Net Models: An Approach for Modeling and John Anil Saldhana and Sol M. Shatz

    E-print Network

    Shatz, Sol M.

    UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis John Anil Saldhana of the graphical notation enables automated processing and analysis tasks. Object Petri nets (OPN) can provide a formal semantic framework for the UML notations plus the behavioral modeling/ analysis strength needed

  8. Adapted UML Activity Diagrams for Mobile Work Processes: Experimental Comparison of Colour and Pattern Fills

    Microsoft Academic Search

    Sundar Gopalakrishnan; John Krogstie; Guttorm Sindre

    \\u000a For multi-channel information systems it is often relevant to model where something is supposed to take place, but business\\u000a process modelling notations seldom capture geographical location. In previous papers, we suggested and compared alternatives\\u000a for small modifications to UML Activity Diagrams to address this, and a controlled experiment indicated that an alternative\\u000a using colour performed better than one using annotations.

  9. Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

    E-print Network

    Paris-Sud XI, Universit de

    Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models Elena Planas1 , David with the integrity constraints defined in the class diagram (specified in UML) and returns a meaningful feedback, the OMG has recently published the first version of the "Foundational Subset for Executable UML Models" (fUML

  10. Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

    Microsoft Academic Search

    Gianna Reggio; Egidio Astesiano; Christine Choppy; Heinrich Humann

    2000-01-01

    . We consider the problem of precisely de#ning UML active classes withan associated state chart. We are convinced that the #rst step to make UMLprecise is to #nd an underlying formal model for the systems modelled by UML.We argue that labelled transition systems are a sensible choice; indeed they haveworked quite successfully for languages as Ada and Java. Moreover, we

  11. RBAC\\/MAC Security for UML

    Microsoft Academic Search

    T. Doan; S. Demurjian; T. C. Ting; C. Phillips

    In software construction, analysis investigates system requirements and design captures system functionality. To facilitate analysis and design, one popular technique is the unified modeling language, UML. In UML, there are use-case diagrams for the interaction of users with system components, class diagrams for the static classes\\u000a and relations among them, and sequence diagrams for the dynamic behavior of objects. However,

  12. Systematic Scenario-Based Analysis of UML Design Class models Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun

    E-print Network

    Ray, Indrakshi

    Systematic Scenario-Based Analysis of UML Design Class models Lijun Yu, Robert B. France, Indrakshi, sunwl}@cs.colostate.edu Abstract Scenario-based UML Design Analysis (SUDA) is a lightweight technique for analyzing behavior specified in UML design class models. A person (verifier) charged with verifying a design

  13. A Process Modeling Language Consisting of High Level UML-based Diagrams and Low Level Process Language

    Microsoft Academic Search

    Shih-chien Chou

    2002-01-01

    This article presents a process modeling language consisting of high level UML-based diagrams and a low level process language. The high level diagrams facilitate process program development, while the low level process language models processes as process programs. Between them is a mapping to further facilitate program development.

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

    E-print Network

    Shatz, Sol M.

    a net model serve as the engine that drives the simulation. In our framework, statechart diagramsMapping UML Diagrams to a Petri Net Notation for System Simulation Zhaoxia Hu and Sol M. Shatz Petri net notations. Simulation results are provided in form of self-defined trace files and Message

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

    E-print Network

    MASTER OF SCIENCE THESIS Integration of "UML-ised" Formal Techniques and Tools with RSL and the RSL attention is given to improve the integration of the two. In particular the Unified Modelling Language (UML much research interest. Many have focused on the formalisation of UML Class Diagrams with various

  16. 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.

  17. From UML to Alloy and Back Again Seyyed M.A. Shah, Kyriakos Anastasakis, and Behzad Bordbar

    E-print Network

    Bordbar, Behzad

    From UML to Alloy and Back Again Seyyed M.A. Shah, Kyriakos Anastasakis, and Behzad Bordbar School in the design domain. This paper presents a study involving UML2Alloy, a tool for transforming UML models in form of UML class diagrams which are augmented with OCL constraints, to Alloy. The conversion allows

  18. Semantic Web-based modeling of Clinical Pathways using the UML Activity Diagrams and OWL-S

    E-print Network

    Abidi, Syed Sibte Raza

    Semantic Web-based modeling of Clinical Pathways using the UML Activity Diagrams and OWL-S Ali, Canada {daniyal, sraza}@cs.dal.ca Abstract: Clinical Pathways can be viewed as workflows, comprising, analysis and execution of workflows in the Clinical Pathways. We present a semantic web-based approach

  19. UML class diagram syntax: an empirical study of comprehension

    E-print Network

    Purchase, H.C.

    Purchase,H.C. Colpoys,L. McGill,M. Carrington,D. Britton,C. Proceedings of the Australian Symposium on Information Visualisation, Eades, P. and Pattison, T. (eds) pp 113-120 Australian Computer Society

  20. Commutation classes of double wiring diagrams

    E-print Network

    Dukes, Patrick

    2010-01-01

    We describe a new method for computing the graph of commutation classes of double wiring diagrams. Using these methods we compute the graph for five strings or less which allows us to confirm a positivity conjecture of Fomin and Zelevinsky when n is less than five .

  1. Property Specification and Static Verification of UML Models Igor Siveroni, Andrea Zisman and George Spanoudakis

    E-print Network

    Weyde, Tillman

    Property Specification and Static Verification of UML Models Igor Siveroni, Andrea Zisman,a.zisman,gespan}@soi.city.ac.uk Abstract We present a Static Verification Tool (SVT), a system that performs static verification on UML models composed of UML class and state machine diagrams. Additionally, the SVT allows the user to add

  2. On Formalizing the UML Object Constraint Language OCL

    Microsoft Academic Search

    Mark Richters; Martin Gogolla

    1998-01-01

    We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) -- an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML class diagrams can be utilized for describing the overall structure, whereas additional integrity constraints and queries are specified with OCL expressions.

  3. A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams Tewfik Ziadi, Marcos Aurlio Almeida da Silva, Lom Messan Hillah, Mikal Ziane

    E-print Network

    Paris-Sud XI, Universit de

    A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams Tewfik Ziadi, Marcos, Mikal.Ziane@lip6.fr Abstract--The reverse engineering of behavioral models consists in extracting high for the reverse engineering of sequence diagrams from the analysis of execution traces produced dynamically

  4. A UML-Based Approach to System Testing

    Microsoft Academic Search

    Lionel C. Briand; Yvan Labiche

    2001-01-01

    System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented,\\u000a UML development, this means that system test requirements are derived from UML analysis artifacts such as use cases, their\\u000a corresponding sequence and collaboration diagrams, class diagrams, and possibly the use of the Object Constraint Language\\u000a across all these artifacts. Our goal is

  5. Formalize UML 2 Sequence Diagrams Hui Shen, Aliya Virani, and Jianwei Niu

    E-print Network

    Niu, Jianwei

    enable us to detect errors using analysis tools during the early stages of software development so as to improve the system quality. However, formal analysis techniques often require executable models software practitioners with the ability to build analysis tools. UML 2 adds some new struc- tured control

  6. 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

  7. Inclusion Diagrams for Classes of Deterministic Bottom-up

    E-print Network

    Reyle, Uwe

    Inclusion Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations A Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations Andreas Maletti Faculty bottom-up weighted tree transducers (for short: deterministic bu-w-tt). Essentially, deterministic bu

  8. vUML: A Tool for Verifying UML Models

    Microsoft Academic Search

    Johan Lilius; Ivan Porres Paltor

    1999-01-01

    The Unified Modelling Language (UML) is a standardised notation for describing object-oriented software designs. We present vUML, a tool that automatically verifies UML models. vUML verifies models where the behaviour of the objects is described using UML Statecharts diagrams. It supports concurrent and distributed models containing active objects and synchronous and asynchronous communication between objects. The tool uses the SPIN

  9. 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.

  10. 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

  11. 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.

  12. Model Checking Dynamic UML Consistency

    Microsoft Academic Search

    Xiangpeng Zhao; Quan Long; Zongyan Qiu

    2006-01-01

    Being the de facto industry standard of software modeling, UML is well accepted and extensively used. However, using different diagrams to model different aspects of a system brings the risk of inconsistency among diagrams. In this paper, we investigate an approach to check the consistency between the se- quence diagrams and statechart diagrams using the SPIN model checker. To deal

  13. MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation

    Microsoft Academic Search

    Jon Whittle; Praveen K. Jayaraman; Ahmed M. Elkhodary; Ana Moreira; Joo Arajo

    2009-01-01

    This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling (AOM) technique\\u000a that uses graph transformations to specify and compose aspects. Graph transformations provide a unified approach for aspect\\u000a modeling in that the methods presented here can be applied to any modeling language with a well-defined metamodel. This paper,\\u000a however, focuses on UML class diagrams, sequence

  14. Interface utilisateur du package pst-uml Maurice Diamantini

    E-print Network

    Mintmire, John W.

    Interface utilisateur du package pst-uml Maurice Diamantini (email : diam@ensta.fr) modif package 2 Les macros de cration d'objet 2 2.1 \\umlClass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 \\uml

  15. UML and Model Checking

    Microsoft Academic Search

    Francis L. Schneider

    UML use cases conceptually identrfy function points or major requirements that a software system must satisfy. Se- quence diagrams expand each use case to show in temporal sequence a more detailed notion of intended system behavior. The validation of sequence charts can first be examined with a model checker to determine if there are requirements violations. This process is particularly

  16. UML Reflections

    Microsoft Academic Search

    Franois Pennaneach; Jean-marc Jzquel; Jacques Malenfant; Gerson Suny

    2001-01-01

    The UML shares with reflective architectures the idea that self-denition of languages and systems is a key principle for building and maintaining complex systems. The UML is now dened by a four-layer metalevel structure, enabling a flexible and extensible denition of mod- els by metamodels, and even a self-description of the meta-metamodel (the MOF). This metalevel dimension of UML is

  17. 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".

  18. Preface to FP-UML 2009

    NASA Astrophysics Data System (ADS)

    Trujillo, Juan; Kim, Dae-Kyoo

    The Unified Modeling Language (UML) has been widely accepted as the standard object-oriented (OO) modeling language for modeling various aspects of software and information systems. The UML is an extensible language, in the sense that it provides mechanisms to introduce new elements for specific domains if necessary, such as web applications, database applications, business modeling, software development processes, data warehouses. Furthermore, the latest version of UML 2.0 got even bigger and more complicated with more diagrams for some good reasons. Although UML provides different diagrams for modeling different aspects of a software system, not all of them need to be applied in most cases. Therefore, heuristics, design guidelines, lessons learned from experiences are extremely important for the effective use of UML 2.0 and to avoid unnecessary complication. Also, approaches are needed to better manage UML 2.0 and its extensions so they do not become too complex too manage in the end.

  19. Formalising UML State Machines for Model Checking

    Microsoft Academic Search

    Ivan Paltor; Johan Lilius

    1999-01-01

    The paper discusses a complete formalisation of UML state machine semantics. This formalisation is given in terms of an operational\\u000a semantics and it can be used as the basis for code-generation, simulation and verification tools for UML Statecharts diagrams.\\u000a The formalisation is done in two steps. First, the structure of a UML state machine is translated into a term rewriting

  20. Empowering UML application design with task models

    Microsoft Academic Search

    Ha Minh Lam; Tanguy Wettengel; Huynh Trung Thong

    2011-01-01

    This paper describes a practical method to include task modelling into Unified Modeling Language-based (UML-based) software engineering. The reason for this undertaking is increasing awareness of the capability and handiness of task models to picture the functionalities of a system (as awaited by customers), but also the lack of expressive power of UML use case diagrams, when underspecified, to make

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

    E-print Network

    Comini, Marco

    A Framework for Computer Aided Consistency Verification of UML Models A. Baruzzo1 and M. Comini1. Abstract In a UML model, different aspects of a system are covered by different diagrams and this bears, at the same time, to avoid the weaknesses of other methods, either static or dynamic, which depend on non-UML

  2. Autonomic Management Policy Specification: from UML to DSML

    E-print Network

    Paris-Sud XI, Universit de

    Prelim inary Version Autonomic Management Policy Specification: from UML to DSML Benot Combemale to use. Therefore, we introduced UML diagrams for the modeling of deployment and management policies. However, we had to adapt/twist the UML semantics in order to meet our requirements, which led us to define

  3. 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)

  4. Hasse Diagrams for Classes of Deterministic Bottom-Up Tree-to-Tree-Series

    E-print Network

    Reyle, Uwe

    Hasse Diagrams for Classes of Deterministic Bottom-Up Tree-to-Tree-Series Transformations Andreas The relationship between classes of tree-to-tree-series and o-tree-to-tree-series trans- formations, which are computed by restricted deterministic bottom-up weighted tree transducers, is investigated. Essentially

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

    E-print Network

    Shatz, Sol M.

    for describing dynamic aspects of system behavior in the framework of UML. One line of research aims to give is concerned with one core component of UML statechart diagrams [OMG03]. Statechart diagrams are used

  6. Evaluation of a Class of Two-Scale Three-Loop Vacuum Diagrams

    E-print Network

    J. -M. Chung; B. K. Chung

    2002-03-15

    As a generalization of a previous work [Phys. Rev. D. {\\bf 59}, 105014 (1999)], we compute analytically a class of three-loop vacuum diagrams with two {\\em arbitrarily} different mass scales. We use a decomposition algorithm in which the integrand of the final integral for the third momentum vector, say, $k$, becomes independent of the angles of $k$-vector in spherical polar coordinates. This algorithm proves to be very efficient in obtaining exclusively all $\\e$-pole terms of the given diagram.

  7. 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

  8. The Expressive Power of UML-based Web Engineering1

    Microsoft Academic Search

    NORA KOCH; ANDREAS KRAUS

    2002-01-01

    this article we show the power of this approach. On the one hand, UWE prescribes how to buildnavigation and presentation models for Web applications defining therefore special UML stereotyped modelingelements and tagged values. On the other hand, we show how these Web specific navigation and presentationmodels can be supplemented by other views using the variety of UML diagram types and

  9. UML-Extensions for Quantitative Analysis? Konstantinos Kosmidis1 and Huszerl Gabor2

    E-print Network

    Fey, Dietmar

    UML-Extensions for Quantitative Analysis? Konstantinos Kosmidis1 and Huszerl Gabor2 1 University The Uni ed Modeling Language (UML) nds more and more applications. It is not only used for software), or Business Pro- cess Modeling). While the static diagrams of UML were changed marginal in the latest versions

  10. Quantitative Analysis of UML Models Florian Leitner-Fischer and Stefan Leue

    E-print Network

    Leue, Stefan

    Quantitative Analysis of UML Models Florian Leitner-Fischer and Stefan Leue florian level models, for instance given as UML diagrams. Our approach bridges this gap and improves the integration of quan- titative safety analysis methods into the development process. We propose a UML profile

  11. A rule-based method to match Software Patterns against UML Models

    E-print Network

    Comini, Marco

    A rule-based method to match Software Patterns against UML Models D. Ballisa A. Baruzzoa M. Cominia. Abstract In a UML model, different aspects of a system are covered by different types of diagrams instances of some variable schema of UML models (design patterns) they construct. This can help them both

  12. Calculation of a Class of Three-Loop Vacuum Diagrams with Two Different Mass Values

    E-print Network

    J. -M. Chung; B. K. Chung

    1999-04-23

    We calculate analytically a class of three-loop vacuum diagrams with two different mass values, one of which is one-third as large as the other, using the method of Chetyrkin, Misiak, and M\\"{u}nz in the dimensional regularization scheme. All pole terms in \\epsilon=4-D (D being the space-time dimensions in a dimensional regularization scheme) plus finite terms containing the logarithm of mass are kept in our calculation of each diagram. It is shown that three-loop effective potential calculated using three-loop integrals obtained in this paper agrees, in the large-N limit, with the overlap part of leading-order (in the large-N limit) calculation of Coleman, Jackiw, and Politzer [Phys. Rev. D {\\bf 10}, 2491 (1974)].

  13. 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

  14. 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

  15. 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

  16. Carleton University, TR SCE-06-06, Version 2 August 2006 Automated Traceability Analysis for UML Model

    E-print Network

    Carleton University

    Carleton University, TR SCE-06-06, Version 2 August 2006 1 Automated Traceability Analysis for UML}@sce.carleton.ca ABSTRACT During iterative, UML-based software development, various UML diagrams, modeling the same system analysis requires that some traceability links be established between model elements at the two levels

  17. A UML 2 Profile for Variability Models and their Dependency to Business Birgit Korherr and Beate List

    E-print Network

    A UML 2 Profile for Variability Models and their Dependency to Business Processes Birgit Korherr. To address this limitation, we provide a UML 2 profile for variability models. Further- more we show the dependency from the UML profile to ac- tivity diagrams to make the relationship between variability models

  18. REM4j -A framework for measuring the reverse engineering capability of UML Steven Kearney and James F. Power

    E-print Network

    Power, James

    REM4j - A framework for measuring the reverse engineering capability of UML CASE tools Steven. Kildare, Ireland. Abstract Reverse Engineering is becoming increasingly important in the software. Introduction Many UML CASE tools provide the ability to reverse engineer UML diagrams from source code

  19. ArchiTRIO: a UML-compatible language for architectural description and its formal

    E-print Network

    Pradella, Matteo

    ArchiTRIO: a UML-compatible language for architectural description and its formal semantics Matteo}@elet.polimi.it Abstract. ArchiTRIO [14] is a formal language, which complements UML 2.0 concepts with a formal, logic. As the core elements of ArchiTRIO coincide with those of UML 2.0 (operation, interface, port, class

  20. Checking the Validity of Scenarios in UML Models

    Microsoft Academic Search

    Holger Rasch; Heike Wehrheim

    2005-01-01

    In the UML, sequence diagrams are used to state scenarios, i.e., examples of interactions between objects. As such, sequence diagrams are being developed in the early design phases where requirements on the system are being captured. Their intuitively appealing character and conceptual simplicity makes them an ideal tool for formulating simple properties on a system, even for non-experts. Besides guiding

  1. Formalizing UML; Mission Impossible?

    Microsoft Academic Search

    Emde Boas van P

    Formalizing UML; Mission Impossible? Peter van Emde Boas Formalizing UML will lead to problems much larger than those encountered in formalizing ordinary computer related languages. These problems concern not primarily the syntax. In fact that part is most likely to be formalizable at all. Instead I expect major problems with specifying a semantics as long as its purpose is undecided.

  2. 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

  3. DEVS/UML A FRAMEWORK FOR SIMULATABLE UML MODELS

    E-print Network

    DEVS/UML ­ A FRAMEWORK FOR SIMULATABLE UML MODELS by Joseph Mooney A Thesis Presented in Partial Fulfillment of the Requirements for the Degree Master of Science ARIZONA STATE UNIVERSITY May 2008 #12;DEVS/UML ­ A FRAMEWORK FOR SIMULATABLE UML MODELS by Joseph Mooney has been approved March 2008 Graduate Supervisory

  4. Effects of Multi-class Driving Behavior on Fundamental Diagram in One-Dimensional Cellular Automata Traffic Simulation

    Microsoft Academic Search

    Shih-Ching Lo; Chia-Hung Hsu

    2008-01-01

    Complex traffic system seems to be simulated successfully by cellular automaton (CA) models. Various models are developed to understand single-lane traffic, multilane traffic, lane-changing behavior and network traffic situations. In this study, the fundamental diagram, which is the relationship among speed, density and flow, is simulated by CA under multi-class user traffic conditions. Acceleration rule, slow down possibility and maximal

  5. Real-Time UML

    Microsoft Academic Search

    Bruce Powel Douglass

    2002-01-01

    The UML (Unified Modeling Language) is a third-generation object-oriented modeling language recently accepted as a standard\\u000a by the OMG (Object Management Group). The OMG is an association of over 800 leading technology companies that have banded\\u000a together to promote standards in the object community. The UML standard draws on the last decade of intensive experience in\\u000a object modeling, discarding features

  6. Model-Driven Engineering of composite Web services using UML-S

    E-print Network

    Paris-Sud XI, Universit de

    Model-Driven Engineering of composite Web services using UML-S Christophe Dumez SeT laboratory stages of development, such as specification. Thus, an extension to UML 2.0, named UML-S, was introduced the nec- essary transformation rules between UML-S and low-level code to comply with MDE approach

  7. 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.

  8. Reduction of a Class of Three-Loop Vacuum Diagrams to Tetrahedron Topologies

    E-print Network

    J. -M. Chung; B. K. Chung

    2001-01-19

    We obtain finite parts (as well as $\\epsilon$-pole parts) of massive three-loop vacuum diagrams with three-point and/or four-point interaction vertices by reducing them to tetrahedron diagrams with both massive and massless lines, whose finite parts were given analytically in a recent paper by Broadhurst. In the procedure of reduction, the method of integration-by-parts recurrence relations is employed. We use our result to compute the $\\bar{\\rm MS}$ effective potential of the massive $\\phi^4$ theory.

  9. Monitoring with Behavior View Diagrams for Debugging

    Microsoft Academic Search

    Donglin Liang; Kai Xu

    2005-01-01

    UML sequence diagrams are widely used during require- ments analysis and design for specifying the expected mes- sage exchanges among a set of objects in various scenarios for the program to perform a certain task. In this paper, we present the behavior view diagrams, a type of extended se- quence diagrams, to facilitate execution monitoring durin g debugging. Using a

  10. Secure Systems Development with UML

    E-print Network

    Jurjens, Jan

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

  11. Critical Systems Development with UML

    E-print Network

    Jurjens, Jan

    Critical Systems Development with UML Jan Jürjens Software & Systems Engineering Informatics Munich: Critical Systems Development with UML 2 Critical Systems Development High quality development;Jan Jürjens, TU Munich: Critical Systems Development with UML 3 Quality vs. cost Systems on which

  12. 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

  13. Carroll Diagrams

    NSDL National Science Digital Library

    NRICH team

    2012-01-01

    In this number sorting activity students must use a Carroll Diagram to determine which two categories each number fits into. This activity can be completed in pairs or groups on printable versions or it can be completed as a whole class using the interactive white board (IWB). Included with this resource are printable versions of the Carroll Diagrams, guiding questions, extension and support suggestions, and a link to more challenging "More Carroll Diagrams".

  14. Adding Graph Transformation Concepts to UML's Constraint Language OCL

    Microsoft Academic Search

    Andy Schrr

    2001-01-01

    The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to UML as a logic-based sublanguage for the definition of class invariants and pre-\\/postconditions of operations. OCL is rather similar to a subset of the graph transformation language PROGRES, the so-called path expressions. These path expressions are used for similar

  15. Towards Automatic Translation of UML Models into Semantic Domains

    Microsoft Academic Search

    R. Heckel; G. Taentzer

    2002-01-01

    Abstract: The use of UML for software specication leads usually tolots of diagrams showing dierent aspects and components of the softwaresystem in several views. In order to support a view-oriented approachto system modeling, consistency in views and in between viewshas to be manageable. It is a reasonable approach to consistency managementwhenrst choosing a suitable semantic domain, provide a partialmapping into

  16. Rearchitecting the UML infrastructure

    Microsoft Academic Search

    Colin Atkinson; Thomas Khne

    2002-01-01

    Metamodeling is one of the core foundations of computer-automated multiparadigm modeling. However, there is currently little agreement about what form the required metamodeling approach should take and precisely what role metamodels should play. This article addresses the problem by first describing some fundamental problems in the industry's leading metamodeling technology, the UML framework, and then explaining how this framework could

  17. Code Generation from UML models 1

    Microsoft Academic Search

    kos Frohner; Zoltn Porkolb

    2000-01-01

    Abstract keywords: UML, code generation, component, metadata, aspect-oriented programming Creating a generic, object-oriented, component-based, transactional business system, which covers the whole lifecycle, is possible only with the integration of commercial tools, component technologies, newly developed class libraries and,by using code generators. Most of the recently used tools for development,techniques,are focusing,on only one of the layers of the model,from the code

  18. Graph Transformations on the UML Metamodel

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Graph Transformations on the UML Metamodel Martin Gogolla University of Bremen Computer Science Department Abstract The Uni#12;ed Modeling Language UML is a rich language so that it seems not feasible propose to translate as many UML language features as possible into UML itself. The part of UML which

  19. 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

  20. Real-time multispectral imaging system for online poultry fecal inspection using UML

    NASA Astrophysics Data System (ADS)

    Park, Bosoon; Kise, Michio; Lawrence, Kurt C.; Windham, William R.; Smith, Douglas P.; Thai, Chi N.

    2006-10-01

    A prototype real-time multispectral imaging system for fecal and ingesta contaminant detection on broiler carcasses has been developed. The prototype system includes a common aperture camera with three optical trim filters (517, 565 and 802-nm wavelength), which were selected by visible/NIR spectroscopy and validated by a hyperspectral imaging system with decision tree algorithm. The on-line testing results showed that the multispectral imaging technique can be used effectively for detecting feces (from duodenum, ceca, and colon) and ingesta on the surface of poultry carcasses with a processing speed of 140 birds per minute. This paper demonstrated both multispectral imaging hardware and real-time image processing software. For the software development, the Unified Modeling Language (UML) design approach was used for on-line application. The UML models included class, object, activity, sequence, and collaboration diagram. User interface model included seventeen inputs and six outputs. A window based real-time image processing software composed of eleven components, which represented class, architecture, and activity. Both hardware and software for a real-time fecal detection were tested at the pilot-scale poultry processing plant. The run-time of the software including online calibration was fast enough to inspect carcasses on-line with an industry requirement. Based on the preliminary test at the pilot-scale processing line, the system was able to acquire poultry images in real-time. According to the test results, the imaging system is reliable for the harsh environments and UML based image processing software is flexible and easy to be updated when additional parameters are needed for in-plant trials.

  1. Analysis of UML Stereotypes within the UML Metamodel

    E-print Network

    Gogolla, Martin - Fachbereich 3

    expressive exten- sion mechanism in the Uni#12;ed Modeling Language (UML). However, it seems that stereotypes, in particular, an understanding of OCL constraints. Stereotypes are often applied in a wrong or at least sloppy Introduction The Uni#12;ed Modeling Language or UML [OMG99,OMG01] allows for three extension mechanisms: tagged

  2. Representing social structures in UML

    Microsoft Academic Search

    H. Van Dyke Parunak; James Odell

    2001-01-01

    From a software engineering perspective, agent systems are a specialization of object-oriented (00) systems, in which individual objects have their own threads of control and their own goals. Engineering such systems is most naturally approached as an extensions of object-oriented systems engineering. In particular, the Unified Modeling Language (UML) can be naturally extended to Agent UML (AUML) [5] to support

  3. Testing and Debugging UML Models Based on fUML Tanja Mayerhofer

    E-print Network

    Testing and Debugging UML Models Based on fUML Tanja Mayerhofer Institute of Software Technology these shortcomings by proposing a novel model execution environment based on fUML, which enables to efficiently test and debug UML models. Keywords-model execution; model debugging; model testing; foundational UML; MDD I

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

    E-print Network

    Stepney, Susan

    Chapter 5 UML+Z: Augmenting UML with Z Nuno AM ´ALIO, Fiona POLACK, and Susan STEPNEY 5.1 Overview of UML + Z UML + Z is a framework for building, analysing and refining models of software systems based on the UML and the formal specification language Z. It is, in fact, an instance of an approach to build

  5. Executing UML Models Miguel Pinto Luz1

    E-print Network

    da Silva, Alberto Rodrigues

    Executing UML Models Miguel Pinto Luz1 , Alberto Rodrigues da Silva1 1 Instituto Superior Técnico overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments

  6. Test Synthesis from UML Models of Distributed Software

    Microsoft Academic Search

    Simon Pickin; Claude Jard; Thierry Jron; Jean-marc Jzquel; Yves Le Traon

    2007-01-01

    The object-oriented software development process is increasingly used for the construction of complex distributed systems. In this context, behavior models have long been recognized as the basis for systematic approaches to requirements capture, specification, design, simulation, code generation, testing, and verification. Two complementary approaches for modeling behavior have proven useful in practice: interaction-based modeling (e.g. UML sequence diagrams) and state-based

  7. System Test Synthesis from UML Models of Distributed Software

    E-print Network

    Paris-Sud XI, Universit de

    in a product-line context [2], since generic test objectives may be defined for an entire product line for the automatic synthesis of functional test cases from UML specifications is increasingly being felt in industry the main classes are identified, refining and adapting it to the final software product is an arduous

  8. A UML Profile for State Analysis

    NASA Technical Reports Server (NTRS)

    Murray, Alex; Rasmussen, Robert

    2010-01-01

    State Analysis is a systems engineering methodology for the specification and design of control systems, developed at the Jet Propulsion Laboratory. The methodology emphasizes an analysis of the system under control in terms of States and their properties and behaviors and their effects on each other, a clear separation of the control system from the controlled system, cognizance in the control system of the controlled system's State, goal-based control built on constraining the controlled system's States, and disciplined techniques for State discovery and characterization. State Analysis (SA) introduces two key diagram types: State Effects and Goal Network diagrams. The team at JPL developed a tool for performing State Analysis. The tool includes a drawing capability, backed by a database that supports the diagram types and the organization of the elements of the SA models. But the tool does not support the usual activities of software engineering and design - a disadvantage, since systems to which State Analysis can be applied tend to be very software-intensive. This motivated the work described in this paper: the development of a preliminary Unified Modeling Language (UML) profile for State Analysis. Having this profile would enable systems engineers to specify a system using the methods and graphical language of State Analysis, which is easily linked with a larger system model in SysML (Systems Modeling Language), while also giving software engineers engaged in implementing the specified control system immediate access to and use of the SA model, in the same language, UML, used for other software design. That is, a State Analysis profile would serve as a shared modeling bridge between system and software models for the behavior aspects of the system. This paper begins with an overview of State Analysis and its underpinnings, followed by an overview of the mapping of SA constructs to the UML metamodel. It then delves into the details of these mappings and the constraints associated with them. Finally, we give an example of the use of the profile for expressing an example SA model.

  9. Embedded UML: a merger of real-time UML and co-design

    Microsoft Academic Search

    Grant Martin; Luciano Lavagno; Jean Louis-Guerin

    2001-01-01

    In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concepts drawn from the Hardware-Software co-design field. Embedded UML first selects from among the competing real-time UML proposals, the set of ideas which best allow specification and analysis of mixed HW-SW systems.

  10. 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

  11. Generating Tests from UML Specifications

    Microsoft Academic Search

    A. Jefferson Offutt; Aynur Abdurazik

    1999-01-01

    . Although most industry testing of complex software is conductedat the system level, most formal research has focused on theunit level.Asaresult,mostsystemlevel testing techniques are only describedinformally. This paper presents a novel technique that adaptspre-de#ned state-based speci#cation test data generation criteria to generatetest cases from UML statecharts. UML statecharts provide a solidbasis for test generation in a form that can be

  12. 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, ...

  13. Getting value from UML tools Perdita Stevens

    E-print Network

    Stevens, Perdita

    Getting value from UML tools Perdita Stevens University of Edinburgh http. Slide 2 ¡£¢¥¤§¦©¨¥©¤§¤§"!$#&%'%)( 0$1£2436587@9BADC¥EGFGHPI"Q8QSR R #12;Plan UML tools state of the art UML tools in the development process XMI the technology Using XMI with UML And the effect will be

  14. Product Line Engineering with UML 1

    Microsoft Academic Search

    Tewfik Ziadi; Jean-Marc Jzquel; Frdric Fondement

    The Unified Modeling Language (UML) is a standard language for the object-oriented analysis and design. We propose in this paper an approach based on the UML that supports the Product Line Engineering. We provide a set of patterns for modeling variability issues of a Product Line Architecture, we define architectural constraints for Product Line expressed in UML as meta-level OCL

  15. Towards an incremental development of UML specifications

    E-print Network

    Paris-Sud XI, Universit de

    Towards an incremental development of UML specifications Boulbaba Ben Ammar1,2 , Mohamed Tahar is to instantiate this process when using UML/OCL notations. We illustrate it by some development steps of an access control system. At each step, decisions are formalized in terms of different UML notations, making evolve

  16. Formal Semantics for Interacting UML subsystems

    E-print Network

    Jurjens, Jan

    Formal Semantics for Interacting UML subsystems Jan J¨urjens Software & Systems Engineering of system design expensive, so not used. Jan J¨urjens, TU Munich: Formal Semantics for Interacting UML subsystems 1 #12;Unified Modeling Language Unified Modeling Language (UML) offers unprecedented opportunity

  17. Reactive Semantics for Distributed UML Activities

    E-print Network

    Paris-Sud XI, Universit de

    Reactive Semantics for Distributed UML Activities Frank Alexander Kraemer and Peter Herrmann {kraemer, herrmann}@item.ntnu.no Abstract. We define a reactive semantics for a subset of UML activities-to-completion steps for execution on the level of UML activities as so-called activity steps. We show that activities

  18. Validating UML Models and OCL Constraints

    Microsoft Academic Search

    Mark Richters; Martin Gogolla

    2000-01-01

    . The UML has been widely accepted as a standard for modelingsoftware systems and is supported by a great number of CASEtools. However, UML tools often provide only little support for validatingmodels early during the design stage. Also, there is generally nosubstantial support for constraints written in the Object Constraint Language(OCL). We present an approach for the validation of UML

  19. 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

  20. Capabilities of the UML Profile for Schedulability Performance and Time (SPT) Murray Woodside and Dorina Petriu

    E-print Network

    Petriu, Dorina

    , - processor resources indicated by the deployment diagram, - process thread resources (single and multipleCapabilities of the UML Profile for Schedulability Performance and Time (SPT) Murray Woodside capabilities that could be added to the next version. 1. The fundamental viewpoint of the SPT Profile

  1. On the evaluation of a certain class of Feynman diagrams in x-space: Sunrise-type topologies at any loop order

    SciTech Connect

    Groote, S. [Tartu Ulikooli Teoreetilise Fueuesika Instituut, Taehe 4, EE-51010 Tartu (Estonia); Institut fuer Physik der Johannes-Gutenberg-Universitaet, Staudinger Weg 7, D-55099 Mainz (Germany)], E-mail: groote@thep.physik.uni-mainz.de; Koerner, J.G. [Institut fuer Physik der Johannes-Gutenberg-Universitaet, Staudinger Weg 7, D-55099 Mainz (Germany); Pivovarov, A.A. [Institut fuer Physik der Johannes-Gutenberg-Universitaet, Staudinger Weg 7, D-55099 Mainz (Germany); Institute for Nuclear Research of the Russian Academy of Sciences, Moscow 117312 (Russian Federation)

    2007-10-15

    We review recently developed new powerful techniques to compute a class of Feynman diagrams at any loop order, known as sunrise-type diagrams. These sunrise-type topologies have many important applications in many different fields of physics and we believe it to be timely to discuss their evaluation from a unified point of view. The method is based on the analysis of the diagrams directly in configuration space which, in the case of the sunrise-type diagrams and diagrams related to them, leads to enormous simplifications as compared to the traditional evaluation of loops in momentum space. We present explicit formulae for their analytical evaluation for arbitrary mass configurations and arbitrary dimensions at any loop order. We discuss several limiting cases in their kinematical regimes which are e.g. relevant for applications in HQET and NRQCD. We completely solve the problem of renormalization using simple formulae for the counterterms within dimensional regularization. An important application is the computation of the multi-particle phase space in D-dimensional space-time which we discuss. We present some examples of their numerical evaluation in the general case of D-dimensional space-time as well as in integer dimensions D = D{sub 0} for different values of dimensions including the most important practical cases D{sub 0} = 2, 3, 4. Substantial simplifications occur for odd integer space-time dimensions where the final results can be expressed in closed form through elementary functions. We discuss the use of recurrence relations naturally emerging in configuration space for the calculation of special series of integrals of the sunrise topology. We finally report on results for the computation of an extension of the basic sunrise topology, namely the spectacle topology and the topology where an irreducible loop is added.

  2. 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,volgin,reddoch}@cis.ohio-state.edu ABSTRACT Reverse engineering of UML sequence diagrams plays an im- portant role in iterative development and in software main- tenance. In static analysis for such reverse engineering, an open question is how to map

  3. Describing Software Architecture with UML

    Microsoft Academic Search

    Christine Hofmeister; Robert L. Nord; Dilip Soni

    1999-01-01

    This paper describes our experience using UML, the Unified Modeling Lan- guage, to describe the software architecture of a system. We found that it works well for communicating the static structure of the architecture: the elements of the architecture, their relations, and the variability of a structure. These static properties are much more readily described with it than the dynamic

  4. Web Service Composition in UML

    Microsoft Academic Search

    David Skogan; Roy Grnmo; Ida Solheim

    2004-01-01

    As the number of available web services is steadily increasing, there is a growing interest for reusing basic web services in new, composite web services. Several organizations have proposed composition languages (BPML, BPMN, BPEL4WS, BPSS, WSCI), but no winner has been declared so far. This paper proposes a method that uses UML Activity models to design web service compositions, and

  5. UML-Based integration testing

    Microsoft Academic Search

    Jean Hartmann; Claudio Imoberdorf; Michael Meisinger

    2000-01-01

    Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their distributed, component-based applications. At the same time, it is n ecessary to test these components, especially during unit and integration testing. At Siemens Corporate Research, we have addressed the issue of testing components

  6. Semantik der UML 2.0 Semantik der UML WS04/05 1 20. Juli 2004

    E-print Network

    Cengarle, María Victoria

    Semantik der UML 2.0 Semantik der UML WS04/05 1 20. Juli 2004 #12;What is UML The Unified Model lifecycle, and across different implementation technologies. Semantik der UML WS04/05 2 20. Juli 2004 #12, · communicate with stakeholders, · drive the implementation. Semantik der UML WS04/05 3 20. Juli 2004 #12

  7. Gnie logiciel 2. UML : Unified Modeling

    E-print Network

    Mille, Julien

    26/09/2013 1 Génie logiciel 2. UML : Unified Modeling Language MIF17 : semestre d'automne 2013://liris.cnrs.fr/yannick.prie/ens/11-12/MIF17 ­ Cours en ligne de Laurent Audibert http://laurent-audibert.developpez.com/Cours- UML/html/index.html 2 Bibliographie 3 ­ UML 2 Synthèse de cours et exercices corrigés B. Charroux, A. Osmani, Y

  8. Representing Social Structures in UML

    Microsoft Academic Search

    H. Van Dyke Parunak; James J. Odell

    From a software engineering perspective, agent systems are a spe-cialization of object-oriented (OO) systems, in which individual\\u000a objects have their own threads of control and their own goals or sense of purpose. Engineer-ing such systems is most naturally\\u000a approached as an extension of object-oriented systems engineering. In particular, the Unified Modeling Language (UML) can\\u000a be naturally extended to support the

  9. Automatic Test Data Synthesis using UML Sequence Diagrams

    Microsoft Academic Search

    Ashalatha Nayak; Debasis Samanta

    2010-01-01

    Model based testing techniques are used to generate test scenarios from a behavioral description of system under tests. For a large and complex system, there are usually a large number of scenarios and hence a large number of test paths also called test speciflcations. To automate test execution, each test speciflcation should be aug- mented with appropriate test input data.

  10. UML Collaboration diagram syntax: an empirical study of comprehension

    E-print Network

    Purchase, H.C.

    Purchase,H.C. Colpoys,L. McGill,M. Carrington,D. Proceedings of the First International Workshop of Visualizing Software for Understanding and Analysis, Knight,C.,Storey,M.A.,Munro,M.(eds). pp 13-22 IEEE

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

    E-print Network

    Offutt, Jeff

    , Thailand supaporn.k@psu.ac.th Jeff Offutt, Aynur Abdurazik, Andrea Baldini Software Engineering George Mason University Fairfax, VA 22030, USA {offutt, aabduraz,baldini}@gmu.edu Abstract This paper presents

  12. Teaching Object-Oriented Modelling Using UML

    NASA Astrophysics Data System (ADS)

    Boberi?-Krsti?ev, Danijela; Teendi?, 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.

  13. Automatic Debugging Support for UML Designs

    Microsoft Academic Search

    Johann Schumann

    2000-01-01

    Design of large software systems requires rigorous application of software engineering methods covering all phases of the software pro- cess. Debugging during the early design phases is extremely impor- tant, 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

  14. Towards a UML Extension for Hypermedia Design

    Microsoft Academic Search

    Hubert Baumeister; Nora Koch; Luis Mandel

    1999-01-01

    The acceptance of UML as a de facto standard for the de- sign of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for UML extensions to model hy- permedia applications running on the Internet. In this paper we propose such an extension for modeling the navigation and the user interfaces of hypermedia

  15. 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

  16. 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.

  17. 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.

  18. 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

  19. UML for ABM Hugues Bersini

    E-print Network

    Steels, Luc

    State-transition diagram 17 David Harel Creator of State Diagrams and IBM Rhapsody #12;#12;#12;From the diagram to XMI id="U2d38031e-88c0-4487-a358-10033319382f" xmi:uuid="2d38031e-88c0-4487-a358-10033319382f" name="running"> id="U9975393a-c217

  20. Developer documentation of the SOFA 2 UML Lukas Hermann

    E-print Network

    Developer documentation of the SOFA 2 UML Lukas Hermann July 19, 2011 #12;Contents 1 Introduction 2 2 SOFA 2 UML Mapping 3 2.1 Content of plug-ins . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Extension points . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 SOFA 2 UML Preparation 5 4 SOFA 2 UML

  1. Running and Debugging UML Models Miguel Pinto Luz

    E-print Network

    da Silva, Alberto Rodrigues

    Running and Debugging UML Models Miguel Pinto Luz IST / INESC, Lisboa, Portugal miguelluz overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments

  2. On Translating UML Models into Graph Transformation Systems

    E-print Network

    Gogolla, Martin - Fachbereich 3

    On Translating UML Models into Graph Transformation Systems Karsten H¨olscher a,1 Paul Ziemann a,2 subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph transformation system comprises

  3. SOFTWARE DEVELOPMENT GUIDED BY MODELS The XIS UML Profile

    E-print Network

    da Silva, Alberto Rodrigues

    1 SOFTWARE DEVELOPMENT GUIDED BY MODELS The XIS UML Profile Miguel Luz, Alberto Rodrigues da Silva@netcabo.pt, alberto.silva@acm.org Keywords: UML, XML/XMI, UML profile, Computer software models, Generative code Abstract: The UML is used to detail high level software specifications that will be interpolated for XMI

  4. Category Theoretic Approaches of Representing Precise UML Semantics

    E-print Network

    Deloach, Scott A.

    Category Theoretic Approaches of Representing Precise UML Semantics Jeffrey Smith1 , Scott DeLoach2 Institute of Technology 1 Introduction There have been a number of formal approaches for specifying UML for the community defining precise UML semantics to consider category theoretic approaches for representing UML

  5. An Algebraic Semantics of UML Supporting its Multiview Approach

    E-print Network

    Reggio, Gianna

    An Algebraic Semantics of UML Supporting its Multiview Approach G. Reggio -- M. Cerioli -- E of the UML. Contrary to most cases, this task is far from trivial. Indeed, the UML notation is complex­ biguous, not only because it uses the natural language, but also because the UML allows the so called

  6. Detecting OCL Traps in the UML 2.0 Superstructure

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Detecting OCL Traps in the UML 2.0 Superstructure An Experience Report Hanna Bauerdick, Martin://www.db.informatik.uni-bremen.de Abstract. Currently, the OMG is developing a new version of the Uni- #12;ed Modeling Language (UML), UML 2.0, which involves major innova- tions in its metamodel. As for previous versions of the UML, the Object

  7. UML Semantics FAQ Stuart Kent, Andy Evans, and Bernhard Rumpe

    E-print Network

    Wieringa, Roel

    UML Semantics FAQ Stuart Kent, Andy Evans, and Bernhard Rumpe pUML@york.cs.ac.uk WWW home page for the Unified Modelling Lan- guage. Questions examined the meaning of the term semantics in the context of UML semantics; and some of the outstanding problems for defining a semantics for all of UML. Introduction

  8. Product line annotations with UML-F Wolfgang Pree1)

    E-print Network

    Fontoura, Marcus F.

    1 Product line annotations with UML-F Wolfgang Pree1) , Marcus Fontoura2) , Bernhard Rumpe3) 1, CA 3) Munich University of Technology, Germany e-mail: { pree, mfontoura, rumpe}@acm.org www.UML-F.net Key words: product line, Unified Modeling Language (UML), UML profiles, design patterns Abstract

  9. Model Checking for an Executable Subset of UML Vladimir Levin

    E-print Network

    Xie, Fei

    Model Checking for an Executable Subset of UML Fei Xie½ Vladimir Levin¾ James C. Browne@research.bell-labs.com Abstract This paper presents an approach to model checking soft- ware system designs specified in xUML [3, 9], an exe- cutable subset of UML. This approach is enabled by the execution semantics of xUML

  10. VLFM 2004 Preliminary Version On Translating UML Models into

    E-print Network

    Gogolla, Martin - Fachbereich 3

    VLFM 2004 Preliminary Version On Translating UML Models into Graph Transformation Systems Karsten H seman­ tics for a fundamental subset of UML. This semantics is derived by translating a given UML model into a graph transformation system, allowing modelers to actually execute their UML model. The graph

  11. Design for Virtual Engineering Structural Experimental System Based on UML

    Microsoft Academic Search

    Zhang Rui; Zhao Zhe

    2010-01-01

    Targeting at Civil Engineering teaching situation in China, we design Virtual Engineering Structural Experimental System using virtual technology. Based on object-oriented development process, we put up the general system frame. We complete function analysis and use case model. We work out the detailed use case description by activity diagram, and system design by class diagram. We finish all above work

  12. 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 with UML, Addison-Wesley Pierre-Alain Muller, Instant UML Objectives Students will obtain a significant exposure to the UML technology. This will include exposure to modeling, model-driven development

  13. A real-time profile for UML

    Microsoft Academic Search

    Susanne Graf; Ileana Ober; Iulian Ober

    2006-01-01

    This paper describes an approach for real-time modelling in UML, focusing on analysis and verification of time and schedul- ing related properties. To this aim a concrete UML profile, called the OMEGA-RT profile, is defined, dedicated to real-time modelling by identifying a set of relevant concepts for real-time modelling which can be considered as a refinement of the standard SPT

  14. Motion to Support Rapid Interactive Queries on Node-Link Diagrams

    E-print Network

    New Hampshire, University of

    Descriptors: H1.2 [Models and Principles]: User/Machine Systems Human information processing; Human Factors (UML) diagrams. Such diagrams are used for software management, networks analysis and management glasses that alternately block each eye's view. When synchronized with the refresh of the computer monitor

  15. Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

    Microsoft Academic Search

    Dorina C. Petriu; Hui Shen

    2002-01-01

    The Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these characteristics. The paper pro- poses a graph-grammar based method for transforming automatically a UML model annotated with performance information into a Layered Queueing Network (LQN) performance model. The

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

    Microsoft Academic Search

    Torsten Lodderstedt; David A. Basin; Jrgen 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

  17. MULTI-TERMINAL BINARY DECISION DIAGRAMS AND

    E-print Network

    Clarke, Edmund M.

    . Bryant and Chen have proposed binary moment diagrams (BMDs) for rep- resenting the class of functions with several hundred variables. Recently, Bryant and Chen [5] have proposed binary moment diagrams (BMDs

  18. 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.

  19. GUIDE: Games with UML for Interactive Design Exploration

    E-print Network

    Stevens, Perdita

    GUIDE: Games with UML for Interactive Design Exploration Jennifer Tenzer Perdita Stevens Laboratory present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing tool GUIDE (Games with UML for Interactive Design Exploration) [10] aims at filling this gap

  20. FORMALLY MODELING UML AND ITS EVOLUTION: A HOLISTIC APPROACH

    E-print Network

    FORMALLY MODELING UML AND ITS EVOLUTION: A HOLISTIC APPROACH Ambrosio Toval #19; Alvarez Software importance with the appearance of the UML (Uni#12;ed Modeling Language). In this paper, a holistic proposal to formally support the evolution of the UML metamodel is presented. To attain this aim, an algebraic

  1. Code generation from UML Models with semantic variation points

    E-print Network

    Paris-Sud XI, Universit de

    Code generation from UML Models with semantic variation points Franck Chauvel and Jean-Marc Jezequel (VALORIA, INRIA & Universite Rennes 1) July 4, 2005 Abstract UML semantic variation points provide variation points is that UML now becomes a family of languages sharing lot of commonalities and some

  2. UML Reflections Francois Pennaneac'h, Jean-Marc Jezequel,

    E-print Network

    Paris-Sud XI, Universit de

    UML Reflections Francois Pennaneac'h, Jean-Marc Jezequel, Jacques Malenfant, and Gerson Suny,jezequel,malenfant,sunye@irisa.fr Abstract The UML shares with reflective architectures the idea that self-definition of languages and systems is a key principle for building and maintaining complex systems. The UML is now defined by a four

  3. Aspectual Templates in UML Gilles Vanwormhoudt1,2

    E-print Network

    Paris-Sud XI, Universit de

    Aspectual Templates in UML Gilles Vanwormhoudt1,2 , Olivier Caron1 , and Bernard Carre1 1 LIFL.Vanwormhoudt, Olivier.Caron, Bernard.Carre, }@lifl.fr 16 april 2013 Abstract UML Templates allow to capture models whose be constrained to form a full model structure. After recall of UML templates and their metamodel, we present

  4. EMBEDDED SYSTEM DESIGN USING UML AND , Marco Sgroi+

    E-print Network

    Sangiovanni-Vincentelli, Alberto

    Chapter # EMBEDDED SYSTEM DESIGN USING UML AND PLATFORMS Rong Chen+ , Marco Sgroi+ , Luciano) the use of highly programmable platforms, and b) the use of the Unified Modeling Language (UML, their combination magnifies the effective gains in productivity and implementation. This paper defines a UML profile

  5. A UML statecharts semantics with message-passing

    E-print Network

    Jurjens, Jan

    A UML statecharts semantics with message-passing Jan J¨urjens Software & Systems Engineering not used. Jan J¨urjens, TU Munich: UML statecharts semantics with message-passing 1 #12;Unified Modeling Language Unified Modeling Language (UML) offers unprecedented opportunity for high-quality critical systems

  6. UML AND PLATFORM-BASED DESIGN , Marco Sgroi1

    E-print Network

    Sangiovanni-Vincentelli, Alberto

    1 Chapter 5 UML AND PLATFORM-BASED DESIGN Rong Chen1 , Marco Sgroi1 , Luciano Lavagno2 , Grant Design Systems Abstract: This chapter presents a specification technique based on UML for the design that is based on platform-based design principles. Key words: platform-based design, embedded system design, UML

  7. Towards Using UML 2 for Modelling Web Service Collaboration Protocols

    E-print Network

    Hochreiter, Sepp

    Towards Using UML 2 for Modelling Web Service Collaboration Protocols Gerhard Kramler1 , Elisabeth such as ebXML and BPEL. This paper describes a UML-based approach for platform independent modelling web. There is a UML profile for BPEL [6] addressing problem (1). WS-CDL complements BPEL by addressing problem (2

  8. Formal Description of the UML Architecture and Extendibility

    E-print Network

    Wang, Yingxu

    Formal Description of the UML Architecture and Extendibility Yingxu Wang Dept. of Electrical.Wang@acm.org ABSTRACT: Since its emergence in 1995, the Unified Modeling Language (UML) has become part a formal description of UML technologies for visualized specification and modeling of software systems

  9. A UML profile to support requirements engineering with KAOS

    E-print Network

    Finkelstein, Anthony

    A UML profile to support requirements engineering with KAOS William Heaven and Anthony Finkelstein in the UML. The paper includes an informal presentation of the profile together with a full account design models in the UML, leading to a uniform and comprehensive specification document. 1 Introduction 1

  10. UML-Based Testing of Roaming with Bluetooth Devices

    E-print Network

    Grabowski, Jens

    UML-Based Testing of Roaming with Bluetooth Devices Zhen Ru Dai Institute for Telematics University 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

  11. Software Specification and Testing Using UML and OCL

    E-print Network

    Peters, Dennis

    Software Specification and Testing Using UML and OCL Jonathan Milley Faculty of Engineering oriented software. With the advent of the Object Constraint Language UML allows not only description the testing phase. I. INTRODUCTION The Unified Modeling Language (UML) [2] is a standardized way to represent

  12. Curriculum Vitae Charles Byrne (Charles Byrne@uml.edu)

    E-print Network

    Byrne, Charles

    Curriculum Vitae Charles Byrne (Charles Byrne@uml.edu) Department of Mathematical Sciences 1987 to 1990 I was the department chairman. I retired from UML in May, 2014. Throughout most and abstracts of talks given at conferences. Many of the publications listed here are available at http://faculty.uml

  13. An Application of Agent UML to Supply Chain Management

    E-print Network

    Atkinson, Katie

    An Application of Agent UML to Supply Chain Management Marc-Philippe Huget Agent ART Group University of Liverpool Liverpool L69 7ZF United Kingdom M.P.Huget@csc.liv.ac.uk Abstract. Agent UML, it is not applied to real-world applications. The aim of our project is to apply Agent UML to the Supply Chain

  14. Static Verification of UML Model Consistency A. Baruzzo1

    E-print Network

    Comini, Marco

    Static Verification of UML Model Consistency A. Baruzzo1 and M. Comini1 Dipartimento di Matematica e Informatica (DIMI), University of Udine, Via delle Scienze 206, 33100 Udine, Italy. Abstract UML.0 UML has achieved a more precise formal semantics. The same happened to OCL, a specifi- cation language

  15. Conformance Testing from UML Specifications Experience Report1

    E-print Network

    Paris-Sud XI, Universit de

    Conformance Testing from UML Specifications Experience Report1 Lydie du Bousquet Hugues Martin Jean dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool to specify an application in UML and derive automatically some test cases. In this article, the integration

  16. Category Theoretic Approaches of Representing Precise UML Semantics

    Microsoft Academic Search

    Jeffrey Smith; Scott DeLoach; Mieczyslaw Kokar; Ken Baclawski

    There have been a number of formal approaches for specifying UML semantics [2-4, 8-11]. Unlike these approaches, the purpose of this position paper is to present a case for the community defining precise UML semantics to consider category theoretic approaches for representing UML semantics based on the authors actual experiences. Category theory has been gaining popularity for formal approaches in

  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. UMLS Concept Indexing for Production Databases

    PubMed Central

    Nadkarni, Prakash; Chen, Roland; Brandt, Cynthia

    2001-01-01

    Objectives: To explore the feasibility of using the National Library of Medicine's Unified Medical Language System (UMLS) Metathesaurus as the basis for a computational strategy to identify concepts in medical narrative text preparatory to indexing. To quantitatively evaluate this strategy in terms of true positives, false positives (spuriously identified concepts) and false negatives (concepts missed by the identification process). Methods: Using the 1999 UMLS Metathesaurus, the authors processed a training set of 100 documents (50 discharge summaries, 50 surgical notes) with a concept-identification program, whose output was manually analyzed. They flagged concepts that were erroneously identified and added new concepts that were not identified by the program, recording the reason for failure in such cases. After several refinements to both their algorithm and the UMLS subset on which it operated, they deployed the program on a test set of 24 documents (12 of each kind). Results: Of 8,745 matches in the training set, 7,227 (82.6 percent ) were true positives, whereas of 1,701 matches in the test set, 1,298 (76.3 percent) were true positives. Matches other than true positive indicated potential problems in production-mode concept indexing. Examples of causes of problems were redundant concepts in the UMLS, homonyms, acronyms, abbreviations and elisions, concepts that were missing from the UMLS, proper names, and spelling errors. Conclusions: The error rate was too high for concept indexing to be the only production-mode means of preprocessing medical narrative. Considerable curation needs to be performed to define a UMLS subset that is suitable for concept matching. PMID:11141514

  19. Definition von UML mit UML und OCL: Uberblick zum Stand der Technik

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Hussmann, Shu saku Iida, Stuart Kent, Alain Le Guennec, Tom Mens, Richard Mitchell, Oliver Radfelder] Martin Gogolla and Mark Richters. On Constraints and Queries in UML. In Martin Schader and Axel Korthaus

  20. Core Meta-Modelling Semantics of UML: The pUML Approach

    Microsoft Academic Search

    Andy Evans; Stuart Kent

    1999-01-01

    The current UML semantics documentation has made a significant step towards providing a precise description of the UML. However,\\u000a at present the semantic model it proposes only provides a description of the languages syntax and well-formedness rules.\\u000a The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation\\u000a for developing formal

  1. A Radical Reduction of UML's Core Semantics

    Microsoft Academic Search

    Friedrich Steimann; Thomas Khne

    2002-01-01

    UML's current core semantics suffers both from excessive com- plexity and from being overly general. Resultant is a language definition that is difficult to master and to repair. This is the more disturbing as the current core and its extensions do very little to integrate statics and dynamics, even though the inseparability of these is a property of software from

  2. Secure Java Development with UML Jan Jurjens

    E-print Network

    Jurjens, Jan

    Secure Java Development with UML Jan J¨urjens Software & Systems Engineering, Informatics, TU #12;Motivation Security increasingly important, but difficult to achieve ­ and developers often lack background in security. Can't use security mechanisms "blindly": Security compromised most often

  3. 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.

  4. Cloud Diagram

    NSDL National Science Digital Library

    This interactive diagram shows the various types of clouds and the relative altitudes at which they occur. Users can roll their mice over each cloud type and see a photo and a brief written description of each type.

  5. Verification of UML models by translation to Colin Snook, Vitaly Savicks and Michael Butler

    E-print Network

    Southampton, University of

    Verification of UML models by translation to UML-B Colin Snook, Vitaly Savicks and Michael Butler University of Southampton Abstract. UML-B is a `UML like' notation based on the Event-B for- malism which and to satisfy safety invariants using the Rodin platform and its automatic proof tools. UML, on the other hand

  6. Designing Procedural 4GL Applications through UML Modeling

    Microsoft Academic Search

    Shiri Davidson; Mila Keren; Sara Porat; Gabi Zodik

    2001-01-01

    This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different models, the object-oriented UML design model and the VG programming model, which use a procedural high-level 4GL. We introduce a prototype tool named VG UML Modeler which is implemented as a Rational Rose Language Add-in for

  7. Model-Based Security Engineering with UML

    Microsoft Academic Search

    Jan Jrjens

    2004-01-01

    Developing security-critical systems is dicult and there are many well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting secure systems development is urgently needed. Our aim is to aid the dicult task of developing security-critical systems in a formally based approach using the notation of the Unied Modeling Language. We present the extension UMLsec of UML

  8. 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.

  9. 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.

  10. 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

  11. Planning an Experimen to nU se rP erformanc ef or Exploration of Diagram sD isplayed in 2 Dimensions

    Microsoft Academic Search

    Johannes Bohnet

    Two dimensional node-link diagrams such as those proposed by th e Unifie dM odeling Language (UML) have become an important means of communication and documentation of various aspects of softwar es ystems. Whe n complex systems are concerned, these diagrams typically consist of ag reat amount of connected nodes -p articularl yi ft hey origin from reverse engineering processes. In

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

    E-print Network

    Levin, Judith G.

    Jan Willis National Library of MedicineNational Library of Medicine National Institutes of HealthNational of Medicine, 1986Started at National Library of Medicine, 1986 "Long"Long--term R&D project"term R&D project used separately or together #12;History of the UMLSHistory of the UMLS Started at National Library

  13. Applying and evaluating AOM for platform independent behavioral UML models

    Microsoft Academic Search

    Marco Mosconi; Anis Charfi; Jaroslav Svacina; Jan Wloka

    2008-01-01

    Several approaches for aspect-oriented modeling (AOM) have been developed to modularize crosscutting concerns properly in UML models. In this position paper we present a combination of AOM approaches and show how they can be applied in a model-driven process targeting business applications. We present a UML 2 profile for platform independent AOM with advanced pointcut expressions and a corresponding model

  14. A UML-integrated Test Description Language for Component Testing

    Microsoft Academic Search

    Simon Pickin; Claude Jard; Thierry Heuillard; Jean-marc Jzquel; Philippe Desfray

    2001-01-01

    A mass market in reusable components demands a high level of compo- nent quality, testing being a crucial part of software quality assurance. For compo- nents modelled in UML there are significant advantages to using UML also for the test description language. Since we wish to describe tests of non-trivial temporal ordering properties, we define our test description language based

  15. Ontology Modeling Using UML Xin Wang Christine W. Chan

    E-print Network

    Ontology Modeling Using UML Xin Wang Christine W. Chan Department of Computer Science, University of Regina, Regina, Saskatchewan, Canada S4S 0A2 wangx@cs.uregina.ca, chan@cs.uregina.ca Abstract Ontology present an ontology developed and then investigate UML as an ontology modeling tool to facilitate

  16. Towards a UML Profile for Software Architecture Descriptions

    Microsoft Academic Search

    Mohamed Mancona Kand; Alfred Strohmeier

    2000-01-01

    To formally describe architectures of software systems, specific lan- guages called Architecture Description Languages (ADLs) have been developed by academic institutions and research labs. However, more and more research and industrial projects are using the standard Unified Modeling Language (UML) for representing software architectures of systems. In this paper, we fo- cus on how to extend the UML by incorporating

  17. Indexing UMLS Semantic Types for Medical Question-Answering

    E-print Network

    Zweigenbaum, Pierre

    -language medical text collection, obtained from health-oriented Web sites, with UMLS (Unified Medical Connecting Language, Text Mining and Information Retrieval #12;Language System) concepts and semantic types. WeIndexing UMLS Semantic Types for Medical Question-Answering Thierry Delbecquea , Pierre Jacquemarta

  18. Model Checking - Timed UML State Machines and Collaborations

    Microsoft Academic Search

    Alexander Knapp; Stephan Merz; Christopher Rauh

    2002-01-01

    We describe a prototype tool, HUGO\\/RT, that is designed to automati- cally verify whether the timed state machines in a UML model interact according to scenarios specified by time-annotated UML collaborations. Timed state ma- chines are compiled into timed automata that exchange signals and operations via a network automaton. A collaboration with time constraints is translated into an observer timed

  19. Agent UML: A Formalism for Specifying Multiagent Software Systems

    Microsoft Academic Search

    Jrg P. Mller

    2000-01-01

    To gain wider acceptance for the use of agents in industry, it is a necessity to relate it to the nearest antecedent technology (object-oriented software development) and to introduce appropriate artifacts to support the development environment throughout the full system lifecycle. We address both of these requirements by presenting AGENT UML, the Agent UML (Unified Modeling Language) a set

  20. A general framework for formalizing UML with formal languages

    Microsoft Academic Search

    William E. McUmber; Betty H. C. Cheng

    2001-01-01

    Informal and graphical modeling techniques enable developers to construct abstract representations of systems. Object-oriented modeling techniques further facilitate the development process. The Unified Modeling Language (UML), an object-oriented modeling approach, could be broad enough in scope to represent a variety of domains and gain widespread use. Currently, UML comprises several different notations with no formal semantics attached to the individual

  1. An Interactive Viewpoint on the Role of UML 1 An Interactive Viewpoint on the Role of UML

    E-print Network

    Wegner, Peter

    An Interactive Viewpoint on the Role of UML 1 An Interactive Viewpoint on the Role of UML Table of Contents 1. Introduction 2. The behavior of systems 3. Three views of system models 4. Modeling interaction interaction 5. Eventdriven computing 6. Concurrency and multiactor interaction 7. A paradigm shift 8

  2. From UML to LQN by XML algebra-based model transformations

    E-print Network

    Petriu, Dorina

    From UML to LQN by XML algebra-based model transformations Gordon P. Gu, Dorina C. Petriu for verification of non- functional characteristics of UML models, such as performance, reliability, scalability for UML models, but to bridge the gap between UML-based software development tools and different kinds

  3. Specifying consistent subsets of UML Jean-Louis Sourrouille, Mohammed Hindawi, Lionel Morel, Rgis Aubry

    E-print Network

    Boyer, Edmond

    Specifying consistent subsets of UML Jean-Louis Sourrouille, Mohammed Hindawi, Lionel Morel, Régis, UML has become more and more difficult to read and understand, especially for beginners. To teach the whole UML is not possible, therefore teachers only deal with a subset of UML. We present a framework

  4. Comprehensibility of UML-based Formal Model A Series of Controlled Experiments

    E-print Network

    Southampton, University of

    Comprehensibility of UML-based Formal Model A Series of Controlled Experiments Rozilawati Razali Modelling Language (UML) and a formal notation, B. The experiments assessed the comprehensibility of the model, namely UML-B. The first experiment compared the comprehensibility of a UML-B model and a B model

  5. Enhancing the UML with Shadows for Agile Development Marc Conrad Marianne Huchard

    E-print Network

    Paris-Sud XI, Universit de

    Enhancing the UML with Shadows for Agile Development Marc Conrad Marianne Huchard University we introduce Shadows-UML, an UML extension, that would help to push forward the convergence between in software engineering there are indeed pragmatic reasons to expect the UML to play a significant role

  6. Phase Diagram

    NASA Astrophysics Data System (ADS)

    Walker, Matthew S.; Fruehan, Richard J.

    2014-08-01

    The thermodynamics of several aspects of the carbothermic reduction of alumina have been examined. In Part I, the results of measuring the evolved CO from the reaction between Al2O3 and C mixtures were used to determine the temperature and carbon contents for carbide formation at alumina saturation and at carbide saturation in the Al2O3-Al4C3 system. In this part of the paper, results are presented for a thermogravimetric study of the reactions of Al2O3 with carbon, as well as those for the determination of the Al2O3 liquidus line and the Al2O3-Al4O4C eutectic in the Al2O3-Al4C3 phase diagram. The critical temperature for Al2O3 and C to react, producing gas at 1 atm., was in agreement with that predicted from thermodynamics and measured in Part I of this paper. However, the Al2O3 liquidus appeared to be steeper and the eutectic temperature lower than the predicted phase diagram.

  7. 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 Worldthat is, as a mathematical formalism that represents propositions about some perspective or interpretation of the physical world. PMID:9760390

  8. Venn Diagrams

    NSDL National Science Digital Library

    Jiminez, Alfredo

    Unions, intersections, and differences: This can all be quite confusing to students trying to enter the potentially tricky world of Venn Diagrams. Fortunately, Alfredo Jiminez of Pennsylvania State University, Hazleton has created this handy Flash-enabled teaching application designed to provide students with an engaging way to learn about this subject. The project is party of the Digital Classroom Resources at the MAA Mathematical Sciences Digital Library, and visitors will find this particular learning activity quite easy to use. The interactive tool contains seven sections, including those dealing with the principles of union and intersection, distributive properties, and De Morgan's laws. Within each section, visitors can try their hand with a series of short questions and then take advantage of some review materials and, of course, a few basic tests.

  9. Abstract Diagrams Computer Science Dept., Manchester University, Manchester, M13 9PL, U.K.

    E-print Network

    Banach, Richard

    the need to reason at the concrete level, basically because the diagrams that figure in a conventional deri- proach is introduced, which defines abstract diagrams as natural isomorphism classes of concrete diagrams diagram' in contrast to the conventional notion of `concrete diagram'. Previous approaches have defined

  10. Abstract Diagrams Computer Science Dept., Manchester University, Manchester, M13 9PL, U.K.

    E-print Network

    Banach, Richard

    the need to reason at the concrete level, basically because the diagrams that figure in a conventional deri proach is introduced, which defines abstract diagrams as natural isomorphism classes of concrete diagrams diagram' in contrast to the conventional notion of `concrete diagram'. Previous approaches have defined

  11. HOWTO: WIRELESS NETWORK EMULATION USING NS2 AND USERMODELINUX (UML).

    E-print Network

    HOWTO: WIRELESS NETWORK EMULATION USING NS2 AND USERMODELINUX (UML). VERSION 1.1 4TH FEBRUARY Network . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 NS2 Emulation packets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4 NS2 Emulation 11 4

  12. Semi-Supervised Learning to Identify UMLS Semantic Relations

    PubMed Central

    Luo, Yuan; Uzuner, Ozlem

    2014-01-01

    The UMLS Semantic Network is constructed by experts and requires periodic expert review to update. We propose and implement a semi-supervised approach for automatically identifying UMLS semantic relations from narrative text in PubMed. Our method analyzes biomedical narrative text to collect semantic entity pairs, and extracts multiple semantic, syntactic and orthographic features for the collected pairs. We experiment with seeded k-means clustering with various distance metrics. We create and annotate a ground truth corpus according to the top two levels of the UMLS semantic relation hierarchy. We evaluate our system on this corpus and characterize the learning curves of different clustering configuration. Using KL divergence consistently performs the best on the held-out test data. With full seeding, we obtain macro-averaged F-measures above 70% for clustering the top level UMLS relations (2-way), and above 50% for clustering the second level relations (7-way). PMID:25954580

  13. Finding Journal Articles at the University of Manitoba Libraries (UML)

    E-print Network

    Major, Arkady

    Finding Journal Articles at the University of Manitoba Libraries (UML) Library research often of the article available in PDF format. Select PDF Full Text to display the article. At this point you may print

  14. UML, the Future Standard Software Architecture Description Language?

    Microsoft Academic Search

    Andy Schrr

    The object-oriented Unified Modeling Language (UML) which has becomeOMG standard offers a great variety of concepts for the definition of the structureand the expected behavior of a software system. It has the potential to replacemany previously used software architecture description languages. This isespecially true for the subset of so-called module interconnection languages.Compared with these languages UML has the main drawback

  15. Designing concurrent, distributed, and real-time applications with UML

    Microsoft Academic Search

    Hassan Gomaa

    2001-01-01

    Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations and methods, the Unified Modeling Language (UML) has emerged to provide a standardized notation for describing object-oriented models. However, for the UML notation to be effectively applied, it needs to be used with an object-oriented analysis and design

  16. A Web Services Architecture for UMLS Knowledge Sources

    PubMed Central

    Mirhaji, Parsa; Kunapareddy, Narendra; Michea, Yanko; Srinivasan, Arunkumar

    2005-01-01

    A web service is a collection of industry standards to enable reusability of services and interoperability of heterogeneous applications. The UMLS Knowledge Source (UMLSKS) Server provides remote access to the UMLSKS and related resources. We propose a Web Services Architecture that encapsulates UMLSKS-API and makes it available in distributed and heterogeneous environments. This is the first step towards intelligent and automatic UMLS services discovery and invocation by computer systems in distributed environments such as web. PMID:16779342

  17. 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.

  18. Sophia: A Expedient UMLS Concept Extraction Annotator

    PubMed Central

    Divita, Guy; Zeng, Qing T; Gundlapalli, Adi V.; Duvall, Scott; Nebeker, Jonathan; Samore, Matthew H.

    2014-01-01

    An opportunity exists for meaningful concept extraction and indexing from large corpora of clinical notes in the Veterans Affairs (VA) electronic medical record. Currently available tools such as MetaMap, cTAKES and HITex do not scale up to address this big data need. Sophia, a rapid UMLS concept extraction annotator was developed to fulfill a mandate and address extraction where high throughput is needed while preserving performance. We report on the development, testing and benchmarking of Sophia against MetaMap and cTAKEs. Sophia demonstrated improved performance on recall as compared to cTAKES and MetaMap (0.71 vs 0.66 and 0.38). The overall f-score was similar to cTAKES and an improvement over MetaMap (0.53 vs 0.57 and 0.43). With regard to speed of processing records, we noted Sophia to be several fold faster than cTAKES and the scaled-out MetaMap service. Sophia offers a viable alternative for high-throughput information extraction tasks. PMID:25954351

  19. Block-Iterative Algorithms Charles Byrne (Charles Byrne@uml.edu)

    E-print Network

    Byrne, Charles

    Block-Iterative Algorithms Charles Byrne (Charles Byrne@uml.edu) Department of Mathematical are available as pdf files at http://faculty.uml.edu/cbyrne/cbyrne.html . 1 Introduction In recent years, image

  20. Gnie logiciel et systmes distribus : Modlisation, vrification, validation et codage de systmes : UML,

    E-print Network

    Dambrine, Marc

    systmes : UML, Java. Conception et dploiement de solutions base de composants logiciels : EJB, NET-agents. Ingnierie collaborative, E-learning : LOM, profils UML. Gestion des donnes et contrle des ressources dans

  1. The Trans-Atlantic Cable Charles Byrne (Charles Byrne@uml.edu)

    E-print Network

    Byrne, Charles

    The Trans-Atlantic Cable Charles Byrne (Charles Byrne@uml.edu) Department of Mathematical Sciences at http://faculty.uml.edu/cbyrne/cbyrne.html) October 14, 2010 Abstract In 1815, at the end of the war

  2. Efficient software quality assurance approaches oriented to UML models in real life

    Microsoft Academic Search

    Luis Fernndez; Pedro J. Lara; Juan Jos Cuadrado

    UML is accepted by far as the standard notation for OO development. UML models have a widespread use in today's software practices. Any initiative to improve software quality assurance (SQA) should assume that a high percentage of deliverables to be controlled are currently based on the use of UML notation. But real life projects are strongly influenced by the need

  3. Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation

    E-print Network

    Paris-Sud XI, Universit de

    Designing dynamically reconfigurable SoCs: From UML MARTE models to automatic code generation Imran and the UML MARTE profile to move from high level UML models to automatic code generation, for implementing of high abstraction levels at different design levels, in order to elevate the low level technical details

  4. Assembly of components based on interface automata and UML component model

    E-print Network

    Paris-Sud XI, Universit de

    Assembly of components based on interface automata and UML component model Samir Chouali , Sebti, smouelhi, hmountassir }@lifc.univ-fcomte.fr Abstract. We propose an approach which combines component UML specify component based system architecture with compo- nent UML model, and component interfaces

  5. Matilda: A Distributed UML Virtual Machine for Model-Driven Software Development

    E-print Network

    Suzuki, Jun

    Matilda: A Distributed UML Virtual Machine for Model-Driven Software Development Manikya Madhu Babu University of Massachusetts, Boston Abstract. This paper describes a distributed UML virtual ma- chine, called Matilda, which allows developers to design their applications as UML models and directly execute

  6. Reprsentation multiple et gnralisation avec UML et l'outil Perceptory

    E-print Network

    Chapitre 6 Reprsentation multiple et gnralisation avec UML et l'outil Perceptory 6'entit- relation MERISE ou l'orient-objet UML, par contre l'utilisation d'extensions explicites ces formalismes.). Perceptory est justement un outil de modlisation visuelle qui utilise le formalisme UML avec des extensions

  7. Correction des dfauts de gnralisation dans les diagrammes de cas d'utilisation UML

    E-print Network

    Paris-Sud XI, Universit de

    Correction des dfauts de gnralisation dans les diagrammes de cas d'utilisation UML X. Dolques, L de dveloppement bas sur la notation UML, les dia- grammes de cas d'utilisation et les modles ou'une approche permettant la correction de certains dfauts des diagrammes de cas d'utilisation UML (lis une

  8. UML2ALLOY: A TOOL FOR LIGHTWEIGHT MODELLING OF DISCRETE EVENT SYSTEMS

    E-print Network

    Bordbar, Behzad

    UML2ALLOY: A TOOL FOR LIGHTWEIGHT MODELLING OF DISCRETE EVENT SYSTEMS Behzad Bordbar School and automatic analysis of a wide variety of systems. On the other hand, the Unified Modelling Language (UML of the UML and Alloy into a single CASE tool, which aims to take advantage of the positive aspect of both

  9. Can Intuition Become Rigorous? Foundations for UML Model Verification Tools1

    E-print Network

    Can Intuition Become Rigorous? Foundations for UML Model Verification Tools1 José Luis Fernández - MENHIR. Abstract The Unified Modeling Language, UML, is the object- oriented notation adopted on research to facilitate the formal revision of UML informal specifications. The approach is based

  10. A Methodology for UML Models V&V A. Baruzzo and M. Comini

    E-print Network

    Comini, Marco

    A Methodology for UML Models V&V A. Baruzzo and M. Comini Dipartimento di Matematica e Informatica of UML models in the software life cycle poses new issues and challenges that are not adequately sup which allows a seamless integration of V&V into a UML-based development environment. The methodology

  11. UML Protocol State Machines Incremental Construction: a Conformance-based Refinement Approach

    E-print Network

    Paris-Sud XI, Universit de

    UML Protocol State Machines Incremental Construction: a Conformance-based Refinement Approach between UML Protocol State Machines in order to support their incre- mental construction. This is based on the use of confor- mance relations. Protocol State Machines (ProSMs) intro- duced in UML2.0 are means

  12. A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen and Kevin Compton

    E-print Network

    Huggins, Jim

    A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen #3; and Kevin Compton #3 widely accepted as a standard in software development. Several tools have been produced to support UML model validation. These tools trans­ late a UML model into a validation language such as PROMELA

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

    E-print Network

    Paris-Sud XI, Universit de

    UML 2.0 - Overview and Perspectives in SoC Design Tim Schattkowsky University of Paderborn design methods. The UML has become the standard for software systems modeling and thus the foundation of new design methods. Although the UML is defined as a general purpose modeling language, its

  14. From Contracts to Aspects in UML Designs Jean-Marc Jzquel, and Nol Plouzeau

    E-print Network

    Paris-Sud XI, Universit de

    From Contracts to Aspects in UML Designs Jean-Marc Jzquel, and Nol Plouzeau Irisa (INRIA, such as persistency, fault-tolerance and so on. The Unified Modeling Language (UML) then gives the designer a rich be implemented. We propose to model contracts in UML with a small set of stereotypes, and to represent aspects

  15. The Assessment of Object Oriented Modelling Elements of the UML 1.1 Radmila Juric

    E-print Network

    Song, Il-Yeol

    1 The Assessment of Object Oriented Modelling Elements of the UML 1.1 Radmila Juric South Bank)215-859-2494, e-mail songiy@post.drexel.edu Abstract The UML 1.1. as released in September 1997 represents their components act as collaborations between objects. Introduction The UML as represented in the documentation

  16. MODELING MULTIPLE REPRESENTATIONS INTO SPATIAL DATA WAREHOUSES: A UML-BASED APPROACH

    E-print Network

    MODELING MULTIPLE REPRESENTATIONS INTO SPATIAL DATA WAREHOUSES: A UML-BASED APPROACH Bdard Yvan, spatial data warehouse, spatially-extended UML, Perceptory. ISPRS Commission IV, Working Group IV/1 rapidly becomes unusable. In order to solve this problem, we propose a solution based on the UML object

  17. Experimental Comparison of the Comprehensibility of a UML-based Formal

    E-print Network

    Southampton, University of

    Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus of interpretation. Semi-formal notation such as the Unified Modelling Language (UML) is perceived as more accessible but it cannot be verified systematically to ensure a specification's accuracy. Integrating the UML and B could

  18. Defining UML Family Members Using Prefaces IBM European Object Technology Practice, UK

    E-print Network

    Rumpe, Bernhard

    Defining UML Family Members Using Prefaces Steve Cook IBM European Object Technology Practice, UK as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic

  19. A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen

    E-print Network

    Huggins, Jim

    A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen £ and Kevin Compton widely accepted as a standard in software development. Several tools have been produced to support UML model validation. These tools trans- late a UML model into a validation language such as PROMELA

  20. An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data

    E-print Network

    Paris-Sud XI, Universit de

    An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data a comprehensive formal semantics for a UML state machine kernel which also consid- ers the use and manipulation of complex structured data. We refer to the UML standard Version 2.1.1 which was published in year 2007

  1. A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen

    E-print Network

    Huggins, Jim

    A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen #3; Dept of Computer. Several tools have been produced to support UML model validation. However, most of them support either static or dynamic model checking; and no tools support to check both static and dynamic aspects of a UML

  2. Applying UML and MDA to Real Systems Design Nokia Research Center, Finland

    E-print Network

    Paris-Sud XI, Universit de

    Applying UML and MDA to Real Systems Design Ian Oliver Nokia Research Center, Finland ian.oliver@nokia.com 1 UML and MDA Traditionally system design has been made from a black box/functionality only language UML are being used (allegedly) and desired we face a number of challenges to existing tech- niques

  3. Modelling Geospatial Application Databases using UML-based Repositories Aligned with International Standards in Geomatics

    E-print Network

    Modelling Geospatial Application Databases using UML-based Repositories Aligned with International that it is possible to develop a geospatial repository aligned with these standards and to implement it in a UML, geospatial database modelling, interoperability, metadata, UML, Perceptory, ISO/TC 211, OGC 1. Introduction

  4. Construction incrmentale vs. construction par raffinement de modles comportementaux UML: smantique et

    E-print Network

    Paris-Sud XI, Universit de

    Construction incrmentale vs. construction par raffinement de modles comportementaux UML,luong,courbis@ema.fr Rsum. Nous nous intressons aux dmarches de construction de modles comportementaux UML (machines d spcialisation. Nous proposons une smantique de la relation de spcialisation entre machines d'tats UML. D

  5. A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study

    E-print Network

    Shatz, Sol M.

    A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study and analysis of complex UML statecharts. The generation of the target net model is based on an intermediate and simulation of an Early Warning System and a set of four experiments. Keywords: UML statecharts Formal methods

  6. 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 Riihimki1 , Marko Hnnikinen1 Nokia Group, Finland Abstract Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set

  7. Refactoring UML Models Gerson Sunye, Damien Pollet, Yves Le Traon, and Jean-Marc Jezequel

    E-print Network

    Paris-Sud XI, Universit de

    Refactoring UML Models Gerson Sunye, Damien Pollet, Yves Le Traon, and Jean-Marc Jezequel IRISA and explain how they can be designed so as to preserve the behavior of a UML model. Some of these refactorings elements. For hal-00794510,version1-26Feb2013 Author manuscript, published in "Proceedings of UML 2001

  8. A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen

    E-print Network

    Huggins, Jim

    A Toolset for Supporting UML Static and Dynamic Model Checking Wuwei Shen£ Dept of Computer Science. Several tools have been produced to support UML model validation. However, most of them support either static or dynamic model checking; and no tools support to check both static and dynamic aspects of a UML

  9. Conformance Testing based on UML State Machines Automated Test Case Generation, Execution and Evaluation

    E-print Network

    Paris-Sud XI, Universit de

    Conformance Testing based on UML State Machines Automated Test Case Generation, Execution testing of reactive systems. Based on a formal specification, namely UML state machines, we automatically completely formalized a substantial subset of UML state machines that includes complex structured data

  10. For-LySa: UML for Authentication Analysis Mikael Buchholtz1

    E-print Network

    For-LySa: UML for Authentication Analysis Mikael Buchholtz1 , Carlo Montangero2 , Lara Perrone2. The DEGAS project aims at enriching standard UML-centred development environments in such a way is needed for the analysis, and how to build the UML model of an authentication protocol in such a way

  11. Model Checking of Extended OCL Constraints on UML Models in SOCLe

    E-print Network

    Mullins, John

    Model Checking of Extended OCL Constraints on UML Models in SOCLe John Mullins1, and Raveca Oarga2 present the first tool that offers dynamic verification of extended OCL constraints on UML models. It translates a UML model into an Abstract State Machine (ASM) which is transformed by an ASM simulator

  12. User Interface Modelling with UML Paulo Pinheiro da Silva and Norman W. Paton

    E-print Network

    da Silva, Paulo Pinheiro

    User Interface Modelling with UML Paulo Pinheiro da Silva and Norman W. Paton Department,norm}@cs.man.ac.uk Abstract. The Unified Modeling Language (UML) is a natural candi­ date for user interface (UI) modelling, it is by no means clear how to model UIs using UML. This paper presents a user inter­ face modelling case study

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

    E-print Network

    Simmonds, Devon M.

    The Viability of UML Models in Small Web Applications Jason Dudley and Devon M. Simmonds Department such as the Unified Modeling Language (UML) in the development of very large systems, research is needed to delineate study that examined the viability of using UML to model web based applications that require 20 - 50

  14. Developing the UML as a Formal Modelling Notation , R. France2

    E-print Network

    Rumpe, Bernhard

    Developing the UML as a Formal Modelling Notation A. Evans1 , R. France2 , K. Lano3 , B. Rumpe4 Abstract The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully explored semantics

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

    E-print Network

    Paris-Sud XI, Universit de

    A subset of precise UML for Model-based Testing F. Bouquet University of Besanon LIFC, 16 route de@cs.waikato.ac.nz ABSTRACT This paper presents an original model-based testing approach that takes a UML behavioural view as part of the test generation process. This paper defines the subset of UML used for model-based testing

  16. Endowing UML with a MOF Based Semantic Core Jamal Abd-Ali, Karim El Guemhioui

    E-print Network

    El Guemhioui, Karim

    Endowing UML with a MOF Based Semantic Core Jamal Abd-Ali, Karim El Guemhioui Department, using UML to precisely specify a system with no technology dependency is still an outstanding challenge on a finite set of low level concepts, we propose a UML extension that integrates dedicated elements

  17. A UML based deployment and management modeling for cooperative and distributed

    E-print Network

    Paris-Sud XI, Universit de

    A UML based deployment and management modeling for cooperative and distributed applications Mohamed application structure, we propose, in this paper, an UML extension named "DM profile" ensuring a high application. Basing on the UML standard language, several works propose extensions to han- dle software

  18. Introduction Case Study (1) Case Study (2) Conclusion USE: UML-based Specification Environment

    E-print Network

    Gogolla, Martin - Fachbereich 3

    Introduction Case Study (1) Case Study (2) Conclusion USE: UML-based Specification Environment Environment for Validating UML and OCL Mirco Kuhlmann Database Systems Group Department for Mathematics and Computer Science Bremen University July 10, 2007 Mirco Kuhlmann USE: UML-based Specification Environment

  19. A Step-by-step Process to Build Conform UML Protocol State Machines

    E-print Network

    Paris-Sud XI, Universit de

    A Step-by-step Process to Build Conform UML Protocol State Machines Arnaud Lanoix LORIA CNRS relation proposed in UML 2.0, in- spired from the work on formal methods as the specification refinement of these changes in terms of lost, added or changed global behaviors. UML 2.0 [22] introduces protocol state

  20. User Interface Modelling with UML Paulo Pinheiro da Silva and Norman W. Paton

    E-print Network

    Pinheiro da Silva, Paulo

    User Interface Modelling with UML Paulo Pinheiro da Silva and Norman W. Paton Department,norm}@cs.man.ac.uk Abstract. The Unified Modeling Language (UML) is a natural candi- date for user interface (UI) modelling, it is by no means clear how to model UIs using UML. This paper presents a user inter- face modelling case study

  1. Towards an UML Profile for the Description of Software Architecture Abdelkrim Amirat1,2

    E-print Network

    Paris-Sud XI, Universit de

    Towards an UML Profile for the Description of Software Architecture Abdelkrim Amirat1,2 and Mourad diversified everyday. On the other hand, UML is a de facto standard general modeling language for software developments as UML provides a consistent notation and various supporting tools during the whole software

  2. Assurance Analysis by Scenario-based UML-Modeling Konstantinos Kosmidis and Matthias Sand

    E-print Network

    Fey, Dietmar

    Assurance Analysis by Scenario-based UML-Modeling Konstantinos Kosmidis and Matthias Sand popularity and the large variety of existing tools we decided to use the Unified Modeling Language (UML) [1 as the (dynamic) semantics of the UML are not strictly enough specified to generally allow the design of models

  3. Making UML models interoperable with UXF Junichi Suzuki and Yoshikazu Yamamoto

    E-print Network

    Suzuki, Jun

    Making UML models interoperable with UXF Junichi Suzuki and Yoshikazu Yamamoto Department/project/uxf Abstract. Unified Modeling Language (UML) has been widely accepted in the software engineering area­oriented models. However, UML does not have an explicit format to describe and interchange its model information

  4. From Design to Test with UML Applied to a Roaming Algorithm

    E-print Network

    Schmitt, Peter H.

    From Design to Test with UML ­ Applied to a Roaming Algorithm for Bluetooth Devices Zhen Ru Dai1¨ottingen, Lotzestrasse 16-18, D-37083 G¨ottingen, Germany {grabowski,neukirchen}@cs.uni-goettingen.de Abstract. The UML Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology

  5. UML for Real-Time 04/16/98 page 1 of 8

    E-print Network

    Pentus, Mati

    UML for Real-Time 04/16/98 page 1 of 8 Abstract This paper explains how the Unified Modeling Language (UML), and powerful modeling constructs originally developed for the modeling of complex real-time systems in the Real-Time Object-Oriented Modeling language (ROOM), have been combined into UML for Real-Time

  6. 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

  7. Testi dei Progetti per Basi di Dati A.A. 2012-13 Adriano Peron

    E-print Network

    Peron, Adriano

    concettuale usando UML; 1 #12;2. Definizione dello schema logico utilizzando il modello relazionale; 3 ambigue e mancanti. 2. Class diagram UML; 3. Dizionario dei dati del Class Diagram; 4. Eventuale diagrammi della tipologia Use Case di UML. Per un riferimento introduttivo alla forma dei dia- grammi si usi

  8. 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.

  9. UML-B AND EVENT-B: AN INTEGRATION OF LANGUAGES AND TOOLS Colin Snook and Michael Butler

    E-print Network

    Southampton, University of

    UML-B AND EVENT-B: AN INTEGRATION OF LANGUAGES AND TOOLS Colin Snook and Michael Butler University of Southampton, Southampton, United Kingdom {cfs,mjb}@ecs.soton.ac.uk ABSTRACT UML-B is a graphical front end system characterized by families of spontaneous events. UML-B is similar to UML but is essentially a new

  10. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, MANUSCRIPT ID first page 1 A Comparison of Six UML-Based Languages

    E-print Network

    Paris-Sud XI, Universit de

    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, MANUSCRIPT ID first page 1 A Comparison of Six UML interest for modeling languages such as the UML. In this article, we propose a comparison of these UML alternative approaches, ranging from UML-based framework specializations to full-blown executable meta

  11. The Line Sequence Diagram

    Microsoft Academic Search

    Calvin R. Srock

    1966-01-01

    This paper describes the symbols and techniques used to construct and apply a line sequence diagram. A line sequence diagram, as the name implies, describes the sequence of operations for an electrical control circuit.

  12. Four-Hole-Line Diagrams in Nuclear Matter

    Microsoft Academic Search

    B. D. Day

    1969-01-01

    The Brueckner-Goldstone diagrams with four independent hole lines, which give the third term in the expansion for the ground-state energy of infinite nuclear matter, are enumerated. These diagrams are grouped in a natural way into 16 distinct classes. Only one of these classes (the four-body clusters) involves the solution of a four-body equation. Six classes require the solution of the

  13. 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.

  14. Towards Practical Security Monitors of UML Policies for Mobile Applications

    E-print Network

    Massacci, Fabio

    Towards Practical Security Monitors of UML Policies for Mobile Applications Fabio Massacci to the applications after it read some sensitive information. Equipping every mobile device with a security system@dit.unitn.it Abstract--There is increasing demand for running interacting applications in a secure and controllable way

  15. Initiating a Benchmark for UML and OCL Analysis Tools

    E-print Network

    Paris-Sud XI, Universit de

    Initiating a Benchmark for UML and OCL Analysis Tools Martin Gogolla(A) , Fabian B by a variety of analysis tools having different scopes, aims and technologi- cal corner stones. The spectrum. The paper sketches how these questions are handled by two OCL tools, USE and EMFtoCSP. The claim

  16. An Introduction to a UML Platform Independent Model

    E-print Network

    Barbeau, Michel

    the concept of Software Radio Give a general overview of the Software Radio UML Model that is being-band antennas Transmitter conversion of digital to analog (DAC), possibly to an IF and then to RF Receiver Architecture ADC DACDSP Amplifier Antenna Speaker #12;ICT 2002 Half-complex mixer Audio Hilbert Transform Upper

  17. EM Algorithms Charles Byrne (Charles Byrne@uml.edu)

    E-print Network

    Byrne, Charles

    EM Algorithms Charles Byrne (Charles Byrne@uml.edu) Department of Mathematical Sciences University of Massachusetts Lowell Lowell, MA 01854, USA March 6, 2011 Abstract The EM algorithm is not a single algorithm algorithm based on the EM framework we refer to as an "EM algorithm". Because there is no inclusive theory

  18. Generating Tests from UML Specifications Jeff Offutt and Aynur Abdurazik ?

    E-print Network

    Offutt, Jeff

    Generating Tests from UML Specifications Jeff Offutt and Aynur Abdurazik ? George Mason University, Fairfax VA 22030, USA Abstract. Although most industry testing of complex software is con ducted at the system level, most formal research has focused on the unit level. As a result, most system level testing

  19. 15 Software Product Line Engineering with the UML: Deriving Products

    E-print Network

    Paris-Sud XI, Universit de

    15 Software Product Line Engineering with the UML: Deriving Products T. Ziadi and J.-M. Jzquel Abstract Software product line engineering introduces two new dimensions into the traditional engineering of software-based systems: the variability modeling and the product derivation. The variability gathers

  20. Tema 1. El Lenguaje Unificado de Modelado, UML

    E-print Network

    Molina, Jess Garca

    el comportamiento. Los modelos ayudan a razonar sobre el sistema favorecen la comunicacinTema 1. El Lenguaje Unificado de Modelado, UML Departamento de Informtica y Sistemas Jess Garca Molina Departamento de Informtica y Sistemas Universidad de Murcia http://dis.um.es/~jmolina Ingeniera

  1. UML, THE FUTURE STANDARD SOFTWARE ARCHITECTURE DESCRIPTION LANGUAGE?

    Microsoft Academic Search

    Andy Schurr; Andreas J. Winter

    The object-oriented Unified Modeling Language (UML) which has become OMG standard offers a great variety of concepts for the defini tion of the structure and the expected behavior of a software system. It has the potential to replace many previously used software architecture description la nguages. This is especially true for the subset of so-called module intercon nection languages. Compared

  2. 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

  3. UML model for the IEEE 1451.1 standard

    Microsoft Academic Search

    Kang Lee; E. Y. Song

    2003-01-01

    The IEEE 1451.1 Standard for Smart Transducer Interface for Sensors and Actuators - Network Capable Application Processor (NCAP) Information Model was established to define a common object model and interface specification for the components of a networked smart transducer. The Unified Modeling Language (UML) is a powerful tool for object-oriented modeling and design of complex systems. There is no existing

  4. Model-based Security Engineering with UML: Introducing Security Aspects

    E-print Network

    Jurjens, Jan

    . of Informatics, TU Munich, Germany Abstract. Developing security-critical systems is difficult and there are manyModel-based Security Engineering with UML: Introducing Security Aspects Jan J¨urjens Dep well-known examples of security weaknesses exploited in practice. Thus a sound methodology supporting

  5. Modeling and verifying security protocols using UML 2

    Microsoft Academic Search

    Sandra Smith; Alain Beaulieu; W. Greg Phillips

    2011-01-01

    Large scale distributed systems often require security protocols to ensure high integrity. We present a modeling approach that uses UML 2 without extensions to support the design, composition and verification of security protocols. The approach assumes a strong threat model, in which an attacker can intercept, modify, and spoof all communications, with the exception of those protected by known-strong encryption.

  6. 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

  7. On Recommending Meaningful Names in Source and UML Adrian Kuhn

    E-print Network

    Nierstrasz, Oscar

    On Recommending Meaningful Names in Source and UML Adrian Kuhn Software Composition Group University of Bern, Switzerland http://scg.unibe.ch/akuhn ABSTRACT Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving

  8. Real-Time UML State Machines: An Analysis Approach

    Microsoft Academic Search

    J. Trowitzsch; A. Zimmermann

    Since real-time systems have special characteristics the development of such systems requires the observation of quantitative system aspects. Quan- titative predictions are needed already during the modeling phase of the system development process. Recently the Unified Modeling Language (UML) includ- ing its Profile for Schedulability, Performance, and Time (SPT) gained increas- ing acceptance as a specification language for modeling real-time

  9. Modeling Role-Based Access Control Using Parameterized UML Models

    E-print Network

    Ray, Indrakshi

    -Based Access Control (RBAC) to protect com- puter-based resources from unauthorized access. There has been considerable work on formally specifying RBAC policies but there is still a need for RBAC policy specification for incorporating specifications of RBAC policies into UML design models. Reusable RBAC policies are specified

  10. UML-B: A plug-in for the Event-B tool set1 Colin Snook and Michael Butler

    E-print Network

    Southampton, University of

    UML-B: A plug-in for the Event-B tool set1 Colin Snook and Michael Butler University of Southampton, United Kingdom {cfs,mjb}@ecs.soton.ac.uk UML-B is a graphical formal modelling notation that relies tools. UML-B is similar to UML but has its own meta-model. UML-B provides tool support, including

  11. Symmetry factors of Feynman diagrams for scalar fields

    NASA Astrophysics Data System (ADS)

    Dong, P. V.; Hue, L. T.; Hung, H. T.; Long, H. N.; Thao, N. H.

    2010-11-01

    We calculate the symmetry factors of diagrams for real and complex scalar fields in general form using an analysis of the Wick expansion for Green's functions. We separate two classes of symmetry factors: factors corresponding to connected diagrams and factors corresponding to vacuum diagrams. The symmetry factors of vacuum diagrams play an important role in constructing the effective action and phase transitions in cosmology. In the complex scalar field theory, diagrams with different topologies can contribute the same, and the inverse symmetry factor for the total contribution is therefore the sum of the inverse symmetry factors.

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

    E-print Network

    Demurjian, Steven A.

    over time. The integration of security, namely, role-based access control (RBAC) and mandatory access's security requirements. This paper reports on a novel functional framework that incorporates RBAC and MAC. Keywords: RBAC, MAC, UML, access control, information assurance, secure software design. 1. Introduction

  13. 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 hospitals 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

  14. Inheritance of Dynamic Behavior in UML

    Microsoft Academic Search

    One of the key issues of object-oriented modeling and design is in- heritance. It allows for the definition of subclasses that inherit features of some superclass. Inheritance is well defined for static properties of classes such as at- tributes and operations. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, captured

  15. 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.

  16. A Meta-Level Specification and Profile for AspectJ in UML

    Microsoft Academic Search

    Joerg Evermann

    2007-01-01

    Aspect-oriented programming (AOP) has become a mature technology. Increasingly, calls for support of AOP on the software model level are being voiced. This paper addresses these calls by oering a meta-model of AspectJ in UML. Using the UML extension mechanisms, this meta-model is at the same time a profile to support AspectJ modelling in UML. In contrast to previous work,

  17. Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs

    E-print Network

    Clarke, Edmund M.

    Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs E. M. Clarke M. Fujita X of arith- metic circuits. MTBDDs and BMDs have been proposed for representing this class of functions. We for hybrid decision diagrams. In practice, this is one of the main limitations of BMDs since performing arith

  18. Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs

    E-print Network

    Clarke, Edmund M.

    Hybrid Decision Diagrams Overcoming the Limitations of MTBDDs and BMDs E. M. Clarke M. Fujita X of arith metic circuits. MTBDDs and BMDs have been proposed for representing this class of functions. We for hybrid decision diagrams. In practice, this is one of the main limitations of BMDs since performing arith

  19. Phase diagrams of two-lane driven diffusive systems

    Microsoft Academic Search

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

    2011-01-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

  20. 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).

  1. Combining Data Flow Equations with UML\\/Realtime

    Microsoft Academic Search

    Lutz Bichler; Ansgar Radermacher; Andy Schrr

    2001-01-01

    Object-oriented modeling languages, tools, and methods are attracting the interest of embedded (real-time) system developers. This is especially true if embedded (real-time) system software has to cooperate with interactive multimedia software, as is becoming the case in automotive systems. It is still an open question whether and how the standard OO modeling language UML and its accompanying tools have to

  2. Validating timed UML models by simulation and verification

    Microsoft Academic Search

    Iulian Ober; Susanne Graf; Ileana Ober

    2006-01-01

    This paper presents a technique and a tool for model-checking operational (design level) UML models based on a mapping to\\u000a a model of communicating extended timed automata. The target language of the mapping is the IF format, for which existing\\u000a model-checking and simulation tools can be used.\\u000a \\u000a Our approach takes into consideration most of the structural and behavioural features of

  3. XSLT transformation from UML models to LQN performance models

    Microsoft Academic Search

    Gordon Ping Gu; Dorina C. Petriu

    2002-01-01

    A graph grammar-based transformation of a UML design model into a Layered Queueing Network (LQN) performance model was previously proposed by the authors of this paper. The actual transformation was implemented in two ways: first by using an existing graph-rewriting tool, and secondly through an ad-hoc graph transformation implemented in Java.This paper extends the previous work of the authors by

  4. 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.

  5. Learning Activity Template EcoEd Digital Library (http://esa.org/ecoed) An in-class role-playing activity to explore biodiversity and create ecological web diagrams

    E-print Network

    Byrne, Loren

    -playing activity to explore biodiversity and create ecological web diagrams Author Loren B. Byrne Department@rwu.edu Abstract In a general sense, biodiversity is an intuitively simple concept, referring to the variety of Earth's organisms. Ecologists, however, conceptualize biodiversity in a more nuanced, multidimensional

  6. Developed C++ Action and Data classes Model in text format

    E-print Network

    Liske, Jochen

    Developed C++ Action and Data classes Model in text format Convert model using EA to WSF plugin, can be generated from a class diagram. Code generation for the Action classes can be once the relation diagram should describe data classes, their attributes and the relation among data, event and action

  7. Algorithmic phase diagrams

    NASA Technical Reports Server (NTRS)

    Hockney, Roger

    1987-01-01

    Algorithmic phase diagrams are a neat and compact representation of the results of comparing the execution time of several algorithms for the solution of the same problem. As an example, the recent results are shown of Gannon and Van Rosendale on the solution of multiple tridiagonal systems of equations in the form of such diagrams. The act of preparing these diagrams has revealed an unexpectedly complex relationship between the best algorithm and the number and size of the tridiagonal systems, which was not evident from the algebraic formulae in the original paper. Even so, for a particular computer, one diagram suffices to predict the best algorithm for all problems that are likely to be encountered the prediction being read directly from the diagram without complex calculation.

  8. Extracting medical knowledge for a coded problem list vocabulary from the UMLS Knowledge Sources.

    PubMed Central

    Hales, J. W.; Schoeffler, K. M.; Kessler, D. P.

    1998-01-01

    INTRODUCTION: The Unified Medical Language System (UMLS) Knowledge Sources embody a rich source of medical knowledge. We sought to extract a portion of this knowledge by incorporating information about relationships between UMLS concepts into an existing problem list vocabulary. METHODS: We matched terms from the coded problem list of The Medical Record (TMR), a computer-based patient record system, with those found in the UMLS Metathesaurus. Those UMLS concepts that participate in 'parent' relationships with the matched TMR concepts were translated back into TMR codes and the relationship information was retained for integration into the coded problem list of TMR. RESULTS: Of the coded problems currently in use in TMR, 67% (1627/2436) could be matched by normalized string matches to the UMLS Knowledge Sources. Of these matched TMR concepts, 91% (1488/1627) participated in at least one UMLS-identified parent relationship but only 28% of the matched concepts (454/1627) participated in parent relationships that already matched to a TMR code. As a result, although 67% of TMR codes were matched to UMLS concepts, only 19% of our original problem list (454/2436) could be augmented by relationship information contained in UMLS without improving the rate of matches or adding additional UMLS concepts as coded problems in TMR. CONCLUSION: This study illustrates the rapid decline in overall rates of matching that result from a multiplicative effect of successive matches of terms to concepts, concepts to relationships and concepts back to entry terms. This effect will hamper any effort to extract relationship knowledge from the UMLS for incorporation into an entry vocabulary that is not already one of the source vocabularies of the UMLS Metathesaurus. PMID:9929225

  9. 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.

  10. 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

  11. Evaluation of the UMLS as a terminology and knowledge resource for biomedical informatics

    Microsoft Academic Search

    Olivier Bodenreider; Joyce A. Mitchell; Alexa T. McCray

    Objectives : Terminology and knowledge resources are essential components of interoperability among disparate systems. This paper evaluates whether names and relationships needed in biomedical informatics are present in the UMLS. Methods : Terms for five broad categories of concepts were extracted from LocusLink and mapped to the UMLS Metathesausus. Relationships between gene products and the other four categories (phenotype, molecular

  12. Aspect-Oriented Requirements with UML Joo Arajo and Ana Moreira

    E-print Network

    Aspect-Oriented Requirements with UML Joo Arajo and Ana Moreira Dept. Informtica, FCT-fold impact. It makes it possible to identify trade- offs among broadly scoped properties early based on UML, the approach adheres to a de-facto industry standard hence making it suitable

  13. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML

    Microsoft Academic Search

    Sven Burmester; Holger Giese; Matthias Tichy

    2004-01-01

    Today, advanced technical systems are complex, reconfigurable mechatronic systems where most control and reconfiguration functionality is rea- lized in software. A number of requirements have to be satisfied in order to ap- ply the model-driven development approach and the UML for mechatronic sys- tems: The UML design models must support the specification of the required hard real-time event processing. The

  14. Regular paper A Methodological Approach for Object-Relational Database Design using UML

    Microsoft Academic Search

    Esperanza Marcos; Belen Vela

    The most common way of designing databases is by means of a conceptual model, such as E\\/R, with- out taking into account other views of the system. New object-oriented design languages, such as UML (Unified Modelling Language), allow the whole system, including the database schema, to be modelled in a uniform way. Moreover, as UML is an extendable language, it

  15. A methodological approach for object-relational database design using UML

    Microsoft Academic Search

    Esperanza Marcos; Beln Vela; Jos Mara Cavero

    2004-01-01

    The most common way of designing databases is by means of a conceptual model, such as E\\/R, without taking into account other views of the system. New object-oriented design languages, such as UML (Unified Modelling Language), allow the whole system, including the database schema, to be modelled in a uniform way. Moreover, as UML is an extendable language, it allows

  16. Sound Methods and Effective Tools for Modelbased Security Engineering with UML

    E-print Network

    Jurjens, Jan

    Keywords: Unified Modeling Language, UML, security, verification, biometric authentication, cryptographicSound Methods and Effective Tools for Model­based Security Engineering with UML Jan J ? urjens # Competence Center for IT Security, Software & Systems Engineering Dep. of Informatics, TU Munich, Germany

  17. Sound Methods and Effective Tools for Model-based Security Engineering with UML

    E-print Network

    Jurjens, Jan

    Keywords: Unified Modeling Language, UML, security, verification, biometric authentication, cryptographicSound Methods and Effective Tools for Model-based Security Engineering with UML Jan J¨urjens Competence Center for IT Security, Software & Systems Engineering Dep. of Informatics, TU Munich, Germany

  18. 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 distribues L. Apvrille* ---- P. de du Colonel Roche, 31077 Toulouse Cedex 04, France RSUM. Le profil TURTLE (Timed UML and RT dterministe, offre limite dans le temps). L'article propose d'tendre TURTLE dans l'optique d

  19. 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. Critical real-time embedded systems (RTES) crucially have strong requirement concerning system Transformation, UML, MARTE, Real-Time Em- bedded System, Time Petri Net, Time Property, Synchronization 1

  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. The Authoring Process of the UML-based Web Engineering Approach

    Microsoft Academic Search

    Nora Koch; Andreas Kraus; Rolf Hennicker

    2001-01-01

    We propose a precise UML-based authoring method for Web applications. This authoring method is part of the UML-based Web Engineering (UWE) approach. Starting with a requirement analysis done by use cases technique, it focuses on the design phase. The conceptual model of the application is used as guideline for modeling the navigation space. From the navigation space model we derive,

  2. 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

  3. Vrification d'une architecture UML2.0 avec l'ADL Wright Mohamed Graiet I, III

    E-print Network

    Paris-Sud XI, Universit de

    Vrification d'une architecture UML2.0 avec l'ADL Wright Mohamed Graiet I, III Mohamed Tahar Bhiri Multimdia de Sfax, rue mharza, 3018 SFAX Abdelmajid.benhamadou@isimsf.rnu.tn Rsum : UML2.0 offre des composite permettant de dcrire une architecture logicielle. Mais UML2.0 ne permet pas l'tude formelle de

  4. 2001, M. Dal Cin, K. Kosmidis and A. Ioanid Modeling Requirements for Dependable Systems with UML Statecharts

    E-print Network

    Fey, Dietmar

    2001, M. Dal Cin, K. Kosmidis and A. Ioanid Modeling Requirements for Dependable Systems with UML a powerful analysis tool called PANDA has been developed [5]. As an alternative to Petri Nets, UML statecharts dia- grams [4] could be used to describe the system behavior. With UML statecharts, the internal

  5. Using UML Protocol State Machines in Conformance Testing of Components Dirk Seifert and Jeanine Souqui`eres

    E-print Network

    Paris-Sud XI, Universit de

    Using UML Protocol State Machines in Conformance Testing of Components Dirk Seifert and Jeanine- proach for conformance testing based on UML behavioral state machines. In this paper we propose two the problem of selecting relevant input sequences. Therefore we use UML proto- col state machines to specify

  6. The UML as a Formal Modeling Notation Andy Evans1, Robert France2, Kevin Lano3, and Bernhard Rumpe4

    E-print Network

    The UML as a Formal Modeling Notation Andy Evans1, Robert France2, Kevin Lano3, and Bernhard Rumpe4 Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully explored semantics. Such semantics

  7. Consistency in UML and B multi-view specifications Dieu Donn Okalas Ossami, Jean-Pierre Jacquot, and Jeanine Souquires

    E-print Network

    Paris-Sud XI, Universit de

    Consistency in UML and B multi-view specifications Dieu Donn Okalas Ossami, Jean-Pierre Jacquot relation in UML and B multi- view specifications. It is defined as a semantic relation between both views: consistency, verification, operator, multi-view, UML, B. 1 Motivations It has been recognized for a long time

  8. 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 (French being the first targeted one) with UMLS concepts. Motivation Popular tools exist nowadays for extracting UMLS concepts from medical texts. The more famous of these tools may be MetaMap,1 another one

  9. Journes Francophones d'Informatique Mdicale, Lille 12-13 mai 2005 1 Indexation UMLS en franais : une exprience

    E-print Network

    Zweigenbaum, Pierre

    Journes Francophones d'Informatique Mdicale, Lille 12-13 mai 2005 1 Indexation UMLS en franais Francophones d'Informatique Mdicale, Lille 12-13 mai 2005 2 Indexation UMLS en franais : une exprience particulier leur agrgation au sein du Metathesaurus de l'UMLS [4], sont particulirement pertinents pour cela

  10. 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.

  11. 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

  12. Representation of Extended RBAC Model Using UML Language

    Microsoft Academic Search

    Aneta Poniszewska-maranda; Gilles Goncalves; Fred Hemery

    2005-01-01

    \\u000a This paper presents an extension of the standard role-based access control (RBAC) model together with its representation using\\u000a the Unified Modeling Language (UML). The presented model is developed for the role engineering in the security of information\\u000a system.\\u000a \\u000a \\u000a The presented implementation of the RBAC model consists in role creation via defining appropriate permissions. The entire\\u000a procedure is performed in two

  13. UML 2 and SysML: an Approach to Deal with Complexity in SoC/NoC Design Yves Vanderperren, Wim Dehaene

    E-print Network

    Paris-Sud XI, Universit de

    UML 2 and SysML: an Approach to Deal with Complexity in SoC/NoC Design Yves Vanderperren, Wim Dehaene Dept. of EE, ESAT-MICAS, Katholieke Universiteit Leuven, B-3001 Leuven, Belgium Abstract UML activities such as the SysML initiative and the UML for SoC Forum. Moreover the adoption of UML 2

  14. Phase Diagram of Optimal Paths

    E-print Network

    Alex Hansen; Janos Kertesz

    2004-02-17

    We show that choosing appropriate distributions of the randomness, the search for optimal paths links diverse problems of disordered media like directed percolation, invasion percolation, directed and non-directed spanning polymers. We also introduce a simple and efficient algorithm, which solves the d-dimensional model numerically in order N^(1+d_f/d) steps where d_f is the fractal dimension of the path. Using extensive simulations in two dimensions we identify the phase boundaries of the directed polymer universality class. A new strong-disorder phase occurs where the optimum paths are self-affine with parameter-dependent scaling exponents. Furthermore, the phase diagram contains directed and non-directed percolation as well as the directed random walk models at specific points and lines.

  15. Dependability Modeling and Assessment in UML-Based Software Development

    PubMed Central

    Bernardi, Simona; Merseguer, Jos; Petriu, Dorina C.

    2012-01-01

    Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism chosen for NFP analysis; (c) to analyze the formal model using existing solvers; (d) to assess the software based on the results and give feedback to designers. Such a modeling?analysis?assessment approach can be applied to any software modeling language, be it general purpose or domain specific. In this paper, we focus on UML-based development and on the dependability NFP, which encompasses reliability, availability, safety, integrity, and maintainability. The paper presents the profile used to extend UML with dependability information, the model transformation to generate a DSPN formal model, and the assessment of the system properties based on the DSPN results. PMID:22988428

  16. k-Neighborhood decentralization: a comprehensive solution to index the UMLS for large scale knowledge discovery.

    PubMed

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

    2012-04-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. 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

  18. The UMLS project: making the conceptual connection between users and the information they need.

    PubMed Central

    Humphreys, B L; Lindberg, D A

    1993-01-01

    Conceptual connections between users and information sources depend on an accurate representation of the content of available information sources, an accurate representation of specific user information needs, and the ability to match the two. Establishing such connections is a principal function of medical librarians. The goal of the National Library of Medicine's Unified Medical Language System (UMLS) project is to facilitate the development of conceptual connections between users and relevant machine-readable information. The UMLS model involves a combination of three centrally developed Knowledge Sources (a Metathesaurus, a Semantic Network, and an Information Sources Map) and a variety of smart interface programs that make use of these Knowledge Sources to help users in different environments find machine-readable information relevant to their particular practice or research problems. The third experimental edition of the UMLS Knowledge Sources was issued in the fall of 1992. Current priorities for the UMLS project include developing applications that make use of the Knowledge Sources and using feedback from these applications to guide ongoing enhancement and expansion of the Knowledge Sources. Medical librarians are involved heavily in the direction of the UMLS project, in the development of the Knowledge Sources, and in their experimental application. The involvement of librarians in reviewing, testing, and providing feedback on UMLS products will increase the likelihood that the UMLS project will achieve its goal of improving access to machine-readable biomedical information. PMID:8472002

  19. 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.

  20. Voronoi Diagrams Delaunay Triangulations

    E-print Network

    Kazhdan, Michael

    Voronoi Diagrams and Delaunay Triangulations O'Rourke, Chapter 5 #12;Lloyd's Algorithm (Uniform,1 2 where , = min | - |. #12;Lloyd's Algorithm (Uniform) Approach: 1. Initialize the points;Lloyd's Algorithm (Uniform) #12;Largest Empty Circle Claim: The largest empty (interior) circle within

  1. Alloy phase diagrams

    Microsoft Academic Search

    L. H. Bennett; B. C. Giessen; T. B. Massalski

    1984-01-01

    These proceedings collect papers presented at a symposium on alloy phase diagrams. Topics include: Crystal phase transformations; order-disorder transformations; crystal lattices; metallic glasses; metastable states; solubility; binary alloy systems; and alloys of iron, tantalum, silicon, aluminum, germanium, palladium, copper, and nickel.

  2. Design and Implement of Drawing of GOO One-Line Diagram of Smart Distribution Network

    Microsoft Academic Search

    Deng Qijun; Zhou Hong; Chen Yong

    2010-01-01

    The design and implement of drawing of GOO (Graphic - Object -Oriented) one-line diagram of smart distribution network are realized using GDI + technology and the class and interface method in Windows environment. Four levels of class are designed with the concept of layered modularization: the base class, management of public attributes and methods; the basic graphic class, point, line,

  3. Energy-momentum tensors and z-diagrams

    Microsoft Academic Search

    H. Genz; J. Katz; H. Kuehnelt

    1972-01-01

    The discussion of Z-diagrams is extended to equal-time commutators of the charges QDalpha(0) = ? d3x xm T0malpha(x) with space and time components of currents Jmu and their divergences. (We have denoted by Tmunualpha any symmetric energy-momentum tensor within the Callan-Coleman-Jackiw class parametrized by alpha.) The requirement of absence of Z-diagrams in the infinite momentum limit for boson matrix elements

  4. Introduction UML 2 Modlisation Oriente Objet de Systmes Logiciels

    E-print Network

    Gérard, Pierre

    Modélisation Orientée Objet 1 2 Modélisation objet élémentaire avec UML 5 PFI higrmmes de s d9utilistion F F F F F F F F F F F F F F F F F F F F F F F F F F F F S PFP higrmmes de lsses F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F II PFQ higrmmes d9ojets F F F F F F F F F F F F F F F F F F

  5. The UMLS Semantic Network and the Semantic Web.

    PubMed

    Kashyap, Vipul

    2003-01-01

    The Unified Medical Language System is an extensive source of biomedical knowledge developed and maintained by the US National Library of Medicine (NLM) and is being currently used in a wide variety of biomedical applications. The Semantic Network, a component of the UMLS is a structured description of core biomedical knowledge consisting of well defined semantic types and relationships between them. We investigate the expressiveness of DAML+OIL, a markup language proposed for ontologies on the Semantic Web, for representing the knowledge contained in the Semantic Network. Requirements specific to the Semantic Network, such as polymorphic relationships and blocking relationship inheritance are discussed and approaches to represent these in DAML+OIL are presented. Finally, conclusions are presented along with a discussion of ongoing and future work. PMID:14728193

  6. HOWTO: WIRELESS NETWORK EMULATION USING NS2 AND USER-MODE-LINUX (UML).

    E-print Network

    HOWTO: WIRELESS NETWORK EMULATION USING NS2 AND USER-MODE-LINUX (UML). VERSION 1.1 4TH FEBRUARY Network . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 NS-2 Emulation packets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 4 NS-2 Emulation 11 4

  7. A UML profile for dependability analysis of real-time embedded systems

    Microsoft Academic Search

    Simona Bernardi; Jos Merseguer

    2007-01-01

    In this paper, we aim at giving a contribution toward the definition of a UML profile supporting the dependability analysis of real-time and embedded systems (RTES) that conforms to the upcoming profile named \\

  8. Research on the V&V technology of the conceptual model described by UML

    Microsoft Academic Search

    Zhang Ming-qing; Sang Hai; Tang Jun; Ye Li-jun

    2008-01-01

    How to verification and validation conceptual model (called CM for short) under the concrete descriptive way is the foundation of simulation development and reliability evaluation. This paper introduces related problems of CM V&V (verification and validation) briefly, analyzes the V&V process and matter of CM based UML description, studies V&V techniques for dynamic behavior in the UML CM, and finally

  9. A Feynman Diagram Analyser DIANA

    E-print Network

    M. Tentyukov; J. Fleischer

    1999-04-07

    A C-program DIANA (DIagram ANAlyser) for the automatic Feynman diagram evaluation is presented. It consists of two parts: the analyzer of diagrams and the interpreter of a special text manipulating language. This language is used to create a source code for analytical or numerical evaluations and to keep the control of the process in general.

  10. Energy Diagram Explorer

    NSDL National Science Digital Library

    Zollman, Dean

    This resource illustrates classical energy diagrams for 1D motion. It simulates an experiment where the energy of a cart with a magnet can be changed by putting magnets along a track. The resultant potential and kinetic energy are shown, along with the motion of the cart. The positions and polarities of the track magnets, and the position, total energy, mass, and friction of the cart can all be changed.

  11. Warped penguin diagrams

    NASA Astrophysics Data System (ADS)

    Cski, Csaba; Grossman, Yuval; Tanedo, Philip; Tsai, Yuhsin

    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 ??e? 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 ??e? 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.

  12. Enriching the structure of the UMLS semantic network.

    PubMed Central

    Zhang, Li; Perl, Yehoshua; Halper, Michael H.; Geller, James; Cimino, James J.

    2002-01-01

    The Unified Medical Language System's (UMLS's) Semantic Network (SN)---consisting of a network of semantic types---has a two-tree structure, where each semantic type has at most one parent semantic type. This arrangement is restrictive because some semantic types are, by their definition, specializations of several parents. As a proposed enhancement to the SN, its semantic types have previously been partitioned into groups, each of which contains semantic types of some specific area. However, some groups of this proposed partition contain forest (i.e., multiple-tree) structures or even isolated semantic types. Both situations imply a disconnected internal structure. Connectivity is actually one way to assess the proposed "semantic validity" principle for partitions. It is a desired, although not required, property. In this paper, we introduce a methodology for identifying "missing" IS-A links and adding them to the SN. This process transforms the SN into a Directed Acyclic Graph (DAG) structure, with semantic types permitted to have multiple parents. A result of our methodology is the transformation of the proposed SN partition into groups satisfying the connectivity property. PMID:12463963

  13. GENERATION OF UML USE CASES FROM MEASUR ONTOLOGY CHARTS

    E-print Network

    Lano, Kevin Charles

    of the system Auto generation of Use cases and test cases Improved clarity of the schema #12;USE CASE DIAGRAMS dependencies Extendable schema Immune to malignant changes #12;PROBLEMS WITH MEASUR'S ONTOLOGY CHART Semantic can semi automate the process Complex design rules MDA can auto check the rules and even auto complete

  14. On the Size of Binary Decision Diagrams Representing Boolean Functions

    Microsoft Academic Search

    Yuri Breitbart; Harry B. Hunt III; Daniel J. Rosenkrantz

    1995-01-01

    We consider the size of the representation of Boolean functions by several classes of binary decision diagrams (BDDs) (also called branching programs), namely the classes of arbitrary BDDs of real time BDD (RBDD) (i.e. BDDs where each computation path is limited to the number of variables), of free BDDs (FBDDs) (also called read-once-only branching programs), of ordered BDDs (OBDDS) i.e.

  15. Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space

    Microsoft Academic Search

    Ophir Setter; Micha Sharir; Dan Halperin

    2009-01-01

    We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most dia grams mentioned in the paper are in the plane. However, the framework is sufficiently general to sup port diagrams embedded on a family of two-dimensional parametric surfaces in R3. The computation of the diagrams is carried out through the

  16. Diagram spaces and symmetric spectra

    Microsoft Academic Search

    Steffen Sagave; Christian Schlichtkrull

    2011-01-01

    We present a general homotopical analysis of structured diagram spaces and discuss the relation to symmetric spectra. The main motivating examples are the I-spaces, which are diagrams indexed by finite sets and injections, and J-spaces, which are diagrams indexed by the Grayson-Quillen construction on the category of finite sets and bijections. We show that the category of I-spaces provides a

  17. Farthest line segment Voronoi diagrams

    Microsoft Academic Search

    Franz Aurenhammer; Robert L. Scot Drysdale; Hannes Krasser

    2006-01-01

    The farthest line segment Voronoi diagram shows properties different from both the closest-segment Voronoi diagram and the farthest-point Voronoi diagram. Surprisingly, this structure did not receive attention in the computational geometry literature. We analyze its combinatorial and topological properties and outline an O(nlogn) time construction algorithm that is easy to im- plement. No restrictions are placed upon the n input

  18. Metastable phases and phase diagrams

    Microsoft Academic Search

    M. Baricco; M. Palumbo; E. Bosco; L. Battezzati

    2004-01-01

    In this paper, the basic features of the novel field of the use of phase diagrams for the description of metastability will be outlined. Examples of experimental determination and calculation of metastable phase diagrams will be presented. In particular, metastable phase diagrams will be used to describe phase selection in cast iron (Fe-C) and stainless steels (Fe-Ni-Cr), showing the effect

  19. 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.

  20. Consumer Health Concepts That Do Not Map to the UMLS: Where Do They Fit?

    PubMed Central

    Keselman, Alla; Smith, Catherine Arnott; Divita, Guy; Kim, Hyeoneui; Browne, Allen C.; Leroy, Gondy; Zeng-Treitler, Qing

    2008-01-01

    Objective This study has two objectives: first, to identify and characterize consumer health terms not found in the Unified Medical Language System (UMLS) Metathesaurus (2007 AB); second, to describe the procedure for creating new concepts in the process of building a consumer health vocabulary. How do the unmapped consumer health concepts relate to the existing UMLS concepts? What is the place of these new concepts in professional medical discourse? Design The consumer health terms were extracted from two large corpora derived in the process of Open Access Collaboratory Consumer Health Vocabulary (OAC CHV) building. Terms that could not be mapped to existing UMLS concepts via machine and manual methods prompted creation of new concepts, which were then ascribed semantic types, related to existing UMLS concepts, and coded according to specified criteria. Results This approach identified 64 unmapped concepts, 17 of which were labeled as uniquely lay and not feasible for inclusion in professional health terminologies. The remaining terms constituted potential candidates for inclusion in professional vocabularies, or could be constructed by post-coordinating existing UMLS terms. The relationship between new and existing concepts differed depending on the corpora from which they were extracted. Conclusion Non-mapping concepts constitute a small proportion of consumer health terms, but a proportion that is likely to affect the process of consumer health vocabulary building. We have identified a novel approach for identifying such concepts. PMID:18436906

  1. Diagonal Slices of 3D Young Diagrams in the Approach of Maya Diagrams

    NASA Astrophysics Data System (ADS)

    Cai, Li-Qiang; Wang, Li-Fang; Wu, Ke; Yang, Jie

    2014-09-01

    According to the correspondence between 2D Young diagrams and Maya diagrams and the relation between 2D and 3D Young diagrams, we construct 3D Young diagrams in the approach of Maya diagrams. Moreover, we formulate the generating function of 3D Young diagrams, which is the MacMahon function in terms of Maya diagrams.

  2. Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs

    Microsoft Academic Search

    E. M. Clarke; M. Fujita; X. Zhao

    1995-01-01

    Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits. MTBDDs and BMDs have been proposed for representing this class of functions. We discuss the relationship between these methods and describe a generalization called hybrid decision diagrams which is often much more concise. We show how to implement arithmetic operations efficiently for

  3. 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

  4. Modelling freeway systems: a new traffic fundamental diagram

    Microsoft Academic Search

    A. Difebbraro; A. Ferrara; S. Sacone

    1997-01-01

    The problem of modelling nonhomogeneous traffic flow is dealt with in this paper. The proposed model is based on a classical macroscopic model, but presents the novelty of being able to describe the behaviour of different classes of vehicles. In particular, the attention is focused on the definition of a new traffic fundamental diagram, in order to correctly account for

  5. Veri cation of Arithmetic Functions with Binary Moment Diagrams

    E-print Network

    Kalla, Priyank

    with BMDs. Fur- thermore, BMDs can represent Boolean functions with around the same complexity as BDDs. We Boolean functions. Within the class of linear functions, we can embed arbitary functions from Boolean Decision Diagrams (BDDs) have proved successful for representing and manipulat- ing Boolean functions

  6. Verification of Arithmetic Functions with Binary Moment Diagrams

    E-print Network

    Bryant, Randal E.

    at the word level with BMDs. Furthermore, BMDs can represent Boolean functions with around the same complexity Diagrams (BDDs) represent Boolean functions. Within the class of linear functions, we can embed arbitary functions from Boolean variables to real, rational, or integer values. BMDs can thus model the functionality

  7. The organization of intrinsic computation: Complexity-entropy diagrams and the diversity of natural information processing

    Microsoft Academic Search

    David P. Feldman; Carl S. McTague; James P. Crutchfield

    2008-01-01

    Intrinsic computation refers to how dynamical systems store, structure, and transform historical and spatial information. By graphing a measure of structural complexity against a measure of randomness, complexity-entropy diagrams display the different kinds of intrinsic computation across an entire class of systems. Here, we use complexity-entropy diagrams to analyze intrinsic computation in a broad array of deterministic nonlinear and linear

  8. 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.

  9. Critical behavior of number-conserving cellular automata with nonlinear fundamental diagrams

    Microsoft Academic Search

    Henryk Fuks

    2006-01-01

    We investigate critical properties of a class of number-conserving cellular automata (CA) which can be interpreted as deterministic models of traffic flow with anticipatory driving. These rules are among the only known CA rules for which the shape of the fundamental diagram has been rigorously derived. In addition, their fundamental diagrams contain nonlinear segments, as opposed to majority of number-conserving

  10. Critical behaviour of number-conserving cellular automata with nonlinear fundamental diagrams

    Microsoft Academic Search

    Henryk Fuks

    2004-01-01

    We investigate critical properties of a class of number-conserving cellular automata (CAs) which can be interpreted as deterministic models of traffic flow with anticipatory driving. These rules are among the only known CA rules for which the shape of the fundamental diagram has been rigorously derived. In addition, their fundamental diagrams contain nonlinear segments, as opposed to the majority of

  11. Critical behaviour of number-conserving cellular automata with nonlinear fundamental diagrams

    Microsoft Academic Search

    Henryk Fuks

    We investigate critical properties of a class of number-conserving cellular automata (CAs) which can be interpreted as deterministic models of traffic flow with anticipatory driving. These rules are among the only known CA rules for which the shape of the fundamental diagram has been rigorously derived. In addition, their fundamental diagrams contain nonlinear segments, as opposed to the majority of

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

    E-print Network

    Wagner, Flvio Rech

    Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brio, 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

  13. 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

    2009-01-01

    -312 On the semantics of UML/MARTE Clock Constraints Frdric Mallet and Charles Andr Universit de Nice Sophia Antipolis INRIA Sophia Antipolis Mditerrane {fmallet,candre}@sophia.inria.fr Abstract The UML goal a semantics. Users are to refine or define the semantics in their domain specific profiles. In the UML Profile

  14. A UML based methodology to ease the modeling of a set of related systems Firas Alhalabi, Mathieu Maranzana, Jean-Louis Sourrouille

    E-print Network

    Paris-Sud XI, Universit de

    A UML based methodology to ease the modeling of a set of related systems Firas Alhalabi, Mathieu. This paper outlines a methodology based on UML to make the modeling of a set of related systems simpler abstraction level based on UML 2.1 [5]; (ii) a methodology to aid the development of specific systems

  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. Some nonrealizable line diagrams

    Microsoft Academic Search

    Rudi Penne

    1994-01-01

    We superimpose weaving patterns on planar line arrangements, and we face the question when they can be realized by lines in 3-space. Using the combinatorial type of the given lines in the plane we derive a class of nonrealizable weavings.

  17. Potential-pH Diagrams.

    ERIC Educational Resources Information Center

    Barnum, Dennis W.

    1982-01-01

    Potential-pH diagrams show the domains of redoxpotential and pH in which major species are most stable. Constructing such diagrams provides students with opportunities to decide what species must be considered, search literature for equilibrium constants and free energies of formation, and practice in using the Nernst equation. (Author/JN)

  18. 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.

  19. Time Temperature Transformation (TTT) Diagrams

    E-print Network

    Cambridge, University of

    isothermal transformation diagram Definition: TTT diagrams give the kinetics of isothermal transformations. 2 measurement, dilatometry (Fig. 3), electrical resistivity method, magnetic permeability, in situ diffraction-temperature salt-bath for isothermal treatment. Fig. 1 : Salt bath I -austenitisation heat treatment. 4 #12;Fig . 3

  20. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML

    Microsoft Academic Search

    Sven Burmester; Holger Giese; Matthias Tichy

    2005-01-01

    Today, advanced technical systems are complex, reconfigurable\\u000d\\u000amechatronic systems where most control and reconfiguration functionality is realized\\u000d\\u000ain software. A number of requirements have to be satisfied in order to apply\\u000d\\u000athe model-driven development approach and the UML for mechatronic systems:\\u000d\\u000aThe UML design models must support the specification of the required\\u000d\\u000ahard real-time event processing. The real-time coordination in

  1. 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

  2. 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.

  3. Constructing Two-Dimensional Voronoi Diagrams via Divide-and-Conquer of Envelopes in Space

    Microsoft Academic Search

    Ophir Setter; Micha Sharir; Dan Halperin

    2010-01-01

    \\u000a We present a general framework for computing Voronoi diagrams of different classes of sites under various distance functions\\u000a in \\u000a\\u000a\\u000a\\u000a\\u000a\\u000a\\\\mathbb R2{\\\\mathbb R}^{2}. Most diagrams mentioned in the paper are in the plane. However, the framework is sufficiently general to support diagrams\\u000a embedded on a family of two-dimensional parametric surfaces in three-dimensions. The computation of the diagrams is carried\\u000a out through

  4. Introduction to Programming 13 November 2013

    E-print Network

    Ricci, Francesco

    ; } Solution #12;Assignment 5 3 (Optional Part 3) 4. Draw a UML class diagram that shows the relationships among the classes used in the Transactions program (see ch4.pdf) . Solution #12;Exercise 1 (if

  5. 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.

  6. Particles, Feynman Diagrams and All That

    ERIC Educational Resources Information Center

    Daniel, Michael

    2006-01-01

    Quantum fields are introduced in order to give students an accurate qualitative understanding of the origin of Feynman diagrams as representations of particle interactions. Elementary diagrams are combined to produce diagrams representing the main features of the Standard Model.

  7. Phase diagram of polypeptide chains

    NASA Astrophysics Data System (ADS)

    Auer, Stefan

    2011-11-01

    We use a coarse grained protein model that enables us to determine the equilibrium phase diagram of natively folded ?-helical and unfolded ?-sheet forming peptides. The phase diagram shows that there are only two thermodynamically stable peptide phases, the peptide solution and the bulk fibrillar phase. In addition, it reveals the existence of various metastable peptide phases. The liquidlike oligomeric phases are metastable with respect to the fibrillar phases, and there is a hierarchy of metastability. The presented phase diagram provides a solid basis for understanding the assembly of polypeptide chains into the phases formed in their natively folded and unfolded conformations.

  8. Integration of Object-Z class diagrams specifications

    Microsoft Academic Search

    N. Haddar; F. Gargouri; A. B. B. Hamadou

    2002-01-01

    Distributed design of an information system consists in designing separately different parts of the system and in integrating the resulting models into a single one. To achieve the integration, similarities and conflicts between models are to be detected and resolved. This requires a precise representation of models which we cannot obtain unless we use a formal specification language. We propose

  9. 2013-2014 Federal Direct PLUS Pre-Application A. STUDENT INFORMATION UML ID # ____________________________________

    E-print Network

    Massachusetts at Lowell, University of

    2013-2014 Federal Direct PLUS Pre-Application A. STUDENT INFORMATION UML ID to determine whether to make a Direct PLUS Loan to me. I understand that I will be notified of the results of Massachusetts Lowell. By my signature, I authorize any Federal PLUS Loan amounts to be credited to the student

  10. 2012-2013 Federal Direct Graduate PLUS Pre-Application A. STUDENT INFORMATION UML ID # ____________________________________

    E-print Network

    Massachusetts at Lowell, University of

    2012-2013 Federal Direct Graduate PLUS Pre-Application A. STUDENT INFORMATION UML ID period Summer Loan disbursed in one payment. In order to receive a Graduate PLUS Loan, you must meet Direct Graduate PLUS Loan Master Promissory Note at https://studentloans.gov/ Complete Federal Direct

  11. 2013-2014 Federal Direct Graduate PLUS Pre-Application A. STUDENT INFORMATION UML ID # ____________________________________

    E-print Network

    Massachusetts at Lowell, University of

    2013-2014 Federal Direct Graduate PLUS Pre-Application A. STUDENT INFORMATION UML ID period Summer Loan disbursed in one payment. In order to receive a Graduate PLUS Loan, you must meet PLUS Loan Master Promissory Note at https://studentloans.gov/ Complete Federal Direct Graduate PLUS

  12. 2012-2013 Federal Direct PLUS Pre-Application A. STUDENT INFORMATION UML ID # ____________________________________

    E-print Network

    Massachusetts at Lowell, University of

    2012-2013 Federal Direct PLUS Pre-Application A. STUDENT INFORMATION UML ID to determine whether to make a Direct PLUS Loan to me. I understand that I will be notified of the results of Massachusetts Lowell. By my signature, I authorize any Federal PLUS Loan amounts to be credited to the student

  13. Specification of web applications design in CASE using UML and its mapping to an implementation environment

    Microsoft Academic Search

    Peter Bltk; Mria Bielikov

    Software systems design requires constantly prompter and more systematic approach. Therefore, new ways of software systems design specification are being searched for and support tools are being developed. In this paper we discuss an issue of effective web applications design using UML. Further, we elaborate an issue of transition from the applications design to its implementation via code generation. We

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

    E-print Network

    Middleton, Stuart E.

    ) for different resource configurations so we can provision the optimal cloud resources (CPU, RAM, #12;storage application workflows, using the PapyrusUML editor. We use the PaStep, PaCommStep, PaLogicalResource and Ga-functional properties, time and time-related concepts, allocation mechanisms and generic resources including concurrent

  15. 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 evaluates a system, UBMedTIRS, for retrieval of medical images. The system uses a combination of image collection that contains approximately 50,000 medical images with associated text descriptions in English

  16. Symbolic Execution of UML-RT State Machines Technical Report 2011-578

    E-print Network

    Graham, Nick

    Architect Real Time Edition (IBM RSA-RTE) [3]. RoseRT and RSA-RTE use UML-RT [31], a modeling language typically contain action code, i.e., code written in some programming language (IBM RSA-RTE supports C

  17. "UML Quiz": Automatic Conversion of Web-Based E-Learning Content in Mobile Applications

    ERIC Educational Resources Information Center

    von Franqu, Alexander; Tellioglu, Hilda

    2014-01-01

    Many educational institutions use Learning Management Systems to provide e-learning content to their students. This often includes quizzes that can help students to prepare for exams. However, the content is usually web-optimized and not very usable on mobile devices. In this work a native mobile application ("UML Quiz") that imports

  18. A Semantic Normal Form for Clinical Drugs in the UMLS: Early Experiences with the VANDF

    Microsoft Academic Search

    Stuart J. Nelson; Steven H. Brown; Mark S. Erlbaum; Tammy Powell; John Carter; Mark S. Tuttle; William T. Hole

    A semantic normal form (SNF) for a clinical drug, designed to represent the meaning of an expression typically seen in a practitioner's medication order, has been developed and is being created in the UMLS Metathesaurus. The long term goal is to establish a relationship for every concept in the Metathesaurus with semantic type \\

  19. Query Based UML Modeling Validation and Verification of the System Model and Behavior for a

    E-print Network

    Austin, Mark

    for a Hydraulic Crane Denny Mathew ENPM 643 Instructor: Dr. Mark Austin #12;Systems Engineering Process for a Hydraulic Crane - Link Belt ATC 3200 - Requirements - Systems Structure - System Behavior - ConstraintsQuery Based UML Modeling Validation and Verification of the System Model and Behavior

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

    E-print Network

    Austin, Mark

    for a Hydraulic Crane Denny Mathew ENPM 643 System Validation and Verification Instructor: Dr. Mark Austin Fall1 Query Based UML Modeling Validation and Verification of the System Model and Behavior .......................................................... 5 1.3 System Description ................................................. 6 2.0 System Architecture

  1. Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas

    E-print Network

    Cheng, Albert M. K.

    Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas Gowri Aruchamy and Albert Mo Kim Cheng Real-Time Systems Laboratory Department of Computer Science University of Houston Modeling, Real-Time Systems, Timing Constraints, Verification, RTL Abstract Real-time software development

  2. Product Line Derivation with UML 1 Tewfik Ziadi, Jean-Marc Jzquel, and Frdric Fondement

    E-print Network

    Boyer, Edmond

    Product Line Derivation with UML 1 Tewfik Ziadi, Jean-Marc Jzquel, and Frdric Fondement IRISA project ip 0004 Abstract Handling the various derivations of a product can be a daunting (and costly) task the variations from the selection process. This makes it possible to automatically derive a given product from

  3. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks

    Microsoft Academic Search

    Armen Aghasaryan; Claude Jard; Julien Thomas

    2004-01-01

    This document presents a generic model capturing the essential structural and behavioral characteristics of network components in the light of fault management. The generic model is described by means of UML notations, and can be compiled to obtain rules for a Viterbi distributed diagnoser. This paper presents the results of the continued efforts on generic modeling initiated within the Magda

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

    E-print Network

    Southampton, University of

    Animation 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 because it allows the modeller to validate that a model behaves as intended. Visualisation of animations

  5. Towards automatic derivation of a product performance model from a UML software product line model

    Microsoft Academic Search

    Rasha Tawhid; Dorina C. Petriu

    2008-01-01

    Software Product Line (SPL) engineering is a software development approach that takes advantage of the commonality and variability between products from a family, and supports the generation of specific products by reusing a set of core family assets. This paper proposes a UML model transformation approach for software product lines to derive a performance model for a specific product. The

  6. Towards Automatic Derivation of a Product Performance Model from a UML Software Product Line Model

    E-print Network

    Petriu, Dorina

    Towards Automatic Derivation of a Product Performance Model from a UML Software Product Line Model@sce.carleton.ca ABSTRACT Software Product Line (SPL) engineering is a software development approach that takes advantage product lines to derive a performance model for a specific product. The input to the proposed technique

  7. BEHAVIOR ASSEMBLY AND COMPOSITION OF USE CASES UML 2.0 PERSPECTIVE

    E-print Network

    BEHAVIOR ASSEMBLY AND COMPOSITION OF USE CASES UML 2.0 PERSPECTIVE Vladimir Mencl1 , Frantisek involves describing their behavior. The classical software engineering approach to specifying requirements architectures triggers the need of(i) assembling the behavior specified by several use cases, (ii) composing

  8. UML-AOF: A Profile for Modeling Aspect-Oriented Frameworks

    Microsoft Academic Search

    Valter Vieira de Camargo; Christina Von Flach

    2009-01-01

    The design model of an application that was develop ed with support of frameworks involves both the framework and the application design. This results in complex archite ctures represented by design models that are difficult to understand; because there are many framework characteristics which are not evident when plain UML is used. The same problem occurs with Aspect-Oriented Frameworks (AOF).

  9. 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 communication in Systems-on-Chip (SoCs). The selected topology and the rout- ing algorithm play a prime role, in order to be able to model complex architectures like NoCs. I. INTRODUCTION System-on-chip (SoC) designs

  10. Selecting UML models for test-driven development along the automation systems engineering process

    Microsoft Academic Search

    Reinhard Hametner; Dietmar Winkler; Thomas streicher; Natascha Surnic; Stefan Biffl

    2010-01-01

    Test-driven development (TDD) - an established approach in business IT software development - enables test case generation based on models early in the development process. Applying TDD and models in automation systems engineering (ASE) can increase testing effectiveness and efficiency. A key question is which models are suitable for ASE application. UML models support software and systems engineering development in

  11. Computer calculation of distribution diagrams.

    PubMed

    Maggiore, R; Musumeci, S; Sammartano, S

    1976-01-01

    A simple computer program (DISDI) has been developed for obtaining the distribution diagrams of the species in solutions containing up to one metal and two ligands. It has been compared with the programs COMICS and EQUIL. PMID:18961796

  12. NitrogenOxygen Phase Diagram

    Microsoft Academic Search

    C. S. Barrett; Lothar Meyer; Sandra C. Greer; J. Wasserman

    1968-01-01

    We have determined the phase diagram for the notrogenoxygen system by examining the x-ray diffraction patterns of polycrystalline samples of the solidified mixtures over the temperature range 2150K. The diagram exhibits a surprising complexity: a eutectic line divides the liquid and the two-phase region of (?-O2 + ?-N2), and a peritectoid line separates this two-phase region and a new phase,

  13. Z diagrams of composite objects

    Microsoft Academic Search

    T. Jaroszewicz; Stanley J. Brodsky

    1991-01-01

    We examine the effect of particle compositeness on the importance of ``Z diagrams'', i.e., virtual particle-antiparticle states appearing in scattering processes. The examples of positronium in QED, and of the nucleon in the QCD-based quark model, are discussed in detail. Generally, if the composite particle consists of N constituents, its Z-diagram amplitude involves creation and annihilation of N constituent-anticonstituent pairs.

  14. Diagram Designer 1.23

    NSDL National Science Digital Library

    Vinther, Michael

    Turning out flowcharts and diagrams for presentations can be quite a hassle, so it's nice to lean about the Diagram Designer application. With the program's interface, visitors can take advantage of the customizable object palette, slide show viewer, and the ability to plot mathematical expressions. This version also allows users to import various image file formats, such as jpeg and gif files. This version is compatible with computers running Windows 98 and newer.

  15. Two-dimensional line space Voronoi Diagram

    Microsoft Academic Search

    Stphane Rivire; Dominique Schmitt

    2007-01-01

    Given a set of points called sites, the Voronoi diagram is a partition of the plane into sets of points having the same closest site. Several generalizations of the Voronoi diagram have been studied, mainly Voronoi diagrams for different distances (other than the Euclidean one), and Voronoi diagrams for sites that are not necessarily points (line segments for example). In

  16. DRAWING DIAGRAMS IN AN ONLINE EXAMINATION

    Microsoft Academic Search

    Pete Thomas

    This paper describes a study into the drawing of diagrams in an online examination. The diagrams were produced by students during an on-line examination using a simple drawing tool. The students' examination answers, which included a diagram, were submitted over the Internet to an automatic marking tool for grading and feedback. This paper describes the diagram drawing tool and discusses

  17. 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

  18. MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time System

    Microsoft Academic Search

    Julio L. Medina Pasaje; Michael Gonzlez Harbour; Jos M. Drake

    2001-01-01

    This paper describes a methodology and a framework for building an analyzable real-time model of an object-oriented system that is developed using a UML CASE tool. The real-time model is formulated by a new UML view named "MAST RT View". This view allows the designer to gradually build the real-time model according to the phase of the development process, to

  19. Topology of surface diagrams of smooth 4-manifolds

    PubMed Central

    Williams, Jonathan D.

    2011-01-01

    Surface diagrams are a new way to specify any smooth closed orientable 4-manifold by an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each curve has a unique transverse intersection with the next. The aim of this paper is to announce a uniqueness theorem for these objects (within a fixed homotopy class) that turns out to be similar to the Reidemeister-Singer theorem for Heegaard splittings of 3-manifolds. PMID:21518896

  20. Traffic on Bidirectional Ant Trails: Coarsening Behaviour and Fundamental Diagrams

    Microsoft Academic Search

    Alexander John; Ambarish Kunwar; Alireza Namazi; Andreas Schadschneider; Debashish Chowdhury; Katushiro Nishinari

    We investigate traffic on preexisting ant trails using minimal cellular automaton models. We focus on generic properties of\\u000a the models like the coarsening of particles and the fundamental diagrams. Crucial differences between the biand the unidirectional\\u000a model are also discussed. However, based on the coarsening behaviour both models belong to the same universality class. Furthermore\\u000a it will be shown how

  1. Using Diagram Generation Software to Improve Diagram Recognition: A Case Study of Music Notation

    Microsoft Academic Search

    Dorothea Blostein; Lippold Haken

    1999-01-01

    Diagrams are widely used in society to transmit information such as circuit designs, music, mathematical formulae, architectural plans, and molecular structure. Computers must process diagrams both as images (marks on paper) and as information. A diagram recognizer translates from image to information and a diagram generator translates from information to image. Current technology for diagram generation is ahead of the

  2. Pseudohaptic interaction with knot diagrams

    NASA Astrophysics Data System (ADS)

    Weng, Jianguang; Zhang, Hui

    2012-07-01

    To make progress in understanding knot theory, we need to interact with the projected representations of mathematical knots, which are continuous in three dimensions (3-D) but significantly interrupted in the projective images. One way to achieve such a goal is to design an interactive system that allows us to sketch two-dimensional (2-D) knot diagrams by taking advantage of a collision-sensing controller and explore their underlying smooth structures through a continuous motion. Recent advances of interaction techniques have been made that allow progress in this direction. Pseudohaptics that simulate haptic effects using pure visual feedback can be used to develop such an interactive system. We outline one such pseudohaptic knot diagram interface. Our interface derives from the familiar pencil-and-paper process of drawing 2-D knot diagrams and provides haptic-like sensations to facilitate the creation and exploration of knot diagrams. A centerpiece of the interaction model simulates a physically reactive mouse cursor, which is exploited to resolve the apparent conflict between the continuous structure of the actual smooth knot and the visual discontinuities in the knot diagram representation. Another value in exploiting pseudohaptics is that an acceleration (or deceleration) of the mouse cursor (or surface locator) can be used to indicate the slope of the curve (or surface) of which the projective image is being explored. By exploiting these additional visual cues, we proceed to a full-featured extension to a pseudohaptic four-dimensional (4-D) visualization system that simulates the continuous navigation on 4-D objects and allows us to sense the bumps and holes in the fourth dimension. Preliminary tests of the software show that main features of the interface overcome some expected perceptual limitations in our interaction with 2-D knot diagrams of 3-D knots and 3-D projective images of 4-D mathematical objects.

  3. Class Matters

    ERIC Educational Resources Information Center

    Valdata, Patricia

    2005-01-01

    Ever since George Washington opted for the title of president rather than king, Americans have been uncomfortable with the idea of class distinctions. This article presents an interview with Dr. Janet Galligani Casey regarding the idea of class distinctions. Galligani Casey, who grew up in a working-class neighborhood in Somerville, Massachusetts,

  4. The Quasar SED Mixing Diagram

    NASA Astrophysics Data System (ADS)

    Hao, Heng; Elvis, M.; Civano, F.

    2011-05-01

    We present a useful new diagram for characterizing the quasar-host-reddening mixture for AGN SEDs. This "mixing diagram" is based on a detailed study of 413 X-ray selected Type 1 AGN SEDs from the XMM-COSMOS Survey (Elvis, Hao, et al., 2011). The mixing diagram plots the near-IR (1-3micron) spectral slope against the optical (0.3-1micron) slope to form a generalized 'color-color' diagram. A pure AGN continuum (Elvis et al., 1994, E94) and pure host galaxies are located at clear and distinct positions on the mixing diagram. The lines joining them indicate the fraction of host contribution to each AGN. The reddening vector is almost perpendicular to these mixing lines, and so is easily measured independently. The mixing diagram shows that 90% of the AGNs lie on mixing curves between the mean E94 AGN SED and a host galaxy, with only modest reddening [E(B-V)=0.1-0.2] (Hao et al., 2011a). Lower luminosity and lower Eddington ratio AGNs have a larger host galaxy fraction, as expected. Optically selected samples (SDSS) have smaller host galaxy fractions. There is some intrinsic scatter around the E94 mean SED. A substantial minority, 10%, of the XMM-COSMOS AGNs are inconsistent with any AGN+host+reddening mix. These AGNs have weak or non-existent near-IR bumps, suggesting a lack of the hot dust characteristic of AGNs (Hao et al., 2010). A similar fraction of these "hot dust poor" (HDP) quasars are found in the Elvis et al. 1994 (BQS) and Richards et al. 2006 (SDSS) samples (Hao et al., 2011b). The fraction of "hot dust poor" AGNs grows to 20% at z>2 (Hao et al. 2010). The proposed 'cosmic cycle' of SMBH and galaxy co-evolution (e.g. Hopkins et al., 2006) can be shown as tracks on the mixing diagram. The mixing diagram definition could also be expanded to other wavelengths.

  5. CHARTLINE: providing bibliographic references relevant to patient charts using the UMLS Metathesaurus Knowledge Sources.

    PubMed Central

    Miller, R. A.; Gieszczykiewicz, F. M.; Vries, J. K.; Cooper, G. F.

    1992-01-01

    A successful medical informatics program helps its users to match their information needs as closely and efficiently as possible to the capabilities of the system. CHARTLINE is a computer program whose input is a free text, "natural language" patient chart in ASCII format. Using the UMLS Metathesaurus Knowledge Sources, CHARTLINE can suggest bibliographic references relevant to the patient case described in the chart. The program does not attempt to "understand" the natural language content of the chart. CHARTLINE only recognizes UMLS Metathesaurus Main Concept terms (or their synonyms) as they occur in the medical text, since those terms represent the tokens used to index the literature. The program depends on user feedback to determine which topics of a large number of potentially relevant subjects are of interest to the user. PMID:1483014

  6. A semantic normal form for clinical drugs in the UMLS: early experiences with the VANDF.

    PubMed Central

    Nelson, Stuart J.; Brown, Steven H.; Erlbaum, Mark S.; Olson, Nels; Powell, Tammy; Carlsen, Brian; Carter, John; Tuttle, Mark S.; Hole, William T.

    2002-01-01

    A semantic normal form (SNF) for a clinical drug, designed to represent the meaning of an expression typically seen in a practitioner's medication order, has been developed and is being created in the UMLS Metathesaurus. The long term goal is to establish a relationship for every concept in the Metathesaurus with semantic type "clinical drug" with one or more of these semantic normal forms. First steps have been taken using the Veterans Administration National Drug File (VANDF). 70% of the entries in the VANDF could be parsed algorithmically into the SNF. Next steps include parsing other drug vocabularies included in the UMLS Metathesaurus and performing human review of the parsed vocabularies. After machine parsed forms have been merged in the Metathesaurus Information Database (MID), editors will be able to edit matched SNFs for accuracy and establish relationships and relationship attributes with other clinical drug concepts PMID:12463886

  7. The UMLS Knowledge Source Server: an experience in Web 2.0 technologies.

    PubMed

    Thorn, Karen E; Bangalore, Anantha K; Browne, Allen C

    2007-01-01

    The UMLS Knowledge Source Server (UMLSKS), developed at the National Library of Medicine (NLM), makes the knowledge sources of the Unified Medical Language System (UMLS) available to the research community over the Internet. In 2003, the UMLSKS was redesigned utilizing state-of-the-art technologies available at that time. That design offered a significant improvement over the prior version but presented a set of technology-dependent issues that limited its functionality and usability. Four areas of desired improvement were identified: software interfaces, web interface content, system maintenance/deployment, and user authentication. By employing next generation web technologies, newer authentication paradigms and further refinements in modular design methods, these areas could be addressed and corrected to meet the ever increasing needs of UMLSKS developers. In this paper we detail the issues present with the existing system and describe the new system's design using new technologies considered entrants in the Web 2.0 development era. PMID:18693931

  8. Standardized Quality Assurance Forms for Organ Transplantations with Multilingual Support, Open Access and UMLS Coding.

    PubMed

    Varghese, Julian; Schulze Snninghausen, Sarah; Dugas, Martin

    2015-01-01

    Quality assurance (QA) is a key factor to evaluate success of organ transplantations. In Germany QA documentation is progressively developed and enforced by law. Our objective is to share QA models from Germany in a standardized format within a form repository for world-wide reuse and exchange. Original QA forms were converted into standardized study forms according to the Operational Data Model (ODM) and shared for open access in an international forms repository. Form elements were translated into English and semantically enriched with Concept Unique Identifiers from the Unified Medical Language System (UMLS) based on medical expert decision. All forms are available on the web as multilingual ODM documents. UMLS concept coverage analysis indicates 92% coverage with few but critically important definition gaps. New content and infrastructure for harmonized documentation forms is provided in the domain of organ transplantations enabling world-wide reuse and exchange. PMID:26063252

  9. Thermodynamics Of A Class Of Kerr-Bolt-Ads Spacetime

    E-print Network

    Tanwi Ghosh

    2003-05-14

    Using a boundary prescription motivated by the Ads-Cft conjecture, I study the thermodynamical properties of the class of Kerr-Bolt-Ads spacetime.The stability conditions and the complete phase diagrams are investigated.

  10. The potential of the digital anatomist foundational model for assuring consistency in UMLS sources.

    PubMed Central

    Mejino, J. L.; Rosse, C.

    1998-01-01

    Inconsistent anatomical concept representation can be identified in anatomy textbooks and hard copy term lists, as well as in UMLS source vocabularies and other controlled medical terminologies. In this report we select some examples of inconsistent representations of anatomical concepts, and illustrate how these inconsistencies can be explained and reconciled by the Digital Anatomist Foundational Model. We use this process for gaining a measure of the validity of the logic-based Model. Images Figure 2 PMID:9929334

  11. UML-CI: A reference model for profiling critical infrastructure systems

    Microsoft Academic Search

    Ebrahim Bagheri; Ali A. Ghorbani

    2010-01-01

    The study of critical infrastructure systems organization and behavior has drawn great attention in the recent years. This\\u000a is in part due to their great influence on the ordinary life of every citizen. In this paper, we study critical infrastructures\\u000a characteristics and propose a reference model based on the Unified Modeling Language (UML). This reference model attempts\\u000a to provide suitable

  12. 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

  13. Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML

    Microsoft Academic Search

    Razvan Jigorea; Sorin Manolache; Petru Eles; Zebo Peng

    2000-01-01

    This paper explores aspects concerning system-level specification, modelling and simulation of real-time embedded systems. By means of case studies, we investigate how object-oriented methodologies, and in particular UML, support the modelling of industrial scale real-time systems, and how different architectures can be explored by model simulation. We are mainly interested in the problem of system specification as it appears from

  14. INCONEL 718: A solidification diagram

    Microsoft Academic Search

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

    1989-01-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

  15. Venn Diagram Warm-Up

    NSDL National Science Digital Library

    M Johnson

    2013-10-02

    This response answers a posted question, "What is your favorite warm-up suited for all grade levels?". The response details a Venn Diagram warm-up that can be used with any grade level and modified to fit most math topics.

  16. 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

  17. 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

  18. 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

  19. 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.

  20. 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

  1. Diagramming the Never Ending Story: Student-generated diagrammatic stories integrate and retain science concepts improving science literacy

    NASA Astrophysics Data System (ADS)

    Pillsbury, Ralph T.

    This research examined an instructional strategy called Diagramming the Never Ending Story: A method called diagramming was taught to sixth grade students via an outdoor science inquiry ecology unit. Students generated diagrams of the new ecology concepts they encountered, creating explanatory 'captions' for their newly drawn diagrams while connecting them in a memorable story. The diagramming process culminates in 20-30 meter-long murals called the Never Ending Story: Months of science instruction are constructed as pictorial scrolls, making sense of all new science concepts they encounter. This method was taught at a North Carolina "Public" Charter School, Children's Community School, to measure its efficacy in helping students comprehend scientific concepts and retain them thereby increasing science literacy. There were four demographically similar classes of 20 students each. Two 'treatment' classes, randomly chosen from the four classes, generated their own Never Ending Stories after being taught the diagramming method. A Solomon Four-Group Design was employed: Two Classes (one control, one treatment) were administered pre- and post; two classes received post tests only. The tests were comprised of multiple choice, fill-in and extended response (open-ended) sections. Multiple choice and fill-in test data were not statistically significant whereas extended response test data confirm that treatment classes made statistically significant gains.

  2. Pressure-enthalpy diagrams for alternative refrigerants

    Microsoft Academic Search

    J. Chen; H. Kruse

    1996-01-01

    Thermodynamic diagrams, particularly log(p)-h diagrams, have become very convenient tools for refrigeration and air-conditioning industries. To promote alternative refrigerants-related development and application, it is urgently required to provide the industries with reliable engineering diagrams for the most promising candidate refrigerants. A computer program has been developed for automatically producing log(p)-h diagrams for alternative refrigerants. The Lee Kesler Ploecker (LKP) equation

  3. guidelines for binary phase diagram assessment

    Microsoft Academic Search

    H. Okamoto; T. B. Massalski

    1993-01-01

    The recent publication of Binary Alloy Phase Diagrams,2nd ed, [90Mas] and our extensive screening of phase diagram graphics\\u000a for this edition has revealed many phase diagram features, which while not explicitly violating phase diagram rules, are to\\u000a a lesser or greater extent unlikely to represent thermodynamically acceptable conditions. In two previous papers, several\\u000a thermodynamically improbable features or boundaries in binary

  4. 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.

  5. Arrows in Comprehending and Producing Mechanical Diagrams

    ERIC Educational Resources Information Center

    Heiser, Julie; Tversky, Barbara

    2006-01-01

    Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using text or diagrams. Two experiments illustrate the role of arrows in diagrams of mechanical systems. In Experiment 1, people described diagrams with or without arrows,

  6. DRAWING ENVIRONMENT DIAGRAMS COMPUTER SCIENCE 61A

    E-print Network

    California at Berkeley, University of

    line at a time. 1 #12;DISCUSSION : DRAWING ENVIRONMENT DIAGRAMS Page 2 0.3 When you EncounterDRAWING ENVIRONMENT DIAGRAMS COMPUTER SCIENCE 61A February 6, 2013 0.1 Background A frame frames will not end up with frame numbers. 0.2 Starting Your Diagram First draw the global frame

  7. Treatment of Diagrams in Document Image Analysis

    Microsoft Academic Search

    Dorothea Blostein; Edward Lank; Richard Zanibbi

    2000-01-01

    Document image analysis is the study of converting documents from paper form to an electronic form that captures the information content of the document. Necessary processing includes recognition of document layout (to determine reading order, and to distinguish text from diagrams), recognition of text (called Optical Character Recognition, OCR), and processing of diagrams and photographs. The processing of diagrams has

  8. Generating Textual Diagrams and Diagrammatic Texts

    Microsoft Academic Search

    Donia Scott; Richard Power

    1998-01-01

    Abstract. There are obvious ways in which text and diagrams within a document should be coordinated: for instance, the placement of a diagram might influence the wording of the text. However, there is a more subtle interaction between text and diagrams, which has emerged from work on generating technical documents,that make extensive use of layout. Constituents that would normally be

  9. Causal Reasoning with Neuron Diagrams Martin Erwig

    E-print Network

    Erwig, Martin

    Causal Reasoning with Neuron Diagrams Martin Erwig Oregon State University erwig- losophy for over two millennia. Modern philosophers often rely on "neuron diagrams", a domain itself. In this paper we formalize the syntax and semantics of neuron diagrams. We discuss existing

  10. Constant life diagrams a historical review

    Microsoft Academic Search

    G. P. Sendeckyj

    2001-01-01

    A historical review of the early development of constant life diagrams (variously referred to as Goodman, Smith, Haigh, etc. diagrams) is presented. It is shown that there were two distinct approaches to the formulation of constant life diagrams for fatigue design purposes. The first one was based on Whler's fatigue experiments and involved engineering curve fits of the fatigue endurance

  11. 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,

  12. Phase diagram of coupled ladders

    Microsoft Academic Search

    T. F. A. Mller; T. M. Rice

    1998-01-01

    The two-leg t-J ladder forms a spin liquid at half filling that evolves to a Luther-Emery liquid upon doping. Our aim is to obtain a complete phase diagram for isotropic coupling (i.e., rungs and legs equal) as a function of electron density n and the ratio J\\/t. Two known limiting cases are n<12, which is a single band Luttinger liquid,

  13. INCONEL 718: A solidification diagram

    Microsoft Academic Search

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

    1989-01-01

    As part of a program studying weldability of Ni-base superalloys, results of an integrated analytical approach are used to\\u000a generate a constitution diagram for INCONEL 718* in the temperature range associated with solidification. Differential thermal analysis of wrought material and optical and\\u000a scanning electron microscopy, electron probe microanalysis, and analytical electron microscopy of gas tungsten arc welds are\\u000a used in

  14. Michael Henke, Gerhard Buck-Sorlin, Winfried Kurth E-mail: mhenke@uni-goettingen.de Internet: www.grogra.de

    E-print Network

    Kurth, Winfried

    : seed, root, bud, leaf, internode, flower, fruit, etc. Organ with predefined state variables and methods Length of leaf blade and potential vs. actual growth rate Figure 3: UML class diagram representing

  15. 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.

  16. Framingham State College 63271: Data Structures David Keil Fall 2008

    E-print Network

    Keil, David M.

    (on your system) - URL (on Web) - Site name Suggestion: Store each web page record on one line of your. Documentation should include diagrams of any relevant class relationships or module hierarchies. Use UML class diagrams to help document each class. Testing and discussion of test results Test a variety of different

  17. Structuration and acquisition of medical knowledge. Using UMLS in the conceptual graph formalism.

    PubMed Central

    Volot, F.; Zweigenbaum, P.; Bachimont, B.; Ben Said, M.; Bouaud, J.; Fieschi, M.; Boisvieux, J. F.

    1993-01-01

    The use of a taxonomy, such as the concept type lattice (CTL) of Conceptual Graphs, is a central structuring piece in a knowledge-based system. The knowledge it contains is constantly used by the system, and its structure provides a guide for the acquisition of other pieces of knowledge. We show how UMLS can be used as a knowledge resource to build a CTL and how the CTL can help the process of acquisition for other kinds of knowledge. We illustrate this method in the context of the MENELAS natural language understanding project. PMID:8130568

  18. A Queuing Theory and Systems Modeling Course Based on Unified Modeling Language (UML)

    NASA Astrophysics Data System (ADS)

    Perdos, Athanasios; Stephanides, George; Chatzigeorgiou, Alexander

    This paper presents the implementation of a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done. It also presents how this method was evaluated by the teachers and the students that attended the course and answered a questionnaire. This course is based on the use of Unified Modeling Language (UML) as the mean to teach modeling of discrete event systems such as queues and networks and not on Mathematics that sometimes is too difficult for students to understand.

  19. Developing a UMLS-based indexing tool for health science repository system.

    PubMed

    Zhang, Dongming; Roderer, Nancy K; Huang, Guang; Zhao, Xin

    2006-01-01

    One of the important procedures during the operation of an Institutional Repository System (IRS) is to categorize and index the submitted digital objects. Based on current practice, human catalogers are frequently involved in this process to make accurate categorization. Funded by NLM development grant, we are developing an UMLS-based indexing tool. The tool will be integrated or plug-in into most IRS, and categorize and assign MeSH headings and keywords to text-based digital objects automatically. PMID:17238776

  20. New Type Checking Rules for OCL (Collection) Expressions

    Microsoft Academic Search

    Andy Schrr

    2000-01-01

    The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational's UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of pre- and postconditions of operations. Despite of the fact that OCL is called a statically

  1. New Type Checking Rules for OCL Expressions

    Microsoft Academic Search

    Andy Schrr

    2001-01-01

    The Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language standard. It has been added to Rational's UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of pre- and postconditions of operations. Despite of the fact that OCL is called a statically

  2. Change Awareness in Software Engineering Using Two Dimensional Graphical Design and Development Tools

    Microsoft Academic Search

    James Tam; Lorin McCaffrey; Frank Maurer; Saul Greenberg

    2000-01-01

    In this paper, we discuss several display mechanisms for representing changes in the UML (Unified Modeling Language) class diagrams: animated replays (5,6), storyboards (3), iconic representations and a documentation method. These display mechanisms were implemented in a prototype UML editor. We present the results of an empirical interface refinement study that was conducted to determine the strengths and weaknesses of

  3. Phase diagram of coupled ladders

    Microsoft Academic Search

    T. F. A. Muller; T. M. Rice

    1998-01-01

    The 2-leg t-J ladder forms a spin liquid at half-filling which evolves to a\\u000aLuther-Emery liquid upon doping. Our aim is to obtain a complete phase diagram\\u000afor isotropic coupling (i.e. rungs and legs equal) as a function of electron\\u000adensity n and the ratio J\\/t (>0). Two known limiting cases are: n<1\\/2 which is\\u000aa single band Luttinger liquid

  4. Community detection by graph Voronoi diagrams

    NASA Astrophysics Data System (ADS)

    Deritei, Dvid; Lzr, Zsolt I.; Papp, Istvn; Jrai-Szab, Ferenc; Sumi, Rbert; Varga, Levente; Ravasz Regan, Erzsbet; Ercsey-Ravasz, Mria

    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.

  5. A virtual class calculus

    Microsoft Academic Search

    Erik Ernst; Klaus Ostermann; William R. Cook

    2006-01-01

    Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within sub- classes. They resemble inner classes, which are also defined within a class, but virtual classes are accessed through object instances, not as static components of a class. When used as types, virtual classes de- pend upon

  6. Single and Double Perturbative Splitting Diagrams in Double Parton Scattering

    E-print Network

    Jonathan R. Gaunt; W. James Stirling

    2012-02-14

    We discuss the role of two different types of diagram in the proton-proton double parton scattering (DPS) cross section - single and double perturbative splitting graphs. Using explicit calculations of simple graphs from these classes we show that the treatment of these graphs by the 'double PDF' framework for describing the DPS cross section, introduced a number of years ago by Snigirev and collaborators, is unsatisfactory. We suggest that a contribution from single perturbative splitting graphs should be included in the DPS cross section, albeit with a different geometrical prefactor to the contribution from 'zero perturbative splitting' graphs.

  7. Symmetry Classes

    E-print Network

    Martin R. Zirnbauer

    2010-01-05

    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.

  8. Interactive query workstation: a demonstration of the practical use of UMLS knowledge sources.

    PubMed Central

    Cimino, C.; Barnett, G. O.; Blewett, D. R.; Hassan, L. J.; Grundmeier, R.; Merz, R.; Kahn, J. A.; Gnassi, J. A.

    1992-01-01

    The Interactive Query Workstation (IQW) has been developed to provide clinicians with a uniform program interface for retrieving medical-related information from various computer-based information resources. These resources can vary in content (bibliographic databases, drug information, general medical text databases), function (article retrieval, differential diagnosis, drug interaction detection, or drug dosage and administration information), and media formats (local hard disk, CD-ROM, local area network, or distant telecommunication link). IQW allows modular addition of new resources as well as extension of previously installed resources. The National Library of Medicine's three Unified Medical Language System (UMLS) Knowledge Sources, the Metathesaurus (Meta), the Semantic Network, and the Information Sources Map (ISM) have been incorporated into many aspects of IQW. Meta provides information about medical terminology and aids IQW in isolating the basic concepts from a clinician's question. The Semantic Network provides information about the categorization of concepts and possible relations between concepts. It also assists IQW in determining which queries are appropriate for a set of concepts contained in the clinician's question. The ISM provides information about the content available from a computer-based resources and aids IQW in selecting an appropriate resource from which to collect information. The computer-based resource selection is performed without user intervention. This interactive demonstration shows an environment which increases the accessibility of medical information to clinicians by utilizing the three UMLS Knowledge Sources. PMID:1483001

  9. Binary alloy phase diagrams requiring further studies

    Microsoft Academic Search

    H. Okamoto; T. B. Massalski

    1994-01-01

    Binary Alloy Phase Diagrams , 2nd ed. 90Mas, covering ?3000 systems and ?2200 phase diagrams, is the most current compilation of binary systems. However,\\u000a ?500 of them include thermodynamically unlikely features. These problems are classified into more than 30 groups, and a few\\u000a typical examples are shown for each group. If a phase diagram shows an improbable feature, it implies

  10. The box diagram in Yukawa theory

    E-print Network

    Bernard L. G. Bakker; Jorn K. Boomsma; Chueng-Ryong Ji

    2006-10-30

    We present a light-front calculation of the box diagram in Yukawa theory. The covariant box diagram is finite for the case of spin-1/2 constituents exchanging spin-0 particles. In light-front dynamics, however, individual time-ordered diagrams are divergent. We analyze the corresponding light-front singularities and show the equivalence between the light-front and covariant results by taming the singularities.

  11. Classical 3-loop 2-body diagrams

    E-print Network

    Barak Kol; Ruth Shir

    2013-07-30

    As part of the study of the two-body problem in Einstein's gravity, the fourth post-Newtonian order (4PN) of the two-body effective action is being computed presently by both effective field theory (EFT) methods and others. Diagrams with 3 (or 4) classical loops appear to be a significant obstacle. In this paper we develop a method to compute such 3-loop diagrams and demonstrate it through a specific diagram. We reduce the classical diagrams through shrinking the body worldlines to a form more familiar in Quantum Field Theory. A key ingredient in the evaluation is the Integration By Parts method for Feynman integrals.

  12. 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.

  13. 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

  14. New developments in the ``ab initio`` determination of transition metal alloy phase diagrams

    Microsoft Academic Search

    C. Wolverton; M. Asta; S. Quannasser; H. Dreysse; D. de Fontaine

    1992-01-01

    Certain classes of temperature-composition binary alloy phase diagrams can now be computed in an ``ab-initio`` approach. No adjustable or experimentally fitted parameter is used. The expectation value of the energy is expressed in terms of an expansion of cluster probabilities, where the prefactors, the Effective Cluster Interaction, are related to the alloy electronic structure. This framework is used to study

  15. New developments in the ab initio'' determination of transition metal alloy phase diagrams

    Microsoft Academic Search

    C. Wolverton; M. Asta; S. Quannasser; H. Dreysse; D. de Fontaine

    1992-01-01

    Certain classes of temperature-composition binary alloy phase diagrams can now be computed in an ab-initio'' approach. No adjustable or experimentally fitted parameter is used. The expectation value of the energy is expressed in terms of an expansion of cluster probabilities, where the prefactors, the Effective Cluster Interaction, are related to the alloy electronic structure. This framework is used to study

  16. 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.

  17. Hubble's diagram and cosmic expansion

    PubMed Central

    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, 168173]. 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. PMID:14695886

  18. Counting planar diagrams with various restrictions

    Microsoft Academic Search

    Gerard't Hooft

    1999-01-01

    Explicit expressions are considered for the generating functions concerning the number of planar diagrams with given numbers of 3- and 4-point vertices. It is observed that planar renormalization theory requires diagrams with restrictions, in the sense that one wishes to omit tadpole insertions and seagull insertions; at a later stage also self-energy insertions are to be removed, and finally also

  19. On the convergence of planar diagram expansions

    Microsoft Academic Search

    Gerard't Hooft

    1982-01-01

    Renormalizable quantum field theories whose perturbation expansions are described by planar Feynman diagrams only, such as SU(8) gauge theory, are considered in 4 dimensional Euclidean space. For studying asymptotic properties of the perturbation series one might wish to isolate first all those planar diagrams that do not contain any ultraviolet divergent subgraphs. In this paper it is proved that this

  20. User applications of alloy phase diagrams

    Microsoft Academic Search

    V. Raghavan

    2009-01-01

    the Schaeffler diagram. Apart from Cr and Ni, other intentionally added or residual alloying elements in stainless steels are usually present in smaller concentrations. The empirical diagrams take these into account by using either a chromium equivalent or a nickel equivalent, depending on whether the alloying element stabilizes ferrite or austenite. Fixed values of the equivalents obtained from a limited