WorldWideScience

Sample records for uml class diagrams

  1. XML Schema Modeling through UML Class Diagram

    LUJing-ping; HEYu-lin; LIShang-ping

    2004-01-01

    A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.

  2. Structural complexity metrics for UML class diagrams

    KONG Qing-yan; LUN Li-jun; WANG Yi-he; DING Xue-mei

    2008-01-01

    In order to evaluate the structural complexity of class diagrams systematically and deeply, a new guiding framework of structural complexity is presented. An index system of structural complexity for class dia-grams is given. This article discusses the formal description of class diagrams, and presents the method of for-mally structural complexity metrics for class diagrams from associations, dependencies, aggregations, generali-zations and so on. An applicable example proves the feasibility of the presented method.

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

    Soumaya Amdouni

    2011-05-01

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

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

    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…

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

    Mathilde Alonso; Ludovic Auxepaules; Dominique Py

    2010-01-01

    This paper presents Diagram, a learning environment for object-oriented modelling with UML class diagrams. Diagram reifies an interaction model that supports the learner’s metacognitive activity. This model relies on a task organization, on specific modelling graphic tools and on contextual helps. Diagram includes a diagnostic module which compares the student diagram with a reference diagram, and produces the list of the differences between these diagrams. The diagnostic algorithm is inspire...

  6. TCD: A Text-Based UML Class Diagram Notation and Its Model Converters

    Washizaki, Hironori; Akimoto, Masayoshi; Hasebe, Atsushi; Kubo, Atsuto; Fukazawa, Yoshiaki

    Among several diagrams defined in UML, the class diagram is particularly useful through entire software development process, from early domain analysis stages to later maintenance stages. However conventional UML environments are often inappropriate for collaborative modeling in physically remote locations, such as exchanging models on a public mailing list via email. To overcome this issue, we propose a new diagram notation, called "TCD" (Text-based uml Class Diagram), for describing UML class diagrams using ASCII text. Since text files can be easily created, modified and exchanged in anywhere by any computing platforms, TCD facilitates the collaborative modeling with a number of unspecified people. Moreover, we implemented model converters for converting in both directions between UML class diagrams described in the XMI form and those in the TCD form. By using the converters, the reusability of models can be significantly improved because many of UML modeling tools support the XMI for importing and exporting modeling data.

  7. From use cases to UML class diagrams using logic grammars and constraints

    Christiansen, Henning; Have, Christian Theil; Tveitane, Knut

    2007-01-01

    We investigate the possibilities for automated transition from Use Cases in a restricted natural language syntax into UML class diagrams, by trying to capture the semantics of the natural language and map it into building blocks of the object oriented programming paradigm (classes, objects, methods...

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

    Py, Dominique; Auxepaules, Ludovic; Alonso, Mathilde

    2013-01-01

    Learning environments for object-oriented modelling in UML which offer a rich interaction usually impose, in return, strong restrictions on the range of exercises they can address. We propose to overcome this limit by including a diagnostic module that compares the student diagram with a reference diagram. This approach enables to combine the advantages of an open environment (in which the teacher can add new exercises without constraints on the vocabulary or the size of the diagram) with a s...

  9. Aesthetics and automatic layout of UML class diagrams

    Eichelberger, Holger

    2005-01-01

    In the last years, visual methods have been introduced in industrial software production and teaching of software engineering. In particular, the international standardization of a graphical software engineering language, the Unified Modeling Language (UML) was a reason for this tendency. Unfortunately, various problems exist in concrete realizations of tools, e.g. due to a missing compliance to the standard. One problem is the automatic layout, which is required for a consistent automatic so...

  10. Reverse Engineering: An Analysis of Static Behaviors of Object Oriented Programs by Extracting UML Class Diagram

    Mrinal Kanti Sarkar

    2013-09-01

    Full Text Available The Unified Modeling Language (UML has been accepted as a standard for modeling object oriented system. It helps the designer to understand a problem well by focusing on one aspects of a problem at a time. In this paper we present a novel approach in which reverse engineering is performed and we have chosen UML as the modeling language to achieve a representation of the implemented system. In this work we have considered java programs. After a brief introduction to the subject, we present some analyses which go beyond mere enumeration of methods and fields. We sketch a method which determines classes and their attribute, operation and relationship: generalization, aggregation, association and various kind of dependencies in form of a simple class diagram that can be understood by a programmer when inspecting the source code of a given java programs. To fully understand the behavior of a system, it is crucial to have efficient techniques to reverse static views of the system. In this paper, we focus on the reverse engineering to find UML class diagram from an object oriented system and analysis of its static behavior.

  11. 基于本体的UML类图语义推理%ONTOLOGY-BASED SEMANTICS REASONING OF UML CLASS DIAGRAM

    刘嘉; 童格明; 李明; 臧凤奎

    2011-01-01

    Unified modelling language (UML) is a semi -formal language, its semantics sector is described with natural language, which leads to the semantic inconformity in the process of modelling. The paper presents a formal method of UML class diagram based on detailed comparison of UML class diagram and ontology. Firstly we transform the UML class diagram to corresponding ontology; then we reason the transformed ontology according to the reasoning algorithm of Tableau provided by the ontology, and detect the inconformity in it so as to modify the UML class diagram, at the end we obtain the accurate UML class diagram.%统一建模语言(IJML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题.在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图.

  12. Program Synthesizes UML Sequence Diagrams

    Barry, Matthew R.; Osborne, Richard N.

    2006-01-01

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

  13. OOAspectZ and aspect-oriented UML class diagrams for Aspect-oriented software modelling (AOSM

    Cristian Vidal Silva

    2013-12-01

    Full Text Available Regarding modularised software development, Aspect-oriented programming (AOP identifies and represents individually crosscutting concerns during the software development cycle’s programming stage. This article proposes and applies OOAspectZ to formal Aspect-oriented requirement specifications for prior stages of the software development cycle. It particularly concerns requirement specification and the structural design of data and behaviour, along with describing and applying Aspect-oriented UML class diagrams to designing classes, aspects and associations among classes and aspects during Aspect-oriented software development (AOSD.OOAspectZ is a language integrating both Object-Z and AspectZ formal languages whereas Aspect-oriented UML class diagrams represent AOP code, object class and crosscutting concern class structure by means of stereotypes. This article shows and applies the main OOAspectZ and AO UML class diagram characteristics to Aspect-oriented software modelling (AOSM using a classic example of AOP. Ideas for future work concerning an actual AOP version are also indicated.

  14. Modeling Workflow Using UML Activity Diagram

    Wei Yinxing(韦银星); Zhang Shensheng

    2004-01-01

    An enterprise can improve its adaptability in the changing market by means of workflow technologies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling Language (UML) activity diagram is an important visual process modeling language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established. Using π-calculus, the deadlock property of workflow is analyzed.

  15. Class structure of electromechanical energy converter models with UML-diagrams application

    V.Ye. Plyugin

    2014-04-01

    Full Text Available Theoretical results are presented, mathematical model formation by means of inheritance from a generalized class template is shown for a general electromechanical energy converter.

  16. Supporting UML Sequence Diagrams with a Processor Net Approach

    Tony Spiteri Staines

    2007-01-01

    UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagrams, containing messages related to system processes. It is difficult to examine alternative combinations of message passing. A solution is to translate these diagrams into an executable processor net model. This is based on the ‘actor model’, Petri net concepts and higher order net constructs. A case study taken from a ...

  17. Improving modeling with layered UML diagrams

    Störrle, Harald

    Layered diagrams are diagrams whose elements are organized into sets of layers. Layered diagrams are routinely used in many branches of engineering, except Software Engineering. In this paper, we propose to add layered diagrams to UML modeling tools, and elaborate the concept by exploring usage...... scenarios. We validate the concept by implementation, lab assessments, and field testing. We conclude that layers enhance and complement conventional diagrams and model structuring techniques, are easy to add to existing modeling infrastructure, and are easy to apply by modelers....

  18. classes in UML

    Javier Dario Fernández-Ledesma

    2014-01-01

    Full Text Available El siguiente articulo muestra el proceso de construcción y validación de un framework para el manejo de consistencias en diagramas de clases de UML, específicamente opera sobre los diagramas de clase, mediante la aplicación de reglas de transformación, usando tanto la gramática de grafos como el OCL (Object Constraint Language. El framework propuesto, luego de un recorrido sobre las técnicas de manejo de consistencias, opera sobre el diagrama de clase toda vez que este constituye el diagrama estructural, si se quiere, más importante, a la hora de modelar, y facilita la aplicación de reglas desde las técnicas tratadas, contribuyendo con ello a dotar a la comunidad de analistas y modeladores de una herramienta soporte para el refinamiento y mejoramiento de la calidad de los diagramas, opera así mismo, sobre un caso típico de aplicación para mostrar las bondades de la herramienta, lo cual facilita su comprensión y entendimiento.

  19. Automatic Test case Generation from UML Activity Diagrams

    V.Mary Sumalatha*1; Dr G.S.V.P.Raju2

    2014-01-01

    Test Case Generation is an important phase in software development. Nowadays much of the research is done on UML diagrams for generating test cases. Activity diagrams are different from flow diagrams in the fact that activity diagrams express parallel behavior which flow diagrams cannot express. This paper concentrates on UML 2.0 Activity Diagram for generating test cases. Fork and join pair in activity diagram are used to represent concurrent activities. A novel method is pro...

  20. ROLE OF UML SEQUENCE DIAGRAM CONSTRUCTS IN OBJECT LIFECYCLE CONCEPT

    Miroslav Grgec

    2007-06-01

    Full Text Available When modeling systems and using UML concepts, a real system can be viewed in several ways. The RUP (Rational Unified Process defines the "4 + 1 view": 1. Logical view (class diagram (CD, object diagram (OD, sequence diagram (SD, collaboration diagram (COD, state chart diagram (SCD, activity diagram (AD, 2.Process view (use case diagram, CD, OD, SD, COD, SCD, AD, 3. Development view (package diagram, component diagram, 4. Physical view (deployment diagram, and 5. Use case view (use case diagram, OD, SD, COD, SCD, AD which combines the four mentioned above. With sequence diagram constructs we are describing object behavior in scope of one use case and their interaction. Each object in system goes through a so called lifecycle (create, supplement object with data, use object, decommission object. The concept of the object lifecycle is used to understand and formalize the behavior of objects from creation to deletion. With help of sequence diagram concepts our paper will describe the way of interaction modeling between objects through lifeline of each of them, and their importance in software development.

  1. System Model Semantics of Class Diagrams

    Cengarle, Maria Victoria; Grönninger, Hans; Rumpe, Bernhard

    2014-01-01

    Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our approach to define the semantics for UML. Semantics is defined denotationally as a mapping into our semantics domain called the system model [4, 5, 6]. We demonstrate our approach by defining the semantics for a comprehensive version of class diagrams. The semantics definition is detailed for UML/P class diagrams, a vari...

  2. Specifying agent interaction protocols with UML activity diagrams

    Lind, Jürgen

    2000-01-01

    In this paper, we will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does not propose major enhancements or completely new diagrams but instead it relies on existing UML elements that are part of the standard. This conformity with the base UML is a major advantage of the idea as it prevents a diversification of the UML into different potentially incompatible dialects. The practical use of t...

  3. Comparative Study on DFD to UML Diagrams Transformations

    Jilani, Atif A A; Nadeem, Aamer

    2011-01-01

    Most of legacy systems use nowadays were modeled and documented using structured approach. Expansion of these systems in terms of functionality and maintainability requires shift towards object-oriented documentation and design, which has been widely accepted by the industry. In this paper, we present a survey of the existing Data Flow Diagram (DFD) to Unified Modeling language (UML) transformation techniques. We analyze transformation techniques using a set of parameters, identified in the survey. Based on identified parameters, we present an analysis matrix, which describes the strengths and weaknesses of transformation techniques. It is observed that most of the transformation approaches are rule based, which are incomplete and defined at abstract level that does not cover in depth transformation and automation issues. Transformation approaches are data centric, which focuses on data-store for class diagram generation. Very few of the transformation techniques have been applied on case study as a proof of ...

  4. STAIRS - Understanding and Developing Specifications Expressed as UML Interaction Diagrams

    2007-01-01

    STAIRS is a method for the step-wise, compositional development of interactions in the setting of UML 2.x. UML 2.x interactions, such as sequence diagrams and interaction overview diagrams, are seen as intuitive ways of describing communication between different parts of a system, and between a system and its users. STAIRS addresses the challenges of harmonizing intuition and formal reasoning by providing a precise understanding of the partial nature of interactions, and of how this kind ...

  5. On the impact of layout quality to understanding UML diagrams

    Störrle, Harald

    2011-01-01

    Practical experience suggests that use and understanding of UML diagrams is greatly affected by the quality of their layout. However, existing experimental evidence for this effect is been weak and inconclusive. In this paper, we explore two explanations. Firstly, we observe that the visual qualities of diagrams are more prominent in earlier life cycle phases so that the impact of layout quality should be more apparent in models and diagram types used there, an aspect not studied in previous ...

  6. UML activity diagrams in requirements specification of logic controllers

    Grobelna, Iwona; Grobelny, Michał

    2015-12-01

    Logic controller specification can be prepared using various techniques. One of them is the wide understandable and user-friendly UML language and its activity diagrams. Using formal methods during the design phase increases the assurance that implemented system meets the project requirements. In the approach we use the model checking technique to formally verify a specification against user-defined behavioral requirements. The properties are usually defined as temporal logic formulas. In the paper we propose to use UML activity diagrams in requirements definition and then to formalize them as temporal logic formulas. As a result, UML activity diagrams can be used both for logic controller specification and for requirements definition, what simplifies the specification and verification process.

  7. Improving The Decisional Process By Using UML Diagrams

    Udrica Mioara

    2012-06-01

    Full Text Available In the last years, the world has moved from predominantly industrial society to information society, governed by a new set of rules, which allows access to digital technologies, processing, storage and transmission of information. Organizations include in their decisional process Business Intelligence components, which help the decision-makers to establish the conditions of financial equilibrium, to highlight weaknesses and strengths, to make predictions.Particularly, Unified Modelling Language (UML, as a formal and standardized language, allows the control of the system’s complexity, shows different but complementary views of the organization and ensures independence towards the implementation language and the domain of application. This article aims to show the way UML diagrams are used as support in a decisional process for a hotel company. UML diagrams designed help decisionmakers to analysis and discover the causes, to design and simulation of possible scenarios, to implement and measuring the results.

  8. Model Checking and Code Generation for UML Diagrams Using Graph Transformation

    Wafa Chama

    2012-12-01

    Full Text Available UML is considered as the standard for object-oriented modelling language adopted by the ObjectManagement Group. However, UML has been criticized due to the lack of formal semantics and theambiguity of its models. In other hands, UML models can be mathematically verified and checked by usingits equivalent formal representation. So, in this paper, we propose an approach and a tool based on graphtransformation to perform an automatic mapping for verification purposes. This transformation aims tobridge the gap between informal and formal notations and allows a formal verification of concurrent UMLmodels using Maude language. We consider both static (Class Diagram and dynamic (StateChart andCommunication Diagrams features of concurrent object-oriented system. Then, we use Maude LTL ModelChecker to verify the formal model obtained (Automatic Code Generation Maude. The meta-modellingAToM3 tool is used. A case study is presented to illustrate our approach.

  9. On the impact of layout quality to understanding UML diagrams

    Störrle, Harald

    2011-01-01

    Practical experience suggests that use and understanding of UML diagrams is greatly affected by the quality of their layout. However, existing experimental evidence for this effect is been weak and inconclusive. In this paper, we explore two explanations. Firstly, we observe that the visual...... qualities of diagrams are more prominent in earlier life cycle phases so that the impact of layout quality should be more apparent in models and diagram types used there, an aspect not studied in previous research. Secondly, in practice, good layouts use many different heuristics simultaneously whereas...... previous research considered them in isolation only. In this paper, we report the results of a series of controlled experiments using compound layouts on requirements analysis models. With very high significance, we find a notable impact of the layout quality measured by different aspects of cognitive load....

  10. Students' different understandings of class diagrams

    Boustedt, Jonas

    2012-03-01

    The software industry needs well-trained software designers and one important aspect of software design is the ability to model software designs visually and understand what visual models represent. However, previous research indicates that software design is a difficult task to many students. This article reports empirical findings from a phenomenographic investigation on how students understand class diagrams, Unified Modeling Language (UML) symbols, and relations to object-oriented (OO) concepts. The informants were 20 Computer Science students from four different universities in Sweden. The results show qualitatively different ways to understand and describe UML class diagrams and the "diamond symbols" representing aggregation and composition. The purpose of class diagrams was understood in a varied way, from describing it as a documentation to a more advanced view related to communication. The descriptions of class diagrams varied from seeing them as a specification of classes to a more advanced view, where they were described to show hierarchic structures of classes and relations. The diamond symbols were seen as "relations" and a more advanced way was seeing the white and the black diamonds as different symbols for aggregation and composition. As a consequence of the results, it is recommended that UML should be adopted in courses. It is briefly indicated how the phenomenographic results in combination with variation theory can be used by teachers to enhance students' possibilities to reach advanced understanding of phenomena related to UML class diagrams. Moreover, it is recommended that teachers should put more effort in assessing skills in proper usage of the basic symbols and models and students should be provided with opportunities to practise collaborative design, e.g. using whiteboards.

  11. Detection and Analysis of Clones in UML Class Models

    Dhavleesh Rattan

    2015-07-01

    Full Text Available It is quite frequent to copy and paste code fragments in software development. The copied source code is called a software clone and the activity is referred to as code cloning. The presence of code clones hamper maintenance and may lead to bug propagation. Now-a-days, model driven development has become a standard industry practice. Duplicate parts in models i.e. model clones pose similar challenges as in source code. This paper presents an approach to detect clones in Unified Modeling Language class models. The core of our technique is the construction of a labeled, ranked tree corresponding to the UML class model where attributes with their data types and methods with their signatures are represented as subtrees. By grouping and clustering of repeating subtrees, the tool is able to detect duplications in a UML class model at different levels of granularity i.e. complete class diagram, attributes with their data types and methods with their signatures across the model and cluster of such attributes/methods. We propose a new classification of model clones with the objective of detecting exact and meaningful clones. Empirical evaluation of the tool using open source reverse engineered and forward designed models show some interesting and relevant clones which provide useful insights into software modeling practice.

  12. Detection and Analysis of Clones in UML Class Models

    Dhavleesh Rattan

    2016-01-01

    Full Text Available It is quite frequent to copy and paste code fragments in software development. The copied source code is called a software clone and the activity is referred to as code cloning. The presence of code clones hamper maintenance and may lead to bug propagation. Now-a-days, model driven development has become a standard industry practice. Duplicate parts in models i.e. model clones pose similar challenges as in source code. This paper presents an approach to detect clones in Unified Modeling Language class models. The core of our technique is the construction of a labeled, ranked tree corresponding to the UML class model where attributes with their data types and methods with their signatures are represented as subtrees. By grouping and clustering of repeating subtrees, the tool is able to detect duplications in a UML class model at different levels of granularity i.e. complete class diagram, attributes with their data types and methods with their signatures across the model and cluster of such attributes/methods. We propose a new classification of model clones with the objective of detecting exact and meaningful clones. Empirical evaluation of the tool using open source reverse engineered and forward designed models show some interesting and relevant clones which provide useful insights into software modeling practice.

  13. On the Impact of Layout Quality to Understanding UML Diagrams: Diagram Type and Expertise

    Störrle, Harald

    2012-01-01

    Practical experience suggests that the use and understanding of UML diagrams is greatly affected by the quality of their layout. In previous work, we have presented evidence supporting this intuition. This contrasts with earlier experiments that yielded weak or inconclusive evidence only. In the...... current paper, we expand on our earlier experiments by varying both diagram types and populations studied. We find no difference in the beneficial evidence of good layout wrt. diagram types. We also find support for the hypothesis that experts benefit less than novices. While still lacking independent...

  14. Efficient Dependence Analysis for UML Statechart Diagrams and Its Applications

    YITong; WUFangjun

    2005-01-01

    Dependence analysis is a well-known technique to analyze, understand and maintain programs,which has been widely used in activities of software engineering and reengineering. Although dependence analysis for programs written in high-level languages has been widely studied in literatures, very little work is involved in analyzing dependence for Unified modeling language(UML) models. Therefore, the paper proposes a new approach for analyzing dependences among UML statechart diagrams for three cases: (1) it does not contain composite states; (2) it may include ordinal substates; (3) it may include concurrent substates. Firstly, we analyze and compute data and control dependences in Case 1 and Case 2 at full length. Then, using the information obtained in the previous steps, we discuss concurrent dependence and synchronal dependence besides data and control dependencesin Case 3. Finally, we present one of the most important applications of dependence analysis - program slicing, using the method presented in this paper. Our method successfully solves the problems in previous methods, and can obtain more precise slices than any other methods we known.

  15. UML 2.0 Pocket Reference UML Syntax and Usage

    Pilone, Dan

    2006-01-01

    Globe-trotting travelers have long resorted to handy, pocket-size dictionaries as an aid to communicating across the language barrier. Dan Pilone's UML 2.0 Pocket Reference is just such an aid for on-the-go developers who need to converse in the Unified Modeling Language (UML). Use this book to decipher the many UML diagrams you'll encounter on the path to delivering a modern software system. Updated to cover the very latest in UML, you'll find coverage of the following UML 2.0 diagram types: Class diagramsComponent diagrams*Sequence diagrams*Communication diagrams*Timing diagrams*Interactio

  16. CONVERSION STRATEGY OF A SYSTEM OF COLLABORATING DESIGN PATTERNS INTO UML DIAGRAM FOR DESIGN PATTERN

    Muhazam Mustapha

    2011-01-01

    Full Text Available In a past publication, a proposal of a new set of UML diagram designed to picture a software system at architectural level by showing which patterns are being used has been presented. Progressing from the proposal, this publication presents an extensive example to precisely show the way to make the conversion. In this paper we present the proof of the ability of the proposed diagram set to professionally and neatly picture the overall high level architecture of a software system. There is also an additional rule added to the one presented in the past publication. This new rule is to cater for the cases where collaborating patterns are not overlapping; rather they are related just because some class in one pattern is using some other class in the other pattern.

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

    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. Robust representation for conversion UML class into XML Document using DOM

    GHERABI, Noreddine

    2012-01-01

    This paper presents a Framework for converting a class diagram into an XML structure and shows how to use Web files for the design of data warehouses based on the classification UML. Extensible Markup Language (XML) has become a standard for representing data over the Internet. We use XSD schema for define the structure of XML documents and validate XML documents. A prototype has been developed, which migrates successfully UML Class into XML document based on the formulation mathematics model. The experimental results were very encouraging, demonstrating that the proposed approach is feasible efficient and correct.

  19. A fully general operational semantics for UML sequence diagrams with potential and mandatory choice

    2007-01-01

    UML sequence diagrams is a specification language that has proved itself 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 automated analysis are by nature operational, and this motivates formalizing an operational semantics. In this report we present an operational semantics for UML 2.0 sequence diagrams that we believe gives a solid starting point for de...

  20. UML 2 Semantics and Applications

    Lano, Kevin

    2009-01-01

    A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction des

  1. Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

    Fernandes, Joao Miguel; Tjell, Simon; Jørgensen, Jens Bæk;

    2007-01-01

    On a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases (UCs) and UML 2.0 Sequence Diagrams (SDs). The CPN model...

  2. An automated test strategy based on UML diagrams

    Basanieri, Francesca; Bertolino, Antonia; Marchetti, Eda; Ribolini, Alberto

    2001-01-01

    This is a work-in-progress report about the Cow-suite tool currently under development for automating CoWTeST (Cost Weighted Test Strategy) an original strategy for selecting and prioritarising test cases. The tool supports mangers to schedule and make cost estimates of the integration test stages since the early phases of development. The derivation of test cases is based on the software analysis and design documentation, and uses the UML-based original test methodology UIT, User Interaction...

  3. UML Galaxy Diagram: An Approach of Conceptual Data Integration for OLAP

    2006-01-01

    In e-commerce the multidimensional data analysis for OLAP (on-line analytical processing) based on the web data needs integrating various data sources such as XML (extensible markup language) data and relational data on the conceptual level. A conceptual data description approach of multidimensional data model was presented in order to conduct multidimensional data analysis of OLAP for multiple subjects. The UML (unified modeling language) galaxy diagram, describing the multidimensional structure of the conceptual integrating data at the conceptuai level, was constructed. The approach was illuminated using a case of 2_roots UML galaxy diagram that takes one retailer and several suppliers of PC products into consideration.

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

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

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

  5. On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters

    Störrle, Harald

    2014-01-01

    Practical experience suggests that usage and understanding of UML diagrams is greatly affected by the quality of their layout. While existing research failed to provide conclusive evidence in support of this hypothesis, our own previous work provided substantial evidence to this effect. When...

  6. Translating alloy apecifications to UML class diagrams annotated with OCL

    Garis, Ana; Cunha, Alcino; Riesco, Daniel

    2011-01-01

    Proceedings of the 9th International Conference on Software Engineering and Formal Methods Model-Driven Engineering (MDE) is a Software Engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming models from abstract (specifications) to more concrete ones (code). Alloy is an increasingly popular lightweight formal specification language that supports automatic verification. Unfortunately, its wi...

  7. Class diagram based evaluation of software performance

    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.

  8. UML for ABM

    Hugues Bersini

    2012-01-01

    Although the majority of researchers interested in ABM increasingly agree that the most natural way to program their models is to adopt OO practices, UML diagrams are still largely absent from their publications. In the last 15 years, the use of UML has risen constantly, to the point where UML has become the de facto standard for graphical visualization of software development. UML and its 13 diagrams has many universally accepted virtues. Most importantly, UML provides a level of abstraction...

  9. An Institution for Simple UML State Machines

    Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus; Glauer, Martin

    2014-01-01

    We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which provide dynamic components of states (such as valuations of attributes) but abstract away from details of class diagrams. We also study a notion of interleaving product, which captures the interaction of several state machines. The interleaving product construction is the basis for a semantics of composite structure dia...

  10. m-TOPP-UML: An Extension to UML for the Modeling of Mobile Tracking on Patient Progress System

    Hussain Abu-Dalbouh

    2014-02-01

    Full Text Available The Unified Modeling Language (UML is a language for the specification, visualization and documentation of object-oriented software systems. Mobile systems are gaining more and more importance; nevertheless the means for their specifications are still underdeveloped. Existing UML diagrams can be used to conveniently model behavior, but these diagrams can be hardly used to model mobility. However, UML cannot describe in an explicit manner the mobility requirements needed for modeling mobile tracking on patient progress software systems. In this study, we present (m-TOPP-UML, our proposed extension to UML covering the use case diagram, sequence diagram, activity diagram and class diagram aspects of mobility at the various views and diagrams of UML. The use of m-TOPP-UML is illustrated using a mobile tracking patient progress system example. The purpose of this study is to showcase the system analysis and design of concept of system and a precise form of system-level operation specification and an operation schema declaratively describes the effects of a system operation by using case model, actors, use case, relationships between the actors and the use case, interaction between the prototype and its user, sequence diagram and class diagram of m-TOPP as defined by the Unified Modeling Language (UML.

  11. N-ary Relations of Association in Class Diagrams: Design Patterns

    Sergievskiy Maxim

    2016-02-01

    Full Text Available Most of the technology of object-oriented development relies on the use of UML diagrams, in particular, class diagrams. CASE tools, used for automation of object-oriented development, often do not support n-ary associations in the class diagrams, and their implementation in the form of program code in contrast to binary rather time-consuming. The article will show how in some cases it is possible to move from the n-ary association between classes to binary and how can reduce the number of objects. The rules to transform models, that contain n-ary association, will be presented in the form of design patterns. Proposed three new design patterns can be used in the process of developing software systems. These patterns describe transformations of n-ary (often ternary associations occur between classes in binary and the introduction of additional classes and binary association with the aim of optimizing the model.

  12. Semi-Automatically Inducing Semantic Classes of Clinical Research Eligibility Criteria Using UMLS and Hierarchical Clustering

    Luo, Zhihui; Johnson, Stephen B.; Weng, Chunhua

    2010-01-01

    This paper presents a novel approach to learning semantic classes of clinical research eligibility criteria. It uses the UMLS Semantic Types to represent semantic features and the Hierarchical Clustering method to group similar eligibility criteria. By establishing a gold standard using two independent raters, we evaluated the coverage and accuracy of the induced semantic classes. On 2,718 random eligibility criteria sentences, the inter-rater classification agreement was 85.73%. In a 10-fold...

  13. Transformation of UML interaction diagrams into contract specifications for object-oriented testing

    Tse, TH; Chen, HY; C. Li

    2007-01-01

    Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and therefore not widely used in the software industry. On the other hand, UML, a semi-formal modeling ...

  14. Semi-Automatically Inducing Semantic Classes of Clinical Research Eligibility Criteria Using UMLS and Hierarchical Clustering.

    Luo, Zhihui; Johnson, Stephen B; Weng, Chunhua

    2010-01-01

    This paper presents a novel approach to learning semantic classes of clinical research eligibility criteria. It uses the UMLS Semantic Types to represent semantic features and the Hierarchical Clustering method to group similar eligibility criteria. By establishing a gold standard using two independent raters, we evaluated the coverage and accuracy of the induced semantic classes. On 2,718 random eligibility criteria sentences, the inter-rater classification agreement was 85.73%. In a 10-fold validation test, the average Precision, Recall and F-score of the classification results of a decision-tree classifier were 87.8%, 88.0%, and 87.7% respectively. Our induced classes well aligned with 16 out of 17 eligibility criteria classes defined by the BRIDGE model. We discuss the potential of this method and our future work. PMID:21347026

  15. JPI UML Software Modeling

    Cristian Vidal Silva

    2015-12-01

    Full Text Available Aspect-Oriented Programming AOP extends object-oriented programming OOP with aspects to modularize crosscutting behavior on classes by means of aspects to advise base code in the occurrence of join points according to pointcut rules definition. However, join points introduce dependencies between aspects and base code, a great issue to achieve an effective independent development of software modules. Join Point Interfaces JPI represent join points using interfaces between classes and aspect, thus these modules do not depend of each other. Nevertheless, since like AOP, JPI is a programming methodology; thus, for a complete aspect-oriented software development process, it is necessary to define JPI requirements and JPI modeling phases. Towards previous goal, this article proposes JPI UML class and sequence diagrams for modeling JPI software solutions. A purpose of these diagrams is to facilitate understanding the structure and behavior of JPI programs. As an application example, this article applies the JPI UML diagrams proposal on a case study and analyzes the associated JPI code to prove their hegemony.

  16. Doclet To Synthesize UML

    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.

  17. TURTLE-P: a UML profile for the formal validation of critical and distributed systems

    Apvrille, Ludovic; Saqui-Sannes, Pierre de; Khendek, Ferhat

    2006-01-01

    The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted to the abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures, including ...

  18. An Event-Based Methodology to Generate Class Diagrams and its Empirical Evaluation

    Sandeep K. Singh

    2010-01-01

    Full Text Available Problem statement: Event-based systems have importance in many application domains ranging from real time monitoring systems in production, logistics, medical devices and networking to complex event processing in finance and security. The increasing popularity of Event-based systems has opened new challenging issues for them. One such issue is to carry out requirements analysis of event-based systems and build conceptual models. Currently, Object Oriented Analysis (OOA using Unified Modeling Language (UML is the most popular requirement analysis approach for which several OOA tools and techniques have been proposed. But none of the techniques and tools to the best of our knowledge, have focused on event-based requirements analysis, rather all are behavior-based approaches. Approach: This study described a requirement analysis approach specifically for event based systems. The proposed approach started from events occurring in the system and derives an importable class diagram specification in XML Metadata Interchange (XMI format for Argo UML tool. Requirements of the problem domain are captured as events in restricted natural language using the proposed Event Templates in order to reduce the ambiguity. Results: Rules were designed to extract a domain model specification (analysis-level class diagram from Event Templates. A prototype tool 'EV-ClassGEN' is also developed to provide automation support to extract events from requirements, document the extracted events in Event Templates and implement rules to derive specification for an analysis-level class diagram. The proposed approach is also validated through a controlled experiment by applying it on many cases from different application domains like real time systems, business applications, gaming. Conclusion: Results of the controlled experiment had shown that after studying and applying Event-based approach, student's perception about ease of use and usefulness of OOA technique has

  19. Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model

    Carlos Mario Zapata

    2008-01-01

    with this type of consistence. This article proposes a method to verify consistence among UML class diagram and use case diagram in a formal way. Such a process is carried out through an evaluation of several rules defined in the OCL (Object Constraint Language, which should be fulfilled to assure that information provided by such models is consistent. As both diagrams participation is recognized when preparing GUI (Graphic User Interfaces consistence with this device is additionally defined

  20. UML IN BUSINESS ADMINISTRATION

    Daniel Ionita

    2010-01-01

    The article elaborates weather UML, primarily used in software engineering, can be a useful tool in business modeling and administration. By analyzing the advantages the modeling language has to offer we find that UML is visual and object oriented and that it is useful in expressing structure, interaction and behavior as well. With its help managers and business people can build models and diagrams to help put things into perspective. “Case Study 1” shows UML can be used as an analysis tool i...

  1. UML Modelling: The Rational E-Development

    Er. Meenu Gupta

    2013-06-01

    Full Text Available Unified Modeling language (UML is one of the important modeling languages used for the visual representation of the research problem. In this paper we used Rational Software architecture to design UML diagrams.

  2. 基于UML活动图的Web应用测试用例生成%Test Case Generation for Web Applications Based on UML Activity Diagram

    刘龙霞; 吴军华

    2011-01-01

    Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例.针对Web应用的功能测试,介绍了基于UML活动图的产生测试用例的方法,并根据一定测试覆盖准则,重点考虑了活动图中的并发活动的顺序及排序,避免了测试用例数量爆炸,从而提高了Web应用自动化测试用例生成的可行性.%An important way of ensuring the quality of Web applications is Web application testing, the core work of which is to generate test cases. Aiming at web applications functional testing, this paper introduces one method of generating test cases based on UML activity diagrams and considers the sequences and orders of concurrent activity in activity diagram according to test coverage criteria. Thus the number of test cases can be reduced and the feasibility of automatic generating test cases for Web application is promoted.

  3. Prototype of Intrusion Detection Model using UML 5.0 and Forward Engineering

    Muthaiyan MADIAJAGAN,

    2011-01-01

    Full Text Available In this paper we are using UML (Unified Modeling Language which is the blueprint language between the programmers, analysts, and designer’s for easy representation of pictures or diagrammatic notation with some textual data. Here we are using UML 5.0 to show “prototype of the Intrusion Detection Model” and by explaining it by combining various parts by drawing various UML diagrams such as Use cases and Activity diagrams and Class Diagram using which we show forward engineering using the class diagram of the IDM( Intrusion Detection Model. IDM is a device or software that works on detecting malicious activities by unauthorized users that can cause breach to the security policy within a network.

  4. Exploration games for UML software design

    Tenzer, Jennifer

    2006-01-01

    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, their functionality is usually focused on drawing UML diagrams and generating code from the UML model. The task of choosing a suitable design which fulfils the requirements still has to be accomplished by the human designer alone. The aim of this thesis i...

  5. Formal Verification of UML Profil

    Bhutto, Arifa; Hussain, Dil Muhammad Akbar

    2011-01-01

    and object diagrams and behavioral view model by the activity, use case, state, and sequence diagram. However, UML does not provide the formal syntax, therefore its semantics is not formally definable, so for assure of correctness, we need to incorporate semantic reasoning through verification...

  6. UML IN BUSINESS ADMINISTRATION

    Daniel Ionita

    2010-12-01

    Full Text Available The article elaborates weather UML, primarily used in software engineering, can be a useful tool in business modeling and administration. By analyzing the advantages the modeling language has to offer we find that UML is visual and object oriented and that it is useful in expressing structure, interaction and behavior as well. With its help managers and business people can build models and diagrams to help put things into perspective. “Case Study 1” shows UML can be used as an analysis tool in business modeling to help increase the complexity and depth of the event or project that is being developed. “Case Study 2” attempts to prove that UML can also be efficiently used in finding solutions to newly appeared problems in a business environment. Despite the practicality of the Unified Modeling Language there is still some criticism brought to it. Some programmers consider it to be hard to learn and some developers claim that it is too abstract. The article concludes that despite the minor drawbacks; due to its adaptability and complex visual models, it is a very useful tool that adds value to the modeling of business structures and processes.

  7. Preface to FP-UML 2009

    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.

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

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

  9. Translation from UML to SPN Model: A Performance Modeling Framework

    Khan, Razib Hayat; Heegaard, Poul E.

    2010-01-01

    This work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity diagrams and deployment diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity diagram as reusa...

  10. From UML Specification into FPGA Implementation

    Grzegorz Bazydlo

    2014-01-01

    Full Text Available In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays. The UML specification is used to generate an effective program in Hardware Description Languages (HDLs, especially Verilog.

  11. Vapor Online Monitor Model of Vapor Power Station Based on UML

    2001-01-01

    We presents a vapor online monitor system model of vapor power station developed by visual tool rational rose2000. Use cases such as on line instrument (onlineinstr), control, query, report, real database (realdb) and alarm are generated according to the system requirements. Use case view and class view of the system are formed at the same time. As for all the UML models of the system, this paper focuses the discussion on the class view, the component diagram of the control class and the sequence diagram of the query class. Corresponding C++ codes are produced and finally transferred into the spot running software.

  12. m-TOPP-UML: An Extension to UML for the Modeling of Mobile Tracking on Patient Progress System

    Hussain Abu-Dalbouh

    2014-01-01

    The Unified Modeling Language (UML) is a language for the specification, visualization and documentation of object-oriented software systems. Mobile systems are gaining more and more importance; nevertheless the means for their specifications are still underdeveloped. Existing UML diagrams can be used to conveniently model behavior, but these diagrams can be hardly used to model mobility. However, UML cannot describe in an explicit manner the mobility requirements needed for modeling mobile t...

  13. Phase diagram and level statistics in D class disordered superconductors

    Metal-insulator transition and level statistics for the symmetry class D of random matrix ensembles are investigated. That class arises in models of non-interacting quasiparticles in disordered superconductors without time-reversal and spin-rotation invariance. In the metallic regime the nearest neighbor spacing distribution (NNSD) reproduces exactly the Wigner surmise for GUE as one should expect in the presence of magnetic field, whereas in the localized regime, level repulsion is suppressed. NNSD reflects therefore some basic symmetries of the system while ignoring particle-hole symmetries. (orig.)

  14. Tracing Properties of UML and OCL Models with Maude

    Durán, Francisco; Roldán, Manuel; 10.4204/EPTCS.56.6

    2011-01-01

    The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of the described system states and transitions and about the formal implications of the properties that are explicitly given. We propose to draw conclusions about the stated constraints by translating the UML and OCL model into the algebraic specification language and system Maude, which is based on rewrite logic. We will concentrate in this paper on employing Maude's capabilities for state search. Maude's state search offers the possibility to describe a start configuration of the system and then explore all configurations reachable by rewriting. The search can be adjusted by formulating requirements for the allowed states and the allowed transitions.

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

    Whittle, Jon; Jayaraman, Praveen; Elkhodary, Ahmed; Moreira, Ana; Araújo, João

    This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling (AOM) technique that uses graph transformations to specify and compose aspects. Graph transformations provide a unified approach for aspect modeling in that the methods presented here can be applied to any modeling language with a well-defined metamodel. This paper, however, focuses on UML class diagrams, sequence diagrams and state diagrams. MATA takes a different approach to AOM since there are no explicit joinpoints. Rather, any model element can be a joinpoint, and composition is a special case of model transformation. The graph transformation execution engine, AGG, is used in MATA to execute model compositions, and critical pair analysis is used to automatically detect structural interactions between different aspect models. MATA has been applied to a number of realistic case studies and is supported by a tool built on top of IBM Rational Software Modeler.

  16. MODELING OF FMS BASED ON UML AND OPNS

    2000-01-01

    As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extendibility. Moreover, as FMS is a complex asynchronos concurrent system, its model also should have the abilities to express the concurrency in the system and to analyze the behavior of the system. It is difficult to use any one method to model such a complex system as FMS. A modeling method using objectoriented modeling language—unified modeling language (UML) and objectoriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control software naturally. manufa cturing system (CIMS), flexible manufacturing system (FMS) should be an open sys tem with reusability and extendibility. Moreover, as FMS is a complex asynchrono us concurrent system, its model also should have the abilities to express the co ncurrency in the system and to analyze the behavior of the system. It is difficu lt to use any one method to model such a complex system as FMS. A modeling metho d using objectoriented modeling language—unified modeling language (UML) and objectoriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control softwar e naturally.

  17. Combining petri nets and uml for model-based software engineering

    Fernandes, João M.

    2012-01-01

    UML is by far the most widely used modelling language used nowadays in software engineering, due to its large scope and its wide tool support. This software standard offers many diagrams that cover all typical perspectives for describing and modelling the software systems under consideration. Among those diagrams, UML includes diagrams (activity diagram, state machine diagram, use case diagrams, and the interaction diagrams) for describing the behaviour (or functionality) of a software system...

  18. A UML-integrated test description language for component testing

    Pickin, Simon; Jard, Claude; Heuillard, Thierry; Jézéquel, Jean-Marc; Desfray, Philippe

    2001-01-01

    International audience A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components 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 around UML interaction diagrams, seeking inspiration from the work on conformance testing o...

  19. Formalization of fUML: An Application to Process Verification

    Laurent, Yoann; Bendraou, Reda; Baarir, Souheib; Gervais, Marie-Pierre

    2014-01-01

    International audience Much research work has been done on formalizing UML Ac-tivity Diagrams for process modeling to verify different kinds of sound-ness properties (deadlock, unreachable activities and so on) on process models. However, these works focus mainly on the control-flow aspects of the process and have done some assumptions on the precise execution semantics defined in natural language in the UML specification. In this paper, we define a first-order logic formalization of fUML ...

  20. A layout technique for class diagrams to be used in product configuration projects

    Haug, Anders; Hvam, Lars; Mortensen, Niels Henrik

    2010-01-01

    other hand, the requirements for the design language are more focused on having a formalised and rich language. For this task class diagrams are often applied. To avoid the use of different modelling languages in the analysis and design phase, this paper proposes and tests a layout technique that...

  1. Secure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines

    S. Batool

    2014-05-01

    Full Text Available In this research we present a technique by using which, extended UML models can be converted to standard UML models so that existing MBT techniques can be applied directly on these models. Existing Model Based Testing (MBT Techniques cannot be directly applied to extended UML models due to the difference of modeling notation and new model elements. Verification of these models is also very important. Realizing and testing non functional requirements such as efficiency, portability and security, at model level strengthens the ability of model to turn down risk, cost and probability of system failure in cost effective way. Access control is most widely used technique for implementing security in software systems. Existing approaches for security modeling focus on representation of access control policies such as authentication, role based access control by introducing security oriented model elements through extension in Unified Modelling Language (UML. But doing so hinders the potential and application of MBT techniques to verify these models and test access control policies. In this research we introduce a technique secure State UML to formally design security models with secure UML and then transform it to UML state machine diagrams so that it can be tested, verified by existing MBT techniques. By applying proposed technique on case studies, we found the results that MBT techniques can be applied on resulting state machine diagrams and generated test paths have potential to identify the risks associated with security constraints violation.

  2. Bioinformatics for transporter pharmacogenomics and systems biology: data integration and modeling with UML.

    Yan, Qing

    2010-01-01

    Bioinformatics is the rational study at an abstract level that can influence the way we understand biomedical facts and the way we apply the biomedical knowledge. Bioinformatics is facing challenges in helping with finding the relationships between genetic structures and functions, analyzing genotype-phenotype associations, and understanding gene-environment interactions at the systems level. One of the most important issues in bioinformatics is data integration. The data integration methods introduced here can be used to organize and integrate both public and in-house data. With the volume of data and the high complexity, computational decision support is essential for integrative transporter studies in pharmacogenomics, nutrigenomics, epigenetics, and systems biology. For the development of such a decision support system, object-oriented (OO) models can be constructed using the Unified Modeling Language (UML). A methodology is developed to build biomedical models at different system levels and construct corresponding UML diagrams, including use case diagrams, class diagrams, and sequence diagrams. By OO modeling using UML, the problems of transporter pharmacogenomics and systems biology can be approached from different angles with a more complete view, which may greatly enhance the efforts in effective drug discovery and development. Bioinformatics resources of membrane transporters and general bioinformatics databases and tools that are frequently used in transporter studies are also collected here. An informatics decision support system based on the models presented here is available at http://www.pharmtao.com/transporter . The methodology developed here can also be used for other biomedical fields. PMID:20419428

  3. Aspect-oriented security hardening of UML design models

    Mouheb, Djedjiga; Pourzandi, Makan; Wang, Lingyu; Nouh, Mariam; Ziarati, Raha; Alhadidi, Dima; Talhi, Chamseddine; Lima, Vitor

    2015-01-01

    This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software development process. To this end, a UML profile has been developed for the specification of security hardening aspects on UML diagrams. In addition, a weaving framework, with the underlying theoretical foundations, has been designed for the systematic injection of security aspects into UML models. The

  4. Refining UML interactions with underspecification and nondeterminism

    2007-01-01

    STAIRS is an approach to the compositional development of UML interactions, such as sequence diagrams and interaction overview diagrams. An important aspect of STAIRS is the ability to distinguish between underspecification and inherent nondeterminism through the use of potential and mandatory alternatives. This paper investigates this distinction in more detail. Refinement notions explain when (and how) both kinds of nondeterminism may be reduced during the development process. In particular...

  5. Verifying action semantics specifications in UML behavioral models

    Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina

    2009-01-01

    MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity diagrams, interaction diagrams and state machines. Unfortunately, current proposals devoted to the veri...

  6. Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-site, Multi-partner Product Line Organizations

    Koivulahti-Ojala, Mervi; Käkölä, Timo

    2009-01-01

    UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today’s UML modeling tools support sophisticated version management ...

  7. UML for systems engineering watching the wheels

    Holt, Jon

    2005-01-01

    Up until a few years ago there were over 150 different modelling languages available to software developers. This vast array of choice however, only served to severely hinder effective communication. Therefore, to combat this, every methodologist and many companies agreed to speak the same language, hence the birth of the unified modelling language (UML). The UML offers a means to communicate complex information in a simple way using visual modelling; i.e. drawing diagrams to create a model of a system. This fully revised edition, based on a training course given by the author, coincides with

  8. Calculation of a class of three-loop vacuum diagrams with two different mass values

    Using the method of Chetyrkin, Misiak, and Muenz 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. In particular, this specific mass ratio is of great interest in relation to the three-loop effective potential of the O(N) φ4 theory. All pole terms in ε=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 a three-loop effective potential calculated using the three-loop integrals obtained in this paper agrees, in the large-N limit, with the overlap part of the leading-order (in the large-N limit) calculation of Coleman, Jackiw, and Politzer [Phys. Rev. D 10, 2491 (1974)]. copyright 1999 The American Physical Society

  9. Comprehensive Aspectual UML Approach to Support AspectJ

    Aws Magableh

    2014-01-01

    Full Text Available 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.

  10. Mapping the UMLS Semantic Network into general ontologies.

    Burgun, A; Bodenreider, O

    2001-01-01

    In this study, we analyzed the compatibility between an ontology of the biomedical domain (the UMLS Semantic Network) and two other ontologies: the Upper Cyc Ontology (UCO) and WordNet. 1) We manually mapped UMLS Semantic Types to UCO. One fifth of the UMLS Semantic Types had exact mapping to UCO types. UCO provides generic concepts and a structure that relies on a larger number of categories, despite its lack of depth in the biomedical domain. 2) We compared semantic classes in the UMLS and WordNet. 2% of the UMLS concepts from the Health Disorder class were present in WordNet, and compatibility between classes was 48%. WordNet, as a general language-oriented ontology is a source of lay knowledge, particularly important for consumer health applications. PMID:11833483

  11. Verification-Driven Slicing of UML/OCL Models

    Shaikh, Asadullah; Clarisó Viladrosa, Robert; Wiil, Uffe Kock; Memon, Nasrullah

    Model defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors to other notations where they are harder to detect and trace. Formal verification techniques can check the correctness of a model, but their high...... computational complexity can limit their scalability. In this paper, we consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., “is it possible to create objects without violating any constraint?”). Current...... approaches to this problem have an exponential worst-case runtime. We propose a technique to improve their scalability by partitioning the original model into submodels (slices) which can be verified independently and where irrelevant information has been abstracted. The definition of the slicing procedure...

  12. A Formal ORM-to -UML Mapping Algorithm

    Bollen Peter

    2002-01-01

    The object-role model (ORM) data structure can be represented in the unified modeling language (UML) using the five fact encoding constructs: class attribute, association, association class, sub-class and the association qualifier. In the existing literature there exist numerous mappings of how individual fact types from an ORM information model can be mapped onto ‘well-formed’ UML expressions. What is lacking in the existing literature is a precise description of the conditions on the ‘sourc...

  13. 基于UML statecharts 测试方法的研究%Research of testing method based on UML statecharts

    占学德

    2006-01-01

    @@ Unified modeling language (UML) is a powerful graphical modeling language with intuitional meaning.It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight,defense, automobile, etc.

  14. First steps toward the construction of a hyperphase diagram that covers different classes of short polymer chains

    Sabeur, Sid

    2014-06-01

    We present the results of a multicanonical Monte Carlo study of flexible and wormlike polymer chains, where we investigate how the polymer structures observed during the simulations, mainly coil, liquid, and crystalline structures, can help to construct a hyperphase diagram that covers different polymer classes according to their thermodynamic behavior.

  15. Automatic Debugging Support for UML Designs

    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.

  16. BGen: A UML Behavior Network Generator Tool

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

    2010-01-01

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

  17. 基于描述逻辑的UML类图一致性检测%Consistency checking of UML class diagram based on description logics

    陈振庆

    2009-01-01

    为解决UML类图一致性检测问题,分析了UML类图、DLs和OWL DL的特点,给出了UML类图的OWL DL本体表示形式,研究了UML类图转化为OWL DL本体知识库的方法,证明了转化方法的正确性,提出了一种基于描述逻辑的UML类图一致性检测方案.该方案通过将UML类图转换为OWL DL本体知识库,利用OWL DL强大的推理功能实现UML类图一致性检测,最后以实例证明了该方案的可行性.

  18. DATA INFORMATION SYSTEM TO PROMOTE THE ORGANIZATION DATA OF COLLECTIONS – MODELING CONSIDERATIONS BY THE UNIFIED MODELIGN LANGUAGE (UML

    Eduardo Batista de Moraes Barbosa

    2011-05-01

    Full Text Available It can be argued that technological developments (e.g., measuring instruments like software, satellite and computers, as well as, the cheapening of storage media allow organizations to produce and acquire a great amount of data in a short time. Due to the data volume, research organizations become potentially vulnerable to the information explosion impacts. An adopted solution is the use of information system tools to assist data documentation, retrieval and analysis. In the scientific scope, these tools are developed to store different metadata (data about data patterns. During the development process of these tools, the adoption of standards such as the Unified Modeling Language (UML stands out, whose diagrams assist the different scopes of software modeling. The objective of this study is to present an information system tool that assists organizations in the data documentation through the use of metadata and that highlights the software modeling process, through the UML. The Standard for Digital Geospatial Metadata will be approached, widely used to the dataset cataloging by scientific organizations around the world, and the dynamic and static UML diagrams like use cases, sequence and classes. The development of the information system tools can be a way to promote the scientific data organization and dissemination. However, the modeling process requires special attention during the development of interfaces that will stimulate the use of the information system tools

  19. Verify UML Statecharts with SMV

    2001-01-01

    Formal verification has been widely needed in the development ofsaf ety critical systems. In order to introduce the design verification activity in UML developing process, we have developed a verifier of UML Statecharts by using the model checker SMV. The approach is to transform a system model in UML State charts to one in SMV input language via an intermediate language and then to ver ify the system properties specified in CTL by invoking SMV. The current experien ces, including the formal verification of a simplified directory based cache coh erence protocol in UML Statecharts, show that automatic verification can be inte grated as a new step of the software process nicely.

  20. UML for real design of embedded real-time systems

    Martin, Grant; Selic, Bran

    2003-01-01

    Models, Software Models and UML.- UML for Real-Time.- Structural Modeling with UML 2.0.- Message Sequence Charts.- UML and Platform-based Design.- UML for Hardware and Software Object Modeling.- Fine Grained Patterns for Real-Time Systems.- Architectural Patterns for Real-Time Systems.- Modeling Quality of Service with UML.- Modeling Metric Time.- Performance Analysis with UML.- Schedulability Analysis with UML.- Automotive UML.- Specifying Telecommunications Systems with UML.- Leveraging UML to Deliver Correct Telecom Applications.- Software Performance Engineering.

  1. UML MARTE Time Model and Its Clock Constraint Specification Language

    Mallet, Frédéric; Peraldi-Frati, Marie-Agnès; Deantoni, Julien; De Simone, Robert

    2014-01-01

    The UML Profile for MARTE extends the UML with constructs dedicated to the modeling and analysisof real-time and embedded systems. Its time profile provides a rich model of time based on the notionof logical clocks that can be used consistently through all modeling elements/diagrams. The MARTEtime profile comes with a companion language, called CCSL. CCSL is a formal declarative languageused to handle the MARTE logical clocks and schedule the execution of the different parts of a model.This c...

  2. Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams

    Louati, Aymen; Jerad, Chadlia; Kamel BARKAOUI

    2014-01-01

    Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics is still informal. The Interaction Overview Diagram (IOD) is introduced in UML2; it allows the specification of the behavior in the hierarchical way. This paper is a contribution towards a formal dynamic semantics of UML2. We start by formalizing the Hierarchical use of IOD. Afterward, we compl...

  3. Test Case Generation For Concurrent Object-Oriented Systems Using Combinational Uml Models

    Swagatika Dalai, Arup Abhinna Acharya, Durga Prasad Mohapatra

    2012-05-01

    Full Text Available Software testing is an important phase of software development to ensure the quality and reliability of the software. Due to some limitations of code based testing method, the researcher has been taken a new method to work upon UML model based testing. It is found that different UML model is having different coverage and capable of detecting different kinds of faults. Here we have taken combinational UML models to have better coverage and fault detection capability. Testing concurrent system is difficult task because due to concurrent interaction among the threads and the system results in test case explosion. In this paper we have presented an approach of generating test cases for concurrent systems using combinational UML models i.e. sequence diagram and activity diagram .Then a Sequence-Activity Graph (SAG is constructed from these two diagrams. Then that graph is traversed to generate test cases which are able to minimize test case explosion.

  4. Model-Driven transformation with approach by modeling-From UML to N-tiers Web Model

    Redouane Esbai

    2011-07-01

    Full Text Available Today, the N-tiers applications have become the norm for building enterprise software. In this paper we are going to present a model-driven approach to the development of N-tiers web applications based on the UML class diagram. The transformation language is the MOF 2.0 QVT (Meta-Object Facility 2.0 Query-View-Transformation standard which defines the meta-model for the development of model transformation. The transformation rules defined in this paper can generate, from the class diagram, an XML file containing the layers of N-tiers web application respecting a MVC2 (Model-View-Controller, DI (Dependency Injection and DAO (Data Access Object patterns. This file can be used to generate the end-to-end necessary code of a web application.

  5. Gauge invariant classes of feynman diagrams and simplification of quark combinatorics

    In theories like SM or MSSM with a complex gauge group structure the complete set of Feynman diagrams contributed to a particular physics process can be splitted to exact gauge invariant subsets. Such a splitting on the gauge invariant subsets is useful for various computations, in particular, to simplify flavour combinatorics in the evaluation of hadronic processes. Talk is based on papers. (author)

  6. Implementation of UML Schema to RDBM

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

    2012-04-01

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

  7. University Course Selection System Optimization Analysis Based on UML%基于UML的高校选课系统优化分析

    尹铁岩; 韩江霞; 李静波

    2013-01-01

    To solve the problem of security vulnerabilities and information congestion in course selection management system,we used UML(Unified Modeling Language)modeling approach and combined with the main process of the online courses and the actual needs of users of the system to analyze and design course selection system by Rational Rose 2003.And we built the systems' use case diagram,class diagram,activity diagram,sequence diagram,component diagram and deployment diagram.UML modeling application shows that this method is easy to understand,to change and to upgrade.And this method has achieved a good development effect,overcome the low scalability of the traditional method.%为解决选课管理系统中安全性低和信息拥堵的问题,运用UML(Unified Modeling Language)建模方法,结合网上选课的主要流程和系统用户实际需求,通过Rational Rose 2003对高校选课系统进行了优化分析和设计,并以此构建了系统的用例图、类图、活动图、序列图、组件图和部署图.UML建模应用表明,该方法产生的模型易于理解,便于系统修改与升级,取得了很好的开发效果,从而克服了传统方法可扩充性低的问题.

  8. Unified Medical Language System (UMLS)

    U.S. Department of Health & Human Services — The UMLS integrates and distributes key terminology, classification and coding standards, and associated resources to promote creation of more effective and...

  9. UML 2 Certification Guide Fundamental & Intermediate Exams

    Weilkiens, Tim

    2006-01-01

    The popular Unified Modeling Language (UML) is both a language and notation developed by the Object Management Group (OMG) used to design and create specifications for software systems. With the recent release of version 2.0 UML, the OMG has started the OMG-Certified UML Professional Program to provide an objective measure of UML knowledge. As a certified UML professional a developer has an important credential to present to employers and clients. Certification also benefits companies looking for skilled UML practitioners by giving them a basis for making hiring and promotion decisions.UML 2 C

  10. UML i teori och praktik

    Eklund, Eva; Henriksson, Eva

    2001-01-01

    Abstract During object-oriented system development, programming should be preceded by analysis and design to assure that the system fulfils the demands of the customer and simplify during the development phase and documentation. When modeling the analysis and design phases, several different notations may be used. One of these is the UML (Unified Modeling Language) which this thesis will cover. The aim is to compare the use of the UML i practice versus what is said in the literature. The inve...

  11. Test Case Generation Based on Use case and Sequence Diagram

    Santosh Kumar Swain; Durga Prasad Mohapatra; Rajib Mall

    2010-01-01

    We present a comprehensive test case generation technique from UML models. We use the features in UML 2.0 sequence diagram including conditions, iterations, asynchronous messages and concurrent components. In our approach, test cases are derived from analysis artifacts such as use cases, their corresponding sequence diagrams and constraints specified across all these artifacts. We construct Use case Dependency Graph (UDG) from use case diagram and Concurrent Control Flow Graph (CCFG) from cor...

  12. Test Synthesis from UML Models of Distributed Software

    Pickin, Simon; Jard, Claude; Jéron, Thierry; Jézéquel, Jean-Marc; Le Traon, Yves

    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 modeling (e.g. UM...

  13. Operational analysis of sequence diagram specifications

    2007-01-01

    This thesis is concerned with operational analysis of UML 2.x sequence diagram specifications. By operational analysis we mean analysis based on a characterization of the executions of sequence diagrams, or in other words an operational semantics for sequence diagrams. We define two methods for analysis of sequence diagram specifications – refinement verification and refinement testing – and both are implemented in an analysis tool we have named ‘Escalator’. Further, we make the first steps i...

  14. JPI UML Software Modeling

    Cristian Vidal Silva; Leopoldo López; Rodolfo Schmal; Rodolfo Villarroel; Miguel Bustamante; Víctor Rea Sanchez

    2015-01-01

    Aspect-Oriented Programming AOP extends object-oriented programming OOP with aspects to modularize crosscutting behavior on classes by means of aspects to advise base code in the occurrence of join points according to pointcut rules definition. However, join points introduce dependencies between aspects and base code, a great issue to achieve an effective independent development of software modules. Join Point Interfaces JPI represent join points using interfaces between classes and aspect, t...

  15. Extended sequence diagram for human system interaction

    Unified Modeling Language (UML) is a modeling language in the field of object oriented software engineering. The sequence diagram is a kind of interaction diagram that shows how processes operate with one another and in what order. It is a construct of a message sequence chart. It depicts the objects and classes involved in the scenario and the sequence of messages exchanged between the objects needed to carry out the functionality of the scenario. This paper proposes the Extended Sequence Diagram (ESD), which is capable of depicting human system interaction for nuclear power plants, as well as cognitive process of operators analysis. In the conventional sequence diagram, there is a limit to only identify the activities of human and systems interactions. The ESD is extended to describe operators' cognitive process in more detail. The ESD is expected to be used as a task analysis method for describing human system interaction. The ESD can also present key steps causing abnormal operations or failures and diverse human errors based on cognitive condition

  16. From UML Specification into Implementation using Object Mapping

    Ibrahim, Rosziati

    2010-01-01

    In information systems, a system is analyzed using a modeling tool. Analysis is an important phase prior to implementation in order to obtain the correct requirements of the system. During the requirements phase, the software requirements specification (SRS) is used to specify the system requirements. Then, this requirements specification is used to implement the system. The requirements specification can be represented using either a structure approach or an object-oriented approach. A UML (Unified Modeling Language) specification is a well-known for representation of requirements specification in an object-oriented approach. In this paper, we present one case study and discuss how mapping from UML specification into implementation is done. The case study does not require advanced programming skills. However, it does require familiarity in creating and instantiating classes, object-oriented programming with inheritance, data structure, file processing and control loop. For the case study, UML specification i...

  17. Modeling Multi-Mobile Agents System Based on Coalition Signature Mechanism Using UML

    SUNZhixin; HUANGHaiping; WANGRuchuan

    2004-01-01

    With the development of electronic commerce and agent techniques, multi-mobile agents cooperation can not only improve the efficiency of electronic business trade, but more importantly, it has a comprehensive applicative value in solving the security issues of mobile agent system. This paper firstly describes the mechanism of multi-mobile agents coalition signature aiming at the system security. Subsequently it brings forward a basic architecture of Multi-mobile agents system (MMAS) based on the design pattern of multi-mobile agents. The paper uses the diagrs_rn of UML, such as use case diagram, class diagram and sequence diagram to build the detailed model of the coalition signature and multi-mobile agents cooperation results. Through security analysis, we find that multimobile agents cooperation and interaction can solve some security problems of mobile agents in transfer, and also it can improve the efficiency of business trade. These results indicate that MMAS has a high security performance and can be widely used in E-commerce trade.

  18. Using UML as a Front-end for StreamIt Programs Verification and Generation

    Fateh Boutekkouk

    2010-10-01

    Full Text Available UML provides all benefits from the objectoriented paradigm, such as encapsulation and reusability. It has been proven very successful and is widely used in software designs while StreamIt is targeted to support stream processing domain for multi-core architectures. However, programming in StreamIt can be error-prone and does not adequately cope with early validated multimedia systems. In addition, software engineers usually prefer to employ UML, due to its higher abstraction level and visual nature. This paper proposes the mapping of the application model from UML to StreamIt. Our flow starts by establishing the application model using UML structure diagrams. The second step consists in formal verification of some desirable and/or undesirable properties such as deadlock using the rewriting logic based Maude language before StreamIt code generation.

  19. Performance Evaluation of UML2-Modeled Embedded Streaming Applications with System-Level Simulation

    Arpinen Tero

    2009-01-01

    Full Text Available This article presents an efficient method to capture abstract performance model of streaming data real-time embedded systems (RTESs. Unified Modeling Language version 2 (UML2 is used for the performance modeling and as a front-end for a tool framework that enables simulation-based performance evaluation and design-space exploration. The adopted application meta-model in UML resembles the Kahn Process Network (KPN model and it is targeted at simulation-based performance evaluation. The application workload modeling is done using UML2 activity diagrams, and platform is described with structural UML2 diagrams and model elements. These concepts are defined using a subset of the profile for Modeling and Analysis of Realtime and Embedded (MARTE systems from OMG and custom stereotype extensions. The goal of the performance modeling and simulation is to achieve early estimates on task response times, processing element, memory, and on-chip network utilizations, among other information that is used for design-space exploration. As a case study, a video codec application on multiple processors is modeled, evaluated, and explored. In comparison to related work, this is the first proposal that defines transformation between UML activity diagrams and streaming data application workload meta models and successfully adopts it for RTES performance evaluation.

  20. UML in business process modeling

    Bartosz Marcinkowski

    2013-03-01

    Full Text Available Selection and proper application of business process modeling methods and techniques have a significant impact on organizational improvement capabilities as well as proper understanding of functionality of information systems that shall support activity of the organization. A number of business process modeling notations were popularized in practice in recent decades. Most significant of the notations include Business Process Modeling Notation (OMG BPMN and several Unified Modeling Language (OMG UML extensions. In this paper, the assessment whether one of the most flexible and strictly standardized contemporary business process modeling notations, i.e. Rational UML Profile for Business Modeling, enable business analysts to prepare business models that are all-embracing and understandable by all the stakeholders. After the introduction, methodology of research is discussed. Section 2 presents selected case study results. The paper is concluded with a summary.

  1. Transforming CCSL partially-ordered Traces into UML Interaction Diagrams

    Garcés, Kelly; Deantoni, Julien; Mallet, Frédéric

    2011-01-01

    The need for verification and debugging of critical temporal constraints in embedded systems comes out at different stages of development. In the specification step, static and dynamic views of the system are established and simulations are performed. In the implementation step, code may be instrumented with the purpose of collecting traces as the system executes in a target platform. In the same fashion as system executions, simulations produce traces that are later on analyzed by means of t...

  2. Aspect-Oriented Subprogram Synthesizes UML Sequence Diagrams

    Barry, Matthew R.; Osborne, Richard N.

    2006-01-01

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

  3. USING UML SCENARIOS IN B2B SYSTEMS

    A. Jakimi

    2010-05-01

    Full Text Available Scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of the system behavior, an approach for scenario composition and/or integration is needed to produce more complete specifications. The Unified Modeling Language (UML, which has become a standard notation for object-oriented modeling, provides a suitable framework for scenario acquisition using Use Case diagrams and Sequence or Collaboration diagrams. In this paper, we suggest an algorithmic and tool support for composing and integrating scenarios that are represented in form of sequence diagrams. We suggest four operators (;: sequential operator, ||: concurrent operator, ?: conditional operator and  * :iteration operator to compose a set of scenarios that describe a use case of a given system. In this paper, we suggest also to apply the scenario approach to B2B systems (Business to Business. We propose to develop B2B systems as a three activities process deriving formal specifications and code skeletons from UML scenarios. Activities of this proposed process are generally automatic and are supported by a set of developed algorithms and tools.

  4. UML-based Design of Network Processor Applications

    Bertolino, Antonia; Angelis, Guglielmo De; Mirandola, Raffaela

    2005-01-01

    Network Processors (NPs) are an emerging class of embedded systems used in the telecommunication domain for functionality like routing and switching. In this paper we outline a framework currently under development for the use of a Model Driven Engineering approach to the design of NP software applications. Specifically we introduce the UML profile called NAP (Network Processors Application Profile) which has been specialized so far for the design of SCTP applications.

  5. QuantUM: Quantitative Safety Analysis of UML Models

    Florian Leitner-Fischer

    2011-07-01

    Full Text Available When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.

  6. QuantUM: Quantitative Safety Analysis of UML Models

    Leitner-Fischer, Florian; 10.4204/EPTCS.57.2

    2011-01-01

    When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysi...

  7. Modeling Value Chain Analysis of Distance Education using UML

    Acharya, Anal; Mukherjee, Soumen

    2010-10-01

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

  8. Software Architecture modeling framework using UML

    R. Aroul canessane

    2013-04-01

    Full Text Available The software architecture’s are built using some specific languages while developing a project. Architecture design languages are used in research and industrial projects that are used represented using Unified Modeling Languages. However UML is not a completely qualified Architecture design language. But it has the ability to use as a substitute for all other languages that has been used earlier. UML can be used for creating Architectural viewpoint, this paper shows how UML can be extended for creating Software Architectures with architectural abstractions. The example that is used here for extended framework of UML is the CTScan device.

  9. Enterprise architecture evaluation using architecture framework and UML stereotypes

    Narges Shahi

    2014-08-01

    Full Text Available There is an increasing need for enterprise architecture in numerous organizations with complicated systems with various processes. Support for information technology, organizational units whose elements maintain complex relationships increases. Enterprise architecture is so effective that its non-use in organizations is regarded as their institutional inability in efficient information technology management. The enterprise architecture process generally consists of three phases including strategic programing of information technology, enterprise architecture programing and enterprise architecture implementation. Each phase must be implemented sequentially and one single flaw in each phase may result in a flaw in the whole architecture and, consequently, in extra costs and time. If a model is mapped for the issue and then it is evaluated before enterprise architecture implementation in the second phase, the possible flaws in implementation process are prevented. In this study, the processes of enterprise architecture are illustrated through UML diagrams, and the architecture is evaluated in programming phase through transforming the UML diagrams to Petri nets. The results indicate that the high costs of the implementation phase will be reduced.

  10. Performance Evaluation of Superscalar Processor Architecture Through UML

    Taskeen Zaidi

    2013-07-01

    Full Text Available In the current scenario, most of the applications are based upon graphical user interface and dependent upon the object-oriented technology. Software Industries are interested to convert old structured based softwares into object-oriented based softwares and also to reduce the lines of the code of application for reduction in the execution time of application. Therefore, it is a big challenge to reduce the execution time of the application based upon the object-oriented technology. The present work deals with the reduction of execution time for the superscalar machine by the use of object-oriented approach. A well known modeling language i.e. Unified Modeling Language (UML is used to model the superscalar pipeline architecture. UML class and sequence models are designed before computations of the execution time and computed results are depicted in the form of tables and graphs. The comparisons are also made by taking the two object-oriented programming languages.

  11. UML-ising formal techniques

    Bjørner, Dines; George, Chris W.; Haxthausen, Anne Elisabeth;

    2004-01-01

    This invited paper presents a number of correlated specifications of example railway system problems. They use a variety of partially or fully integrated formal specification. The paper thus represents a mere repository of what we consider interesting case studies. The existence of the Unified...... these different UML views are unified, integrated, correlated or merely co-located is for others to dispute. We also seek to support multiple views, but are also in no doubt that there must be sound, well defined relations between such views. We thus report on ways and means of integrating formal...... techniques such as RAISE (RSL) [58,59], Petri Nets [56,62,37,61,411, Message and Live Sequence Charts [42,43,44,64,13], Statecharts [23,24,26,27], RAISE with Timing (TRSL) [18,45,461, and TRSL with Duration Calculus (79,30]. In this way one achieves a firm foundation for combined uses of these formal...

  12. Exact and grid-free solutions to the Lighthill-Whitham-Richards traffic flow model with bounded acceleration for a class of fundamental diagrams

    Qiu, Shanwen

    2013-09-01

    In this article, we propose a new exact and grid-free numerical scheme for computing solutions associated with an hybrid traffic flow model based on the Lighthill-Whitham-Richards (LWR) partial differential equation, for a class of fundamental diagrams. In this hybrid flow model, the vehicles satisfy the LWR equation whenever possible, and have a constant acceleration otherwise. We first propose a mathematical definition of the solution as a minimization problem. We use this formulation to build a grid-free solution method for this model based on the minimization of component function. We then derive these component functions analytically for triangular fundamental diagrams, which are commonly used to model traffic flow. We also show that the proposed computational method can handle fixed or moving bottlenecks. A toolbox implementation of the resulting algorithm is briefly discussed, and posted at https://dl.dropbox.com/u/1318701/Toolbox.zip. © 2013 Elsevier Ltd.

  13. Uml Alanysis For Quality Assurance Management System for Higher Education

    Mahmud Kandel

    2010-04-01

    Full Text Available One of the most important concerns of the current institutions of higher education is the management process to ensure quality. The most important problems facing these institutions is the quality assurance evaluation process. One of the best ways to overcome this problem building a system based on a computer to manage that process. We will define this system as "a Quality Assurance Management system For Higher Education (QAMS". During this paper we will explain our vision and analysis to build such a system. During the system construction we must identify the main modules for the system and the relationships between them. Our QAMS will be constructed to enable the quality evaluator to evaluate the institution quality and generate the final quality report automatically without additional efforts. The main purpose from this paper is to explain our QAMS components. This view will be illustrated by using the UML language diagrams as use-case diagram, data flow diagram, flowchart, and activity diagram.

  14. UMLS knowledge for biomedical language processing.

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

    1993-01-01

    This paper describes efforts to provide access to the free text in biomedical databases. The focus of the effort is the development of SPECIALIST, an experimental natural language processing system for the biomedical domain. The system includes a broad coverage parser supported by a large lexicon, modules that provide access to the extensive Unified Medical Language System (UMLS) Knowledge Sources, and a retrieval module that permits experiments in information retrieval. The UMLS Metathesauru...

  15. Verification and testing automation of UML projects

    Nikita, Voinov; Vsevolod, Kotlyarov

    2009-01-01

    This paper presents an integrated approach to verification and testing automation of UML projects. It consists of automatic model creation from UML specifications in the formal language of basic protocols, model’s verification by the means of VRS technology and automatic tests generation in TTCN language using TAT. The actuality of this task arises from necessity of software functionality’s correctness checking, including verification and testing, but there is lack of industrial technologies ...

  16. On the Impact of Diagram Layout: How Are Models Actually Read?

    Störrle, Harald; Baltsen, Nick; Christoffersen, Henrik;

    2014-01-01

    This poster presents the latest results from a very large eye tracking study (n=29) that explores how modelers read UML diagrams. We find that various factors like layout quality, modeler experience, and diagram type lead to significant differences in diagram reading strategies. We derive elements...

  17. The feasibility of using UML to compare the impact of different brands of computer system on the clinical consultation

    Pushpa Kumarapeli

    2008-01-01

    Conclusions UML sequence diagrams are useful in identifying common tasks in the clinical consultation, and for contrasting the impact of the different brands of computer system on the clinical consultation. Further research is needed to see if patterns demonstrated in this pilot study are consistently displayed.

  18. Delta Diagrams

    Jablan, Slavik; Kauffman, Louis H.; Lopes, Pedro

    2015-01-01

    We call a Delta Diagram any diagram of a knot or link whose regions (including the unbounded one) have 3, 4, or 5 sides. We prove that any knot or link admits a delta diagram. We define and estimate combinatorial link invariants stemming from this definition.

  19. Executable UML Modeling For Automotive Embedded Systems

    Engineers are more and more faced to the hard problem of sophisticated real-time System whereas time to market becomes always smaller. Object oriented modeling supported by UML standard brings effective solutions to such problems. However the possibility to specify real-time aspects of an application are not yet fully satisfactory Indeed, existing industrial proposals supply good answers to concurrency specification problem but they are yet limited regarding to real-time quantitative properties specification of an application. This work aims to construct a complete and consistent UML methodology based on a profile dedicated to automotive embedded Systems modeling and prototyping. This profile contains ail needed extensions to express easily the real-time quantitative properties of an application. Moreover, thanks to the formalization of UML protocol state machines, real-time concepts have been well-integrated in the object oriented paradigm. The main result of this deep integration is that a user is now able to model real-time Systems through the classical object oriented view i.e. without needing any specific knowing in real-time area. In order to answer to an industrial requirement, Systems prototyping (key point for car industry) the ACCORD/UML approach allows also to build executable models of an application. For that purpose, the method supplies a set of rules allow.ng to remove UML ambiguous semantics points, to complete semantics variation points and then to obtain a complete and coherent global model of an application being executable. The work of UML extension and its using formalization realized all along this thesis supplied also a complete and non-ambiguous modeling framework for automotive electronics Systems development. This is also a base particularly well-suited to tackle other facets of the Systems development as automatic and optimized code generation, validation, simulation or tests. (author)

  20. 基于UML的图书馆管理信息系统的分析与设计%The Analysis and Design of Library Management Information System(LIBMIS) Based on UML

    林奕君

    2014-01-01

    对图书馆管理信息系统业务需求进行了分析,从软件工程角度出发,运用UML进行建模,详细论述了利用UML建立该系统用例图、静态模型类图及其动态模型的过程。以B/S模式为总体架构,采用 ASP.NET3.5+Microsoft SQL Server2005在Visual Studio 2008平台上开发了界面友好、功能实用、通用性好的图书馆管理信息系统。%This paper analyzes the business needs of LIBMIS, and with the perspective of software engineering and using UML modeling, discusses in detail the process of establishing the system’s case diagram, static model class diagram and dynamic model by using UML. The LIBMIS takes B/S model as the overall architecture, and adopts ASP.NET 3.5+Microsoft SQL Server2005 to develop the LIBMIS with friendly interface, practical function and good commonality in Visual Studio 2008 platform.

  1. 基于Object-Z的UML对象模型的形式化%The Formalization of Object Model in UML Based on Object-Z

    杨卫东; 蔡希尧

    2000-01-01

    UML is the main visual Object-oriented modeling language currently, which is used widely and supported by most CASE tools. Comparing with traditional Object-oriented methods, LML describes its semantics and syntax more rigouly by using metamodel and Object Constrain Language. But some important concepts in UML are not specified clearly. This paper presents a formal specification for object model of UML, mainly includes the concepts of class, association, association class, aggregation, and inheritance, etc, so that the analyse, verification, refine, and consistent cheking can be applied to object model.

  2. Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams

    Lu, Lunjin

    2010-01-01

    Sequence diagrams are a widely used design notation for describing software behaviors. Many reusable software artifacts such as design patterns and design aspects make use of sequence diagrams to describe interaction behaviors. When a pattern or an aspect is reused in an application, it is important to ensure that the sequence diagrams for the application correctly refines the corresponding sequence diagrams for the pattern or aspect. Reasoning about refinement of sequence diagrams has not been addressed adequately in literature. In this paper, we focus on refinement of mandatory behavior specified by a UML sequence diagram. A novel trace semantics is given that captures precisely mandatory behavior specified by a sequence diagram and a refinement relation between sequence diagrams is formalized based on the semantics. Properties of the trace semantics and the refinement relation are studied.

  3. UPORABA JEZIKA UML ZA NAČRTOVANJE SPLETNIH APLIKACIJ

    Vinkler, Boris

    2009-01-01

    Diplomsko delo opisuje uporabo jezika UML pri načrtovanju spletnih aplikacij. Podani so razlogi nastanka jezika UML ter njegova zgodovina razvoja. Opisani so osnovni principi, funkcionalnosti ter načini razširjenja le-teh z vpeljevanjem UML profilov. Podrobneje so opisani sestavni deli UML profilov in predstavljeni nekateri že uveljavljeni profili. Raziskali in opisali smo tudi nekatera modelirna orodja s podporo jeziku UML. Sledi praktični prikaz načrtovanja spletne aplikacije z uporabo diag...

  4. Electronic diagrams

    Colwell, Morris A

    1976-01-01

    Electronic Diagrams is a ready reference and general guide to systems and circuit planning and in the preparation of diagrams for both newcomers and the more experienced. This book presents guidelines and logical procedures that the reader can follow and then be equipped to tackle large complex diagrams by recognition of characteristic 'building blocks' or 'black boxes'. The goal is to break down many of the barriers that often seem to deter students and laymen in learning the art of electronics, especially when they take up electronics as a spare time occupation. This text is comprised of nin

  5. UML: Un lenguaje de modelo de objetos

    Luis Ignacio Lizcano-Bueno

    2002-01-01

    Full Text Available A Unified Modeling Language (UML: Unified Modeling Language is a tool that allows object-oriented modeling across a wide graphic vocabulary focused on conceptual and physical representation of software systems software. It is now a standard adopted by the development group orbjetos (OMG: Object Management Group.   This paper presents an introduction to this language, the different components that form and briefly explain their functions are shown.

  6. Software engineering techniques applied to agricultural systems an object-oriented and UML approach

    Papajorgji, Petraq J

    2014-01-01

    Software Engineering Techniques Applied to Agricultural Systems presents cutting-edge software engineering techniques for designing and implementing better agricultural software systems based on the object-oriented paradigm and the Unified Modeling Language (UML). The focus is on the presentation of  rigorous step-by-step approaches for modeling flexible agricultural and environmental systems, starting with a conceptual diagram representing elements of the system and their relationships. Furthermore, diagrams such as sequential and collaboration diagrams are used to explain the dynamic and static aspects of the software system.    This second edition includes: a new chapter on Object Constraint Language (OCL), a new section dedicated to the Model-VIEW-Controller (MVC) design pattern, new chapters presenting details of two MDA-based tools – the Virtual Enterprise and Olivia Nova, and a new chapter with exercises on conceptual modeling.  It may be highly useful to undergraduate and graduate students as t...

  7. Scenario/Class Diagram Synthesis

    Prabhune, Aniket; Mahajan, Reenal; Singhal, Mudita

    2003-01-01

    The scenario-synthesis problem in requirements analysis is explored in this report.The approach suggested by Khriss et al.is adapted for the domain of Digital Libraries. The results of the synthesis along with the entire transformation process are elaborated in this report.

  8. A UML profile for code generation of component based distributed systems

    A consistent and unambiguous implementation of code generation (model to text transformation) from UML (must rely on a well defined UML (Unified Modelling Language) profile, customizing UML for a particular application domain. Such a profile must have a solid foundation in a formally correct ontology, formalizing the concepts and their relations in the specific domain, in order to avoid a maze or set of wildly created stereotypes. The paper describes a generic profile for the code generation of component based distributed systems for control applications, the process to distill the ontology and define the profile, and the strategy followed to implement the code generator. The main steps that take place iteratively include: defining the terms and relations with an ontology, mapping the ontology to the appropriate UML meta-classes, testing the profile by creating modelling examples, and generating the code. This has allowed us to work on the modelling of E-ELT (European Extremely Large Telescope) control system and instrumentation without knowing what infrastructure will be finally used

  9. Well-formedness and typing rules for UML Composite Structures

    Dragomir, Iulia; Ober, Iulian

    2010-01-01

    Starting from version 2.0, UML introduced hierarchical composite structures, which are an expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that disambiguate the meaning of UML composite structures. Our primary goal was to have an operational model of composite structures for the OMEGA UML profile, an executable profile dedicated to the formal specification and validat...

  10. Feynman Diagrams and Rooted Maps

    Prunotto, A; Czerski, P

    2013-01-01

    The {\\em Rooted Maps Theory}, a branch of the Theory of Homology, is shown to be a powerful tool for investigating the topological properties of Feynman diagrams, related to the single particle propagator in the quantum many-body systems. The numerical correspondence between the number of this class of Feynman diagrams as a function of perturbative order and the number of rooted maps as a function of the number of edges is studied. A graphical procedure to associate Feynman diagrams and rooted maps is then stated. Finally, starting from rooted maps principles, an original definition of the {\\em genus of a Feynman diagram}, which totally differs from the usual one, is given.

  11. The Neighborhood Auditing Tool: A Hybrid Interface for Auditing the UMLS

    Morrey, C. Paul; Geller, James; Halper, Michael; Perl, Yehoshua

    2009-01-01

    The UMLS’s integration of more than 100 source vocabularies, not necessarily consistent with one another, causes some inconsistencies. The purpose of auditing the UMLS is to detect such inconsistencies and to suggest how to resolve them while observing the requirement of fully representing the content of each source in the UMLS. A software tool, called the Neighborhood Auditing Tool (NAT), that facilitates UMLS auditing is presented. The NAT supports “neighborhood-based” auditing, where, at any given time, an auditor concentrates on a single focus concept and one of a variety of neighborhoods of its closely related concepts. Typical diagrammatic displays of concept networks have a number of shortcomings, so the NAT utilizes a hybrid diagram/text interface that features stylized neighborhood views which retain some of the best features of both the diagrammatic layouts and text windows while avoiding the shortcomings. The NAT allows an auditor to display knowledge from both the Metathesaurus (concept) level and the Semantic Network (semantic type) level. Various additional features of the NAT that support the auditing process are described. The usefulness of the NAT is demonstrated through a group of case studies. Its impact is tested with a study involving a select group of auditors. PMID:19475725

  12. From relational ClassSheets to UML+OCL

    Cunha, Jácome Miguel Costa; Fernandes, João Paulo; Saraiva, João Alexandre

    2012-01-01

    Spreadsheets are among the most popular programming languages in the world. Unfortunately, spreadsheet systems were not tailored from scratch with modern programming language features that guarantee, as much as possible, program correctness. As a consequence, spreadsheets are populated with unacceptable amounts of errors. In other programming language settings, model-based approaches have been proposed to increase productivity and program efectiveness. Within spreadsheets, this approach ha...

  13. Inferring Requirement Goals from Model Implementing in UML

    2001-01-01

    UML is used widely in many software developmentprocesses.However,it does not make explicit requirement goals.Here is a method tending to establish the semantic relationship between requirements goals and UML models.Before the method is introduced,some relevant concepts are described

  14. Supporting several levels of restriction in the UML

    Hansen, Klaus Marius; Damm, Christian Heide; Thomsen, Michael; Tyrsted, Michael

    The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in initial, informal, and creative modelling, and it is in some cases not restrictive enough, e.g., for code generation. Based...

  15. Phase diagrams

    The description is presented of binary phase diagrams of titanium alloyed with the following elements: silver, aluminium, arsenic, gold, boron, barium, beryllium, bismuth, carbon, calcium, cadmium, cobalt, chromium, copper, iron, gallium, germanium, hydrogen, hafnium, indium, iridium, potassium, lithium, magnesium, manganese, molybdenum, nitrogen, sodium, niobium, nickel, oxygen, osmium, phosphorus, lead, palladium, platinum, plutonium, rhenium, lanthanium, cerium, preseodymium, neodymium, gadolinium, erbium, terbium, thulium, lutetium, rhodium, ruthenium, scandium, silicon, tin, strontium, tantalum, technetium, thorium, uranium, vanadium, tungsten, yttrium, ytterbium, zinc and zirconium

  16. An evaluation of the software architecture efficiency using the Clichés and behavioral diagrams pertaining to the unified modeling language

    Siamak Khaksar Haghani

    2014-06-01

    Full Text Available The software architecture plays essential role for the development of the complicated software systems and it is important to evaluate the software architecture efficiency. One way to evaluate the software architecture is to create an executable model from the architecture. Unified Modeling Language (UML diagrams are used to describe the software architecture. UML has made it easy to use and to evaluate the necessary requirements at the software architecture level. It creates an executable model from these diagrams; yet, since the UML is a standard semi-formal language for describing the software architecture, evaluating the software architecture is not directly possible through it. Furthermore, in order to evaluate the software architecture, one needs to turn the actual model into the formal model. In this study, first we describe the architecture using the UML. Then, some properties of the software architecture are mentioned using the UML sequence diagram, deployment diagram, use case diagram, and component diagram. The necessary information associated with the qualitative characteristic of efficiency will be margined as clichés and labels to these diagrams. The independent and dependent components will be extracted from the component diagram. Finally, the resulted semi-formal model will be mapped into a formal model based on the colored Petri net and finally the evaluation will take place.

  17. Towards Clone Detection in UML Domain Models

    Störrle, Harald

    2013-01-01

    Code clones (i.e., duplicate fragments of code) have been studied for long, and there is strong evidence that they are a major source of software faults. Anecdotal evidence suggests that this phenomenon occurs similarly in models, suggesting that model clones are as detrimental to model quality as...... they are to code quality. However, programming language code and visual models have significant differences that make it difficult to directly transfer notions and algorithms developed in the code clone arena to model clones. In this article, we develop and propose a definition of the notion of “model...... clone” based on the thorough analysis of practical scenarios. We propose a formal definition of model clones, specify a clone detection algorithm for UML domain models, and implement it prototypically. We investigate different similarity heuristics to be used in the algorithm, and report the performance...

  18. Towards Clone Detection in UML Domain Models

    Störrle, Harald

    2010-01-01

    Code clones - that is, duplicate fragments of code - have been studied for a long time. There is strong evidence that code clones are a major source of software faults. Anecdotal evidence suggests that this phenomenon is not restricted to code, but occurs in models in a very similar way. So it is...... likely that model clones are as detrimental to model quality as they are to code quality. However, programming language code and visual models also have significant differences so that notions and algorithms developed in the code clone arena cannot be transferred directly to model clones. In this article......, we discuss how model clones arise by analyzing several practical scenarios. We propose a formal definition of models and clones, that allows us to specify a generic clone detection algorithm. Through a thorough analysis of the detail structure of sample UML domain models, recommendations for clone...

  19. An Automated Approach to Transform Use Cases into Activity Diagrams

    Yue, Tao; Briand, Lionel C.; Labiche, Yvan

    Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated test case generation. Therefore the automated support for the transition from use cases to activity diagrams would provide significant, practical help. Additionally, traceability could be established through automated transformation, which could then be used for instance to relate requirements to design decisions and test cases. In this paper, we propose an approach to automatically generate activity diagrams from use cases while establishing traceability links. Data flow information can also be generated and added to these activity diagrams. Our approach is implemented in a tool, which we used to perform five case studies. The results show that high quality activity diagrams can be generated. Our analysis also shows that our approach outperforms existing academic approaches and commercial tools.

  20. Formalisation of the UML Profile for SDL - A Case Study

    Grammes, Rüdiger

    2006-01-01

    With the UML 2.0 standard, the Unified Modeling Language took a big step towards SDL, incorporating many features of the language. SDL is a mature and complete language with formal semantics. The Z.109 standard defines a UML Profile for SDL, mapping UML constructs to corresponding counterparts in SDL, giving them a precise semantics. In this report, we present a case study for the formalisation of the Z.109 standard. The formal definition makes the mapping precise and can be used to derive to...

  1. HRT-UML: a design method for hard real-time systems based on the UML notation

    D'Alessandro, Massimo; Mazzini, Silvia; di Natale, Marco; Lipari, Giuseppe

    2002-07-01

    The Hard Real-Time-Unified Modelling Language (HRT-UML) method aims at providing a comprehensive solution to the modeling of Hard Real Time systems. The experience shows that the design of Hard Real-Time systems needs methodologies suitable for the modeling and analysis of aspects related to time, schedulability and performance. In the context of the European Aerospace community a reference method for design is Hierarchical Object Oriented Design (HOOD) and in particular its extension for the modeling of hard real time systems, Hard Real-Time-Hierarchical Object Oriented Design (HRT-HOOD), recommended by the European Space Agency (ESA) for the development of on-board systems. On the other hand in recent years the Unified Modelling Language (UML) has been gaining a very large acceptance in a wide range of domains, all over the world, becoming a de-facto international standard. Tool vendors are very active in this potentially big market. In the Aerospace domain the common opinion is that UML, as a general notation, is not suitable for Hard Real Time systems, even if its importance is recognized as a standard and as a technological trend in the near future. These considerations suggest the possibility of replacing the HRT-HOOD method with a customized version of UML, that incorporates the advantages of both standards and complements the weak points. This approach has the clear advantage of making HRT-HOOD converge on a more powerful and expressive modeling notation. The paper identifies a mapping of the HRT-HOOD semantics into the UML one, and proposes a UML extension profile, that we call HRT-UML, based on the UML standard extension mechanisms, to fully represent HRT-HOOD design concepts. Finally it discusses the relationships between our profile and the UML profile for schedulability, performance and time, adopted by OMG in November 2001.

  2. Research on Mapping UML to Petri-Net in System Modeling

    Wang Chun Jian

    2016-01-01

    Full Text Available The paper analyzes the need of complex system modeling.According to the advantage and shortage of UML and Perti net, comprehensive usage of Petri net and UML can efficiently improve the comprehensiveness, consistency, accuracy and completeness of the model describing, The translation rules from UML to Petri net were proposed. So the UML model can be analyzed and verified better.

  3. Evaluation of a UMLS Auditing Process of Semantic Type Assignments.

    Gu, Huanying Helen; Hripcsak, George; Chen, Yan; Morrey, C Paul; Elhanan, Gai; Cimino, James; Geller, James; Perl, Yehoshua

    2007-01-01

    The UMLS is a terminological system that integrates many source terminologies. Each concept in the UMLS is assigned one or more semantic types from the Semantic Network, an upper level ontology for biomedicine. Due to the complexity of the UMLS, errors exist in the semantic type assignments. Finding assignment errors may unearth modeling errors. Even with sophisticated tools, discovering assignment errors requires manual review. In this paper we describe the evaluation of an auditing project of UMLS semantic type assignments. We studied the performance of the auditors who reviewed potential errors. We found that four auditors, interacting according to a multi-step protocol, identified a high rate of errors (one or more errors in 81% of concepts studied) and that results were sufficiently reliable (0.67 to 0.70) for the two most common types of errors. However, reliability was low for each individual auditor, suggesting that review of potential errors is resource-intensive. PMID:18693845

  4. Unambiguous UML Composite Structures: The OMEGA2 Experience

    Ober, Iulian; Dragomir, Iulia

    Starting from version 2.0, UML introduced hierarchical composite structures, which are a very expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that ensure UML composite structures are unambiguous and can be given a precise semantics. Our primary application of the static consistency rules defined in this paper is within the OMEGA UML profile [6], but these rules are general and applicable to other hierarchical component models based on the same concepts, such as MARTE GCM or SysML. The rule set has been formalized in OCL and is currently used in the OMEGA UML compiler.

  5. Evaluation of a UMLS Auditing Process of Semantic Type Assignments

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

    2007-01-01

    The UMLS is a terminological system that integrates many source terminologies. Each concept in the UMLS is assigned one or more semantic types from the Semantic Network, an upper level ontology for biomedicine. Due to the complexity of the UMLS, errors exist in the semantic type assignments. Finding assignment errors may unearth modeling errors. Even with sophisticated tools, discovering assignment errors requires manual review. In this paper we describe the evaluation of an auditing project of UMLS semantic type assignments. We studied the performance of the auditors who reviewed potential errors. We found that four auditors, interacting according to a multi-step protocol, identified a high rate of errors (one or more errors in 81% of concepts studied) and that results were sufficiently reliable (0.67 to 0.70) for the two most common types of errors. However, reliability was low for each individual auditor, suggesting that review of potential errors is resource-intensive. PMID:18693845

  6. Application Of UML In Real-Time Embedded Systems

    Aman Kaur; Rajeev Arora

    2012-01-01

    The UML was designed as a graphical notation for use with object-oriented systems and applications. Because of its popularity, now it is emerging in the field of embedded systems design as a modeling language. The UML notation is useful in capturing the requirements, documenting the structure, decomposing into objects and defining relationships between objects. It is a notational language that is very useful in modelling the real-time embedded systems. This paper presents the requirements and...

  7. How to transform UML neg into a useful construct

    2005-01-01

    In UML, the operator neg is used to specify negative, or unwanted, system behaviour. We agree that being able to specify negative behaviour is important. However, the UML neg is currently not wellsuited for this purpose, the main problem being that a single operator is used with several different meanings depending on the context. In this paper we investigate some alternative definitions of neg. We also propose a solution in which neg is replaced by two new operators for specifying negative b...

  8. Softev: UML-Based PSEE Environment

    2001-01-01

    Software development processes, as a mean to ensure softwarequali ty and productivity, have been widely accepted within the software development com munity. This research introduces how to assist developers to establish quality m anagement plan and monitor the implementation of software processes quantitative ly in a CASE environment. A PSEE (process-centered software engineering environ m ent) named Softev has been brought forward to provide developers the environment to define, execute and monitor their processes. As UML is becoming a standard d iagrammatic notation for object-oriented modeling and is spreading rapidly, it h as been chosen to express the artifacts developed during the requirement analysi s and system design stages. In the early products of software process engineerin g, most research mainly focus on the representations of complex organizational p rocesses and architectures for process-centered application support environment . However, the metrics of software processes and artifacts was not paid sufficien t attention to. This research proposes the attributes to be measured during the development period which enable managers to predict and supervise the software p roject more precisely.

  9. Modeling and Analysis of Onling Florist System Based on UML%基于UML的网上花店系统建模分析

    任鸽; 杨勇

    2013-01-01

    Online flower shop is a specific form of electronic commerce, it has the traditional shop incomparable advantage,this paper analyzes the online florist's specific needs,by adopting the idea of a use case driven, using UML modeling language to complete the function of the entire online florist abstraction,requirements modeling,and the class diagram describes the overall architecture of the system.%网上花店是电子商务的一种具体形式,其具有传统商店无可比拟的优势,本文分析了网上花店的具体需求,采用用例驱动的思想,利用UML建模语言完成了整个网上花店的功能抽象,需求建模,并用类图描述了系统的整体架构。

  10. A metamodel specification for uml tools adaptation

    El Kouhen, Amine

    2013-01-01

    Model-Driven Engineering (MDE) encourages the use of graphical modeling tools, which facilitate the development process from modeling to coding. Such tools can be designed using the MDE approach into meta-modeling environments called metaCASE tools. It turned out that current metaCASE tools still require, in most cases, manual programming to build full tool support for the modeling language. First of all, we want to specify, using models, diagrams editors with a high graphical expressiveness ...

  11. DERIVATION OF STOCHASTIC REWARD NET (SRN FROM UML SPECIFICATION CONSIDERING COST EFFICIENT DEPLOYMENT MANAGEMENT OF COLLABORATIVE SERVICE COMPONENTS

    Razib Hayat Khan

    2011-01-01

    Full Text Available Performance evaluation of distributed system is always an intricate undertaking where system behavior is distributed among several components those are physically distributed. Bearing this concept in mind, we delineate a performance modeling framework for a distributed system that proposes a transformation process from high level UML notation to SRN model and solves the model for relevant performance metrics. To capture the system dynamics through our proposed framework we outline a specification style that focuses on UML collaboration and activity as reusable specification building blocks, while deployment diagram identify the physical components of the system and the assignment of software artifacts to identified system components. Optimal deployment mapping of software artifacts on the available physical resources of the system is investigated by deriving the cost function. The way to deal with parallel thread processing of the network nodes by defining the upper bound is precisely mentioned to generate the SRN model. The proposed performance modeling framework provides transformation rules of UML elements into corresponding SRN representations and also the prediction result of a system such as throughput. The applicability of our proposed framework is demonstrated in the context of performance modeling of a distributed system.

  12. Detection of Syntactic Aspect Interaction in UML State Diagrams Using Critical Pair Analysis in Graph Transformation

    Altahat, Zaid; Elrad, Tzilla; Tahat, Luay; Almasri, Nada

    2013-01-01

    Aspect Oriented Modeling separates crosscutting concerns by defining Aspects and composition mechanisms at the model level. Composition of multiple Aspects will most likely result in more than one Aspect matching the same join points. Consequently, Aspects do not always interact in a predictable manner when woven together. Intended interaction among aspects is designed by the system designer. Unintended interaction (or interference) must be automatically managed. When the woven aspect demonst...

  13. Model Based Test Case Prioritization For Testing Component Dependency In CBSD Using UML Sequence Diagram

    Arup Abhinna Acharya; Durga Prasad Mohapatra; Namita Panda

    2011-01-01

    Software maintenance is an important and costly activity of the software development lifecycle. To ensure proper maintenance the software undergoes regression testing. It is very inefficient to re execute every test case in regression testing for small changes. Hence test case prioritization is a technique to schedule the test case in an order that maximizes some objective function. A variety of objective functions are applicable, one such function involves rate of fault detection - a measure...

  14. Model-Based Requirements Analysis for Reactive Systems with UML Sequence Diagrams and Coloured Petri Nets

    Tjell, Simon; Lassen, Kristian Bisgaard

    2008-01-01

    In this paper, we describe a formal foundation for a specialized approach to automatically checking traces against real-time requirements. The traces are obtained from simulation of Coloured Petri Net (CPN) models of reactive systems. The real-time requirements are expressed in terms of a derivat...

  15. Using UML sequence diagrams as basis for a formal test description language

    Pickin, Simon; Jézéquel, Jean-Marc

    2004-01-01

    International audience A formal yet user-friendly test description language could increase the possibilities for automation in the testing phase while at the same time gaining widespread acceptance Scenario languages are currently one of the most popular formats for describing interactions between possibly distributed components The question of giving a solid formal basis to scenario languages such as MSC has also received a lot of attention In this article we discuss using one of the most...

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

    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.

  17. Resummation of Cactus Diagrams in Lattice QCD

    Panagopoulos, H

    1998-01-01

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

  18. Application Of UML In Real-Time Embedded Systems

    Aman Kaur

    2012-04-01

    Full Text Available The UML was designed as a graphical notation for use with object-oriented systems and applications. Because of its popularity, now it is emerging in the field of embedded systems design as a modeling language. The UML notation is useful in capturing the requirements, documenting the structure, decomposing into objects and defining relationships between objects. It is a notational language that is very useful in modelling the real-time embedded systems. This paper presents the requirements and analysis modelling of a real-time embedded system related to a control system application for platformstabilization using COMET method of design with UML notation. These applications involve designing of electromechanical systems that are controlled by multi-processors.

  19. Well-formedness and typing rules for UML Composite Structures

    Dragomir, Iulia

    2010-01-01

    Starting from version 2.0, UML introduced hierarchical composite structures, which are an expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that disambiguate the meaning of UML composite structures. Our primary goal was to have an operational model of composite structures for the OMEGA UML profile, an executable profile dedicated to the formal specification and validation of real-time systems, developed in a past project to which we contributed. However, the rules and principles stated here are applicable to other hierarchical component models based on the same concepts, such as SysML. The presented ruleset is supported by an OCL formalization which is described in this report. This formalization was applied on different complex models for the evaluation and validation of the proposed principles.

  20. Auditing SNOMED Integration into the UMLS for Duplicate Concepts

    Huang, Kuo-Chuan; Geller, James; Elhanan, Gai; Perl, Yehoshua; Halper, Michael

    2010-01-01

    The UMLS contains terms from many sources. Every update of a source requires reintegration. Each new term needs to be assigned to a preexisting UMLS concept, or a new concept must be created. Whenever the integration process unnecessarily creates a new concept, this is undesirable. We report on a method to detect such undesirable duplicate concepts. Terms are removed from the UMLS and reintegrated using “piecewise synonym generation.” The concept of the reintegrated term is programmatically compared to the initial concept of the term (before removal). If they are different, this indicates an error, either in the integration process or in the initial concept. Thus, such a term-concept pair is deemed suspicious. A study of five hierarchies of the SNOMED found 7.7% suspicious matches. A human expert needs to evaluate the correctness of suspicious concepts. In a sample of 149 of those, 19% of concepts were found to be duplicates. PMID:21346993

  1. Transforming UML 'Collaborating' Statecharts for Verification and Simulation

    Patrick O. Bobbie

    2003-04-01

    Full Text Available Due to the increasing complexity of real world problems, it is costly and difficult to validate today's software-intensive systems. The research reported in the paper describes our experiences in developing and applying a set of methodologies for specifying, verifying, and validating system temporal behavior expressed as UML statecharts. The methods combine such techniques/paradigms and technologies as UML, XMI, database, model checking, and simulation. The toolset we are developing accepts XMI input files as an intermediate metadata format. The metadata is then parsed and transformed into databases and related syntax-driven data structures. From the parsed data, we subsequently generate Promela code, which embodies the behavioral semantics and properties of the statechart elements. Compiling and executing Promela automatically invokes SPIN, the underlying temporal logic-based tool for checking the logical consistency of the statecharts' interactions and properties. We validate and demonstrate our methodology by modeling and simulation using both ArgoUML and Rhapsody™, respectively.

  2. Shortest Path Edit Distance for Enhancing UMLS Integration and Audit.

    Rudniy, Alex; Geller, James; Song, Min

    2010-01-01

    Expansion of the UMLS is an important long-term research project. This paper proposes Shortest Path Edit Distance (SPED) as an algorithm for improving existing source-integration and auditing techniques. We use SPED as a string similarity measure for UMLS terms that are known to be synonyms because they are assigned to the same concept. We compare SPED with several other well known string matching algorithms using two UMLS samples as test bed. One of those samples is SNOMED-based. SPED transforms the task of calculating edit distance among two strings into a problem of finding a shortest path from a source to a destination in a node and link graph. In the algorithm, the two strings are used to construct the graph. The Pulling algorithm is applied to find a shortest path, which determines the string similarity value. SPED was superior for one of the data sets, with a precision of 0.6. PMID:21347068

  3. An evaluation of the software architecture efficiency using the Clichés and behavioral diagrams pertaining to the unified modeling language

    Siamak Khaksar Haghani; Yousef Abbasnejad; Ali Harounabadi

    2014-01-01

    The software architecture plays essential role for the development of the complicated software systems and it is important to evaluate the software architecture efficiency. One way to evaluate the software architecture is to create an executable model from the architecture. Unified Modeling Language (UML) diagrams are used to describe the software architecture. UML has made it easy to use and to evaluate the necessary requirements at the software architecture level. It creates an executable m...

  4. Test Case Generation Based on Use case and Sequence Diagram

    Santosh Kumar Swain

    2010-07-01

    Full Text Available We present a comprehensive test case generation technique from UML models. We use the features in UML 2.0 sequence diagram including conditions, iterations, asynchronous messages and concurrent components. In our approach, test cases are derived from analysis artifacts such as use cases, their corresponding sequence diagrams and constraints specified across all these artifacts. We construct Use case Dependency Graph (UDG from use case diagram and Concurrent Control Flow Graph (CCFG from corresponding sequence diagrams for test sequence generation. We focus testing on sequences of messages among objects of use case scenarios. Our testing strategy derives test cases using full predicate coverage criteria. Our proposed test case generation technique can be used for integration and system testing accommodating the object message and condition information associated with the use case scenarios. The test cases thus generated are suitable for detecting synchronization and dependency of use cases and messages, object interaction and operational faults. Finally, we have made an analysis and comparison of our approach with existing approaches, which are based on other coverage criterion through an example.

  5. Polychronous Analysis of Timing Constraints in UML MARTE

    Yu, Huafeng; Talpin, Jean-Pierre; Besnard, Loïc; Gautier, Thierry; Mallet, Frédéric; André, Charles; De Simone, Robert

    2010-01-01

    The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a broadly expressive Time Model to provide a generic timed interpretation for UML models. As a part of MARTE, Clock Constraint Specification Language (CCSL) allows the specification of systems with multiple clock domains as well as nondeterminism. In this paper, we propose to take advantage of Polychrony clock calculus, named hierarchization, to analyze timed systems specified in CCSL, and to generate code ...

  6. For-LySa: UML for Authentication Analysis

    Buchholtz, Mikael; Montangero, Carlo; Perrone, Lara;

    2005-01-01

    The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses with minimal overhead. In this paper, we present For-LySa, an instantiation of the DEGAS approach for authentication...... analysis, which exploits an existing analysis tool developed for the process calculus LySa. We discuss what information is needed for the analysis, and how to build the UML model of an authentication protocol in such a way that the needed information can be extracted from the model. We then present our...

  7. The Software Costs Estimation Based on UML Model

    XiaopingYang; LuJun; YuefengZhao

    2004-01-01

    UML is a standard modeling language used in object-oriented analysis and design. Function point analysis is a method used to measure the size of an application, It is independent of the implementation programming language. Its measuring result can be compared between different development processes. This paper presents a method to use the requirements analysis model of UML to analysis the application's function points, so software developer can use it to estimate the project's size and cost. An improved method is given at the end of this paper.

  8. Vehicle System Management Modeling in UML for Ares I

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

    2011-01-01

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

  9. Performance evaluation of enterprise architecture using fuzzy sequence diagram

    Mohammad Atasheneh

    2014-01-01

    Full Text Available Developing an Enterprise Architecture is a complex task and to control the complexity of the regulatory framework we need to measure the relative performance of one system against other available systems. On the other hand, enterprise architecture cannot be organized without the use of a logical structure. The framework provides a logical structure for classifying architectural output. Among the common architectural framework, the C4ISR framework and methodology of the product is one of the most popular techniques. In this paper, given the existing uncertainties in system development and information systems, a new version of UML called Fuzzy-UML is proposed for enterprise architecture development based on fuzzy Petri nets. In addition, the performance of the system is also evaluated based on Fuzzy sequence diagram.

  10. Workshop on Consistency Problems in UML-based Software Development II

    Kuzniarz, Ludwik; Huzar, Zbigniew; Reggio, Gianna; Sourrouille, Jean Louis; Staron, Miroslaw

    2003-01-01

    Workshop materials of the Second Workshop on Consistency Problems in UML-based Software Development. The workshop is part of the Sixth International Conference on The Unified Modeling Language <<UML>> 2003

  11. Event Modeling in UML. Unified Modeling Language and Unified Process

    Bækgaard, Lars

    2002-01-01

    We show how events can be modeled in terms of UML. We view events as change agents that have consequences and as information objects that represent information. We show how to create object-oriented structures that represent events in terms of attributes, associations, operations, state charts......, and messages. We outline a run-time environment for the processing of events with multiple participants....

  12. Software Process Modeling with UML in Development of Medical Insurance MIS

    2001-01-01

    This paper describes how to use the Unified Modeling Language(UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process-Oriented) Modeling method. It indicates that th e whole performance of application system model described by UML is much better t han the one described by PO.

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

    Hettne Kristina M

    2010-03-01

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

  14. Safety- barrier diagrams

    Duijm, Nijs Jan

    2008-01-01

    Safety-barrier diagrams and the related so-called 'bow-tie' diagrams have become popular methods in risk analysis. This paper describes the syntax and principles for constructing consistent and valid safety-barrier diagrams. The relation of safety-barrier diagrams to other methods such as fault...... trees and Bayesian networks is discussed. A simple method for quantification of safety-barrier diagrams is proposed. It is concluded that safety-barrier diagrams provide a useful framework for an electronic data structure that integrates information from risk analysis with operational safety management....

  15. FORM, Diagrams and Topologies

    Herzog, Franz; Ueda, Takahiro; Vermaseren, J A M; Vogt, Andreas

    2016-01-01

    We discuss a number of FORM features that are essential in the automatic processing of very large numbers of diagrams as used in the Forcer program for 4-loop massless propagator diagrams. Most of these features are new.

  16. Integrating decision management with UML modeling concepts and tools

    Könemann, Patrick

    2009-01-01

    Numerous design decisions including architectural decisions are made while developing a software system, which influence the architecture of the system as well as subsequent decisions. Several tools already exist for managing design decisions, i.e. capturing, documenting, and maintaining them, but....... In this paper, we propose an integration of a decision management and a UML-based modeling tool, based on use cases we distill from an example: the UML modeling tool shall show all decisions related to a model and allow extending or updating them; the decision management tool shall trigger the...... modeling tool to enforce design decisions (modify the models). We define tool-independent concepts and architecture building blocks supporting these requirements and present first ideas how this can be implemented in the IBM Rational Software Modeler and Architectural Decision Knowledge Wiki. This seamless...

  17. Safety-barrier diagrams

    Duijm, Nijs Jan

    2007-01-01

    Safety-barrier diagrams and the related so-called "bow-tie" diagrams have become popular methods in risk analysis. This paper describes the syntax and principles for constructing consistent and valid safety-barrier diagrams. The relation with other methods such as fault trees and Bayesian networks...... are discussed. A simple method for quantification of safety-barrier diagrams is proposed, including situations where safety barriers depend on shared common elements. It is concluded that safety-barrier diagrams provide a useful framework for an electronic data structure that integrates information...... from risk analysis with operational safety management....

  18. Safety-barrier diagrams

    Duijm, Nijs Jan

    Safety-barrier diagrams and the related so-called "bow-tie" diagrams have become popular methods in risk analysis. This paper describes the syntax and principles for constructing consistent and valid safety-barrier diagrams. The relation with other methods such as fault trees and Bayesian networks...... are discussed. A simple method for quantification of safety-barrier diagrams is proposed, including situations where safety barriers depend on shared common elements. It is concluded that safety-barrier diagrams provide a useful framework for an electronic data structure that integrates information...... from risk analysis with operational safety management....

  19. Intervocabulary Mapping Within the UMLS: The Role of Lexical Matching*

    Sherertz, D. D.; Tuttle, M.S.; Blois, M. S.; Erlbaum, M.S.

    1988-01-01

    Within the NLM's UMLS Project, one challenge is mapping concepts from one information resource to another. While a complete solution to this problem requires construction of a comprehensive biomedical thesaurus, the present research provides evidence that considerable progress can be made with a straightforward lexical approach. Furthermore, such a lexical approach is the only practical way to begin construction of, and maintain, any such thesaurus. Related research has demonstrated the regul...

  20. Source Inversion and Matching in the UMLS Metathesauras*

    Olson, N. E.; Sherertz, D. D.; Tuttle, M. S.; Erlbaum, M. S.

    1990-01-01

    One of three knowledge sources being developed as part of the NLM's UMLS Project is a biomedical thesaurus, called the Metathesaurus. The Metathesaurus contains inter-term relationships across six biomedical nomenclatures and classification systems, derivable from lexical mapping techniques. The first public version of the Metathesaurus, called META-1, was built in two stages -- first, source inversion and second, source matching. During the Spring of 1989, “official” versions for the six sou...

  1. Components, contracts, and connectors for the Unified Modelling Language UML

    Pahl, Claus

    2001-01-01

    The lack of a component concept for the UML is widely ac- knowledged. Contracts between components can be the starting point for introducing components and component interconnections. Contracts between service providers and service users are formulated based on abstractions of action and operation behaviour using the pre- and postcon- dition technique. A valid contract allows to establish an interconnection- a connector - between the provider and the user. The contract concept supports ...

  2. Requirements for UML and OWL Integration Tool for User Data Consistency Modeling and Testing

    Nytun, J. P.; Jensen, Christian Søndergaard; Oleshchuk, V. A.

    2003-01-01

    . In this paper we analyze requirements for a tool that support integration of UML models and ontologies written in languages like the W3C Web Ontology Language (OWL). The tool can be used in the following way: after loading two legacy models into the tool, the tool user connects them by inserting......The amount of data available on the Internet is continuously increasing, consequentially there is a growing need for tools that help to analyse the data. Testing of consistency among data received from different sources is made difficult by the number of different languages and schemas being used...... modeling constructs like classes, associations and Object Constraint Language (OCL) statements. It is the tool users responsibility to connected the legacy models in such a way that consistency is beeing explicitly defined. A special modeling technique it to be used when specifying possible consistencies...

  3. UN PATRÓN DE INTERACCIÓN ENTRE DIAGRAMAS DE ACTIVIDADES UML Y SISTEMAS WORKFLOW AN INTERACTION PATTERN BETWEEN UML ACTIVITY DIAGRAMS AND WORKFLOW SYSTEMS

    Marta Silvia Tabares; Juan Diego Pineda; Andrés Felipe Barrera

    2008-01-01

    Actualmente en los ambientes de desarrollo de software hay un gran interés en buscar y desarrollar técnicas que puedan integrar los sistemas transaccionales con los flujos de trabajo que soportan los procesos del negocio de las organizaciones. Sin embargo, en la industria del software no es común encontrar técnicas o prácticas que faciliten el desarrollo de los modelos del sistema en función de los procesos del negocio. En este artículo se define un patrón de desarrollo que estandariza la int...

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

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

    2016-01-01

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

  5. Gravity wave transmission diagram

    Tomikawa, Yoshihiro

    2016-07-01

    A possibility of gravity wave propagation from a source region to the airglow layer around the mesopause has been discussed based on the gravity wave blocking diagram taking into account the critical level filtering alone. This paper proposes a new gravity wave transmission diagram in which both the critical level filtering and turning level reflection of gravity waves are considered. It shows a significantly different distribution of gravity wave transmissivity from the blocking diagram.

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

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

    2004-01-01

    In late 2001,the Object Management Group issued a Request for Proposal to develop a testing profile for UML2.0. In June 2003,the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004,it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.

  7. Atomic phase diagram

    LI Shichun

    2004-01-01

    Based on the Thomas-Fermi-Dirac-Cheng model, atomic phase diagram or electron density versus atomic radius diagram describing the interaction properties of atoms of different kinds in equilibrium state is developed. Atomic phase diagram is established based on the two-atoms model. Besides atomic radius, electron density and continuity condition for electron density on interfaces between atoms, the lever law of atomic phase diagram involving other physical parameters is taken into account, such as the binding energy, for the sake of simplicity.

  8. Test Case Generation For Concurrent Object-Oriented Systems Using Combinational Uml Models

    Swagatika Dalai, Arup Abhinna Acharya, Durga Prasad Mohapatra

    2012-01-01

    Software testing is an important phase of software development to ensure the quality and reliability of the software. Due to some limitations of code based testing method, the researcher has been taken a new method to work upon UML model based testing. It is found that different UML model is having different coverage and capable of detecting different kinds of faults. Here we have taken combinational UML models to have better coverage and fault detection capability. Testing concurrent system ...

  9. Automatic Resolution of Ambiguous Terms Based on Machine Learning and Conceptual Relations in the UMLS

    Liu, Hongfang; Johnson, Stephen B.; Friedman, Carol

    2002-01-01

    Motivation. The UMLS has been used in natural language processing applications such as information retrieval and information extraction systems. The mapping of free-text to UMLS concepts is important for these applications. To improve the mapping, we need a method to disambiguate terms that possess multiple UMLS concepts. In the general English domain, machine-learning techniques have been applied to sense-tagged corpora, in which senses (or concepts) of ambiguous terms have been annotated (m...

  10. Logic-based assessment of the compatibility of UMLS ontology sources

    2011-01-01

    Background: The UMLS Metathesaurus (UMLS-Meta) is currently the most comprehensive effort for integrating independently-developed medical thesauri and ontologies. UMLS-Meta is being used in many applications, including PubMed and ClinicalTrials.gov. The integration of new sources combines automatic techniques, expert assessment, and auditing protocols. The automatic techniques currently in use, however, are mostly based on lexical algorithms and often disregard the semantics...

  11. UML 2.0 - Overview and Perspectives in SoC Design

    Schattkowsky, Tim

    2007-01-01

    The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the introduction of more abstract 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 application to hardware and hardware/software codesign is very limited. In order to successfully apply the UML at the...

  12. Integrating UML, the Q-model and a Multi-Agent Approach in Process Specifications and Behavioural Models of Organisations

    Raul Savimaa

    2005-08-01

    Full Text Available Efficient estimation and representation of an organisation's behaviour requires specification of business processes and modelling of actors' behaviour. Therefore the existing classical approaches that concentrate only on planned processes are not suitable and an approach that integrates process specifications with behavioural models of actors should be used instead. The present research indicates that a suitable approach should be based on interactive computing. This paper examines the integration of UML diagrams for process specifications, the Q-model specifications for modelling timing criteria of existing and planned processes and a multi-agent approach for simulating non-deterministic behaviour of human actors in an organisation. The corresponding original methodology is introduced and some of its applications as case studies are reviewed.

  13. Root systems and diagram calculus. II. Quadratic forms for the Carter diagrams

    Stekolshchik, Rafael

    2010-01-01

    We study the class C4 of Carter diagrams containing 4-cycle. For any G from C4, and hence, for the conjugacy class associated with G, we introduce the partial Cartan matrix B_L which is similar to the Cartan matrix B. We consider linkage diagrams obtained from G by adding one root together with its bonds such that the resulting subset of roots is linearly independent. We enumerate linkage diagrams for the Carter diagrams of C4 and D_l, E_6, E_7, E_8 by means of some properties of the partial Cartan matrix. The linkage diagrams connected under the action of dual partial Weyl group constitute one or more components. The obtained graph is called the linkage system which is similar to the weight system arising in the representation theory of the semisimple Lie algebras. For Carter diagrams E_6(a_i) and E_6 the linkage system has two components, each of which contains 27 elements; for Carter diagrams E_7(a_i) and for E_7, the linkage system has a single component containing 56 elements; for Carter diagrams D_l(a_i...

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

    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.

  15. Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)

    Broy, Manfred; Cengarle, Maria Victoria; Grönninger, Hans; Rumpe, Bernhard

    2014-01-01

    In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that purpose, the definitions in this document are targeted towards UML which means that central concepts of UML have been formalized as theories of the system model. This document is structured as follows: In the rest of Chapter 1, we discuss the general approach an...

  16. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase

    Georget, Laurent; Tronel, Frédéric; Viet Triem Tong, Valérie

    2015-01-01

    We present Extractor and Viewer, two tools from the Kayrebt toolset. The former is a plugin for the Gnu Compiler Collection (GCC) which builds pseudo-UML2 activity diagrams from C source code. It is specifically designed to handle the Linux kernel, a large and complex codebase. Use cases for this tool are numerous. The diagrams extracted from the C source code can be used to get a better insight of the control or data flow inside a program, or to evaluate the complexity of a function at a gla...

  17. PERFIL PARA REPRESENTAR UNA ARQUITECTURA DE COMPONENTES EN UML

    Fernando Orejas Valdés

    2006-04-01

    Full Text Available

    El lenguaje unificado de modelado (Unified Modeling Language, UML es un lenguaje de modelado estándar para problemas generales, sin embargo, es necesario extenderlo para dominios específicos como puede ser el caso de determinadas arquitecturas. Aquí se presenta una extensión mediante un perfil para una arquitectura de componentes y conectores genéricos.

  18. Aligning Structured and Unstructured Medical Problems Using UMLS

    Carlo, Lorena; Chase, Herbert S.; Weng, Chunhua

    2010-01-01

    This paper reports a pilot study to align medical problems in structured and unstructured EHR data using UMLS. A total of 120 medical problems in discharge summaries were extracted using NLP software (MedLEE) and aligned with 87 ICD-9 diagnoses for 19 non-overlapping hospital visits of 4 patients. The alignment accuracy was evaluated by a medical doctor. The average overlap of medical problems between the two data sources obtained by our automatic alignment method was 23.8%, which was about h...

  19. Applying UML and MDA to Real Systems Design

    Oliver, Ian

    2011-01-01

    Traditionally system design has been made from a black box/functionality only perspective which forces the developer to concentrate on how the functionality can be decomposed and recomposed into so called components. While this technique is well established and well known it does suffer fromsome drawbacks; namely that the systems produced can often be forced into certain, incompatible architectures, difficult to maintain or reuse and the code itself difficult to debug. Now that ideas such as the OMG's Model Based Architecture (MDA) or Model Based Engineering (MBE) and the ubiquitous modelling language UML are being used (allegedly) and desired we face a number of challenges to existing techniques.

  20. Difference Decision Diagrams

    Moeller, Jesper; Lichtenberg, Jacob; Andersen, Henrik Reif; Hulgaard, Henrik

    1999-01-01

    This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y......This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form $x-y...

  1. Boolean Expression Diagrams

    Andersen, Henrik Reif; Hulgaard, Henrik

    2002-01-01

    This paper presents a new data structure called boolean expression diagrams (BEDs) for representing and manipulating Boolean functions. BEDs are a generalization of binary decision diagrams (BDDs) which can represent any Boolean circuit in linear space. Two algorithms are described for transforming...

  2. Non-Planar On-Shell Diagrams

    Franco, Sebastian; Penante, Brenda; Wen, Congkao

    2015-01-01

    We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We present a general classification of arbitrary on-shell diagrams in terms of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and its generalization for non-planar diagrams, and it matches the combinatorial description of the diagrams in terms of matroid polytopes. We present a comprehensive discussion of equivalence and reductions for non-planar diagrams and explain how they are captured by the generalized matching and matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Pl\\"ucker coordinat...

  3. The mean squared writhe of alternating random knot diagrams

    The writhe of a knot diagram is a simple geometric measure of the complexity of the knot diagram. It plays an important role not only in knot theory itself, but also in various applications of knot theory to fields such as molecular biology and polymer physics. The mean squared writhe of any sample of knot diagrams with n crossings is n when for each diagram at each crossing one of the two strands is chosen as the overpass at random with probability one-half. However, such a diagram is usually not minimal. If we restrict ourselves to a minimal knot diagram, then the choice of which strand is the over- or under-strand at each crossing is no longer independent of the neighboring crossings and a larger mean squared writhe is expected for minimal diagrams. This paper explores the effect on the correlation between the mean squared writhe and the diagrams imposed by the condition that diagrams are minimal by studying the writhe of classes of reduced, alternating knot diagrams. We demonstrate that the behavior of the mean squared writhe heavily depends on the underlying space of diagram templates. In particular this is true when the sample space contains only diagrams of a special structure. When the sample space is large enough to contain not only diagrams of a special type, then the mean squared writhe for n crossing diagrams tends to grow linearly with n, but at a faster rate than n, indicating an intrinsic property of alternating knot diagrams. Studying the mean squared writhe of alternating random knot diagrams also provides some insight into the properties of the diagram generating methods used, which is an important area of study in the applications of random knot theory.

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

    CUYLER,DAVID S.

    2000-11-01

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

  5. Bifurcation diagrams in relation to synchronization in chaotic systems

    Debabrata Dutta; Sagar Chakraborty

    2010-06-01

    We numerically study some of the three-dimensional dynamical systems which exhibit complete synchronization as well as generalized synchronization to show that these systems can be conveniently partitioned into equivalent classes facilitating the study of bifurcation diagrams within each class. We demonstrate how bifurcation diagrams may be helpful in predicting the nature of the driven system by knowing the bifurcation diagram of driving system and vice versa. The study is extended to include the possible generalized synchronization between elements of two different equivalent classes by taking the Rössler-driven-Lorenz-system as an example.

  6. Square Source Type Diagram

    Aso, N.; Ohta, K.; Ide, S.

    2014-12-01

    Deformation in a small volume of earth interior is expressed by a symmetric moment tensor located on a point source. The tensor contains information of characteristic directions, source amplitude, and source types such as isotropic, double-couple, or compensated-linear-vector-dipole (CLVD). Although we often assume a double couple as the source type of an earthquake, significant non-double-couple component including isotropic component is often reported for induced earthquakes and volcanic earthquakes. For discussions on source types including double-couple and non-double-couple components, it is helpful to display them using some visual diagrams. Since the information of source type has two degrees of freedom, it can be displayed onto a two-dimensional flat plane. Although the diagram developed by Hudson et al. [1989] is popular, the trace corresponding to the mechanism combined by two mechanisms is not always a smooth line. To overcome this problem, Chapman and Leaney [2012] developed a new diagram. This diagram has an advantage that a straight line passing through the center corresponds to the mechanism obtained by a combination of an arbitrary mechanism and a double-couple [Tape and Tape, 2012], but this diagram has some difficulties in use. First, it is slightly difficult to produce the diagram because of its curved shape. Second, it is also difficult to read out the ratios among isotropic, double-couple, and CLVD components, which we want to obtain from the estimated moment tensors, because they do not appear directly on the horizontal or vertical axes. In the present study, we developed another new square diagram that overcomes the difficulties of previous diagrams. This diagram is an orthogonal system of isotropic and deviatoric axes, so it is easy to get the ratios among isotropic, double-couple, and CLVD components. Our diagram has another advantage that the probability density is obtained simply from the area within the diagram if the probability density

  7. Feynman Diagrams for Beginners

    Kumericki, Kresimir

    2016-01-01

    We give a short introduction to Feynman diagrams, with many exercises. Text is targeted at students who had little or no prior exposure to quantum field theory. We present condensed description of single-particle Dirac equation, free quantum fields and construction of Feynman amplitude using Feynman diagrams. As an example, we give a detailed calculation of cross-section for annihilation of electron and positron into a muon pair. We also show how such calculations are done with the aid of computer.

  8. Traffic engineering eye diagram

    Kowalik, Karol; Collier, Martin

    2005-01-01

    It is said that a picture is worth a thousand words - this statement also applies to networking topics. Thus, to effectively monitor network performance we need tools which present the performance metrics in a graphical way which is also clear and informative. We propose a tool for this purpose which we call the traffic engineering eye diagram (TEED). Eye diagrams are used in digital communications to analyse the quality of a digital signal; the TEED can similarly he used in the traffic engin...

  9. Auditing Hierarchical Cycles to Locate Other Inconsistencies in the UMLS

    Halper, Michael; Morrey, C. Paul; Chen, Yan; Elhanan, Gai; Hripcsak, George; Perl, Yehoshua

    2011-01-01

    A cycle in the parent relationship hierarchy of the UMLS is a configuration that effectively makes some concept(s) an ancestor of itself. Such a structural inconsistency can easily be found automatically. A previous strategy for disconnecting cycles is to break them with the deletion of one or more parent relationships—irrespective of the correctness of the deleted relationships. A methodology is introduced for auditing of cycles that seeks to discover and delete erroneous relationships only. Cycles involving three concepts are the primary consideration. Hypotheses about the high probability of locating an erroneous parent relationship in a cycle are proposed and confirmed with statistical confidence and lend credence to the auditing approach. A cycle may serve as an indicator of other non-structural inconsistencies that are otherwise difficult to detect automatically. An extensive auditing example shows how a cycle can indicate further inconsistencies. PMID:22195107

  10. Extending UML for trajectory data warehouses conceptual modelling

    Wided Oueslati

    2012-12-01

    Full Text Available The new positioning and information capture technologies are able to treat data related to moving objects taking place in targeted phenomena. This gave birth to a new data source type called trajectory data (TD which handle information related to moving objects. Trajectory Data must be integrated in a new data warehouse type called trajectory data warehouse (TDW that is essential to model and to implement in order to analyze and understand the nature and the behavior of movements of objects in various contexts. However, classical conceptual modeling does not incorporate the specificity of trajectory data due to the complexity of their components that are spatial, temporal and thematic (semantic. For this reason, we focus in this paper on presenting the conceptual modeling of the trajectory data warehouse by defining a new profile using the StarUML extensibility mechanism

  11. Visual Modelling of Data Warehousing Flows with UML Profiles

    Pardillo, Jesús; Golfarelli, Matteo; Rizzi, Stefano; Trujillo, Juan

    Data warehousing involves complex processes that transform source data through several stages to deliver suitable information ready to be analysed. Though many techniques for visual modelling of data warehouses from the static point of view have been devised, only few attempts have been made to model the data flows involved in a data warehousing process. Besides, each attempt was mainly aimed at a specific application, such as ETL, OLAP, what-if analysis, data mining. Data flows are typically very complex in this domain; for this reason, we argue, designers would greatly benefit from a technique for uniformly modelling data warehousing flows for all applications. In this paper, we propose an integrated visual modelling technique for data cubes and data flows. This technique is based on UML profiling; its feasibility is evaluated by means of a prototype implementation.

  12. Boolean Expression Diagrams

    Andersen, Henrik Reif; Hulgaard, Henrik

    This paper presents a new data structure called Boolean Expression Diagrams (BEDs) for representing and manipulating Boolean functions. BEDs are a generalization of Binary Decision Diagrams (BDDs) which can represent any Boolean circuit in linear space and still maintain many of the desirable...... properties of BDDs. Two algorithms are described for transforming a BED into a reduced ordered BDD. One closely mimics the BDD apply-operator while the other can exploit the structural information of the Boolean expression. The efficacy of the BED representation is demonstrated by verifying that the...

  13. The Use of UML to Development of a Railway Interlocking System

    Karol Rastocny

    2003-01-01

    Full Text Available The paper deals with problems of using the Unifield Modeling Lanfuage (UML in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented approach to specifying the functional safety requirements. An informal specification given by the relevant technical standart is used as a starting point and results in semi-formal specification based on UML model. Advantages of the presented approach are discussed and new trends of increasing formality of UML models are indicated within conclusions.

  14. A UML Profile for Documenting the Component-and-Connector Views of Software Architectures

    Anacleto, Valerio Adrián

    2007-01-01

    In this paper, we present a UML profile and a group of UML patterns for documenting the component-and-connector views of software architectures [8]. They facilitate the creation of the component and connector viewtype in any UML 2.0 tool with a compliance level 3 [14]. This work’s contributions are: (1) Facilitating the documentation of all the software application’s views using only one tool. (2) Curtailing investment in personnel training. (3) Allowing the establishment of an adequate trace...

  15. Compressing Binary Decision Diagrams

    Hansen, Esben Rune; Satti, Srinivasa Rao; Tiedemann, Peter

    The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1...

  16. Limits of Voronoi Diagrams

    Lindenbergh, R.C.

    2002-01-01

    The classic Voronoi diagram of a configuration of distinct points in the plane associates to each point that part of the plane that is closer to the point than to any other point in the configuration. In this thesis we no longer require all points to be distinct. After the introduction in Chapter

  17. Equational binary decision diagrams

    Groote, J.F.; Pol, J.C. van de

    2000-01-01

    We incorporate equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of ordered EQ-BDDs (EQ-OBDD) is defined, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQ-OBDDs satisfiability and tautology checkin

  18. MODELAGEM SISTÊMICA DE PROJETOS DE AEC EM UML

    Rita Cristina Ferreira

    2007-11-01

    Full Text Available O uso intensivo de Sistemas de Informação é uma possível solução para a integração das atividades de projeto em AEC, permitindo que decisões sejam tomadas ainda na fase de projeto e, conseqüentemente, evitando-se retrabalhos em obra. Neste sentido, esforços têm sido realizados para padronizar conceitos e terminologias de AEC, permitindo a troca e armazenagem de informações, como a norma ISO 12006-2 e os padrões estabelecidos pelo IFC. Ambas são baseadas na linguagem EXPRESS, assim como é o padrão industrial STEP. Entretanto, as representações de informação usadas na indústria de produtos não são as mais adequadas para a Engenharia de Software, responsável pelo desenvolvimento de Sistemas de Informação, onde as representações semânticas envolvem não somente a representação estrutural da informação, mas também a representação comportamental. Este artigo contribui com uma visão de implementação em UML da informação de um projeto de AEC e tornam explícitas, sob a ótica do desenvolvimento de software, as relações semânticas existentes. Os resultados desta pesquisa foram obtidos através da realização de um estudo de caso de projeto de produção em CAD 3D dos subsistemas alvenaria e revestimento para um edifício residencial. A partir das observações do estudo de caso foi feita a modelagem em UML dos objetos pertinentes. O principal resultado obtido foi a representação explícita das interfaces entre objetos AEC.

  19. Non-planar on-shell diagrams

    Franco, Sebastián; Galloni, Daniele; Penante, Brenda; Wen, Congkao

    2015-06-01

    We initiate a systematic study of non-planar on-shell diagrams in SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the d log form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plücker coordinates beyond Plücker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plücker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.

  20. Using SPEM/UML profile to specification of IS development processes

    Kolcz, Krzysztof

    2006-01-01

    Work concern using SPEM/UML profile to modeling development processes with emphasizes on project management processes. Presents SPEM capabilities and lacks, and propose SPEM extensions to facilitate modeling.

  1. Designing Interaction Spaces for Rich Internet Applications with UML

    Dolog, Peter; Stage, Jan

    2007-01-01

    In this paper, we propose a new method for designing rich internet applications. The design process uses results from an object-oriented analysis and employs interaction spaces as the basic abstraction mechanism. State diagrams are employed as refinements of interaction spaces and task models to...

  2. Visualisation of Domain-Specific Modelling Languages Using UML

    Graaf, B.; Van Deursen, A.

    2006-01-01

    Currently, general-purpose modelling tools are often only used to draw diagrams for the documentation. The introduction of model-driven software development approaches involves the definition of domain-specific modelling languages that allow code generation. Although graphical representations of the

  3. UMLS Content Views Appropriate for NLP Processing of the Biomedical Literature vs. Clinical Text

    Demner-Fushman, Dina; Mork, James G; Shooshan, Sonya E.; Aronson, Alan R.

    2010-01-01

    Identification of medical terms in free text is a first step in such Natural Language Processing (NLP) tasks as automatic indexing of biomedical literature and extraction of patients’ problem lists from the text of clinical notes. Many tools developed to perform these tasks use biomedical knowledge encoded in the Unified Medical Language System (UMLS) Metathesaurus. We continue our exploration of automatic approaches to creation of subsets (UMLS content views) which can support NLP processing...

  4. Evaluation of the UML profile for QoS from the user perspective

    Carimo, Rossana

    2007-01-01

    Addressing Quality of Service and specification of quality attributes has been gaining a growing importance in the software engineering area. The research presented in this study investigates different approaches to specification of Quality of Service. UML profile for Quality of Service is one of the standards of the Quality of Service specification and is described in the QoS specification context. The research aim of this thesis is the evaluation of the UML profile for Quality of Service ag...

  5. TEP process flow diagram

    Wilms, R Scott [Los Alamos National Laboratory; Carlson, Bryan [Los Alamos National Laboratory; Coons, James [Los Alamos National Laboratory; Kubic, William [Los Alamos National Laboratory

    2008-01-01

    This presentation describes the development of the proposed Process Flow Diagram (PFD) for the Tokamak Exhaust Processing System (TEP) of ITER. A brief review of design efforts leading up to the PFD is followed by a description of the hydrogen-like, air-like, and waterlike processes. Two new design values are described; the mostcommon and most-demanding design values. The proposed PFD is shown to meet specifications under the most-common and mostdemanding design values.

  6. Gravity wave transmission diagram

    Tomikawa, Y.

    2015-01-01

    A new method of obtaining power spectral distribution of gravity waves as a function of ground-based horizontal phase speed and propagation direction from airglow observations has recently been proposed. To explain gravity wave power spectrum anisotropy, a new gravity wave transmission diagram was developed in this study. Gravity wave transmissivity depends on the existence of critical and turning levels for waves that are determined by background horizontal wind distributio...

  7. TEP process flow diagram

    This presentation describes the development of the proposed Process Flow Diagram (PFD) for the Tokamak Exhaust Processing System (TEP) of ITER. A brief review of design efforts leading up to the PFD is followed by a description of the hydrogen-like, air-like, and waterlike processes. Two new design values are described; the mostcommon and most-demanding design values. The proposed PFD is shown to meet specifications under the most-common and mostdemanding design values.

  8. Compressing Binary Decision Diagrams

    Hansen, Esben Rune; Tiedemann, Peter

    2008-01-01

    The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1-2 bits per node. Empirical results for our compression technique are presented, including comparisons with previously introduced techniques, showing that the new technique dominate on all tested instances.

  9. Nonthermal Radio Emission and the HR Diagram

    Gibson, D. M.

    1985-01-01

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

  10. The Massive Thermal Basketball Diagram

    Andersen, J O; Strickland, Michael T; Andersen, Jens O.; Braaten, Eric; Strickland, Michael

    2000-01-01

    The "basketball diagram" is a three-loop vacuum diagram for a scalar fieldtheory that cannot be expressed in terms of one-loop diagrams. We calculatethis diagram for a massive scalar field at nonzero temperature, reducing it toexpressions involving three-dimensional integrals that can be easily evaluatednumerically. We use this result to calculate the free energy for a massivescalar field with a phi^4 interaction to three-loop order.