WorldWideScience
 
 
1

Semantic annotation of requirements for automatic UML class diagram generation  

Directory of Open Access Journals (Sweden)

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.

Soumaya Amdouni

2011-05-01

2

Semantic annotation of requirements for automatic UML class diagram generation  

CERN Document Server

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.

Amdouni, Soumaya; Bouabid, Sondes

2011-01-01

3

UML Diagrams Generator: A New CASE Tool to Construct the Use-Case and Class Diagrams from an Event Table  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Problem statement: Building UML diagrams is a very important and time consuming task for both requirements and design phases. However, some of these diagrams, such as use-case and class diagrams can be considered as a transition between the two phases. Approach: Through this study, the event table will be used to derive the use-case and class diagrams. Results: A new CASE tool to automate the proposed approach will be introduced, that is, the UML diagrams generator (UMLdg...

Muhairat, Mohammad I.; Qutaish, Rafa E. A.; Abdelqader, Akram A.

2010-01-01

4

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

Science.gov (United States)

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

Baghaei, Nilufar; Mitrovic, Antonija; Irwin, Warwick

2007-01-01

5

A Formative Assessment Tool for Conceptual Database Design Using UML Class Diagram  

Directory of Open Access Journals (Sweden)

Full Text Available Database design is one of the main topics of any introductory database course. Traditionally, for teaching it entity-relationship diagrams (ERD are used. However, in the last years, Unified Modeling Language (UML has emerged as an effective modeling tool for database design. In this paper we present a web-based tool designed to give support to teaching and learning conceptual database design using UML class diagrams. The proposed UML environment is an effective tool for formative assessment since it is capable of correcting automatically UML class diagrams exercises providing immediate feedback to the student. The tool is part of a more general framework, denoted ACME, which provides the main functionalities of an e-learning platform. The tool has been used in a first experimental group of an introductory database course

Josep Soler

2010-09-01

6

UML Diagrams Generator: A New CASE Tool to Construct the Use-Case and Class Diagrams from an Event Table  

Directory of Open Access Journals (Sweden)

Full Text Available Problem statement: Building UML diagrams is a very important and time consuming task for both requirements and design phases. However, some of these diagrams, such as use-case and class diagrams can be considered as a transition between the two phases. Approach: Through this study, the event table will be used to derive the use-case and class diagrams. Results: A new CASE tool to automate the proposed approach will be introduced, that is, the UML diagrams generator (UMLdg. Conclusion: It is clearly noted that the proposed CASE tool (UMLdg gives an ideal and reasonable methodology to construct the intended use-case and class diagrams from any comprehensive event table. Furthermore, this tool will save the time for the building process of such diagrams.

Mohammad I. Muhairat

2010-01-01

7

Formal Specification and Application of UML Class Diagram Based on OOZS  

Directory of Open Access Journals (Sweden)

Full Text Available Unified Modeling Language is a generic graphical modeling language of object oriented technique.However?the lack of precise formal semantics makes it difficult to analyze the models they describe.In this aspect?formal methods can be used complementarily.OOZS is an object oriented formal specification language which is an extension to Z.In this paper we discuss formally the Class Diagram with OOZS language?which provides formal basis for UML?and explores a kind of mechanism for how to map and combine it between UML and OOZS.In the end?an example is given to explain how to combine UML and OOZS to describe the Class Diagram?and to illustrate the feasibility of this study in practice.

XIAO Gang

2013-01-01

8

Extending UML Class Diagram Notation for the Development of Context-aware Applications  

Directory of Open Access Journals (Sweden)

Full Text Available The development of context-aware applications in a pervasive environment is a very hard work because each situation can be influenced by several factors and features such as users mobility, information heterogeneity and systems distribution. So, new application will be able to adapt its services with the change of context of use and satisfy all users’ preferences. In this work we present an UML class diagram extension for representing and modeling context because UML standard notation does not support all aspects of the context of use in an adequate manner. This extension is defined by some extensibility mechanisms and it is presented as a set of new tools for the unified modeling language. The proposed extension is based on UML notation and it permits obtaining a specific graphic representation of a contextual situation. Also, it facilitates the extraction and the modeling of all elements that can influence the current situation of the user. Our proposal consists on creating some stereotypes that are described by several tagged values and some constraints and that can be applied to the contextual model classes. Then we use a class diagram to describe the different types of context and their relationships. A case study is done in the medical domain in which we propose a new contextual model including all new stereotypes by using StarUML software modeling platform.

Mohamed Salah Benselim

2013-02-01

9

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

DEFF Research Database (Denmark)

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, properties etc.). Syntax and semantic analysis is done in a framework of Definite Clause Grammars extended with Constraint Handling Rules, which generalizes previous approaches with a direct way to express domain knowledge utilized in the interpretation process as well as stating explicit rules for pronoun resolution. The latter involves an improvement of earlier work on assumptions with time stamps.

Christiansen, Henning; Have, Christian Theil

2007-01-01

10

Identification and Check of Inconsistencies between UML Diagrams  

Directory of Open Access Journals (Sweden)

Full Text Available Relationships between Unified Modeling Language (UML diagrams are complex. The complexity leads to inconsistencies between UML diagrams easily. This paper focus on how to identify and check inconsistencies between UML diagrams. 13 consistency rules are given to identify inconsistencies between the most frequent 6 types of UML diagrams in the domain of information systems analysis and design. These diagrams are as follows: Use Case Diagrams, Class Diagrams, Activity Diagrams, State Machine Diagrams, Sequence Diagrams and Communication Diagrams. 4 methods are given to check inconsistencies between UML diagrams as follows: manual check, compulsory restriction, automatic maintenance, dynamic check. These rules and methods are helpful for developers to model information systems.

Xianhong Liu

2013-03-01

11

UN MÉTODO PARA EL REFINAMIENTO INTERACTIVO DEL DIAGRAMA DE CLASES DE UML / A METHOD FOR INTERACTIVE REFINEMENT OF UML CLASS DIAGRAM  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish Durante el proceso de elicitación de requisitos se presentan problemas de comunicación entre analistas e interesados que suelen ocasionar pérdidas de requisitos funcionales. Estas pérdidas se aminoran mediante el refinamiento de los esquemas conceptuales, en particular el diagrama de clases de UML. [...] Existen algunos acercamientos al refinamiento del diagrama de clases, pero que no realizan ciclos de interacción con el interesado; otros enfoques realizan refinamiento interactivo del diagrama entidad-relación, un diagrama que no posee toda la información contenida en el diagrama de clases. En este artículo se realiza el refinamiento del diagrama de clases de UML mediante la interacción con el interesado. Para ello, se proponen reglas de completitud que se disparan en lenguaje natural y se emplea un corpus de diagramas de clases para complementar el conocimiento del analista en un determinado dominio. El análisis de completitud propuesto se ilustra con un prototipo en la herramienta UNC-Diagramador y se ejemplifica con un caso de estudio. Abstract in english Along the requirements elicitation process, communication problems appear between analysts and stakeholders; usually, these problems cause losing of functional requirements. Refinement of conceptual schemas-particularly class diagram-lessens the impact of these losses. Some approaches to the refinem [...] ent of class diagram have been proposed, but they do not evidence cycles of interaction with the stakeholder; other approaches show interactive refinement of the Entity-Relationship diagram, which does not have all the information contained in class diagram. In this paper, we propose the refinement of UML class diagram through interaction with stakeholders. To achieve this goal, we propose completeness rules in natural language and the use of a corpus of class diagrams for complementing the analyst knowledge in a specific domain. Finally, we illustrate completeness analysis with a prototype in the UNC-Diagrammer tool and we propose a case study.

M. ZAPATA, CARLOS; MARY ESTRADA, BETSY; ARANGO I, FERNANDO.

12

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

Directory of Open Access Journals (Sweden)

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.

Cristian Vidal Silva

2013-12-01

13

REFINAMIENTO DEL DIAGRAMA DE CLASES UML A ORACLE®9I EN ATOM3 / UML CLASS DIAGRAM  ORACLE® 9I REFINEMENT IN ATOM  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish El OMG define el refinamiento como el proceso de transformación desde un modelo independiente de la plataforma de implementación hacia un modelo específico de la plataforma de implementación. Las herramientas CASE convencionales han experimentado problemas con este tipo de transformación, debido a l [...] a definición estática de los modelos incluidos en ellas, a las dificultades para la definición de reglas de transformación y al pobre rendimiento mostrado por ellas en la obtención de código. Las herramientas MetaCASE han surgido con nuevas capacidades para mejorar el refinamiento en el contexto de la transformación entre modelos. En este artículo se presenta una implementación en AToM3 para refinamiento que transforma un diagrama de clases UML independiente de la plataforma de implementación a un diagrama de clases UML dependiente de la plataforma de implementación Oracle® 9i. Además, se muestra el uso de esta clase de refinamiento con un caso de estudio. Abstract in english Defined by OMG, Refinement is a transformation process from a platform independent model to a platform specific model. CASE Tools have experienced problems with this kind of transformation, because of the static definition of metamodels included on them, difficulties for defining transformation rule [...] s and the poor performance showed by them in code obtaining. MetaCASE Tools have emerged with new capabilities for improving the refinement in the context of model transformation. In this paper, we present an AToM3-based implementation for refinement between a platform-independent UML Class Diagram and an Oracle® 9i-platform UML Class Model. Furthermore, we show the use of this kind of refinement with a study case.

CARLOS M., ZAPATA; CARLOS A., ÁLVAREZ; FERNANDO, ARANGO I..

14

ROLE OF UML SEQUENCE DIAGRAM CONSTRUCTS IN OBJECT LIFECYCLE CONCEPT  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Miroslav Grgec; Robert Mužar

2007-01-01

15

Cadastral procedures modeling with UML diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The present work focuses on the methodology that should be applied when developing cadastral procedures models using the Unified modeling language – UML. The main purpose of cadstral procedure model would be creating UML diagrams, which contain graphical elements arranged to illustrate a particular part or aspect of the system. The diagrams were drawn with CASE tool Enterprise Architect 5.0. The theoretical part is actually a presentation of UML – its history, development, goals, basic UM...

2006-01-01

16

From State Diagram to Class Diagram  

DEFF Research Database (Denmark)

UML class diagram and Java source code are interrelated and Java code is a kind of interchange format. Working with UML state diagram in CASE tools, a corresponding xml file is maintained. Designing state diagrams is mostly performed manually using design patterns and coding templates - a time consuming process. This article demonstrates how to compile such a diagram into Java code and later, by reverse engineering, produce a class diagram. The process from state diagram via intermediate SAX parsed xml file to Apache Velocity generated Java code is described. The result is a fast reproducible Java code minimizing maintenance.

Borch, Ole; Madsen, Per Printz

2009-01-01

17

Supporting UML Sequence Diagrams with a Processor Net Approach  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Tony Spiteri Staines

2007-01-01

18

Supporting UML Sequence Diagrams with a Processor Net Approach  

Directory of Open Access Journals (Sweden)

Full Text Available 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 flight reservation scenario is introduced and used to create a processor net model. This approach offers various advantages like identifying the main processes, executable model creation, verification, formalization, defining schemas and performance analysis.

Tony Spiteri Staines

2007-08-01

19

ROLE OF UML SEQUENCE DIAGRAM CONSTRUCTS IN OBJECT LIFECYCLE CONCEPT  

Directory of Open Access Journals (Sweden)

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.

Robert Mužar

2007-06-01

20

Case study: Class diagram restructuring  

Directory of Open Access Journals (Sweden)

Full Text Available This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim is to remove clones of attributes from a class diagram, and to identify new classes which abstract groups of classes that share common data features. It is used as one of a general collection of transformations (such as the removal of redundant inheritance, or multiple inheritance which aim to improve the quality of a specification or design level class diagram. The transformation is a typical example of a model refactoring, and illustrates the issues involved in such transformations.

K. Lano

2013-11-01

 
 
 
 
21

DEFINITION OF A SEMANTIC PLATAFORM FOR AUTOMATED CODE GENERATION BASED ON UML CLASS DIAGRAMS AND DSL SEMANTIC ANNOTATIONS  

Directory of Open Access Journals (Sweden)

Full Text Available En este trabajo se propone una plataforma semántica de servicios que implementan los pasos de un método para la generación automática de código. El método se basa en información semántica y en MDA (model-driven architecture. La generación de código se logra relacionando semánticamente operaciones en diagramas de clases en UML (unified modeling language con operaciones implementadas. La relación entre operaciones se hace consultando operaciones implementadas que tengan la misma postcondición de la operación bajo implementación. El código resultante es una secuencia de invocaciones a operaciones implementadas que, en conjunto, alcancen la postcondición de la operación bajo implementación. La semántica se especifica mediante un DSL (domain-specific language, también definido en este artículo. Los servicios de la plataforma y el método se prueban mediante un caso de estudio.

CARLOS ZAPATA

2012-01-01

22

Reconceptualization of Class-based Representation in UML  

Directory of Open Access Journals (Sweden)

Full Text Available The requirement phase in the software development process is typically formulated using UML diagrams, including use cases and conceptual class diagrams. It is claimed that UML is suitable for modeling at the domain level; accordingly, many enhancements to these diagrams have been proposed to achieve a more comprehensive representation of functionality of the system from the conceptual (computation-independent point of view. This paper proposes a uniform conceptual methodology that integrates static and dynamic features to provide a foundation for system design in the next phase of development. UML-based modeling and this new methodology are contrasted in examples that demonstrate the feasibility of the new approach for use in formulating system requirements.

Sabah Al-Fedaghi

2012-11-01

23

Improving The Decisional Process By Using UML Diagrams  

Directory of Open Access Journals (Sweden)

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.

Udrica Mioara

2012-06-01

24

Comparative Study on DFD to UML Diagrams Transformation  

Directory of Open Access Journals (Sweden)

Full Text Available 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 datastore for class diagram generation. Very few of the transformation techniques have been applied on case study as a proof of concept, which are not comprehensive and majority of them are partially automated.

Aamer Nadeem

2011-01-01

25

A Critical Analysis and Treatment of Important UML Diagrams Enhancing Modeling Power  

Directory of Open Access Journals (Sweden)

Full Text Available Requirements analysis and design specification are serious issues in systems development because of the semantics involved in transformation of real world problems to computer software systems. Although unified modeling language (UML is now accepted as a de facto standard for design and specification of object oriented systems but its structures have various disadvantages. For example, it lacks of defining semantics of the systems to be developed. Formal me-thods are proved powerful, particularly, at requirement specification and design level. To address and realize the bene-fits of UML and formal methods our project on “formalization of UML diagrams using Z notation” is under progress. This paper is continuation of the same project in which some important diagrams namely use case, class and sequence diagrams are selected for critical analysis. Merits and demerits of the diagrams are addressed after a brief introduction. Applications of the diagrams are observed reducing complexity and proposing a good design of a system. Finally, a treatment to link diagrams with appropriate approaches is suggested to enhance modeling power of UML for facilitating the systems development.

Fahad Alhumaidan

2012-09-01

26

Fixing Generalization Defects in UML use Case Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Use case diagrams appear in early steps of a UML-based de- velopment. They capture user requirements, structured by the concepts of use cases and actors. An admitted good modeling practice is to de- sign simple, easy-to-read use case diagrams. That can be achieved by introducing relevant generalizations of actors and use cases. The paper proposes an approach based on Formal Concept Analysis and one of its variants, Relational Concept Analysis, to refactor a use case diagram as a whole in orde...

Dolques, Xavier; Huchard, Marianne; Nebut, Clementine; Reitz, Philippe

2010-01-01

27

Model Checking and Code Generation for UML Diagrams Using Graph Transformation  

Directory of Open Access Journals (Sweden)

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.

Wafa Chama

2012-12-01

28

Robust representation for conversion UML class into XML Document using DOM  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Gherabi, Noreddine; Bahaj, Mohamed

2012-01-01

29

ISSUES CONCERNING THE USE OF UML DIAGRAMS TO DEFINE THE UNDERLYING PROCESS MODEL SIMULATION  

Directory of Open Access Journals (Sweden)

Full Text Available Diagrams are a graphical representation of the information contained in a UML model, and are an essential feature of UML modelling. Each UML diagram is designed to let you view a software system from a different perspective and to varying levels of abstraction.

MIOARA UDRIC?

2011-01-01

30

UML 2.0 Pocket Reference UML Syntax and Usage  

CERN Document Server

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

Pilone, Dan

2006-01-01

31

REGLAS PARA LA GENERACIÓN AUTOMÁTICA DE CÓDIGO DEFINIDAS SOBRE METAMODELOS SIMPLIFICADOS DE LOS DIAGRAMAS DE CLASES, SECUENCIAS Y MÁQUINA DE ESTADOS DE UML 2.0 / RULES FOR AUTOMATED CODE GENERATION DEFINED OVER SIMPLIFIED METAMODELS OF CLASS, SEQUENCE AND STATE MACHINE DIAGRAMS OF UML 2.0  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish La generación automática de código a partir de modelos ha sido una de las promesas parcialmente cumplidas en el desarrollo de software. La experiencia de las herramientas CASE, aún distante del automatismo absoluto, se complementa con algunos trabajos teóricos que se alejan de los estándares de mode [...] lamiento. En este artículo se proponen reglas para la generación de código a partir de metamodelos de diagramas de clases, secuencias y máquina de estados de UML. Las reglas están definidas en lógica de primer orden, permitiendo una especificación donde se evitan las ambigüedades y la necesidad de aprender un lenguaje de programación específico. Mediante un caso de estudio se representa la aplicación de las reglas de transformación, generando el código fuente de una clase en el lenguaje orientado a objetos Java. Abstract in english Automatic code generation from models has been one of the partially accomplished promises in software development. CASE Tools experiences, even so far from complete automatism, are complemented by some theoretic works, which torn apart modeling standards. In this paper we propose code generation rul [...] es from metamodels of the UML class, sequence, and state machine diagrams. The rules are defined on first-order logic, in order to allow the construction of a specification where both ambiguity and the need of learning a programming language are avoided. We also represent the application of transformation rules by means of a case study, and we generate source code of a class in the Java object-oriented programming language.

MUÑETÓN, ANDRÉS; ZAPATA, CARLOS M.; ARANGO, FERNANDO.

32

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

DEFF Research Database (Denmark)

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 replication of our earlier results, these results add further evidence in support of our hypothesis.

Störrle, Harald

2012-01-01

33

A UML Pro?le for Feature Diagrams: Initiating a Model Driven Engineering Approach for Software Product Lines  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper proposes an instrumented approach to integrate feature diagrams with UML models, via UML pro?les and a Rational Software Architect plugin. The concrete contribution is the speci?cation of a new UML pro?le based upon a meta-model synthesising existing feature diagrams semantics, and a Rational Software Architect (RSA) implementation. Our RSA implementation makes possible to link feature diagrams with UML model artefacts. Indeed, it allows traceability between feature models an...

Possompe?s, Thibaut; Dony, Christophe; Huchard, Marianne; Rey, Herve?; Tibermacine, Chouki; Vasques, Xavier

2010-01-01

34

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

Science.gov (United States)

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…

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

2005-01-01

35

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains  

Directory of Open Access Journals (Sweden)

Full Text Available If software architecture is assigned with formal semantics, then automatic verification and validation can be performed during the process of model refinement. In this paper, we emphasized on the formal semantics of UML state diagrams oriented performance analysis. The exact definitions of the basic elements and composition mechanism of UML state diagrams are proposed, UML state diagrams is abstracted as a multi-tuple, CTMC models are abstracted as stochastic Kripke structure, mapping rules between the above two mathematics models are proposed, furthermore the corresponding formal semantics are generated. Finally, an asynchronous parallel composition queuing network is presented to illustrate how the theory is applied to formalize UML state diagrams. The key properties of system are manually deduced and validated. The results are analyzed and compared with the automatic executing results through model checker, which validated the practicability and validity of the theory.

Jinkui Xie

2010-09-01

36

Design of a UML profile for feature diagrams and its tooling implementation  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper proposes an instrumented solution to integrate feature diagrams with UML models to be used as part of a general approach for designing software product lines and for product generation. The contribution is implemented in IBM Rational Software Architect (RSA). It is intended to be used in the context of large, complex and multi-domain projects, and at allowing model transformations to derive products. Our RSA implementation makes it possible to link feature diagrams with UML model a...

Possompe?s, Thibaut; Dony, Christophe; Huchard, Marianne; Tibermacine, Chouki

2011-01-01

37

From UML Activity Diagrams to CSP Expressions-A Graph Transformation Approach using Atom3 Tool  

Directory of Open Access Journals (Sweden)

Full Text Available The Unified Modeling Language (UML has become a widely accepted standard in the object oriented software development industry. However, the UML is a semi-formal language which lacks precisely defined constructs. On the other hand, CSP language is a formal specification language. So, UML and CSP have complementary features: UML can be used for modeling while CSP can be used for analysis. In this paper we propose an approach and a tool to transform UML activity diagrams to CSP. Our approach is based on graph transformation and uses ATOM3 tool. The purpose of this transformation is to provide some verification of properties ranging from simple deadlock verification to more specific properties.

Raida Elmansouri

2011-03-01

38

FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This work transforms sequence diagrams to Finite and Deterministic DEVS (FD-DEVS) in Model-Driven En- gineering field. The main goal is the formalisation of behaviours, described with UML sequence diagram, to make verification activity by space state exploration and to make validation activity of a set of traces by simu- lation. In this context, we have chosen to elaborate a model transformation. This paper shows how, after the construction of meta-model for sequence diagrams and for Finite a...

Pasqua, Roberto; Foures, Damien; Vincent, Albert; Nketsa, Alexandre

2012-01-01

39

Extensión del Diagrama de Secuencias UML para el Modelado orientado a Aspectos / Extension of UML Sequence Diagrams for Aspect-Oriented Modeling  

Scientific Electronic Library Online (English)

Full Text Available SciELO Chile | Language: Spanish Abstract in spanish Resumen EL objetivo principal de este artículo es revisar los diagramas de secuencia en el lenguaje unificado de modelado UML, presentando STAIRS como una alternativa para formalizar los diagramas de interacción en UML, en especial los diagramas de secuencia. STAIRS es un lenguaje formal para modela [...] r diagramas interactivos de UML, especialmente diagramas de secuencia. Se analizan los problemas intrínsecos de ambigüedad que tiene UML y que producen modelos no necesariamente correctos. Se muestra que STAIRS representa una solución que hace aportes para disminuir dicha ambigüedad. Se concluye que aunque existen nuevos enfoques para el desarrollo de software, como por ejemplo desarrollo orientado a aspectos, UML se adapta a estos nuevos desarrollos. El análisis y revisión presentados en este artículo puede ser de especial ayuda para clarificar estos temas. Abstract in english Abstract The objective of this paper is to review the unified modeling language UML sequence diagrams, presenting STAIRS as an alternative way of formalizing UML interaction diagrams, especially sequence diagrams. STAIRS is a formal language for modeling interactive UML diagrams, especially sequence [...] diagrams. The inherent problems of ambiguity that UML models have, including the production of models that are not necessarily corrected, are analyzed. It is demonstrated that STAIRS contributes to reducing this ambiguity. It is concluded that although there are new approaches for software development, such as aspect-oriented development, UML is capable of adapting to these developments. The review and analysis presented in this article could be especially useful for clarifying these aspects.

Vidal, Cristian L; López, Leopoldo P; Rivero, Sabino E; Meza, Rogelio O.

40

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

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 constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPN is a formal modelling language that enables constru...

Fernandes, Joa?o M.; Tjell, Simon; Jorgensen, Jens B.; Ribeiro, O?scar R.

2007-01-01

 
 
 
 
41

State Based Static and Dynamic Formal Analysis of UML State Diagrams  

Directory of Open Access Journals (Sweden)

Full Text Available Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML has been accepted as a de facto standard for design and specification of object oriented systems. Unfortunately, UML structures lack defining semantics of a system. Formal methods are proved powerful, particularly, at requirement specification and design level. For a moment, formal methods are not welcomed because of much use of mathematics in formal languages. Therefore, a linkage between UML and formal methods is required to overcome the above deficiencies. In this paper, a new approach is developed by integrating UML and Z specification focusing on state diagram considering both the syntax and semantics. It is believed that this new approach will be effective and useful both at academics and industrial level. The resultant formal models of the approach are analyzed and validated using Z/Eves tool.

Fahad Alhumaidan

2012-07-01

42

Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking  

Digital Repository Infrastructure Vision for European Research (DRIVER)

If probabilistic model checking is applied in software architecture, function validation and quantitative analysis for Markov process based real-time model can be automatically performed in model refinement, which will improve software quality. In this paper, the exact definitions and mapping rules between UML state diagrams and probabilistic Kripke structure s...

Yefei Zhao; Zongyuan Yang; Jinkui Xie; Qiang Liu

2010-01-01

43

Applying Genetic Algorithm for Prioritization of Test Case Scenarios Derived from UML Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Software testing involves identifying the test cases which discover errors in the program. However, exhaustive testing of software is very time consuming. In this paper, a technique is proposed to prioritize test case scenarios by identifying the critical path clusters using genetic algorithm. The test case scenarios are derived from the UML activity diagram and state chart diagram. The testing efficiency is optimized by applying the genetic algorithm on the test data. The information flow me...

Sangeeta Sabharwal; Ritu Sibal; Chayanika Sharma

2011-01-01

44

Modeling Sequence Diagram in Fuzzy Uml to Fuzzy Petri-Net for Calculating Reliability Parameter  

Directory of Open Access Journals (Sweden)

Full Text Available Design quality in soft-ware systems is based on to achieving the non-functional parameters. It's obvious that lack of this ability in Fuzzy UML modeling can't response the needs of customers and market. Some times in real word, problems happened in non-accurate and un-certain manners. Because of this Fuzzy UML modeling be a lionize manner for analysts. This model will help us to survey the un-certain problem. Here you see the sequence diagram in Fuzzy UML that map with Fuzzy Petri-net. Thus the ability of formal models will add to semi-formal Fuzzy UML. Formalization will add the automatic process ability to semiofficial Fuzzy UML. Automatic achieving to non-functional parameters like reliability in experimental system and survey the accuracy of done design are it's another benefits. The most important benefit of this model is reducing the cost because no experimental model will make before implementation. Usages of Fuzzy UML map to Fuzzy Petri-net, is obvious in control systems, critical and real-time.

Reza Noorian Talouki

2013-11-01

45

Automatic Conversion Method of Class Diagrams to Ontologies Maintaining Their Semantic Features  

Directory of Open Access Journals (Sweden)

Full Text Available In this paper, we propose a new conversion’smethod from UML class diagram to ontology in order to serve theSemantic Web. The ontology which results from the conversion isexpressed in OWL / XML. This method allows us to preservesemantic of some feature's UML diagram such as inheritance,encapsulation, types of associations (composition, aggregation,or simple association, constraints of integrity, classidentifier...etc.

Jamal BAKKAS

2013-01-01

46

Class Diagram Restructuring with GROOVE  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner. Moreover, the GROOVE functionality for state space exploration allows checking confluence. Performance-wise, however, the solution does not scale well.

2013-01-01

47

Class Diagram Restructuring with GROOVE  

Directory of Open Access Journals (Sweden)

Full Text Available This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner. Moreover, the GROOVE functionality for state space exploration allows checking confluence. Performance-wise, however, the solution does not scale well.

Wietse Smid

2013-11-01

48

Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine  

CERN Multimedia

The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is considered. The semantics definition is based on the original token flow methodology, but a more constructive approach is used. The Activity Diagram Virtual machine is defined by means of a metamodel, with operations defined by a mix of pseudocode and OCL pre- and postconditions. A formal procedure is described which builds the virtual machine for any activity diagram. The relatively complicated original token movement rules in control nodes and edges are combined into paths from an action to action. A new approach is the use of different (push and pull) engines, which move tokens along the paths. Pull engines are used for paths containing join nodes, where the movement of several tokens must be coordinated. The proposed virtual machine approach makes the activity semantics definition more transparent where the token movement can be easily tra...

Vitolins, V; Vitolins, Valdis; Kalnins, Audris

2005-01-01

49

Applying Genetic Algorithm for Prioritization of Test Case Scenarios Derived from UML Diagrams  

Directory of Open Access Journals (Sweden)

Full Text Available Software testing involves identifying the test cases which discover errors in the program. However, exhaustive testing of software is very time consuming. In this paper, a technique is proposed to prioritize test case scenarios by identifying the critical path clusters using genetic algorithm. The test case scenarios are derived from the UML activity diagram and state chart diagram. The testing efficiency is optimized by applying the genetic algorithm on the test data. The information flow metric is adopted in this work for calculating the information flow complexity associated with each node of the activity diagram and state chart diagram. If the software requirements change, the software needs to be modified and this requires re - testing of the software. Hence, to take care of requirements change, a stack based approach for assigning weights to the nodes of activity diagram and state chart diagram has also been proposed. In this paper, we have extended our previous work of generating test case scenarios from activity diagram by also considering the concurrent activities in nested activity diagram.

Sangeeta Sabharwal

2011-05-01

50

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

DEFF Research Database (Denmark)

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 constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPN is a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by the tool called CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.

Fernandes, Joao Miguel; Tjell, Simon

2007-01-01

51

Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

A diagram is the artifact used to show a graphical view of one or more elements of a model. Sometime designer whish to have slightly different views of the same model element: to show variation points, to explore alternatives, to highlight some details, to add stereotypes or comments ... In actual tools, each view is shown in its own diagram, realized by copying a based diagram and adding the modifications. Each time you modify the base diagram, you have to modify all copies. We propose to in...

Dumoulin, Cedric; Gerard, Se?bastien

2010-01-01

52

Formal Verification of UML Profil  

DEFF Research Database (Denmark)

The Unified Modeling Language (UML) is based on the Model Driven Development (MDD) approach which capturing the system functionality using the platform-independent model (PMI) and appropriate domain-specific languages. In UML base system notations, structural view is model by the class, components 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, specification, refinement, and incorporate into the development process. Our motivation of research is to make an easy structural view and suggest formal technique/ method which can be best applied or used for the UML based development system. We investigate the tools and methods, which broadly used for the formal verification of UML based systems.

Bhutto, Arifa; Hussain, Dil Muhammad Akbar

2011-01-01

53

UNIFIED MODELING LANGUAGE TOOLS COLLABORATION FOR USE CASE, CLASS AND ACTIVITY DIAGRAM IMPLEMENTED WITH HTML 5 AND JAVASCRIPT FRAMEWORK  

Directory of Open Access Journals (Sweden)

Full Text Available As a result of the development of web 3.0, web technologies now make it possible for each user to collaborate in performing a task. This technology allows us to draw UML diagrams online and collaborate on a software project. Unified Modeling Language is one of the architectural modeling software that is widely used by software developers. This research aims to develop a modeling tool UML diagrams are class diagrams, use case diagrams and activity diagrams based on pre-existing web using HTML 5 technology combine with JSON Service that allows the software developer to work on the same project UML and collaborate each other with good performance more faster than ordinary web.

Aditya Kurniawan

2014-01-01

54

Automated Model-Based Test Path Generation from UML Diagrams via Graph Coverage Techniques?  

Directory of Open Access Journals (Sweden)

Full Text Available UML State Chart Diagrams are the basic models used to derive test paths from intermediategraphs generated automatically using graph coverage techniques in addition to the tool support provided byMBT Tool TestOptimal’s Basic as well as ProMBT version. The test Paths Generated covers Node Coverage,Edge Coverage, Edge Pair Coverage as well as most importantly Prime Path coverage which is till today notexplored much. The algorithm employed is Prefix based combined with Chinese postman Problem Algorithmtogether. From State charts, first of all Model Coverage Graphs are constructed with help of TestOptimal andthen Test Paths are generated one by one. Testing is often incomplete, i.e. cannot cover all possible systembehaviours. There are several heuristic means to measure the quality of test suites, e.g. fault detection,mutation analysis, or coverage criteria. These means of quality measurement can also be used to decide whento stop testing. This paper is centred upon coverage criteria. There are many different kinds of coveragecriteria, e.g. focused on data flow, control flow, transition sequences, or boundary values. In this paper, wewill present new approaches, e.g. to combine coverage criteria and generation of test paths manually as wellas automatically using tools based on Chinese postman and prefix based algorithms.

Parampreet Kaur

2013-07-01

55

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

Directory of Open Access Journals (Sweden)

Full Text Available 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 interacción entre diagramas de actividades de UML 2.0, que representan las operaciones de un sistema, y procesos del negocio automatizados bajo tecnologías workflow. La trazabilidad de dicha interacción se mantiene por medio de modelos de trazabilidad que controlan la evolución de las operaciones del negocio y del sistema. Para mostrar la aplicación del patrón se desarrolla un caso de estudioIn software development environments there is a big interest to look and develop techniques that could integrate transactional systems with Workflow systems in order to support the business processes in organizations Nevertheless, in the software industry it is not common to find techniques or practices that facilitate the development of system models according to the business processes. In this article we define a development pattern to standardize the interaction between UML 2.0 activity diagrams, which represent the operations of a system, and the business processes automated by means of Workflow technologies. The traceability of the above mentioned interaction is supported by means of traceability models that control the evolution of both operations of the business and of the system. To show the application of the pattern a case study is developed.

Marta Silvia Tabares

2008-12-01

56

Extensión del Diagrama de Secuencias UML (Lenguaje de Modelado Unificado para el Modelado Orientado a Aspectos Extension of UML Sequence Diagrams (Unified Modeling Language to Aspect-Oriented Modeling  

Directory of Open Access Journals (Sweden)

Full Text Available Este trabajo revisa los principales elementos de diagrama de secuencia UML (Unified Modeling Language para modelar el comportamiento dinámico de software y describe los pasos para alcanzar un modelado orientado a aspectos con esta herramienta. Esto con el objetivo de lograr una mayor autonomía y "limpieza" en el modelado e implementación de las tareas principales de una aplicación software. Para estos efectos, se describe la metodología de desarrollo de software orientado a objetos (DSOO resaltándose la importancia del UML para el modelado de estructuras y comportamiento de aplicaciones software orientadas a objetos. Además, se mencionan las principales características de la metodología de desarrollo de software orientado a aspectos (DSOA considerando DSOA como una extensión a DSOO. Esto hace necesario revisar y adaptar el UML para el soporte de modelado orientado a aspectos. En este contexto, se modela un caso de estudio clásico del método de DSOA.This article reviews the basic principles of UML sequence diagram (Unified Modeling Language to model dynamic behavior of software and describes the steps needed to achieve an aspect-oriented modeling using this tool. This with the object of reaching greater autonomy and cleaning during the modeling and implementation of the main tasks of a software application. For these purposes, the object-oriented software development methodology (OOSD is described remarking the importance of UML for the modeling of structures and behavior of object-oriented software applications. Furthermore, the main characteristics of the aspect-oriented software development methodology (AOSD are mentioned, considering AOSD as an extension of OOSD. This makes it necessary for reviewing and adapting UML for the support of aspect-oriented modeling. In this context, a classic case study of the AOSD method is modeled.

Cristian L Vidal

2012-01-01

57

An Aspectual UML Modelling Tool  

Directory of Open Access Journals (Sweden)

Full Text Available The aspect-orientation is a complement for object-orientation. Thus, it would be logical to investigate the adaptability of UML to aspect-orientation. This research focuses on investigating the Aspect-Oriented UML (AOUML approaches for understanding the benefits of a comprehensive framework for AOUML. Based on this study’s review, it is evident that, of late, the complexity and size of systems have grown up, which accumulatively have led to the manifestation of new concerns. Moreover, these new concerns have cut-cross other concerns and core classes in the system by its nature. Due to this fact, the concept of Advance Separation of Concerns (ASoC has been put on the table of discussions and the need for an approach to model and represent these crosscutting concerns (Aspect, which is responsible for producing, spreading and tangling representation throughout the development life cycle, is vital. A proper databases have been searched using the suitable keywords, which match this research questions as recommended by systematic review process; this research has collected 468 studies and screened them to minimize the number of studies to 73, which are more appropriate and directly related for this present study. The general scope of this research is to model aspect (crosscutting concerns using standard UML diagrams 2.4.1 (latest edition. UML behavioural and structural diagrams have been implemented on the top of object-orientation concepts, it has not been meant to be used to model aspect-orientation. Thus, this research has proposed a complete tailored framework that represents aspect’s constructs using all UML diagrams. The objective of this position study is to investigate the aspectual UML modelling tool which is currently being designed and implemented.

Noorazean Mohd. Ali

2012-01-01

58

Connecting UML and VDM++ with Open Tool Support  

DEFF Research Database (Denmark)

Most formal method notations are text based, while tools used in industry often use graphical notations, such as UML. This paper demonstrates how the power of both approaches can be combined by providing the automatic translation of VDM++ models to and from UML. The translation is implemented as a plugin for the popular Eclipse development environment by the open-source Overture initiative. Both UML class diagrams and sequence diagrams can be translated, the latter enabling the novel ability to link with the combinatorial test facility of Overture.

Lausdahl, Kenneth; Listrup, Hans Kristian

2009-01-01

59

Heuristic rules for transforming preconceptual schemas into uml 2.0 diagrams: a C# implementation / Implementación en C# de las reglas heurísticas de conversión de esquemas preconceptuales a diagramas uml 2.0  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: English Abstract in spanish Desde mediados de los años noventa se viene gestando una tendencia que busca la generación automática de esquemas conceptuales de UML a partir de lenguajes controlados, empleando para ello reglas heurísticas de transformación. En esta tendencia, aún subsisten algunos problemas: ambigüedad en las reg [...] las, procesos semiasistidos con alta participación de expertos, dificultades en la representación conjunta de estructura y dinamismo del mundo, generación de un solo diagrama y carencia de implementación de algunos trabajos. En este artículo se emplean los denominados Esquemas Preconceptuales como lenguaje gráfico de representación del dominio de una aplicación de software, y se implementan en C# las reglas de conversión de esos esquemas a diagramas de UML 2.0. La implementación en C# elimina la ambigüedad que podrían contener las reglas y permiten la automatización del proceso sin la mediación de expertos. Finalmente, se muestra mediante un caso de estudio el funcionamiento de un prototipo en C# basado en estas reglas. Abstract in english From the mid-nineties, a new path for automatically generating UML conceptual schemas from controlled languages, by means of heuristic rules, has been proposed. This path still exhibit problems to be solved: ambiguity of heuristic rules, semi-automated expert-participation processes, difficulties in [...] representing structural and dynamic features of the domain, focus on only one diagram, and lack of implementation. In this paper, we employ the socalled Pre-conceptual Schemas as a graphical language for representing the domain of a software application; also, we implement in the C# language the conversion rules from Pre-conceptual Schemas into UML 2.0 diagrams. C# implementation avoids ambiguity of some of the conversion rules; furthermore, C# implementation permits process automation without the need of experts. Finally, we show the functionality of C# rule-based prototype by means of a case study.

Carlos, Zapata; David, Cardona.

60

Classes of wiring diagrams and their invariants  

CERN Document Server

Wiring diagrams usually serve as a tool in the study of arrangements of lines and pseudolines. In this paper we go in the opposite direction, using known properties of line arrangements to motivate certain equivalence relations and actions on sets of wiring diagrams, which preserve the incidence lattice and the fundamental groups of the affine and projective complements of the diagrams. These actions are used in [GTV] to classify real arrangements of up to 8 lines and show that in this case, the incidence lattice determines both the affine and the projective fundamental groups.

Garber, D I; Vishne, U; Garber, David; Teicher, Mina; Vishne, Uzi

2001-01-01

 
 
 
 
61

An automated tool for generating UML models from natural language requirements  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper describes a domain independent tool, named, UML Model Generator from Analysis of Requirements (UMGAR), which generates UML models like the Use-case Diagram, Analysis class model, Collaboration diagram and Design class model from natural language requirements using efficient Natural Language Processing (NLP) tools. UMGAR implements a set of syntactic reconstruction rules to process complex requirements into simple requirements. UMGAR also provides a generic XMI parser to generate XM...

Deeptimahanti, Deva Kumar; Ali Babar, Muhammad

2009-01-01

62

Collaborative Learning of UML and SysML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In the EU-funded project Embed4Auto, we have developed an Integrated Learning Environment (ILE) to support UML/SysML training. The ILE combines independent distance learning with collaborative problem solving and social networking. The learning environment incorporates a set of learning resources on the modeling languages UML2 and SysML, an educational modeling tool supporting class and sequence diagrams and a tool for sharing and discussing solutions to modeling exercises. First evaluations ...

Sonja Trapp; Ervin Ramollari; Matthias Heintz; Sebastian Weber; Dimitris Dranidis; Jürgen Börstler

2011-01-01

63

Collaborative Learning of UML and SysML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In the EU-funded project Embed4Auto, we have developed an Integrated Learning Environment (ILE) to support UML/SysML training. The ILE combines independent distance learning with collaborative problem solving and social networking. The learning environment incorporates a set of learning resources on the modeling languages UML2 and SysML, an educational modeling tool supporting class and sequence diagrams and a tool for sharing and discussing solutions to modeling exerc...

Trapp, Sonja; Ramollari, Ervin; Heintz, Matthias; Weber, Sebastian; Dranidis, Dimitris; Bo?rstler, Ju?rgen

2011-01-01

64

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  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish En el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que repr [...] esentan tanto el problema como su solución. Por lo general, la mayoría de esos modelos se expresan en el lenguaje de modelado unificado -UML-, que define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberían guardar consistencia, cuando se trate del mismo modelo. Sin embargo, la consistencia entre diferentes artefactos no se encuentra definida en la especificación de UML y poco se ha trabajado con este tipo de consistencia. En este artículo se propone un método para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en el lenguaje de restricciones de objetos -OCL- que se deben cumplir para garantizar que la información brindada por dichos modelos sea consistente. Como se reconoce la participación de los dos diagramas en la elaboración de las interfaces gráficas de usuario -GUI-, se define adicionalmente la consistencia con este artefacto. Abstract in english In a software lifetime, during definition and analysis stages, a specification of requirements is carried out. For such a purpose, it is necessary to get through a process to capture interested persons? needs and expectations, which will later be translated into a set of models representing both the [...] problem and the solution. Most models are frequently expressed by the UML (Unified Modeling Language) which defines a set of devices for specifying software requirements which should be consistent with the same model. However, consistency among several devices is not defined in the UML specification and not too much work has been made 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

Zapata, Carlos Mario; González, Guillermo.

65

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  

Directory of Open Access Journals (Sweden)

Full Text Available En el ciclo de vida del software, durante las fases de definición y análisis, se realiza una especificación de los requisitos. Para ello, es necesario realizar un proceso de captura de las necesidades y expectativas de los interesados, que se traduce posteriormente en un conjunto de modelos que representan tanto el problema como su solución. Por lo general, la mayoría de esos modelos se expresan en el lenguaje de modelado unificado -UML-, que define un conjunto de artefactos que permiten especificar los requisitos del software, los cuales deberían guardar consistencia, cuando se trate del mismo modelo. Sin embargo, la consistencia entre diferentes artefactos no se encuentra definida en la especificación de UML y poco se ha trabajado con este tipo de consistencia. En este artículo se propone un método para verificar la consistencia entre el diagrama de clases y el diagrama de casos de uso de UML de una manera formal. Dicho proceso se lleva a cabo evaluando una serie de reglas definidas en el lenguaje de restricciones de objetos -OCL- que se deben cumplir para garantizar que la información brindada por dichos modelos sea consistente. Como se reconoce la participación de los dos diagramas en la elaboración de las interfaces gráficas de usuario -GUI-, se define adicionalmente la consistencia con este artefacto.In a software lifetime, during definition and analysis stages, a specification of requirements is carried out. For such a purpose, it is necessary to get through a process to capture interested persons’ needs and expectations, which will later be translated into a set of models representing both the problem and the solution. Most models are frequently expressed by the UML (Unified Modeling Language which defines a set of devices for specifying software requirements which should be consistent with the same model. However, consistency among several devices is not defined in the UML specification and not too much work has been made 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

Carlos Mario Zapata

2008-01-01

66

GENERACIÓN DEL DIAGRAMA DE SECUENCIAS DE UML 2.1.1 DESDE ESQUEMAS PRECONCEPTUALES GENERATION OF UML 2.1.1 SEQUENCE DIAGRAM FROM PRE-CONCEPTUAL SCHEMES  

Directory of Open Access Journals (Sweden)

Full Text Available El diagrama de secuencias es un esquema conceptual que permite representar el comportamiento de un sistema, para lo cual emplea la especificación de los objetos que se encuentran en un escenario y la secuencia de mensajes intercambiados entre ellos, con el fin de llevar a cabo una transacción del sistema. Existen diferentes enfoques que buscan la generación automática de modelos conceptuales, como el diagrama de secuencias. Algunos trabajos parten del lenguaje natural, pero generan diagramas diferentes al de secuencias o, si lo hacen igual, dejan de lado elementos como los fragmentos combinados, que describen ciertas condiciones lógicas en el sistema. Otros trabajos parten del código fuente, el cual se suele ubicar en una fase más avanzada del ciclo de vida del software. En este artículo se define un método, basado en reglas heurísticas, que permite identificar los elementos del diagrama de secuencias, incluyendo los fragmentos combinados, tomando como punto de partida los esquemas preconceptuales. Se realiza la implementación de las reglas en la herramienta AToM³ aplicándolas a un caso de estudio.Sequence diagram is a conceptual schema for representing behavior of a system. For performing such a task, it employs the object spec from a scenario and the sequence of messages exchanged among the objects. These elements describe a transaction of the system. Several approaches try the automated generation of conceptual models (like sequence diagram. Some of them use natural language as a starting point, but they are focused on other diagrams. Some others are focused on sequence diagram, but they do not obtain elements like combined fragments describing several logical constraints of the system. Other approaches use source code as a starting point, but source code can be related to an advanced phase of the software development life cycle. In this paper we define a method based on heuristic rules for obtaining automatically the elements of the sequence diagram (including combined fragments from pre-conceptual schemas. These heuristic rules are implemented in the AToM³ tool and applied in a case study.

Carlos Mario Zapata

2008-12-01

67

GENERACIÓN DEL DIAGRAMA DE SECUENCIAS DE UML 2.1.1 DESDE ESQUEMAS PRECONCEPTUALES / GENERATION OF UML 2.1.1 SEQUENCE DIAGRAM FROM PRE-CONCEPTUAL SCHEMES  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish El diagrama de secuencias es un esquema conceptual que permite representar el comportamiento de un sistema, para lo cual emplea la especificación de los objetos que se encuentran en un escenario y la secuencia de mensajes intercambiados entre ellos, con el fin de llevar a cabo una transacción del si [...] stema. Existen diferentes enfoques que buscan la generación automática de modelos conceptuales, como el diagrama de secuencias. Algunos trabajos parten del lenguaje natural, pero generan diagramas diferentes al de secuencias o, si lo hacen igual, dejan de lado elementos como los fragmentos combinados, que describen ciertas condiciones lógicas en el sistema. Otros trabajos parten del código fuente, el cual se suele ubicar en una fase más avanzada del ciclo de vida del software. En este artículo se define un método, basado en reglas heurísticas, que permite identificar los elementos del diagrama de secuencias, incluyendo los fragmentos combinados, tomando como punto de partida los esquemas preconceptuales. Se realiza la implementación de las reglas en la herramienta AToM³ aplicándolas a un caso de estudio. Abstract in english Sequence diagram is a conceptual schema for representing behavior of a system. For performing such a task, it employs the object spec from a scenario and the sequence of messages exchanged among the objects. These elements describe a transaction of the system. Several approaches try the automated ge [...] neration of conceptual models (like sequence diagram). Some of them use natural language as a starting point, but they are focused on other diagrams. Some others are focused on sequence diagram, but they do not obtain elements like combined fragments describing several logical constraints of the system. Other approaches use source code as a starting point, but source code can be related to an advanced phase of the software development life cycle. In this paper we define a method based on heuristic rules for obtaining automatically the elements of the sequence diagram (including combined fragments) from pre-conceptual schemas. These heuristic rules are implemented in the AToM³ tool and applied in a case study.

Zapata, Carlos Mario; Garcés, Gilma Liliana.

68

RT-UML IN MODELING OF MULTIMEDIA APPLICATIONS  

Directory of Open Access Journals (Sweden)

Full Text Available RT-UML enables a structural and behavioral description of multimedia applications includingtime characteristic, however it does not offer mechanisms of a multimedia objects presentation(arrangement expression or the time constrains expression between events. Thisfact illustrates RT-UML lack of expressive capabilities, especially in the context of multimediaapplications modeling. The presented in the paper extension of RT-UML illustrateshow multimedia objects arrangement and events synchronizations can be presented, whichmeans new type of diagrams addition to UML (presentation diagrams and a synchronizedevents set class placing into the time model of RT-UML. Moreover extensions provide an applicationa graphical presentation of synchronized events to sequence and activity diagramsof UML, which enables time constrains of multimedia objects and their activities expression(synchronization of time events, which occur during presentation of multimedia objects.The originality of this approach relies on the extension of RT-UML syntax and on the presentationof an original method of multimedia applications modeling, which can make theproduction process more formalized and thus more precise.

Pawe? Cicho?

2007-01-01

69

UML2SC: Herramienta para el diseño de sistemas electrónicos complejos utilizando los lenguajes UML y SystemC / UML2SC: A tool for developing complex electronic systems using UML and SystemC  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish En este artículo se presenta un proceso para la transformación de sistemas basados en hardware/software descritos mediante UML a código esqueleto SystemC. Se introduce la herramienta UML2SC, basada en librerías de Java, mediante la cual se puede realizar este proceso de transformación. La herramient [...] a UML2SC, permite obtener código esqueleto SystemC a partir de modelos descritos en UML mediante los diagramas de clases y estructura compuesta. Los resultados de la utilización de esta herramienta se presentan mediante un ejemplo, el cual describe el modelo funcional de una CPU RISC de 16 bits. Abstract in english In this paper, we propose a transformation process in which SystemC skeleton code is extracted from UML models that describe hardware/software based systems. The tool UML2SC, which is based on Java libraries, is also introduced. This tool allows the transformation of UML class and composite structur [...] e diagrams to SystemC skeleton code. An implementation example is given to illustrate the transformation process implemented in the UML2SC tool. The example describes the model of a CPU RISC of 16 bits.

Correa, Blanca Alicia; Eusse, Juan Fernando; Múnera, Danny; Sepúlveda, Silvio; Vélez, Juan Fernando; Aedo, José Edinson.

70

Prototype of Intrusion Detection Model using UML 5.0 and Forward Engineering  

Directory of Open Access Journals (Sweden)

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.

Muthaiyan MADIAJAGAN,

2011-01-01

71

UML reflections  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The UML shares with reflective architectures the idea that self-de nition of languages and systems is a key principle for building and maintaining complex systems. The UML is now de ned by a four-layer metalevel structure, enabling a flexible and extensible de nition of mod- els by metamodels, and even a self-description of the meta-metamodel (the MOF). This metalevel dimension of UML is currently restricted to structural reflection. But recently a new extension to the UML, called the Action ...

Pennaneac H, Franc?ois; Je?ze?quel, Jean-marc; Malenfant, Jacques; Sunye?, Gerson

2001-01-01

72

Mobile Based Electricity Bill Deposit System through UML  

Directory of Open Access Journals (Sweden)

Full Text Available The present paper deals with a model design through Unified Modeling Language (UML for a mobile based elec-tricity bill deposit system. Due to complex life style of people this model is proposed in the form of UML Class, Sequence and Use Case diagrams. For implementation of proposed model, a real case study of Uttar Pradesh Electricity Bill deposit System is considered. By the use of this model, one can display the status of deposited electricity bill on a hand held mobile device system.

Pawan Kumar Chaurasia

2011-03-01

73

A Proposal for Constructing Relational Database from Class Diagram  

Directory of Open Access Journals (Sweden)

Full Text Available Database system is important to ensure the data can be stored, updated and retrieved for future use. Data modelling using the Entity Relationship Model has been introduced more than thirty years. However, designing a good database system is still an attractive issue particularly in system analysis and design because of very hard to do consistency checking between system design and database design. In this paper, a proposal for designing a relational database system based on Object Oriented Analysis and Design is presented. The database system is created by the schema table that extract from class diagram. The rules applying in this paper is following the object oriented concept. It is based on the relationships among the classes, multiplicity, attributes name, class name, data type and the behaviours of the classes. Beside that the user is required to insert record to accomplish a good designing the schema tables to avoid redundancy data. Finally, an automatic editor called CDGeST is proposed in order to automate the process.

Mohd Zainuri Saringat

2010-04-01

74

Improving Relationship between UML and Petri Nets for Analyzing System by Applying Object Oriented Petri Nets  

Directory of Open Access Journals (Sweden)

Full Text Available Today, by developing technology and presenting Object-Oriented and Concurrent systems, new modeling languages with powerful mathematical and formulaic base are needed. UML as an Object-Oriented modeling language is needed a powerful mathematical and formulaic base for its symbols, besides, Petri Nets as a language for Concurrent systems need to have symbols for representing Object-Oriented models.  In many complex systems, model presenting by Petri Nets caused model complexity and designer's perplexity and also due to wide changes in such systems, its part by part presenting by means of UML diagram is not possible. The aim of the paper is to present interface model called Object Oriented Petri Nets and its relevant software for converting Petri Nets complex model to various UML diagrams, in order to benefit from advantages of Petri Nets and UML model. In this model, Object Orienting main parts such as Object, Class, Encapsulation and Inheritance are presented with special symbols.

Meysam Aminzadeh

2013-02-01

75

UML-DESIGN OF THE INFORMATION ANALYSIS SYSTEM "CURRICULUM" UML-??????????? ????????????-??????????? ??????? “?????????? ????”  

Directory of Open Access Journals (Sweden)

Full Text Available Relevance of the material, which is presented in papers, is conditioned by the requirements of the state-of-the-art universities in creation of the information-analysis systems of the education management. The main peculiarities of the design of the automated information-analysis management system by using UML are considered. The main diagrams of the information system were created by using the UML. The knowledge domain was analyzed; the functions and tasks of the automated system were defined. The designed diagrams organize the base of the pattern of the structure and connections between the system elements and allow to trace the different aspects of its behavior. Hereafter the designed system might be supplemented by the diagrams to code generation.???????????? ?????????, ??????????? ? ??????, ?????????? ????????? ????????? ???????????? ? ????????? ????????????-??????????? ?????? ?????????? ?????????? ????????. ????????????? ??????????? ???????????? ??????????????? ????????????-??????????? ??????? ?????????? ?????????? ????????????? ???????? ?????????? Rational Rose. ?????????????? ???? UML ?????????? ??????? ???????? ?????? ????????????-??????????? ???????. ????????? ?????? ?????????? ???????, ????????? ??????? ?? ???????? ??????????????? ????????????? ???????, ?? ????????????. ?????????? ???????? ???????? ?????? ??????? ????????? ?? ??’????? ??? ?????????? ??????? ?? ?????????? ??????????????? ????? ??????? ?? ?????????. ? ??????????, ?????????? ??????? ???? ???? ????????? ?????????? ??? ????????? ????.

Galyna V. Lutsenko

2011-05-01

76

Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method  

Directory of Open Access Journals (Sweden)

Full Text Available B is a formal method which enables the automatic generation of an executable code through successive refinements from an abstract specification. Unified Modeling Language (UML specifications can be formally verified by analyzing the corresponding B specification, and integration of UML specifications and B method can overcomes the drawbacks of UML. In this paper the Class diagram of the flight control system is presented and each class operation is mapped to a B abstract machine. The flight control software behaviors are presented in the form of statecharts The B method is adopted to translate the statecharts into B specification of flight control software.Using UML and B method, flight control is refined and failure management is added. Finally proof obligations are presented to ensure the safety for the ertical control of artificial navigation of UAV.

Jiufu Liu

2014-04-01

77

A Systematic Approach for Constructing Static Class Diagrams from Software Requirements  

Directory of Open Access Journals (Sweden)

Full Text Available The trend towards the use of object-oriented methods for software systems development has made it necessary for the use of object-oriented approaches in object-oriented software systems development. Class diagrams represent an essential component in any object-oriented system design. The development of such class diagrams in a systematic way is very crucial in an object-oriented development methodology. The main principles used in obtaining these class diagrams in a systematic way are described since class diagrams are very essential in object-oriented development practice.

Nabil Arman,

2010-05-01

78

Generación del cuerpo de los métodos a partir de la semántica de las operaciones del diagrama de clases / Generating the body of the methods from class diagram operation semantics  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish Para la generación automática de código fuente a partir de los diagramas de UML, las herramientas CASE convencionales sólo generan el encabezado de los métodos, y algunos esfuerzos adicionales generan parcialmente el cuerpo de los métodos, pero empleando elementos que se alejan de los estándares de [...] modelado y, en todo caso, muy cercanos a la elaboración manual de código fuente. Buscando superar esas limitaciones, en este artículo se propone un proceso para generar el cuerpo de los métodos del código fuente a partir de las operaciones del diagrama de clases. Para ello se define la “semántica de las operaciones”, que es una manera de ligar las operaciones del diagrama de clases y los métodos implementados en la plataforma de desarrollo, tomando como entradas las pre y poscondiciones de las operaciones y el metamodelo de las librerías de la plataforma de desarrollo. Finalmente, el proceso se ejemplifica con un caso de estudio, para el cual fue necesario elaborar una instancia en UML del metamodelo del paquete java.sql. Abstract in english Well-known CASE tools only generate the heading of the methods to automatically generate source code from UML diagrams. Some proposals partially generate the body of the methods; however they use non-standard modeling elements or hand-made source code elements. This paper proposes a process for gene [...] rating the body of the methods from class diagram operations in an attempt to overcome such constraints. “Semantics of class operations” was thus defined as a way of linking class diagram operations to development platform implemented methods. These kinds of semantics use pre- and post-conditions belonging to the operations and the development platform library meta-model. This process is also exemplified by giving a case study. An UML instance of the java.sql package meta-model was created for developing the case study.

Carlos Mario, Zapata J.; Andrés Felipe, Muñetón.

79

Knowledge Representation and Mapping for Collaborative in Manufacturing Supply Chain Based on OWL and UML  

Directory of Open Access Journals (Sweden)

Full Text Available Through the comparison analysis of the similarity between UML and OWL based on the OWL syntax elements with reference to OWL Full language, the OWL structure could be described with existing UML language through the direct mapping and the extended mapping. So, the mapping of ontology model between OWL and UML could be realized and the automatic conversion could be processed by the extensible stylesheet language transformation. Further, this study proposed a UML model of collaborative members in manufacturing supply chain and generated the corresponding ontology model by the mapping conversion; with the help of Pellet and Protégé the syntax check and reasoning and validation were tested. The study shows that the method of automatic conversion from the UML class diagram to the OWL file that was proposed in this study is feasible and the result is accurate. In the field of ontology modeling, by the rich expression function of object-oriented graphics in UML model, the combination of UML language and OWL language with their advantages could effectively develop the ontology for the semantic web.

Xu Heng

2013-01-01

80

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

Science.gov (United States)

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.

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

 
 
 
 
81

Os diagramas de C. S. Peirce para as dez classes de signos / Peirce's diagrams for the ten classes of signs  

Scientific Electronic Library Online (English)

Full Text Available SciELO Brazil | Language: Portuguese Abstract in portuguese Uma seção da Gramática Especulativa de C.S.Peirce - Dez classes de signos - recebeu, a partir de 1903, um importante tratamento diagramático. Neste artigo, são apresentados e discutidos dois diagramas desenvolvidos por Peirce para as dez classes, incluindo esboços desses modelos. [...] Abstract in english A section of C. S. Peirce's Speculative Grammar, on the ten classes of signs, received an important diagrammatic treatment from 1903 on. In this article we present and discuss two diagrams developed by Peirce for the ten classes, and include sketches of these models. [...

Priscila Lena, Farias; João, Queiroz.

82

Biomedical Terminology Mapper for UML projects  

Science.gov (United States)

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

Thibault, Julien C.; Frey, Lewis

83

Solving the Class Diagram Restructuring Transformation Case with FunnyQT  

Directory of Open Access Journals (Sweden)

Full Text Available FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Class Diagram Restructuring Transformation Case. This solution and the GROOVE solution share the best overall solution award for this case.

Tassilo Horn

2013-11-01

84

UML Modeling for the Watermarking Image File Using Transform Method  

Directory of Open Access Journals (Sweden)

Full Text Available Unified Modeling language (UML is one of the important modeling languages used for the visual representation of the research problem. In the present paper, UML model has been designed for the watermarking in the image file using transform method because Digital watermarking is the process of embedding some information into a digital signal which is used to verify the authentication of image file or identity of its owner. In this paper digital signal is taken as picture and some information is embedded in to this file. At the time of transmitting a picture in the internet environment, picture as well as embedded information moves from node to node and at receiving end and one can get the authentic picture by extracting a embedded information from the watermarked image, which provide a secrecy in the image file. Watermarking is generally use in copyright protection systems which prevent unauthorized copying of digital media. The class diagram activity diagram and sequence diagram for the watermarking in the image file are depicted in this paper using the transformation technique.

Dr. Deepa Raj

2013-06-01

85

UN MÉTODO DE INGENIERÍA INVERSA DE CÓDIGO JAVA HACIA DIAGRAMAS DE SECUENCIAS DE UML 2.0  

Scientific Electronic Library Online (English)

Full Text Available SciELO Colombia | Language: Spanish Abstract in spanish La Ingeniería inversa de software aparece como un proceso que ayuda al aseguramiento de la calidad y documentación de aplicaciones con deficiencias en los modelos de análisis y diseño. Además, ayuda en la disminución de costos y tiempos de mantenimiento. En la actualidad existen herramientas CASE y [...] algunas propuestas de investigación que realizan el proceso de ingeniería inversa a diagramas UML, en especial a los diagramas de clases y secuencias. Algunas se encuentran en fases experimentales; otras se enfocan mucho más en el diagrama de clases que en el de secuencias. Un tercer grupo obtiene algunos elementos del diagrama de secuencias, pero no posee muchos de los elementos que hacen parte de la especificación de UML 2.0. En este artículo se propone un método que automatiza la conversión de código JAVA en diagrama de secuencias de UML 2.0, por medio de la aplicación de reglas de transformación que convierten los elementos del código en elementos del diagrama. Se presenta también un ejemplo de aplicación del método con un prototipo que lo emplea, el UNC-Inversor. Abstract in english Software reverse engineering seems to be the process for helping software quality assurance and documentation in applications with low-quality analysis and design models. It also helps for decreasing maintenance cost and time. Currently, some CASE tools and research proposals assist analysts to deve [...] lop reverse engineering process with UML diagrams as a result (especially class and sequence diagram). Some of them have reached experimental phases. Some others are focused more on class diagram and less on sequence diagram. A third group of CASE tools and proposals obtains sequence diagram, but the resulting diagram lacks some of the elements of the UML 2.0 specification. In this paper, we propose a method for automating the conversion of JAVA code into UML 2.0 sequence diagram, by means of the application of transformation rules for converting code elements to the diagram elements. We also present an example of the method application through a prototype named UNC-Inversor.

Zapata, Carlos Mario; Ochoa, Óscar Andrés; Vélez, Camilo.

86

Modeling industrial embedded systems with UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The main purpose of this paper is to present how the Unified Modeling Language (UML) can be used for modeling industrial embedded systems. By using a car radios production line as a running example, the paper demonstrates the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use case diagrams into a single object diagram, which is one ...

Fernandes, Joa?o M.; Machado, Ricardo J.; Santos, Henrique Dinis Dos

2000-01-01

87

UML Modeling for Dynamic Logistics System Based on DEVS  

Directory of Open Access Journals (Sweden)

Full Text Available DEVS is a hierarchical and modular system descriptive method. However, it cannot describe dynamic process and relationship of system members. This article has proposed a way to extend UML using stereotype, making it suitable for simulation modeling. To build a modeling tool, we defined atomic model class and coupled model class, both of which are in line with not only DEVS’s hierarchical and modular requirements but also UML’s object-oriented characteristics. At last, we use the tool to analyze and build UML models for a dynamic logistics system, the container berth system, making it easier to implement on simulation platform.

Zhang Zhiyong

2013-04-01

88

Introducing a New Frameworkfor Modelling Requirements,Traceability, and Patterns in UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This thesis introduces a new framework for modelling requirements and traceability using the Unified Modelling Language (UML). It also shows how this framework successfully can be used for modelling traceability patterns. There is no complete framework for modelling all aspects of requirements and traceability in the software industry today, according to our research. The most widely used framework is UML’s use case diagrams but these diagrams are not complete in the sense of the ability of...

Simonsson, Mikael

2013-01-01

89

Mapping the UMLS Semantic Network into general ontologies.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

2001-01-01

90

Distributed Graphical User Interfaces to Class Diagram: Reverse Engineering Approach using Pattern Recognition  

Directory of Open Access Journals (Sweden)

Full Text Available The graphical user interfaces of software programs are used by researchers in the soft-ware engineeringfield to measure functionality, usability, durability, accessibility, and performance. This paper describes areverse engineering approach to transformthe cap-tured images of the distributed GUIs into classdiagram. The processed distributed GUIs come from different and separate client computers. From thedistributed GUIs, the inter-faces are captured as images, attributes and functions are extracted andprocessed through pattern recognitions mechanism to be stored into several temporary tablescorresponding to each client’s graphical user interface. These tables will be analyzed and processed intoone integrated normalized table eliminating any attribute redundancies. Further, the normalized the oneintegrated table is to create a class diagram

Khaled Musa

2013-06-01

91

The UMLS Semantic Network  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The UMLS network of semantic types is one component of NLM's evolving Unified Medical Language System. This paper discusses the role of the semantic network in the overall system, then describes the evolution and current status of the network, and, finally, concludes with a discussion of plans for further development.

1989-01-01

92

Supporting several levels of restriction in the UML  

DEFF Research Database (Denmark)

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 on user studies, we propose that tool and meta-level support for several levels of restriction in diagrams and models is needed. We furthermore present a tool, Knight, which supports several levels of restriction as well as ways of transferring models from one level of restriction to another. This approach potentially increases the usability of the UML, and thus ultimately leads to greater quality and adoption of UML models.

Hansen, Klaus Marius; Damm, Christian Heide

2000-01-01

93

BGen: A UML Behavior Network Generator Tool  

Science.gov (United States)

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.

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

2010-01-01

94

UML Modeling and Parametric Design for Cross Shaft Universal Coupling CAD System  

Directory of Open Access Journals (Sweden)

Full Text Available In order to realize rapid custom design for cross shaft universal coupling products, enterprises need a parametric CAD system. On the basis of analyzing its functional requirements, this paper proposed the overall functional framework of cross shaft universal coupling CAD system, which mainly includes user management, product drawing, product design, document management and technical interface functional modules, etc. Based on UML modeling method, analyzed its use cases models, key class diagrams and activity diagrams of the CAD system. Then, by using Visual Basic 6.0 ActiveX Automation technology and SQL Server database technology, a parametric CAD software for cross shaft universal coupling was successfully developed, which has been used in enterprise’s design. Its application shows that the parametric CAD software is convenient to operate, and can rapidly realize parametric design of cross shaft universal coupling parts, so it helps to reduce the labor intensity of designers, and improve the quality and efficiency of design.

Yongming Wang

2012-09-01

95

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

Directory of Open Access Journals (Sweden)

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

Eduardo Batista de Moraes Barbosa

2011-05-01

96

Comparison of Class Inheritance and Interface Usage in Object Oriented Programming through Complexity Measures  

Directory of Open Access Journals (Sweden)

Full Text Available It is widely acknowledged that in software engineering, the usage of metrics at the initial phases of theobject oriented software can help designers to make better decisions. The quality of class diagrams couldbe a major determinant for the quality of the software product that is finally delivered. Quantitativemeasurements are useful to assess class diagram quality. Following this innovative thinking, two UMLclass diagrams are taken to measure the complexity and size. A set of metrics of complexity measures areused to measure the class diagrams. Seven known complexity measures are evaluated and compared forinheritance and interface usage in object oriented programming. Two UML class diagrams areintroduced with possible interfaces and measured the complexity metrics and a comparison has beenmade between the class inheritance and class interface usage through complexity measurements.

V. Krishnapriya

2010-12-01

97

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

Directory of Open Access Journals (Sweden)

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.

Redouane Esbai

2011-07-01

98

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

Directory of Open Access Journals (Sweden)

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.

Swagatika Dalai, Arup Abhinna Acharya, Durga Prasad Mohapatra

2012-05-01

99

Carroll Diagrams  

Science.gov (United States)

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

Team, Nrich

2012-01-01

100

Generating a Performance Stochastic Model from UML Specifications  

Directory of Open Access Journals (Sweden)

Full Text Available Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE is becoming a growing concern. The idea is to bring performance evaluation into the software design process. This suitable methodology allows software designers to determine the performance of software during design. Several approaches have been proposed to provide such techniques. Some of them propose to derive from a UML (Unified Modeling Language model a performance model such as Stochastic Petri Net (SPN or Stochastic process Algebra (SPA models. Our work belongs to the same category. We propose to derive from a UML model a Stochastic Automata Network (SAN in order to obtain performance predictions. Our approach is more flexible due to the SAN modularity and its high resemblance to UML' state-chart diagram.

Ihab Sbeity

2011-01-01

 
 
 
 
101

Una Novedosa Herramienta CASE basada en Esquemas Preconceptuales para la Obtención Automática de Diagramas UML.  

Directory of Open Access Journals (Sweden)

Full Text Available Assistance is provided, in software development process, to Analysts in drawing UML diagrams and others by means of CASE tools. However, the task of the Stakeholder discourse understanding, a previous process in diagram drawing, is not supported by traditional CASE tools. In order to complete this task, Natural Language Processing has proposed a new kind of CASE tools, including both natural language interpretation and UML diagrams generation. We introduce, in this paper, UNC–Diagrammer, a novel CASE tool for graphically representing the Stakeholder discourse by means of Preconceptual Schemas. We also show that UNC-Diagrammer is capable of automatically transforming Pre-conceptual Schemas into three UML 2.0 diagrams. We finally demonstrate the use of UNC–Diagrammer through an example.

Carlos Zapata

2007-09-01

102

Systematic Review on Aspect-oriented UML Modeling: A Complete Aspectual UML Modeling Framework  

Directory of Open Access Journals (Sweden)

Full Text Available This study presented a systematic review on Aspect-Oriented Modeling by using UML, which is the popular and well-established modeling language in the industry. Further, the Aspect-Orientation is a complement for Object-Orientation. Thus, it would be natural to investigate the adaptability of UML to Aspect-Orientation. Our research questions focused on investigating the Aspect-Oriented UML (AOUML approaches based on the literature and for having the benefits of a complete framework for AOUML. The objective of this study was to systematically identify and analyze the Aspect-Oriented Modeling approaches using UML. Therefore, a systematic literature review has been carried out on the existing studies published in the conferences, proceedings and journals. Based on the review, it is evident that the complexity and size systems have grown up, which accumulatively led to the manifestation of new concerns. Moreover, these new concerns that have arrived onboard have cut-cross other concerns and core classes in the system by its nature. Due to this fact, the concept of Advance Separation of Concerns (ASoC has been put on the table of discussions and the need for an approach to model and represent these crosscutting concerns (Aspect, which is responsible for producing, spreading and tangling representation, throughout the development of life cycle, which is vital and this is considered to be our motivation of systematic review of Aspectual UML modeling. As a result, we have searched the proper databases using the suitable keywords, which match our research questions; we have also collected 468 studies and screened them to minimize the number of studies to 73, which are more appropriate for the present study.

Noorazean Mohd Ali

2013-01-01

103

Risk Analysis Model Using UML and MADS Model  

Directory of Open Access Journals (Sweden)

Full Text Available The purpose of this paper is to propose a model of risk analysis which combines two tools belonging to a different context. These both tools are MADS (Model of Analysis of Dysfunctional Systems and UML (Unified Model Language. The proposed method aims to integrate UML language, especially the collaboration diagram, in the MADS model. We represent the danger source system of MADS model with the collaboration diagram in order to define and model the scenarios of risk. The application of this method is illustrated with an example of a storage unit of chemicals. On the one hand, the proposed model provides a comprehensive view that facilitates the understanding of the organization of an industrial system, and on the another hand, it leads to more effective analysis of risks taking into account the interactions between the system components.

Hafida Bouloiz

2011-12-01

104

Combining Contextual and Lexical Features to Classify UMLS Concepts  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Semantic classification is important for biomedical terminologies and the many applications that depend on them. Previously we developed two classifiers for 8 broad clinically relevant classes to reclassify and validate UMLS concepts. We found them to be complementary, and then combined them using a manual approach. In this paper, we extended the classifiers by adding an “other” class to categorize concepts not belonging to any of the 8 classes. In addition, we focused on automating the m...

Fan, Jung-wei; Friedman, Carol

2007-01-01

105

From UML Specification into Implementation using Object Mapping  

CERN Multimedia

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

Ibrahim, Rosziati

2010-01-01

106

Extended sequence diagram for human system interaction  

Energy Technology Data Exchange (ETDEWEB)

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.

Hwang, Jong Rok; Choi, Sun Woo; Ko, Hee Ran; Kim, Jong Hyun [KEPCO International Nuclear Graduate School, Ulsan (Korea, Republic of)

2012-10-15

107

UML-ising formal techniques  

DEFF Research Database (Denmark)

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 Modeling Language [10,67,36,20] has caused, for one reason or another, the research community to try formalise one or another facet of UML. In this paper we report on another way to achieve what UML attempts to achieve: Broadness of application, convenience of notation, and multiplicity of views. Whether 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 development techniques, one that can be believably deployed for as wide a spectrum, or even a wider spectrum of software (and hardware) development, as, respectively than UML.

Bjørner, Dines; George, Chris W.

2004-01-01

108

???????????????? The Homeomorphic Class number of Graphlike Manifold with Contraction Round Diagrams  

Directory of Open Access Journals (Sweden)

Full Text Available ???????n??????????????Wn ??????????Wn*???????????Matlab????Wn*?????????????????????????Wn*????????????????n???Burnside??????Wn*?????????????? This article obtains the number of homeomorphic class of Wn*  by means of classification for some natural numbers n. It uses Matlab to compute the adjoint matrix of  Wn* and calculate the number of characteristic polynomial

???

2012-07-01

109

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

Directory of Open Access Journals (Sweden)

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.

Mohamed Benmohammed

2010-10-01

110

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

Directory of Open Access Journals (Sweden)

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.

Tero Arpinen

2009-01-01

111

Transforming Functional Requirements from UML into BPEL to Efficiently Develop SOA-Based Systems  

Science.gov (United States)

The intended behavior of any system such as services, tasks or functions can be captured by functional requirements of the system. As our dependence on online services has grown steadily, the web applications are being developed employing the SOA. BPEL4WS provides a means for expressing functional requirements of an SOA-based system by providing constructs to capture business goals and objectives for the system. In this paper we propose an approach for transforming user-centered requirements captured using UML into a corresponding BPEL specification, where the business processes are captured by means of use-cases from which UML sequence diagrams and activity diagrams are extracted. Subsequently these UML models are mapped to BPEL specifications that capture the essence of the initial business requirements to develop the SOA-based system by employing CASE tools. A student housing system is used as a case study to illustrate this approach and the system is validated using NetBeans.

Vemulapalli, Anisha; Subramanian, Nary

112

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models  

Directory of Open Access Journals (Sweden)

Full Text Available The use of the UML specification language for modelling dynamic behaviors of systems is very widespread. UML Statecharts and Collaboration diagrams are widely used to model dynamic behaviors of systems. However, the lack of firm semantics for the UML modeling notations makes the detection of behavioral inconsistencies difficult in the initial phases of development. The use of formal methods makes such error detection possible but the learning cost is high. Integrating UML with a suitable formal notation is a promising approach that makes UML more precise and amenable to rigorous analysis. In this paper, we present the benefits of a similar approach that is the integration of UML Statechart and Collaboration diagrams and Colored Petri Nets models. The result is an automated approach and a tool environment that formally transforms dynamic behaviors of systems expressed using UML models into their equivalent Colored Petri Nets models for analysis purposes. To make the analysis easier, the obtained models are used to generate automatically their equivalent description in the input language of the INA Petri net analyzer. The approach is based on Graph Transformation and the Meta-Modeling tool ATOM3 is used. The approach is illustrated through an example.

Ouassila Labbani

2010-11-01

113

Data information system to promote the organization data of collections - modeling considerations by the Unified Modelign Language (UML)  

Scientific Electronic Library Online (English)

Full Text Available SciELO Brazil | Language: English Abstract in portuguese Pode-se afirmar que a evolução tecnológica (desenvolvimento de novos instrumentos de medição como, softwares, satélites e computadores, bem como, o barateamento das mídias de armazenamento) permite às Organizações produzirem e adquirirem grande quantidade de dados em curto espaço de tempo. Devido ao [...] volume de dados, Organizações de pesquisa se tornam potencialmente vulneráveis aos impactos da explosão de informações. Uma solução adotada por algumas Organizações é a utilização de ferramentas de sistemas de informação para auxiliar na documentação, recuperação e análise dos dados. No âmbito científico, essas ferramentas são desenvolvidas para armazenar diferentes padrões de metadados (dados sobre dados). Durante o processo de desenvolvimento destas ferramentas, destaca-se a adoção de padrões como a Linguagem Unificada de Modelagem (UML, do Inglês Unified Modeling Language), cujos diagramas auxiliam na modelagem de diferentes aspectos do software. O objetivo deste estudo é apresentar uma ferramenta de sistemas de informação para auxiliar na documentação dos dados das Organizações por meio de metadados e destacar o processo de modelagem de software, por meio da UML. Será abordado o Padrão de Metadados Digitais Geoespaciais, amplamente utilizado na catalogação de dados por Organizações científicas de todo mundo, e os diagramas dinâmicos e estáticos da UML como casos de uso, sequências e classes. O desenvolvimento das ferramentas de sistemas de informação pode ser uma forma de promover a organização e a divulgação de dados científicos. No entanto, o processo de modelagem requer especial atenção para o desenvolvimento de interfaces que estimularão o uso das ferramentas de sistemas de informação. Abstract in english 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.

Eduardo Batista de Moraes, Barbosa; Galeno José de, Sena.

114

Integration of a standard gastrointestinal endoscopy terminology in the UMLS Metathesaurus.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

MST(c), a standard terminology for gastrointestinal endoscopy reporting, was integrated in the January 2002 UMLS Metathesaurus in order to ease the practical interoperability of clinical data repositories in gastroenterology. The integration required full specification of names, resolution of discrepancies between English, French and Italian versions of MST, appropriate categorization with UMLS Semantic Types and MST-level Class attributes, assignment of explicit intra-table (and some useful ...

Tringali, Michele; Hole, William T.; Srinivasan, Suresh

2002-01-01

115

Testing and the UML. A perfect fit  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Testing activities that are based on models are becoming increasingly popular. UML models represent specification documents which provide the ideal basis for deriving test cases. They are even more valuable if UML tools are used that support the automatic test case generation. This report presents a summary of model-based testing techniques and test modeling techniques. These are the two fundamental aspects of testing with the UML. The first is concerned with deriving test information out of ...

Groß, H. -g

2003-01-01

116

QuantUM: Quantitative Safety Analysis of UML Models  

Directory of Open Access Journals (Sweden)

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.

Florian Leitner-Fischer

2011-07-01

117

QuantUM: Quantitative Safety Analysis of UML Models  

CERN Multimedia

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

Leitner-Fischer, Florian; 10.4204/EPTCS.57.2

2011-01-01

118

Software Architecture modeling framework using UML  

Directory of Open Access Journals (Sweden)

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.

R. Aroul canessane

2013-04-01

119

Aspect-Oriented Subprogram Synthesizes UML Sequence Diagrams  

Science.gov (United States)

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

Barry, Matthew R.; Osborne, Richard N.

2006-01-01

120

Bregman Voronoi diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Voronoi diagram of a finite set of objects is a fundamental geometric structure that subdivides the embedding space into regions, each region consisting of the points that are closer to a given object than to the others. We may define various variants of Voronoi diagrams depending on the class of objects, the distance function and the embedding space. In this paper, we investigate a framework for defining and building Voronoi diagrams for a broad class of distance functions called Bregman...

Boissonnat, Jean-daniel; Nielsen, Frank; Nock, Richard

2010-01-01

 
 
 
 
121

UML no desenvolvimento de sistemas interactivos  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Os processos típicos de análise e modelação de sistemas numa perspectiva de engenharia de software atribuem pouca importância à modelação da camada interactiva. O Unified Process e a linguagem que o suporta (UML) não são excepção. Este artigo propõe uma abordagem, que procura integrar a modelação da camada interactiva no processo de modelação típico baseado em UML, explorando as potencialidades fornecidas pela linguagem.

Ribeiro, Anto?nio Nestor; Campos, J. Creissac

2006-01-01

122

Goal sketching with activity diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Goal orientation is acknowledged as an important paradigm in requirements engineering. The structure of a goal-responsibility model provides opportunities for appraising the intention of a development. Creating a suitable model under agile constraints (time, incompleteness and catching up after an initial burst of creativity) can be challenging. Here we propose a marriage of UML activity diagrams with goal sketching in order to facilitate the production of goal responsibility models under the...

Boness, Kenneth Duncan; Harrison, Rachel

2008-01-01

123

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

International Nuclear Information System (INIS)

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

2007-10-01

124

Characterizing Communication Channel Deadlocks in Sequence Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

UML sequence diagrams (SDs) are a mainstay of requirements specifications for communication protocols. Mauw and Reniers' algebraic (MRA) semantics formally specifies a behaviour for these SDs that guarantees deadlock free processes. Practitioners commonly use communication semantics that differ from MRA, which may result in deadlocks. For example FIFO, token ring, etc. We define a process algebra that is an extension of the MRA semantics for regular sequence diagrams. Our algebra can descr...

Mitchell, Bill

2008-01-01

125

Uml Alanysis For Quality Assurance Management System for Higher Education  

Directory of Open Access Journals (Sweden)

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.

Mahmud Kandel

2010-04-01

126

Clock Constraints in UML/MARTE CCSL  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and offers a broad range of capabilities required to model RTE systems including both discrete/dense and chronometric/logical time. MARTE OMG specification introduces a Time Structure inspired from Time models of the concurrency theory and proposes a new Clock Constraint Specification Lan...

2008-01-01

127

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

Science.gov (United States)

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

Poretti, E.; Suárez, J. C.; Niarchos, P. G.; Gazeas, K. D.; Manimanis, V. N.; van Cauteren, P.; Lampens, P.; Wils, P.; Alonso, R.; Amado, P. J.; Belmonte, J. A.; Butterworth, N. D.; Martignoni, M.; Martín-Ruiz, S.; Moskalik, P.; Robertson, C. W.

2005-09-01

128

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

CERN Multimedia

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

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

2005-01-01

129

A UML-based Instructional Modeling Language  

Directory of Open Access Journals (Sweden)

Full Text Available This article presents our results about an exploratory research work on the potential add-ons of the UML formalism for the design and implementation of distant learning situations. Our work focus on the specific Problem-Based Learning situations but could be suitable for other learning theories and approaches. Then we propose the CPM language based on a UML profile specialization in order to describe instructional design models upstream formal ones specified with standards like IMS-LD. Our language is implemented within an existent UML-CASE tool which has been customized in order to experiment end-users (instructional designers facilities for the creation/support/maintenance of CPM models. The language has been tested on a complete case-study. We also briefly present and discuss additional works extending our contribution beyond the design stage. From these results, we stress the potentials of a Model-Driven instructional approach.

Christian SALLABERRY

2005-01-01

130

A Case Study for HRT-UML  

Science.gov (United States)

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

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

131

Towards Automatic Transformation from UML Model to FSM Model for Web Applications  

Directory of Open Access Journals (Sweden)

Full Text Available The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method.

Xi Wang

2008-12-01

132

The use of UML to design agricultural data warehouses  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Recent research works propose to use the Unified Modeling Language (UML) to design datawarehouses. First, the paper overviews these recent UML-based techniques. We show that UML can help system designers to build a data warehouse model. This type of model aims to describe the different analysis dimensions of the data. Second, we will also present different UML-based tools used during a project of agricultural data warehouse. The paper will introduce this data warehouse developed in France. It...

Pinet, F.; Miralles, A.; Bimonte, S.; Vernier, F.; Carluer, N.; Gouy, V.; Bernard, S.

2010-01-01

133

Semantics of UML: Towards a System Model for UML -- The Control Model  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The document introduces the control part of a system model targeted at UML 2.0. This control model is the second of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität München (Munich, Germany) and the Technische Universität Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany). The long term goal is the definition of a formal semantics for structure, behaviour and interaction of object-o...

2014-01-01

134

Semantics of UML: Towards a System Model for UML --The Structural Data Model  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The document introduces the structural part of a system model targeted at UML 2.0.This structural data model is the begin of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität Muenchen (Munich, Germany) and the Technische Universitaet Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany).The long term goal is the definition of a formal semantics for structure, behaviour and interaction of ...

2014-01-01

135

Semantics of UML: Towards a System Model for UML -- The State Machine Model  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The document introduces the control part of a system model targeted at UML 2.0. This control model is the last of a series of results of a project on the formal foundation of UML, carried out by the Queen's University (Kingston, Canada), the Technische Universität München (Munich, Germany) and the Technische Universität Carolo-Wilhelmina zu Braunschweig (Braunschweig, Germany). The long term goal is the definition of a formal semantics for structure, behaviour and interaction of object-ori...

2014-01-01

136

Executable HybridUML Semantics.A Transformation Definition.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This thesis contributes to the development of hybrid systems. For the particular specification formalism HybridUML, a formally defined transformation Phi of HybridUML models into executable low-level models is defined. The resulting low-level models have a formal semantics, therefore by Phi, this formal semantics is assigned to the corresponding HybridUML models. As a result, there is no inconsistency between the HybridUML specification of a hybrid system and its implementation. HybridUML is ...

2005-01-01

137

Some Rules to Transform Activity Diagrams into Colored Petri Nets  

Directory of Open Access Journals (Sweden)

Full Text Available This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Activity Diagram (AD into a Colored Petri Net (CPN. ADs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation to Petri nets is to use the theoretical results in the Petri nets domain to analyze the equivalent Petri nets and infer properties of the original workflow. Thus, non-technical stakeholders are able to discuss and validate the captured requirements. The usage of this model is an important topic , since it permits the user to discuss the system behavior using the problem domain language. A small control application from industry is used to show the applicability of the suggested rules.

Bhawana Agarwal

2012-11-01

138

Executing AADL models with UML/Marte  

Digital Repository Infrastructure Vision for European Research (DRIVER)

AADL and MARTE are two modeling formalisms supporting the analysis of real-time embedded systems. Since both cover similar aspects, a clear assessment of their respective strength and weakness is required. Building on previous works, we focus here on the time aspects of the two specifications. Relying on the MARTE Time Model and the operational semantics of its companion language CCSL we attempt to equipped UML activities with the execution semantics of an AADL specification. This is part of ...

2009-01-01

139

An Automated Process for Designing UML Profiles  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Building a UML profile may be a tedious and error-prone process. There is no precise methodology to guide the process or to verify that all concepts have been implemented once and only once. Best practices recommend starting by gathering concepts in a technology-independent domain view before implementation. Still, the adequation between the domain view and the implementation should be verified. This paper proposes an automatic process to transform a domain model into a profile-based implemen...

Lagarde, Franc?ois; Mallet, Fre?de?ric; Andre?, Charles; Ge?rard, Se?bastien; Terrier, Franc?ois

2008-01-01

140

Auditing the UMLS for redundant classifications.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The UMLS's Semantic Network (SN) serves as a valuable abstraction for the underlying concept repository called the Metathesaurus (META). Specifically, the SN forms a classification layer for the META, with each of the META's constituent concepts assigned to one or more semantic types in the SN. The rule in the design of the SN is to have concepts explicitly assigned to the lowest possible semantic types in the SN's IS-A hierarchy. Implicit assignment to higher semantic types can be inferred v...

Peng, Yi; Halper, Michael H.; Perl, Yehoshua; Geller, James

2002-01-01

 
 
 
 
141

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

Directory of Open Access Journals (Sweden)

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.

Siamak Khaksar Haghani

2014-06-01

142

A UML profile for code generation of component based distributed systems  

International Nuclear Information System (INIS)

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

2011-10-10

143

Reliability computation from reliability block diagrams  

Science.gov (United States)

Computer program computes system reliability for very general class of reliability block diagrams. Four factors are considered in calculating probability of system success: active block redundancy, standby block redundancy, partial redundancy, and presence of equivalent blocks in the diagram.

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

1975-01-01

144

UML Modeling and Parametric Design for Cross Shaft Universal Coupling CAD System  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In order to realize rapid custom design for cross shaft universal coupling products, enterprises need a parametric CAD system. On the basis of analyzing its functional requirements, this paper proposed the overall functional framework of cross shaft universal coupling CAD system, which mainly includes user management, product drawing, product design, document management and technical interface functional modules, etc. Based on UML modeling method, analyzed its use cases models, key class diag...

2012-01-01

145

A UML PROFILES FOR VIEWPOINT-ORIENTED MODELING  

Directory of Open Access Journals (Sweden)

Full Text Available The viewpoint-oriented modeling consists in providing an unique modelaccessible by users with various access rights according to their needs. The system isrepresented as sub-systems (called sub-models. This cutting makes the design of systemeasier by an autonomous design of its sub-systems.UML is a standard modeling language and supports extension mechanism to allowtailoring UML to fit the needs of a specific domain. UML Profile is a predefined set ofextension mechanisms. UML profile allows the stakeholders of a certain domain to expressthe semantics of their systems using a well-defined set of extensions. In this paper wepropose an initial discussion on UML profile for viewpoint oriented modeling, whichextends the standard UML by incorporating new concepts like views, viewpoints, flexible,visibility relationships, etc.

Abdellatif Hair

2012-07-01

146

Some user requirements of a remote reactor control analysed with UML tools  

International Nuclear Information System (INIS)

In this paper, we are dealing with remote participation in fusion experiments. The common problem of these different collaboration projects is the interactivity lack of the distant user. At the moment, remote participation in fusion experiments is still needed in the specification and analysis phases. In this context, tools which can identify the sub-systems involved and outside actors properly, and the dynamic views of the communications through use cases is very useful. We have experimented on Unified Modeling Language (UML) and found that it provides powerful diagrams for the conception of the future virtual control room

2007-04-01

147

CCSL: specifying clock constraints with UML/MARTE  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Object Management Group (OMG) Unified Modeling Manguage (UML) profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) aims at using the general-purpose modeling language UML in the domain of Real-Time and Embedded (RTE) systems. To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which MARTE model elements can rely on to build precise models amenable to formal analysis. The MARTE Time model has define...

Mallet, Fre?de?ric

2008-01-01

148

On the semantics of UML/Marte Clock Constraints  

Digital Repository Infrastructure Vision for European Research (DRIVER)

UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in their domain specific profiles. In the UML Profile for Modeling and Analysis of Real-Time and Embedded systems, we have defined a broadly expressive Time Model to provide a generic timed interpretation for UML models. Our clock constraint specification language supports the specification of systems with multiple clock domain...

2009-01-01

149

UML/MARTE CCSL, Signal and Petri nets  

Digital Repository Infrastructure Vision for European Research (DRIVER)

UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in their domain specific profiles. In the UML Profile for Modeling and Analysis of Real-Time and Embedded systems, we have defined a broadly expressive Time Model to provide a generic timed interpretation for UML models. Our clock constraint specification language supports the specification of systems with multiple clock domain...

2008-01-01

150

Auditing SNOMED Integration into the UMLS for Duplicate Concepts  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

2010-01-01

151

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In this paper, we formally define Test Case Sequence Diagrams (TCSD) as an easy-to-use means to specify test cases for components including timing constraints. These test cases are modeled using the UML2 syntax and can be specified by standard UML-modeling-tools. In a component-based design an early identification of errors can be achieved by a virtual integration of components before the actual system is build. We define such a procedure which integrates the individual test...

Sieverding, Sven; Ellen, Christian; Battram, Peter

2013-01-01

152

Concepts and Synonymy in the UMLS Metathesaurus  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper advances a detailed exploration of the complex relationships among terms, concepts, and syn­onymy in the UMLS (Uni?ed Medical Language System) Metathesaurus, and proposes the study and under­standing of the Metathesaurus from a model-theoretic perspective. Initial sections provide the background and motivation for such an approach, and a careful informal treatment of these notions is offered as a con­text and basis for the formal analysis. What emerges from this is a set of pu...

Merrill, Gary H.

2009-01-01

153

Towards Clone Detection in UML Domain Models  

DEFF Research Database (Denmark)

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 of our approach. While we believe that our approach advances the state of the art significantly, it is restricted to UML models, its results leave room for improvements, and there is no validation by field studies.

Störrle, Harald

2013-01-01

154

Feynman Diagrams and Rooted Maps  

CERN Document Server

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.

Prunotto, A; Czerski, P

2013-01-01

155

Designing role-based access control policies with UML  

Directory of Open Access Journals (Sweden)

Full Text Available The paper analyses role-based access control (RBAC and two methodologies, namely SecureUML and UMLsec, aiming for designing RBAC policies. The features of both methodologies are represented and compared by modeling the specific system, with special attention to how RBAC policies and principles are modeled using SecureUML and UMLsec

L. Radvilavicius

2009-01-01

156

Using Unified Modelling Language (UML) as a process-modelling technique for clinical-research process improvement.  

Science.gov (United States)

The Primary Care Data Quality programme (PCDQ) is a quality-improvement programme which processes routinely collected general practice computer data. Patient data collected from a wide range of different brands of clinical computer systems are aggregated, processed, and fed back to practices in an educational context to improve the quality of care. Process modelling is a well-established approach used to gain understanding and systematic appraisal, and identify areas of improvement of a business process. Unified modelling language (UML) is a general purpose modelling technique used for this purpose. We used UML to appraise the PCDQ process to see if the efficiency and predictability of the process could be improved. Activity analysis and thinking-aloud sessions were used to collect data to generate UML diagrams. The UML model highlighted the sequential nature of the current process as a barrier for efficiency gains. It also identified the uneven distribution of process controls, lack of symmetric communication channels, critical dependencies among processing stages, and failure to implement all the lessons learned in the piloting phase. It also suggested that improved structured reporting at each stage - especially from the pilot phase, parallel processing of data and correctly positioned process controls - should improve the efficiency and predictability of research projects. Process modelling provided a rational basis for the critical appraisal of a clinical data processing system; its potential maybe underutilized within health care. PMID:17365645

Kumarapeli, P; De Lusignan, S; Ellis, T; Jones, B

2007-03-01

157

FPGA Implementations of Ladder Diagrams  

Directory of Open Access Journals (Sweden)

Full Text Available The performance of programmable logic controllers is often constrained by the microprocessor and the real-time firmware of the controller. Field programmable gate arrays (FPGAs are an attractive potential implementation medium for high-speed control because of their fast and parallel execution and programmable nature. Ladder Diagrams are a standard graphical programming method for industrial controllers, but compilers from Ladder Diagrams to FPGA hardware do not yet exist. This paper explores the comparative speed of four different classes of FGPA implementation of Ladder Diagrams - Interpreted Software, Compiled Software, Interpreted Hardware and Compiled Hardware. It also explores parallel versus serial execution of Ladder Diagrams in hardware, and identifies timers as a major resource user in parallel implementations. Overall, a Shared Timer Serial Compiled Hardware system for FPGA implementation of Ladder Diagrams is recommended. Using comparable FPGA resources to other alternatives it provides a 20-600 times speed improvement over other solutions whilst maintaining correct Ladder Diagram semantics.

Neil William Bergmann

2013-02-01

158

A aplicação da Linguagem de Modelagem Unificada (UML para o suporte ao projeto de sistemas computacionais dentro de um modelo de referência The application of UML to support computational systems design within a reference model framework  

Directory of Open Access Journals (Sweden)

Full Text Available O desenvolvimento de sistemas automatizados de informações, que apóiam as atividades de projeto e manufatura de produtos, deve seguir um modelo como referência para permitir uma melhor compatibilidade e portabilidade de tais sistemas, principalmente quando inseridos num ambiente integrado de engenharia concorrente. Este artigo demonstra como a Linguagem de Modelagem Unificada (UML pode ser aplicada em conjunto com o Modelo de Referência para Processamento Distribuído Aberto (ISO/RM-ODP, para o apoio ao desenvolvimento de sistemas de informações orientados a objetos. Enquanto o RM-ODP oferece um padrão para representação de diferentes pontos de vistas de tais sistemas, a UML é utilizada como notação para representação de cada uma destas vistas. Um processo baseado em Use Cases é empregado para apoiar a evolução da representação das informações dentro deste modelo de referência. O ambiente de projeto de moldes de injeção é utilizado como exemplo para ilustração dos diagramas da UML.The development of information systems to support design and manufacturing activities should follow a reference model in order to be compatible with major systems architectures. RM-ODP (Reference Model Open Distributed Processing provides five level viewpoints against which information systems development can be compared and classified. The RM-ODP does not dictate how the information system should be designed and implemented. Rather it highlights the content of the essential views of the system, which must be considered and hence facilitates comparison of alternatives systems. In contrast, computational methodologies provide ways to design and build information systems but usually do not take reference models into consideration. This paper shows how reference models and computational methodologies can be used in harmony, and demonstrates this through the application of a Use Case and UML combined methodology across the RM-ODP viewpoints. Injection mould design is used as an example to the UML representation diagrams.

Carlos Alberto Costa

2001-04-01

159

Venn diagrams  

Science.gov (United States)

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

National Science Digital Library (NSDL) Middle School Portal Staff

2008-03-10

160

Formalisation of the UML Profile for SDL - A Case Study  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

2006-01-01

 
 
 
 
161

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

Science.gov (United States)

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.

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

2002-07-01

162

Stochastic diagrams and Feynman diagrams  

International Nuclear Information System (INIS)

We study the relationship between ordinary perturbation theory and perturbation theory obtained from stochastic quantization. We give a simple proof that, except in gauge theories, the several stochastic diagrams of a given topology are together equivalent to the corresponding Feynman diagram. Our analysis is presented in Minkowski space, but most of it may readily be adapted to euclidean space. The field propagator may be a non-diagonal matrix, such as is the case in real-time thermal field theory. We present a new version of the Langevin equation which directly reproduces the usual axial-gauge perturbation theory. Otherwise, we find that for gauge theories the relationship between ordinary and stochastic perturbation theory is not simple, and we present a recursive method of reconstructing Feynman diagrams from stochastic diagrams, without the need explicitly to introduce ghost fields. We consider both the original Parisi-Wu version of the Langevin equation, and Zwanziger's modified version with its stochastic gauge-fixing term. (orig.)

1985-10-28

163

Using UML Protocol State Machines in Conformance Testing of Components  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In previous works we designed a comprehensive approach for conformance testing based on UML behavioral state machines. In this paper we propose two extensions to this approach. First, we apply our approach in the context of a component-based development, and address the problem of checking the interoperability of two connected components. Second, we address the problem of selecting relevant input sequences. Therefore we use UML protocol state machines to specify restricted environment models....

Seifert, Dirk; Souquie?res, Jeanine

2008-01-01

164

Transforming UML 'Collaborating' Statecharts for Verification and Simulation  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Bobbie, Patrick O.; Yiming Ji; Lusheng Liang

2003-01-01

165

Overcoming an Obstacle in Expanding a UMLS Semantic Type Extent  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper strives to overcome a major problem encountered by a previous expansion methodology for discovering concepts highly likely to be missing a specific semantic type assignment in the UMLS. This methodology is the basis for an algorithm that presents the discovered concepts to a human auditor for review and possible correction. We analyzed the problem of the previous expansion methodology and discovered that it was due to an obstacle constituted by one or more concepts assigned the UML...

2012-01-01

166

Representing genomic knowledge in the UMLS semantic network.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Genomics research has a significant impact on the understanding and treatment of human hereditary diseases, and biomedical literature concerning the genome project is becoming more and more important for clinicians. The Unified Medical Language System (UMLS) is designed to facilitate the retrieval and integration of information from multiple-readable biomedical information resources. This paper describes our efforts to integrate concepts important to genomics research with the UMLS semantic n...

1999-01-01

167

The UMLS® Semantic Network and the Semantic Web  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System® (UMLS®) , an extensive source of biomedical knowledge developed and maintained by the US National Library of Medicine (NLM) is being currently used in a wide variety of biomedical applications. The Semantic Network, a component of the UMLS is a structured description of core biomedical knowledge consisting of well defined semantic types and relationships between them. We investigate the expressiveness of DAML+OIL, a markup language proposed for ontologie...

2003-01-01

168

UMLS Language and Vocabulary Tools: AMIA 2003 Open Source Expo  

Digital Repository Infrastructure Vision for European Research (DRIVER)

A variety of resources developed for use with the Unified Medical Language System® are presented. These resources include the UMLS Knowledge Source Server, the SPECIALIST lexicon®, a set of lexical tools that work with the SPECIALIST lexicon, and a variety of other NLP document processing tools. These tools manage lexical variation, tokenize and parse text strings, suggest spelling variants, and provide text -to-concept mapping capabilities. The UMLS Knowledge Source Server is available und...

2003-01-01

169

Coverage of patient safety terms in the UMLS Metathesaurus  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The integration and large-scale analyses of medical error databases would be greatly facilitated by the use of a standard terminology. We investigated the availability in the UMLS metathesaurus of concepts that are required for coding patient safety data. Terms from three proprietary patient safety terminologies were mapped to the concepts in UMLS by an automated mapping program developed by us. From these candidate mappings, the concept that matched its corresponding term was selected manual...

Boxwala, Aziz A.; Zeng, Qing T.; Chamberas, Anthony; Sato, Luke; Dierks, Meghan

2003-01-01

170

The Role of ¨Roles¨ in Use Case Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Use cases are the modeling technique of UML for formalizing the functional requirements placed on systems. This technique has limitations in modeling the context of a system, in relating systems involved in a same business process, in reusing use cases, and in specifying various constraints such as execution constraints between use case occurrences. These limitations can be overcome to some extent by the realization of multiple diagrams of various types, but with unclear relationships between...

Wegmann, Alain; Genilloud, Guy

2000-01-01

171

Semantic mappings and locality of nursing diagnostic concepts in UMLS.  

Science.gov (United States)

One solution for enhancing the interoperability between nursing information systems, given the availability of multiple nursing terminologies, is to cross-map existing nursing concepts. The Unified Medical Language System (UMLS) developed and distributed by the National Library of Medicine (NLM) is a knowledge resource containing cross-mappings of various terminologies in a unified framework. While the knowledge resource has been available for the last two decades, little research on the representation of nursing terminologies in UMLS has been conducted. As a first step, UMLS semantic mappings and concept locality were examined for nursing diagnostic concepts or problems selected from three terminologies (i.e., CCC, ICNP, and NANDA-I) along with corresponding SNOMED CT concepts. The evaluation of UMLS semantic mappings was conducted by measuring the proportion of concordance between UMLS and human expert mappings. The semantic locality of nursing diagnostic concepts was assessed by examining the associations of select concepts and the placement of the nursing concepts on the Semantic Network and Group. The study found that the UMLS mappings of CCC and NANDA-I concepts to SNOMED CT were highly concordant to expert mappings. The level of concordance in mappings of ICNP to SNOMED CT, CCC and NANDA-I within UMLS was relatively low, indicating the need for further research and development. Likewise, the semantic locality of ICNP concepts could be further improved. Various stakeholders need to collaborate to enhance the NLM knowledge resource and the interoperability of nursing data within the discipline as well as across health-related disciplines. PMID:21951759

Kim, Tae Youn; Coenen, Amy; Hardiker, Nicholas

2012-02-01

172

TGGs for Transforming UML to CSP : Contribution to the AGTIVE 2007 Graph Transformation Tools Contest  

DEFF Research Database (Denmark)

Along with the AGTIVE 2007 conference, a Graph Transformation Tools Contenst invited tool implementers to present their solutions in order to compare the principles and particular strengths and weaknesses of today's graph transformation tools. This paper documents our contribution to the Tools Contest. The second transformation problem, a transformation from UML activity diagrams to CSP processes, i.e. a transformation between two models, is a typical application for Triple Graph Grammars (TGGs). We present our contributed solution, presenting the TGG rules and the implementation of our TGG interpreter. Moreover, we point out the advantages of our soulution as well as some restrictions of the current implementation. This paper will only briefly state the transformation problem and focus on our TGG approach and the discussion of the rules.

Greenyer, Joel; Kindler, Ekkart

2008-01-01

173

Describing different brain computer interface systems through a unique model: a UML implementation.  

Science.gov (United States)

All the protocols currently implemented in brain computer interface (BCI) experiments are characterized by different structural and temporal entities. Moreover, due to the lack of a unique descriptive model for BCI systems, there is not a standard way to define the structure and the timing of a BCI experimental session among different research groups and there is also great discordance on the meaning of the most common terms dealing with BCI, such as trial, run and session. The aim of this paper is to provide a unified modeling language (UML) implementation of BCI systems through a unique dynamic model which is able to describe the main protocols defined in the literature (P300, mu-rhythms, SCP, SSVEP, fMRI) and demonstrates to be reasonable and adjustable according to different requirements. This model includes a set of definitions of the typical entities encountered in a BCI, diagrams which explain the structural correlations among them and a detailed description of the timing of a trial. This last represents an innovation with respect to the models already proposed in the literature. The UML documentation and the possibility of adapting this model to the different BCI systems built to date, make it a basis for the implementation of new systems and a mean for the unification and dissemination of resources. The model with all the diagrams and definitions reported in the paper are the core of the body language framework, a free set of routines and tools for the implementation, optimization and delivery of cross-platform BCI systems. PMID:18607780

Quitadamo, Lucia Rita; Marciani, Maria Grazia; Cardarilli, Gian Carlo; Bianchi, Luigi

2008-01-01

174

Using UML to Model Web Services for Automatic Composition  

Directory of Open Access Journals (Sweden)

Full Text Available There is a great interest paid to the web services paradigm nowadays. One ofthe most important problems related to the web service paradigm is theautomatic composition of web services. Several frameworks have beenproposed to achieve this novel goal. The most recent and richest framework(model is the Colombo model. However, even for experienced developers,working with Colombo formalisms is low-level, very complex and timeconsuming.We propose to use UML (Unified Modeling Language to modelservices and service composition in Colombo. By using UML, the web servicedeveloper will deal with the high level graphical models of UML avoiding thedifficulties of working with the low-level and complex details of Colombo. To beable to use Colombo automatic composition algorithm, we propose torepresent Colombo by a set of related XML document types that can be abase for a Colombo language. Moreover, we propose the transformation rulesbetween UML and Colombo proposed XML documents. Next Colomboautomatic composition algorithm can be applied to build a composite servicethat satisfies a given user request. A prototypical implementation of theproposed approach is developed using Visual Paradigm for UML.

Amal Elgammal

2010-07-01

175

Analysis of System-Failure Rate Caused by Soft-Errors using a UML-Based Systematic Methodology in an SoC  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper proposes an analytical method to assess the soft-error rate (SER) in the early stages of a System-on-Chip (SoC) platform-based design methodology. The proposed method gets an executable UML (Unified Modeling Language) model of the SoC and the raw soft- error rate of different parts of the platform as its inputs. Soft-errors on the design are modeled by disturbances on the value of attributes in the classes of the UML model and disturbances on opcodes of software cores. The Dynamic ...

Di Carlo, Stefano; Prinetto, Paolo Ernesto; Benso, Alfredo; Di Natale, Giorgio

2007-01-01

176

Concrete and abstract Voronoi diagrams  

Energy Technology Data Exchange (ETDEWEB)

The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is to compute Voronoi diagrams quickly. The problem is that their structure depends on the notion of distance and the sort of site. In this book the author proposes a unifying approach by introducing abstract Voronoi diagrams. These are based on the concept of bisecting curves which are required to have some simple properties that are actually possessed by most bisectors of concrete Voronoi diagrams. Abstract Voronoi diagrams can be computed efficiently and there exists a worst-case efficient algorithm of divide-and-conquer type that applies to all abstract Voronoi diagrams satisfying a certain constraint. The author shows that this constraint is fulfilled by the concrete diagrams based no large classes of metrics in the plane.

Klein, R. (Universitat-Gesamthochschule Essen (DE))

1989-01-01

177

Application Of UML In Real-Time Embedded Systems  

Directory of Open Access Journals (Sweden)

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.

Aman Kaur

2012-04-01

178

Well-formedness and typing rules for UML Composite Structures  

CERN Document Server

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.

Dragomir, Iulia

2010-01-01

179

Transforming UML 'Collaborating' Statecharts for Verification and Simulation  

Directory of Open Access Journals (Sweden)

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.

Patrick O. Bobbie

2003-04-01

180

For-LySa: UML for Authentication Analysis  

DEFF Research Database (Denmark)

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 prototype implementation and report on some promising results of its use.

Buchholtz, Mikael; Montangero, Carlo

2005-01-01

 
 
 
 
181

The filtering mechanism to the service of the UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

L'objectif de cet article est de présenter une approche qui modélise et met en oeuvre par la suite un système logiciel avec différents langages en se basant sur la notion de points de vue. La norme définie par le langage UML oblige de formuler notre solution selon sa notation. Cependant, la visibilité offerte par ce dernier est insuffisante pour supporter l'aspect dynamique des points de vue. Pour palier ce problème nous avons défini un mécanisme de filtrage basé sur l'UML qui perme...

Sbihi, Boubker

2005-01-01

182

Polychronous Analysis of Timing Constraints in UML MARTE  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The UML Pro?le for Modeling and Analysis of Real-Time and Embedded systems (MARTE) de?nes a broadly expressive Time Model to provide a generic timed interpretation for UML models. As a part of MARTE, Clock Constraint Speci?cation Language (CCSL) allows the speci?cation 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 speci?ed in CCSL, and to gene...

2010-01-01

183

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System (UMLS) is the largest thesaurus in the biomedical informatics domain. Previous works have shown that knowledge constructs comprised of transitively-associated UMLS concepts are effective for discovering potentially novel biomedical hypotheses. However, the extremely large size of the UMLS becomes a major challenge for these applications. To address this problem, we designed a k-neighborhood Decentralization Labeling Scheme (kDLS) for the UMLS, and the corre...

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

2012-01-01

184

Modeliavimu grindžiamo UML ?ranki? ?skiepi? k?rimo metodika ir jos realizavimas  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This dissertation presents the principles and examples for building AMI for UML-based modeling environments. Modelers may use proposed AMI interface to extend UML modeling tools by modeling plug-ins using modeling tools itself. The work discusses four cases of AMI realization implemented in MagicDraw UML. Moreover, the proposed AMI implementation might be realized in other modeling tools that provide API and access to the model elements via standard UML metamodel interfaces. The ideas and res...

2011-01-01

185

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In this paper, we formally define Test Case Sequence Diagrams (TCSD) as an easy-to-use means to specify test cases for components including timing constraints. These test cases are modeled using the UML2 syntax and can be specified by standard UML-modeling-tools. In a component-based design an early identification of errors can be achieved by a virtual integration of components before the actual system is build. We define such a procedure which integrates the individual test cases of the comp...

Sven Sieverding; Christian Ellen; Peter Battram

2013-01-01

186

Towards a UML profile for software product lines.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper proposes a UML pro?le for software product lines. This pro?le includes stereotypes, tagged values, and structural constraints and it makes possible to de?ne PL models with variabilities. Product derivation consists in generating product models from PL models. The derivation should preserve and ensure a set of constraints which are speci?ed using the OCL.

Ziadi, Tewfik; He?loue?t, Loi?c; Je?ze?quel, Jean-marc

2003-01-01

187

Event Modeling in UML. Unified Modeling Language and Unified Process  

DEFF Research Database (Denmark)

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.

Bækgaard, Lars

2002-01-01

188

Rewriting and suppressing UMLS terms for improved biomedical term identification  

Directory of Open Access Journals (Sweden)

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 tool to apply these rules to the UMLS is freely available at http://biosemantics.org/casper.

Hettne Kristina M

2010-03-01

189

Postopek transakcije ruralnih zemljiš? v zapisu UML : UML notation for the rural land transaction procedure  

Directory of Open Access Journals (Sweden)

Full Text Available Nepremi?nine predstavljajo pomemben dejavnik družbene blaginje, zato pripisuje današnja družba veliko pozornosti nepremi?ninskim transakcijam, ki so pogosto zapleten postopek. Z namenom analiziratiosnovni potek nepremi?ninskih transakcij smo se pri nalogi osredoto?ili na ožje podro?je, to je na transakcije ruralnih zemljiš? v Sloveniji, kar omogo?a poenostavitev obravnavanega problema. Osnovni namen je izboljšati razumevanje delovanja zemljiškega trga, tudi z vidika vpletenih institucij. Cilj prispevka je med drugim prepoznati dejavnike, ki vplivajo na transakcije ruralnih zemljiš? in ki ovirajo razvoj zemljiškega trga, še posebno z organizacijskega vidika. Pravice, raba in posledi?no transakcije ruralnih zemljiš? kot nosilcev posebnih okoljskih, gospodarskihin družbenih funkcij so uravnani s strogimi sektorskimi zakoni in pravilniki države in lokalne skupnosti. Posebnosti transakcij ruralnih zemljiš?, ki vklju?ujejo kmetijska zemljiš?a, gozdove in kmetije, so po slovenski zakonodaji javna ponudba, zakonsko dolo?enprednostni red predkupnih upravi?encev in odobritev prodaje pristojne upravne enote. Omenjeni postopek prepre?uje neposredno komunikacijo med aktivnimi udeleženci zemljiškega trga, to je med prodajalci in kupci. Neposredna komunikacija predstavlja osnovnimehanizem u?inkovitega nepremi?ninskega trga in vpliva na odlo?ilni tržni sili, na ponudbo in povpraševanje. V prispevku je predstavljen postopek transakcije ruralnih zemljiš? z uporabo UML-zapisa.Poudarek je na dinami?ni naravi postopka prodaje ruralnih zemljiš?.

Anka Lisec

2007-01-01

190

Performance evaluation of enterprise architecture using fuzzy sequence diagram  

Directory of Open Access Journals (Sweden)

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.

Mohammad Atasheneh

2014-01-01

191

Methods of checking general safety criteria in UML statechart specifications  

International Nuclear Information System (INIS)

This paper describes methods and tools for safety analysis of UML statechart specifications. A comprehensive set of general safety criteria including completeness and consistency is applied in automated analysis. Analysis techniques are based on OCL expressions, graph transformations and reachability analysis. Two canonical intermediate representations of the statechart specification are introduced. They are suitable for straightforward implementation of checker methods and for the support of the proof of the correctness and soundness of the applied analysis. One of them also serves as a basis of the metamodel of a variant of UML statecharts proposed for the specification of safety-critical control systems. The analysis is extended to object-oriented specifications. Examples illustrate the application of the checker methods implemented by an automated tool-set

2005-01-01

192

MDA based-approach for UML Models Complete Comparison  

CERN Document Server

If a modeling task is distributed, it will frequently be necessary to integrate models developed by different team members. Problems occur in the models integration step and particularly, in the comparison phase of the integration. This issue had been discussed in several domains and various models. However, previous approaches have not correctly handled the semantic comparison. In the current paper, we provide a MDA-based approach for models comparison which aims at comparing UML models. We develop an hybrid approach which takes into account syntactic, semantic and structural comparison aspects. For this purpose, we use the domain ontology as well as other resources such as dictionaries. We propose a decision support system which permits the user to validate (or not) correspondences extracted in the comparison phase. For implementation, we propose an extension of the generic correspondence metamodel AMW in order to transform UML models to the correspondence model.

Chaouni, Samia Benabdellah; Mouline, Salma

2011-01-01

193

General Methodology for developing UML models from UI  

CERN Document Server

In recent past every discipline and every industry have their own methods of developing products. It may be software development, mechanics, construction, psychology and so on. These demarcations work fine as long as the requirements are within one discipline. However, if the project extends over several disciplines, interfaces have to be created and coordinated between the methods of these disciplines. Performance is an important quality aspect of Web Services because of their distributed nature. Predicting the performance of web services during early stages of software development is significant. In Industry, Prototype of these applications is developed during analysis phase of Software Development Life Cycle (SDLC). However, Performance models are generated from UML models. Methodologies for predicting the performance from UML models is available. Hence, In this paper, a methodology for developing Use Case model and Activity model from User Interface is presented. The methodology is illustrated with a case...

Reddy, Ch Ram Mohan; Srinivasa, K G; Kumar, T V Suresh; Kanth, K Rajani

2012-01-01

194

A meta-language for UML concrete graphical syntax  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This thesis presents the Graphical Description Language (GDL), a meta-language for the specification of the graphical syntax of the Unified Modeling Language, version 2.0 (UML). Visual languages have properties that cannot be expressed in conventional meta-languages for textual languages. To address these properties, we need to take into account that the symbols of the language most likely does not adhere to a sequential ordering. We therefore need a meta-language with some functionality w...

Espe, Thomas Hemmingby

2004-01-01

195

Enriching the structure of the UMLS semantic network.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System's (UMLS's) Semantic Network (SN)---consisting of a network of semantic types---has a two-tree structure, where each semantic type has at most one parent semantic type. This arrangement is restrictive because some semantic types are, by their definition, specializations of several parents. As a proposed enhancement to the SN, its semantic types have previously been partitioned into groups, each of which contains semantic types of some specific area. However,...

2002-01-01

196

Auto-Coding UML Statecharts for Flight Software  

Science.gov (United States)

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

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

2006-01-01

197

Students' Different Understandings of Class Diagrams  

Science.gov (United States)

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…

Boustedt, Jonas

2012-01-01

198

Safety- barrier diagrams  

DEFF Research Database (Denmark)

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.

Duijm, Nijs Jan

2008-01-01

199

AFM Diagram Quiz  

Science.gov (United States)

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

Perkins, Dexter

200

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted by industrial designers for the design of RTS using Model-Driven Engineering (MDE). However, formal verification at early phases of the system lifecycle for UML-MARTE models remains mainly an open issue. In this paper, we present a time properties verification framework for UML-MARTE safety critical RTS. This framework relies o...

2012-01-01

 
 
 
 
201

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

We describe a corpus-based approach to creating a semantic lexicon using UMLS knowledge sources. We extracted 10,000 sentences from the eligibility criteria sections of clinical trial summaries contained in ClinicalTrials.gov. The UMLS Metathesaurus and SPECIALIST Lexical Tools were used to extract and normalize UMLS recognizable terms. When annotated with Semantic Network types, the corpus had a lexical ambiguity of 1.57 (=total types for unique lexemes / total unique lexemes) and a word occ...

2010-01-01

202

The Scope and Structure of the First Version of the UMLS Seoantic Network  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper discusses the UMLS Semantic Network, one of three UMLS knowledge sources currently under development by the National Library of Medicine. We describe the structure and content of the network, and we discuss the relationship between the network and the first version of the UMLS Metathesaurus. We address the assumptions and process involved in assigning semantic types to Metathesaurus concepts and conclude, in an appendix, with a description of the distribution format of this knowled...

1990-01-01

203

Behavioral Modeling of WSN MAC Layer Security Attacks: A Sequential UML Approach  

DEFF Research Database (Denmark)

Wireless sensor networks (WSNs) are growing enormously and becoming increasingly attractive for a variety of application areas such as tele-health monitoring, industry monitoring, home automation and many more. The primary weakness shared by all wireless application and technologies is the vulnerability to security attacks/threats. The performance and behavior of a WSN are vastly affected by such attacks. In order to be able to better address the vulnerabilities of WSNs in terms of security, it is important to understand the behavior of the attacks. This paper addresses the behavioral modeling of medium access control (MAC) security attacks in WSNs. The MAC layer is responsible for energy consumption, delay and channel utilization of the network and attacks on this layer can introduce significant degradation of the individual sensor nodes due to energy drain and in performance due to delays. The behavioral modeling of attacks will be beneficial for designing efficient and secure MAC layer protocols. The security attacks are modeled using a sequential diagram approach of Unified Modeling Language (UML). Further, a new attack definition, specific to hybrid MAC mechanisms, is proposed.

Pawar, Pranav M.; Nielsen, Rasmus Hjorth

2012-01-01

204

Analysis of Medical Student Content Searches that Resulted in Unidentified UMLS Concepts  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Many authors have reported on the use of the Unified Medical Language System (UMLS) to match concepts in free text. Unmatched search strings may be due to misspellings, concepts not in the UMLS, or searches for words not expected to be in the UMLS (e.g., names of people or places). We mapped search strings from a full-text, concept-based curriculum database to UMLS concepts and performed a failure analysis. The majority of unmatched text strings were medically related (71.7%). Unrecognized ab...

Rosenbaum, Benjamin P.; Denny, Joshua C.; Spickard, Anderson

2006-01-01

205

UML-oriented Risk Analysis in Manufacturing Systems  

Directory of Open Access Journals (Sweden)

Full Text Available Whenever we want to avoid failures or hazardous events in today’s complex technological systems, it is advisable to carry out appropriate risk management. One of the most important aspects of risk management is the risk analysis process. The aim of this paper is to show a new risk analysis method based on the Unified Modelling Language (UML, which is successfully used in software engineering for describing the problem domain. The paper also includes a small practical example. It also shows a new risk analysis method based on an example of an unreeling process in cable manufacturing.

J. Jirsa

2010-01-01

206

Efficient Analysis of Complex Diagrams using Constraint-Based Parsing  

CERN Multimedia

This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the data make it possible to efficiently parse real diagrams of substantial complexity. The system is probably the first to demonstrate efficient diagram parsing using grammars that easily be retargeted to other domains. The work assumes that the diagrams are available as a flat collection of graphics primitives: lines, polygons, circles, Bezier curves and text. This is appropriate for future electronic documents or for vectorized diagrams converted from scanned images. The classes of diagrams that we have analyzed include x,y data graphs and genetic diagrams drawn from the biological literature, as well as finite state automata diagrams (states and arcs). As an example, parsing a four-part data graph composed of 133 primitives required 35 sec using Macintosh Common Lisp on a Macintosh Quadra 700.

Futrelle, R P; Futrelle, Robert P.; Nikolakis, Nikos

1995-01-01

207

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

Energy Technology Data Exchange (ETDEWEB)

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.

CUYLER,DAVID S.

2000-11-01

208

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

DEFF Research Database (Denmark)

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. 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 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 violations, an important part of this technique is attaching of OCL expressions to special boolean class attributes that we call consistency attributes. The resulting integration model can be used for automatic consistency testing of two instances of the legacy models by automatically instantiate the whole integration model and then report consistency attribute values that are false.

Nytun, J. P.; Jensen, Christian Søndergaard

2003-01-01

209

From system requirements to source code: transitions in UML and RUP  

Directory of Open Access Journals (Sweden)

Full Text Available There are many manuals explaining language specification among UML-related books. Only some of books mentioned concentrate on practical aspects of using the UML language in effective way using CASE tools and RUP. The current paper presents transitions from system requirements specification to structural source code, useful while developing an information system.

Stanis?aw Wrycza

2011-06-01

210

Venn Diagram Shape Sorter  

Science.gov (United States)

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

2010-01-01

211

A UML Profile for Developing Databases that Conform to the Third Manifesto  

Science.gov (United States)

The Third Manifesto (TTM) presents the principles of a relational database language that is free of deficiencies and ambiguities of SQL. There are database management systems that are created according to TTM. Developers need tools that support the development of databases by using these database management systems. UML is a widely used visual modeling language. It provides built-in extension mechanism that makes it possible to extend UML by creating profiles. In this paper, we introduce a UML profile for designing databases that correspond to the rules of TTM. We created the first version of the profile by translating existing profiles of SQL database design. After that, we extended and improved the profile. We implemented the profile by using UML CASE system StarUML™. We present an example of using the new profile. In addition, we describe problems that occurred during the profile development.

Eessaar, Erki

212

On the Design of Agent-Based Systems using UML and Extensions  

CERN Document Server

The Unified Software Development Process (USDP) and UML have been now generally accepted as the standard methodology and modeling language for developing Object-Oriented Systems. Although Agent-based Systems introduces new issues, we consider that USDP and UML can be used in an extended manner for modeling Agent-based Systems. The paper presents a methodology for designing agent-based systems and the specific models expressed in an UML-based notation corresponding to each phase of the software development process. UML was extended using the provided mechanism: stereotypes. Therefore, this approach can be managed with any CASE tool supporting UML. A Case Study, the development of a specific agent-based Student Evaluation System (SAS), is presented.

Dinsoreanu, M; Pusztai, K; Dinsoreanu, Mihaela; Salomie, Ioan; Pusztai, Kalman

2006-01-01

213

UMLS as Knowledge Base-A Rule-Based Expert System Approach to Controlled Medical Vocabulary Management  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The National Library of Medicine is developing a Unified Medical Language System (UMLS) which addresses the need for integration of several large, nationally accepted vocabularies. This is important to the clinical information system under development at the Columbia-Presbyterian Medical Center (CPMC). We are using UMLS components as the core of our effort to integrate existing local CPMC vocabularies which are not among the source vocabularies of the UMLS. We are also using the UMLS to build...

Cimino, James J.; Hripcsak, George; Johnson, Stephen B.; Friedman, Carol; Fink, Daniel J.; Clayton, Paul D.

1990-01-01

214

A collaborative medical case authoring environment based on the UMLS.  

Science.gov (United States)

In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutoring systems. Our goal is to increase the efficiency and effectiveness in creating the domain model representing the problem solution--often referred to as the bottleneck in developing intelligent tutoring systems. We incorporate the Unified Medical Language System (UMLS) knowledge base to assist the authors in creating the problem solution collaboratively via a videoconferencing platform. The system consists of a shared workspace gathering information visualization and tools necessary for collaborative problem-solving tasks. We found that the authoring tool can be used to effectively elicit the knowledge structure of the domain model. This was achieved in hours compared to months for the conventional paper-based approach. PMID:17920337

Suebnukarn, Siriwan; Haddawy, Peter; Rhienmora, Phattanapon

2008-04-01

215

Toward a Human-Centered Uml for Risk Analysis  

CERN Document Server

Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of this activity is risk analysis. During risk analysis, two main studies concerning human factors must be integrated: task analysis and human error analysis. This multidisciplinary analysis often leads to a work sharing between several stakeholders who use their own languages and techniques. This often produces consistency errors and understanding difficulties between them. Hence, this paper proposes to treat the risk analysis on the common expression language UML (Unified Modeling Language) and to handle human factors concepts for task analysis and human error analysis based on the features of this language. The approach is applied to the development of a medical robot for teleechography.

Guiochet, J; Baron, C; Boy, G; Guiochet, Jeremie; Motet, Gilles; Baron, Claude; Proxy, Guy Boy; ccsd-00003461, ccsd

2004-01-01

216

UML Model Transformation for a Product Line Design  

Directory of Open Access Journals (Sweden)

Full Text Available There is a tremendous growth in computer and electronics industry in this era. This growth has made a major impact on hardware and software resources. A gap has occurred in designing the hardware resource because, only optimal amount of hardware resources is being used for an application development. The complexity of the design and the scarcity of time (for marketing require a standard procedural approach, to address problems such as validation, synthesis, verification and testing. We have proposed a procedural approach for the completeness of the hardware and software systems with lesseffort. We have created an executable model for the application. This model includes different software and hardware modules.A UML based compiler and a hardware-software co-simulation tool is used in ourprocedural approach, for reconfiguring the architectures and aids validation, verification, mapping and synthesis of the application with limited amount of effort.

R. Aroulcanessane

2013-10-01

217

Extending UML-RT for Control System Modeling  

Directory of Open Access Journals (Sweden)

Full Text Available There is a growing interest in adopting object technologies for the development of real-time control systems. Several commercial tools, currently available, provide object-oriented modeling and design support for real-time control systems. While these products provide many useful facilities, such as visualization tools and automatic code generation, they are all weak in addressing the central characteristic of real-time control systems design, i.e., providing support for a designer to reason about timeliness properties. We believe an approach that integrates the advancements in both object modeling and design methods and real-time scheduling theory is the key to successful use of object technology for real-time software. Surprisingly several past approaches to integrate the two either restrict the object models, or do not allow sophisticated schedulability analysis techniques. This study shows how schedulability analysis can be integrated with UML for Real-Time (UML-RT to deal with timing properties in real time control systems. More specifically, we develop the schedulability and feasibility analysis modeling for the external messages that may suffer release jitter due to being dispatched by a tick driven scheduler in real-time control system and we also develop the scheduliablity modeling for sporadic activities, where messages arrive sporadically then execute periodically for some bounded time. This method can be used to cope with timing constraints in realistic and complex real-time control systems. Using this method, a designer can quickly evaluate the impact of various implementation decisions on schedulability. In conjunction with automatic code generation, we believe that this will greatly streamline the design and development of real-time control systems software.

Qimin Gao

2004-01-01

218

Test Case Generation Based on Use case and Sequence Diagram  

Directory of Open Access Journals (Sweden)

Full Text Available We present a comprehensive test case generation technique from UMLmodels. We use the features in UML 2.0 sequence diagram includingconditions, iterations, asynchronous messages and concurrent components.In our approach, test cases are derived from analysis artifacts such as usecases, their corresponding sequence diagrams and constraints specifiedacross all these artifacts. We construct Use case Dependency Graph (UDGfrom use case diagram and Concurrent Control Flow Graph (CCFG fromcorresponding sequence diagrams for test sequence generation. We focustesting 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 andsystem testing accommodating the object message and condition informationassociated with the use case scenarios. The test cases thus generated aresuitable for detecting synchronization and dependency of use cases andmessages, object interaction and operational faults. Finally, we have madean analysis and comparison of our approach with existing approaches, whichare based on other coverage criterion through an example.

Santosh Kumar Swain

2010-07-01

219

Automatic generation of CSP||B skeletons from xUML models  

Digital Repository Infrastructure Vision for European Research (DRIVER)

CSP||B is a formal approach to specification that combines CSP and B. In this paper we present our tool that automatically translates a subset of executable UML (xUML) models into CSP parallel to B, for the purpose of verification and increased validation at the early stages of a software engineering development lifecycle. The tool is being developed for our industrial collaborators, AWE plc, in order to strengthen their software engineering process which uses xUML. As part of this process, A...

Turner, E.; Treharne, H.; Schneider, S.; Evans, N.

2008-01-01

220

The Use of UML to Development of a Railway Interlocking System  

Directory of Open Access Journals (Sweden)

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.

Karol Rastocny

2003-01-01

 
 
 
 
221

Bibliographic Notes on Voronoi Diagrams.  

Science.gov (United States)

The paper presents a comprehensive annotated bibliography on various theoretical and algorithmic aspects of Voronoi diagrams and related diagrams. Bibliographic notes on the relationship between Voronoi diagrams and solutions to the Euclidean traveling sa...

J. Bernal

1993-01-01

222

Diagram of Computer Keyboard  

Science.gov (United States)

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

Ward, Charles

2011-01-21

223

Complexity, Heegaard diagrams and generalized Dunwoody manifolds  

CERN Multimedia

We deal with Matveev complexity of compact orientable 3-manifolds represented via Heegaard diagrams. This lead us to the definition of modified Heegaard complexity of Heegaard diagrams and of manifolds. We define a class of manifolds which are generalizations of Dunwoody manifolds, including cyclic branched coverings of two-bridge knots and links, torus knots, some pretzel knots, and some theta-graphs. Using modified Heegaard complexity, we obtain upper bounds for their Matveev complexity, which linearly depend on the order of the covering. Moreover, using homology arguments due to Matveev and Pervova we obtain lower bounds.

Cattabriga, Alessia; Vesnin, Andrei

2009-01-01

224

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets  

Directory of Open Access Journals (Sweden)

Full Text Available In this paper, we formally define Test Case Sequence Diagrams (TCSD as an easy-to-use means to specify test cases for components including timing constraints. These test cases are modeled using the UML2 syntax and can be specified by standard UML-modeling-tools. In a component-based design an early identification of errors can be achieved by a virtual integration of components before the actual system is build. We define such a procedure which integrates the individual test cases of the components according to the interconnections of a given architecture and checks if all specified communication sequences are consistent. Therefore, we formally define the transformation of TCSD into timed-arc Petri nets and a process for the combination of these nets. The applicability of our approach is demonstrated on an avionic use case from the ARP4761 standard.

Sven Sieverding

2013-02-01

225

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS  

Directory of Open Access Journals (Sweden)

Full Text Available This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.

K. Lano

2013-11-01

226

Comparando UML y OWL en la representación del conocimiento: correspondencia sintáctica  

Directory of Open Access Journals (Sweden)

Full Text Available UML y OWL son lenguajes insignias de dos de los paradigmas más importantes que han emergido en los últimos tiempos para dar soporte al desarrollo de software. En la revisión de la literatura afín no se encuentra ampliamente documentada la relación entre ambos, a pesar del creciente interés en la utilización conjunta de UML y OWL. El propósito de este trabajo es proporcionar una comparación objetiva, con ejemplos concretos de la sintaxis de UML y OWL, que permita crear una base sólida para aprovechar las ventajas de cada uno y combinarlos en el proceso de desarrollo de software. Además se realiza una introducción al Ontology Definition Model para la utilización de la metodología, las herramientas y la tecnología UML como soporte para el desarrollo y el mantenimiento de ontologías.

Susana M. Ramírez

2010-01-01

227

On the conversion of ordinary Voronoi diagrams into Laguerre diagrams  

DEFF Research Database (Denmark)

We present some geometric relationships between the ordinary Voronoi diagram, and the Voronoi diagram in the Laguerre geometry. We derive from these proper- ties an algorithm for the conversion of ordinary Voronoi diagrams into Voronoi diagrams in the Laguerre geom- etry.

Anton, François; Mioc, Darka

1999-01-01

228

Structural Group-based Auditing of Missing Hierarchical Relationships in UMLS  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Metathesaurus of the UMLS was created by integrating various source terminologies. The inter-concept relationships were either integrated into the UMLS from the source terminologies or specially generated. Due to the extensive size and inherent complexity of the Metathesaurus, the accidental omission of some hierarchical relationships was inevitable. We present a recursive procedure which allows a human expert, with the support of an algorithm, to locate missing hierarchical relationships...

Chen, Yan; Gu, Huanying; Perl, Yehoshua; Geller, James

2009-01-01

229

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

Critical Real-Time Embedded Systems (RTES) have strong requirement regarding system's reliability. UML and its pro- file MARTE are standardized modeling language that are getting widely accepted by industrial designers to cope with the development of complex RTES. Relying on Model-Driven Engineering (MDE), critical time properties' verification in UML-MARTE model at early phases of the system lifecycle becomes possible. However, many challenges still exist. A key challenge is to eliminate the...

2012-01-01

230

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Tero Arpinen; Erno Salminen; Inen, Timo D. H. M. L.; Nnik Inen, Marko H.

2009-01-01

231

Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions  

Digital Repository Infrastructure Vision for European Research (DRIVER)

For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the modeling language should provide reusability, easy understanding by business analysts, and should ease the validation and verification tasks. In this paper, we present an approach for developing dependable complex business processes using UML that satisfies these requirements. The proposed UML notat...

2004-01-01

232

Perfil UML Para el Modelado Visual de Requisitos Difusos  

Directory of Open Access Journals (Sweden)

Full Text Available Modelar dominios de aplicación que involucren requisitos con términos vagos puede ser un proceso complejo,debido a que las herramientas de modelado disponibles en la actualidad no están concebidas para ello. Sin embargo,muchos requisitos de información en sistemas y aplicaciones actuales podrían involucrar términos vagos del lenguajenatural que expresan las preferencias del usuario. Algunos esfuerzos previos se han hecho en el área de consultas abases de datos incorporando la lógica difusa para la expresión de tales preferencias. En este trabajo, se define un perfilbajo UML que permite el modelado visual de requisitos de información basados en términos lingüísticos, ejemplode ellos son los llamados requerimientos fuzzy o difusos. El perfil propuesto se basa en estereotipos y lógica difusaextendida extendido OCL (Object Constraint Language. Dicho perfil posee una semántica formal que permiteeliminar ambigüedades, que puede ser representado gráficamente. Se ejemplifica la aplicación del perfil a través de uncaso de estudio de la vida real que muestra la sencillez y potencialidad de su uso.

Rosseline Rodríguez

2009-09-01

233

AUTOMATIZACIÓN DE LA ARQUITECTURA DE COMPONENTES GENÉRICOS USANDO UML  

Directory of Open Access Journals (Sweden)

Full Text Available

 

La arquitectura de componentes genéricos permite chequear la consistencia interna de sus elementos arquitectónicos (componentes y conectores a partir de las relaciones internas en sus respectivas estructuras, que pueden ser de inclusión y transformación. También permite verificar la conexión entre componentes y conectores a partir de las relaciones de transformación entre sus interfaces respectivas. Las ideas que se presentan aquí constituyen una propuesta para la automatización de la descripción de esta arquitectura usando el lenguaje de modelado unificado (UML a partir de la descripción formal de sus diagramas de clases y de secuencia, así como para el chequeo de la consistencia. En este artículo se muestra la aplicación de esta propuesta mediante una extensión de la herramienta Visual Paradigm, por medio de un módulo de software conectable.

Noel Fuentes Ramírez

2006-04-01

234

Propuesta para pruebas dirigidas por modelos usando el perfil de pruebas de UML 2.0  

Directory of Open Access Journals (Sweden)

Full Text Available En la actualidad, UML se presenta como uno de los metalenguajes más utilizados para la especificación de sistemas mediante distintos tipos de modelos. Junto con UML 2, OMG ha propuesto un perfil para la realización de pruebas para que éstas puedan ser especificadas no como un artefacto final, sino como modelos que van anotando los modelos UML 2 generad s en el desarrollo. En este artículo se presenta una propuesta para pruebas en el contexto de la Ingeniería dirigida por modelos. A partir de los modelos de diseño del sistema en UML, se propone realizar transformaciones a modelos de prueba basados en el perfil de pruebas de UML. Para que la generación de los casos de prueba sea automática, se define una extensión del metamodelo de UML de forma que se puedan anotar los diagramas de secuencia con información que, luego, pueda ser utilizada para generar el oráculo de pruebas. Esta información es anotada en OCL como pre y postcondiciones en el diagrama.

Beatriz Pérez Lamancha

2008-01-01

235

On Linear-Sized Farthest-Color Voronoi Diagrams  

Science.gov (United States)

Given a collection of k sets consisting of a total of n points in the plane, the distance from any point in the plane to each of the sets is defined to be the minimum among distances to each point in the set. The farthest-color Voronoi diagram is defined as a generalized Voronoi diagram of the k sets with respect to the distance functions for each of the k sets. The combinatorial complexity of the diagram is known to be ?(kn) in the worst case. This paper initiates a study on farthest-color Voronoi diagrams having O(n) complexity. We introduce a realistic model, which defines a certain class of the diagrams with desirable geometric properties observed. We finally show that the farthest-color Voronoi diagrams under the model have linear complexity.

Bae, Sang Won

236

Making sense to modelers: Presenting UML class model differences in prose  

DEFF Research Database (Denmark)

Understanding the difference between two models, such as different versions of a design, can be difficult. It is a commonly held belief in the model differencing community that the best way of presenting a model difference is by using graph or tree-based visualizations. We disagree and present an alternative approach where sets of low-level model differences are abstracted into high-level model differences that lend themselves to being presented textually. This format is informed by an explorative survey to elicit the change descriptions modelers use themselves. Our approach is validated by a controlled experiment that tests three alternatives to presenting model differences. Our findings support our claim that the approach presented here is superior to EMF Compare.

Störrle, Harald

2013-01-01

237

Artifact-centric business process models in UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Business process modeling using an artifact-centric approach has raised a signi cant interest over the last few years. This approach is usually stated in terms of the BALSA framework which de nes the four \\dimensions" of an artifact-centric business process model: Business Artifacts, Lifecycles, Services and Associations. One of the research challenges in this area is looking for di erent diagrams to represent these dimensions. Bearing this in mind, the present paper shows how all the element...

Estan?ol Lamarca, Montserrat; Queralt, Anna; Sancho Samso?, Mari?a Ribera; Teniente Lo?pez, Ernest

2012-01-01

238

Using the UMLS Semantic Network to Validate NCI Thesaurus Structure and Analyze its Alignment with the OBO Relations Ontology  

Digital Repository Infrastructure Vision for European Research (DRIVER)

NCI Thesaurus entries reference corresponding nodes in the UMLS Semantic Network (SN). Adapting a process previously used to refine relationship definitions in the UMLS Metathesaurus, we used these Thesaurus-to-Network references to analyze alignment of the Thesaurus with the OBO Relations Ontology and at the same time validate and improve Thesaurus structure. Given this experience, we offer suggestions for enhancement of the UMLS SN so that it can be even more useful in the future.

Coronado, Sherri; Tuttle, Mark S.; Solbrig, Harold R.

2007-01-01

239

Phase Diagram of Bilayer Composite Fermion States  

CERN Document Server

We construct a class of composite fermion states for bilayer electron systems in a strong transverse magnetic field, and determine quantitatively the phase diagram as a function of the layer separation, layer thickness, and electron density. We find, in general, that there are several transitions, and that the incompressible phases are separated by compressible ones. The paired states of composite fermions, described by Pfaffian wave functions, are also considered.

Scarola, V W

2000-01-01

240

Iron - binary phase diagrams  

International Nuclear Information System (INIS)

This monography contains critically compiled equilibrium diagrams of binary systems of iron with all the elements of the Periodic Chart (except the halogens), updated and in an improved form (raster paper). It is based essentially on experimental data but includes the results of thermochemcial calculations where applicable. The work represents information up to the end of 1981. (GSCH)

1981-01-00

 
 
 
 
241

Impulse-Momentum Diagrams  

Science.gov (United States)

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

Rosengrant, David

2011-01-01

242

Homotopy Diagrams of Algebras.  

Czech Academy of Sciences Publication Activity Database

. Ro?. 69, - (2002), s. 161-180. ISSN 0009-725X.[Winter School "Geometry and Physics" /21./. Srní, 13.01.2001-20.01.2001]Grant CEP: GA ?R GA201/99/0675Klí?ová slova: colored operad%cofibrant model%homotopy diagramKód oboru RIV: BA - Obecná matematika

Markl, Martin

243

Nonthermal radio emission and the HR diagram  

Science.gov (United States)

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.

Gibson, D. M.

1985-01-01

244

The HR diagram for normal radio stars  

International Nuclear Information System (INIS)

It is found that nonthermal radio emission is associated with stars in very specific locations on the HR diagram. The four classes of objects are typified by early-type mass-loss stars (O5/WR), late-type giants and supergiants (M2II), subgiant K-stars (KO IV-III), and flare stars (dMe). The members of each class exhibit about the same maximum radio luminosities, log (Lsub(R)/Lsub(bol)), and flaring timescales, spectra, and polarizations. Membership in a binary system is not found to be a necessary condition for detectable nonthermal emission. (orig.)

1984-08-08

245

An Introduction to Tree Diagrams  

Science.gov (United States)

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

Cork, Stu

2014-01-01

246

Pattern Recognition of Logic Diagrams.  

Science.gov (United States)

This paper presents the development of line following and line analysis pattern recognition routines to automatically computer read hand-drawn logic diagrams. The decision criterion used was based on a tree analysis of segmented lines. The logic diagrams ...

D. A. Naegele

1973-01-01

247

Peircean diagrams of time  

DEFF Research Database (Denmark)

Some very good arguments can be given in favor of the Augustinean wisdom, according to which it is impossible to provide a satisfactory definition of the concept of time. However, even in the absence of a proper definition, it is possible to deal with conceptual problems regarding time. It can be done in terms of analogies and metaphors. In particular, it is attractive to make use of Peirce's diagrams by means of which various kinds of conceptual experimentation can be carried out. This paper investigates how Peircean diagrams can be used within the study of time. In particular, we discuss 1) the topological properties of time, 2) the implicative structure in tense logic, 3) the notions of open future and branching time models, and finally 4) tenselogical alternatives to branching time models.

�hrstrøm, Peter

2011-01-01

248

Trion ladder diagrams  

CERN Document Server

We first derive a new ``commutation technique'' for an exciton interacting with electrons, inspired from the one we recently developed for excitons interacting with excitons. These techniques allow to take \\emph{exactly} into account the possible exchanges between carriers. We use it to get the $\\mathrm{X}^-$ trion creation operator in terms of exciton and free-electron creation operators. In a last part we generate the ladder diagrams associated to these trions. Although similar to the exciton ladder diagrams, with the hole replaced by an exciton, they are actually much more tricky : (i) Due to the composite nature of the exciton, one cannot identify an exciton-electron potential similar to the Coulomb potential between electron and hole ; (ii) the spins are unimportant for excitons while they are crucial for trions, singlet and triplet states having different energies.

Combescot, M

2002-01-01

249

TEP process flow diagram  

Energy Technology Data Exchange (ETDEWEB)

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.

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

250

Compressing Binary Decision Diagrams  

DEFF Research Database (Denmark)

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

Hansen, Esben Rune; Satti, Srinivasa Rao

2008-01-01

251

Homotopy Diagrams of Algebras  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant operads and on the principle that algebras over cofibrant operads are homotopy invariant. In our approach, algebraic models for colored operads describing diagrams of homomorphisms played an important role. The aim of this paper is to give a...

Markl, Martin

2001-01-01

252

Towards an UML Profile for Web Service Composition Based on Behavioral Descriptions  

Directory of Open Access Journals (Sweden)

Full Text Available Web service composition is one of the challenging issues that have been investigated over the past decade. It consists of combining and reusing existing Web services to best suit new user requirements. This paper proposes an UML profile to compose Web services based on their behavioral aspects. To do so, the web service WSDL files are first transformed to UML models; then the profile is used to integrate them; finally the MDA approach is adopted to transform the applied profile into a BPEL process. As such, our method has the advantages of being independent of the Web service composition language and the UML modeling tool. Finally, a case study is developed in order to show the benefits of our method.

Ayoub Sabraoui

2012-09-01

253

Integrating Software Architecture Concepts into the MDA Platform with UML Profile  

Directory of Open Access Journals (Sweden)

Full Text Available Architecture Description Languages (ADLs provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is one of the principal aspects of MDA (Model Driven Architecture. Integration of ADLs within MDA confers to the MDA platform a higher level of abstraction and a degree of reuse of ADLs. Indeed they have significantly different platform metamodels which make the definition of mapping rules complex. This complexity is clearly noticeable when some software architecture concepts cannot be easily mapped to MDA platform. In this research, we propose to integrate software architecture within MDA. We define also strategy for direct transformation using a UML profile. It represents both software architecture model (PIM and MDA platform model (PSM in UML meta-model then elaborates transformation rules between results UML meta-models. The goal is to automate the process of deriving implementation platform from software concepts.

Adel Alti

2007-01-01

254

Power diagrams and their applications  

CERN Document Server

We remark that the power diagrams from computer science are the spines of amoebas in algebraic geometry, or the hypersurfaces in tropical geometry. Our concept of a Morse poset generalizes to power diagrams. We show that there exists a discrete Morse function on the coherent triangulation, dual to the power diagram, such that its critical set equals the Morse poset of the power diagram. In the final section we use Maslov dequantization to compute the medial axis.

van Manen, M; Manen, Martijn van; Siersma, Dirk

2005-01-01

255

A Feynman Diagram Analyser DIANA  

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Tentyukov, M.; Fleischer, J.

1999-01-01

256

On the power counting of loop diagrams in general relativity  

CERN Document Server

A class of loop diagrams in general relativity appears to have a behavior which would upset the utility of the energy expansion for quantum effects. We show through the study of specific diagrams that cancellations occur which restore the expected behaviour of the energy expansion. By considering the power counting in a physical gauge we show that the apparent bad behavior is a gauge artifact, and that the quantum loops enter with a well behaved energy expansion.

Donoghue, J F

1996-01-01

257

Superconducting phase diagrams of UPt3 from ultrasonic velocity measurements  

International Nuclear Information System (INIS)

Superconducting phase diagrams of the heavy fermion compound UPt3 in the H-T plane for the magnetic field at 90 , 45 and 0 to the c-axis were determined by high-resolution ultrasonic velocity measurements. Rich features observed in the complex phase diagrams provide many constraints on the identification of the symmetry class for the superconducting order parameter in this compound. ((orig.))

1995-01-01

258

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

Science.gov (United States)

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

Kopanitsa, Georgy

2014-01-01

259

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

The study of Networks on Chips (NoCs) is a research field that primarily addresses the global communication in Systems-on-Chip (SoCs). The selected topology and the routing algorithm play a prime role in the performance of NoC architectures. In order to handle the design complexity and meet the tight time-to-market constraints, it is important to automate most of these NoC design phases. The extension of the UML language called UML profile for MARTE (Modeling and Analysis of Real-Time and Emb...

2011-01-01

260

Clinical application of the UMLS in a computerized order entry and decision-support system.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Vanderbilt University Medical Center uses the UMLS as a dictionary, an interlingua, and a knowledge source within the WizOrder system. WizOrder provides direct care-provider order entry and integrated clinical decision-support capabilities. Linking the two functions enables efficient decision-support during the "normal" workflow of care providers, at the point where decisions are made. WizOrder uses the UMLS as a dictionary to encode free-text entries into controlled vocabularies such as ICD9...

Geissbuhler, A.; Miller, R. A.

1998-01-01

 
 
 
 
261

Voronoi diagrams on the sphere  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Given a set of compact sites on a sphere, we show that their spherical Voronoi diagram can be computed by computing two planar Voronoi diagrams of suitably transformed sites in the plane. We also show that a planar furthest-site Voronoi diagram can always be obtained as a portion of a nearest-site Voronoi diagram of a set of transformed sites. Two immediate applications are an O(nlog n) algorithm for the spherical Voronoi diagram of a set of circular arcs on the sphere, and an ...

Na, H. -s; Lee, C. -n; Cheong, O.

2001-01-01

262

Perturbative Results Without Diagrams  

CERN Document Server

Higher-order perturbative calculations in Quantum (Field) Theory suffer from the factorial increase of the number of individual diagrams. Here I describe an approach which evaluates the total contribution numerically for finite temperature from the cumulant expansion of the corresponding observable followed by an extrapolation to zero temperature. This method (originally proposed by Bogolyubov and Plechko) is applied to the calculation of higher-order terms for the ground-state energy of the polaron. Using state-of-the-art multidimensional integration routines 2 new coefficients are obtained corresponding to a 4- and 5-loop calculation.

Rosenfelder, R

2007-01-01

263

Loop diagrams in boxes  

International Nuclear Information System (INIS)

Methods for computing loop diagrams in confined scalar and gauge theories are developed. We construct propagators with different types of boundary conditions in boxes (rectangular cavities) using the method of image charges, which allows for a separation of the short-distance singularities. The techniques are illustrated by a calculation of the Casimir effect in a box using a covariant gauge, and of the energy shift of a photon in confined scalar QED. The relevance of such a calculation for a proposed model for the QCD vacuum is discussed

1982-07-15

264

ISO-LWS two colour diagram of young stellar objects  

CERN Multimedia

We present a [60--100] vs. [100--170] $\\mu$m two colour diagram for a sample of 61 young stellar objects (YSOs) observed with the Long Wavelength Spectrometer (LWS) on-board the Infrared Space Observatory (ISO). The sample consists of 17 Class 0 sources, 15 Class I, 9 Bright Class I ($L_{\\rm bol}>10^4 L_\\odot$), 20 Class II (14 Herbig Ae/Be stars and 6 T Tauri stars). We find that each class occupies a well defined region in our diagram with colour temperatures increasing from Class 0 to Class II. Therefore the [60--100] vs. [100--170] two colours diagram is a powerful and simple tool to derive from future (e.g. with the Herschel Space Observatory) photometric surveys the evolutionary status of YSOs. The advantage over other tools already developed is that photometry at other wavelengths is not required: three flux measurements are enough to derive the evolutionary status of a source. As an example we use the colours of the YSO IRAS 18148$-$0440 to classify it as Class I. The main limitation of this work is t...

Pezzuto, S

2002-01-01

265

Aperiodic substitutional systems and their Bratteli diagrams  

CERN Multimedia

In the paper we study aperiodic substitutional dynamical systems arisen from non-primitive substitutions. We prove that the Vershik homeomorphism $\\phi$ of a stationary ordered Bratteli diagram is homeomorphic to an aperiodic substitutional system if and only if no restriction of $\\phi$ to a minimal component is homeomorphic to an odometer. We also show that every aperiodic substitutional system generated by a substitution with nesting property is homeomorphic to the Vershik map of a stationary ordered Bratteli diagram. It is proved that every aperiodic substitutional system is recognizable. The classes of $m$-primitive substitutions and associated to them derivative substitutions are studied. We discuss also the notion of expansiveness for Cantor dynamical systems of finite rank.

Bezuglyi, S; Medynets, K

2007-01-01

266

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow  

Directory of Open Access Journals (Sweden)

Full Text Available This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-on-chip (SoC. The terminal comprises video encoder and WLAN communications subsystems. In this paper, we present the UML models used in designing the functionality of the subsystems as well as the architecture of the terminal hardware. We use the Koski design flow and tools for fully automated implementation of the terminal on FPGA. Measurements were performed to evaluate the performance of the FPGA implementation. Currently, fully software encoder achieves the frame rate of 3.0 fps with three 50 MHz processors, which is one half of a reference C implementation. Thus, using UML and design automation reduces the performance, but we argue that this is highly accepted as we gain significant improvement in design efficiency and flexibility. The experiments with the UML-based design flow proved its suitability and competence in designing complex embedded multimedia terminals.

Setälä Mikko

2007-01-01

267

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow  

Directory of Open Access Journals (Sweden)

Full Text Available This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-on-chip (SoC. The terminal comprises video encoder and WLAN communications subsystems. In this paper, we present the UML models used in designing the functionality of the subsystems as well as the architecture of the terminal hardware. We use the Koski design flow and tools for fully automated implementation of the terminal on FPGA. Measurements were performed to evaluate the performance of the FPGA implementation. Currently, fully software encoder achieves the frame rate of 3.0 fps with three 50 MHz processors, which is one half of a reference C implementation. Thus, using UML and design automation reduces the performance, but we argue that this is highly accepted as we gain significant improvement in design efficiency and flexibility. The experiments with the UML-based design flow proved its suitability and competence in designing complex embedded multimedia terminals.

Petri Kukkala

2007-03-01

268

Summing planar diagrams  

CERN Multimedia

We consider the sum of planar diagrams for open strings propagating on N D3-branes and show that it can be recast as the propagation of a closed string with a Hamiltonian H = H_0 - g_s N P where H_0 is the free Hamiltonian and P is the hole or loop insertion operator. We compute explicitly P and study its properties. When the distance y to the D3-branes is much larger than the string length, y >> l_s, small holes dominate and H becomes a supersymmetric Hamiltonian describing the propagation of a closed string in the full D3-brane supergravity background in a particular gauge that we call sigma-gauge. At strong coupling, g_s N >> 1, there is a region 1 << y << (g_sN)^(1/4) where H is a supersymmetric Hamiltonian describing the propagation of closed strings in AdS_5xS^5. We emphasize that both results follow from the open string planar diagrams without any reference to the existence of a D3-brane supergravity background. A by-product of our analysis is a closed form for the scattering of a generic c...

Kruczenski, M

2008-01-01

269

Contribution to the building of an execution engine for UML models for the simulation of competitor and timed applications  

International Nuclear Information System (INIS)

Model Driven Engineering (MDE) places models at the heart of the software engineering process. MDE helps managing the complexity of software systems and improving the quality of the development process. The Model Driven Architecture (MDA) initiative from the Object Management Group (OMG) defines a framework for building design flows in the context of MDE. MDA relies heavily on formalisms which are normalized by the OMG, such as UML for modeling, QVT for model transformations and so on. This work deals with the execution semantics of the UML language applied to embedded real-time applications. In this context, the OMG has a norm which defines an execution model for a subset of UML called fUML (foundational UML subset). This execution model gives a precise semantics to UML models, which can be used for analyzing models, generating code, or verifying transformations. The goal of this PhD thesis is to define and build an execution engine for UML models of embedded real-time systems, which takes into account the explicit hypothesis made by the designer about the execution semantics at a high level of abstraction, in order to be able to execute models as early as possible in the design flow of a system. To achieve this goal, we have extended the fUML execution model along three important axes with regard to embedded real-time systems: - Concurrence: fUML does not provide any mechanism for handling concurrent activities in its execution engine. We address this issue by introducing an explicit scheduler which allows us to control the execution of concurrent tasks. - Time: fUML does not provide any mean to handle time. By adding a clock to the model of execution, we can take into account the elapsed time as well as temporal constraints on the execution of activities. - Profiles: fUML does not take profiles into account, which makes it difficult to personalize the execution engine with new semantic variants. The execution engine we propose allows the use of UML models with profiles, and interprets these profiles as semantic extensions of the execution model. An implementation of these extensions has been realized as an Eclipse plug-in using the Papyrus UML modeling tool. (author)

2012-01-01

270

Generating function for web diagrams  

CERN Document Server

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

Vladimirov, A A

2014-01-01

271

Phase Diagram in Manganese Oxides  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We study theoretically the phase diagram of perovskite manganites taking into account the double degeneracy of the $e_g$ orbitals in a $Mn^{3+}$ ion. A rich phase diagram is obtained in the mean field theory at zero temperature as functions of $x$ (hole concentration) and $J_S$ (antiferromagnetic interaction between $t_{2g}$ spins). The global features of the phase diagram is understood in terms of the superexchange and double exchange interactions, which are strongly depend...

Maezono, Ryo; Ishihara, Sumio; Nagaosa, Naoto

1998-01-01

272

Hyperbolic Voronoi diagrams made easy  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We present a simple framework to compute hyperbolic Voronoi diagrams of finite point sets as affine diagrams. We prove that bisectors in Klein's non-conformal disk model are hyperplanes that can be interpreted as power bisectors of Euclidean balls. Therefore our method simply consists in computing an equivalent clipped power diagram followed by a mapping transformation depending on the selected representation of the hyperbolic space (e.g., Poincar\\'e conformal disk or upper-...

Nielsen, Frank; Nock, Richard

2009-01-01

273

Degeneracy of Angular Voronoi Diagram  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Angular Voronoi diagram was introduced by Asano et al. as fundamental research for a mesh generation. In an angular Voronoi diagram, the edges are curves of degree three. From view of computational robustness we need to treat the curves carefully, because they might have a singularity. We enumerate all the possible types of curves that appear as an edge of an angular Voronoi diagram, which tells us what kind of degeneracy is possible and tells us necessity of considering a...

Muta, Hidetoshi; Kato, Kimikazu

2007-01-01

274

Potential-pH Diagrams.  

Science.gov (United States)

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

Barnum, Dennis W.

1982-01-01

275

Cohomology of diagrams of algebras  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We consider cohomology of diagrams of algebras by Beck's approach, using comonads. We then apply this theory to computing the cohomology of $\\Psi$-rings. Our main result is that there is a spectral sequence connecting the cohomology of the diagram of an algebra to the cohomology of the underlying algebra.

Robinson, Michael

2008-01-01

276

DERIVAÇÃO DE CASOS DE TESTES FUNCIONAIS: UMA ABORDAGEM BASEADA EM MODELOS UML FUNCTIONAL TEST CASE DEPLOYMENT: AN APPROACH BASED ON UML MODELS  

Directory of Open Access Journals (Sweden)

Full Text Available Neste artigo é apresentada uma abordagem de teste de software baseada em modelos que se concentra na identificação, automatização e derivação completa, ou parcial, de casos de teste a partir da composição de modelos UML que descrevem alguns aspectos do sistema que está sendo testado. A abordagem adotada provê uma considerável redução de esforço na geração de testes, aumentando a sua eficiência, diminuindo o ciclo de testes e evitando a realização tediosa e propensa a erros de um conjunto de casos de testes. Por fim, é apresentado um estudo de caso para demonstrar de modo prático os benefícios da abordagem proposta. In this paper we present a model-based testing approach that aims at identifying, automating and deriving functional test cases in whole or in part from UML models that describe some aspects of the system under test. Our approach provides a considerable reduction of the effort on the test generation, increasing the effectiveness of the tests, shortening the testing cycle, and avoiding tedious and error-prone editing of a suite of hand-crafted tests. Finally, we present a case study to demonstrate the practicality and usefulness of the proposed approach.

Alex Mulattieri Suarez Orozco

2009-06-01

277

UML-based Requirements Analysis on Risk Pre-control System in Coal Enterprise  

Directory of Open Access Journals (Sweden)

Full Text Available Combining with the present situation of risk management in domestic coal enterprises,the overall flow of risk pre-control system of coal enterprise is designed on the basis of the ISO/FDIS31000 “Risk management—Principles and guidelines” released by the International Standards Organization and risk precontrol management system of safety in coal mine, UML(unified modeling language is used as a tool to establish the model of system requirements analysis, risk management subsystem is taken as an example to elaborate the modeling process of system analysis, the merit of ensuring the accuracy and consistency of system analysis when using UML as the tool of object-oriented system requirements analysis is verified.  

Huang Hui

2013-07-01

278

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Panagopoulos, H.; Vicari, E.

1998-01-01

279

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

CERN Multimedia

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

Panagopoulos, H

1999-01-01

280

UML-based testcase- and system model for railway process control- and safety engineering; UML-basierte Testfall- und Systemmodelle fuer die Eisenbahnleit- und -sicherungstechnik  

Energy Technology Data Exchange (ETDEWEB)

The continuous introduction of more sophisticated and more complex automation systems is of high relevance for operations- and control devices for railway applications. One example of this trend is the European Train Control System (ETCS). I is harmonized for all European member states and currently deployed for commercial use on selected lines. Applications like ETCS take responsibility for passengers, environment and the rolling stock material. For this reason, the development of those applications is characterized by high demands on testing, documentation and quality assurance. Unfortunately, real projects have proven to achieve these high demands only with tremendous efforts as long as they stick to their traditional development processes and methods. Therefore, a wide spread exploration for new concepts regarding planning, implementation and - most of all - testing of safety relevant systems is under its way. This thesis contributes to the search for new design methods for such systems. It combines recent achievements in the environment of the Unified Modeling Language (UML) to an integrated approach for a consistent testcase- and system description in a single UML model. The model comprises the UML profiles SysML (System Modeling Language) and U2TP (UML 2 Testing Profile), which are officially specified and released by the Object Management Group (OMG). This thesis shows how based on these two profiles - a single, combined system- and testcase model can be build - relationships between requirements, implementation- and testcase can be established - requirement relationships can be evaluated automatically to ensure model consistency and to determine implementation and testcase coverage - C++-code can be generated directly from the model - TTCN-3-code (Testing and Test Control Notation, Version 3) can be derived automatically from the model - a toolchain can be set up which supports all mentioned functions. In order to prove the feasibility of this approach, a case study has been performed which shows how a component of the railway laboratory RailSiTe {sup registered} (Rail Simulation and Testing) of the German Aerospace Center has been described using a combined testcase- and system model. Apart from the case study and from the theoretical basics of combined UML models, this thesis deals with surrounding aspects of the modeling method. This includes comparisons with other means of description or embedding object-oriented modeling in traditional development processes. The overall result is that both the approach and the toolchain are working properly and can be applied in real world projects. The anticipated advantages like re-usage of model items, more efficient testing, more formal system descriptions and avoidance of discontinuous notations in the whole process appeared in the theoretical derivation as well as in the practical usage of the method. So there is reason to believe that this approach will find future applications outside its scientific origin. (orig.)

Knollmann, V.

2007-12-15

 
 
 
 
281

Development of a control system for teleoperated robots using UML nd Ada 95  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In this paper, a control system in the domain of teleoperated service robots is presented. A reference architecture - ACROSET - has been analyzed and designed following a concurrent object modeling and architectural design methodology (COMET) that uses UML as describing language. The architecture of the whole system has been implemented in a ship’s hull blasting robot - GOYA –using Ada 95 and GLADE. Our previous experience in developing teleoperated service robots using Ada is also presented

Ortiz Zaragoza, Francisco Jose?; Marti?nez Sala, Alejandro Santos; A?lvarez Torres, Mari?a Ba?rbara; Iborra Garci?a, Andre?s Jose?; Ferna?ndez Meron?o, Jose? Mari?a

2002-01-01

282

The System Analysis and Design of Student Management Information Based on UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Student management as an important part of university management, and according to the actual situation of the school work, student management information system can not only improve the efficiency of staff and students, but also can be significant savings. In this paper, objectoriented design methods are applied to the software systems. It uses Rose UML modeling to complete the requirement analysis of the student management system, and the functionality and performance analysis.<...

Du, Xiaoming; Feng, Fengjiao

2012-01-01

283

Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible nature. However due to the tremendous amount of hardware resources available in these systems, new design methodologies and tools are required to reduce their design complexity. In this paper we present an exploratory analysis for specification of these systems, while utilizing the UML MARTE (Modeling and Analysis of Rea...

2010-01-01

284

Relationship Structures and Semantic Type Assignments of the UMLS Enriched Semantic Network  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Objective: The Enriched Semantic Network (ESN) was introduced as an extension of the Unified Medical Language System (UMLS) Semantic Network (SN). Its multiple subsumption configuration and concomitant multiple inheritance make the ESN's relationship structures and semantic type assignments different from those of the SN. A technique for deriving the relationship structures of the ESN's semantic types and an automated technique for deriving the ESN's semantic type assignments from those of th...

2005-01-01

285

Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) provides a means to specify embedded systems. The Clock Constraint Specification Language (CCSL) allows the specification of causal, chronological and timed properties of MARTE models. Due to its purposedly broad scope of use, CCSL has an expressiveness that can prevent formal verification. However, when addressing hardware electronic systems, formal verification is an important step of the development. The IE...

Gascon, R.; Mallet, Fre?de?ric; Deantoni, Julien

2011-01-01

286

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

A successful medical informatics program helps its users to match their information needs as closely and efficiently as possible to the capabilities of the system. CHARTLINE is a computer program whose input is a free text, "natural language" patient chart in ASCII format. Using the UMLS Metathesaurus Knowledge Sources, CHARTLINE can suggest bibliographic references relevant to the patient case described in the chart. The program does not attempt to "understand" the natural language content o...

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

1992-01-01

287

A Framework for Ontology Reuse and Persistence Integrating UML and Sesame  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the main goals. In the light of bringing this technology closer to the Software Engineering community we propose an architecture allowing an easier development for ontology-based applications. Thus, we first present a methodology for ontology creation and automatic code generation using the widely adopted CASE UML tools. A...

2004-01-01

288

Best of Both Worlds - A Mapping from EXPRESS-G to UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

On the one hand, in the world of Product Data Technology (PDT), the ISO standard STEP (STandard for the Exchange of Product model data) gains more and more importance. STEP includes the information model specification language EXPRESS and its graphical notation EXPRESS-G. On the other hand, in the Software Engineering world in general, mainly other modelling languages are in use - particularly the Unified Modeling Language (UML), recently adopted to become a standard by the Object Management ...

Podehl, Gerd; Arnold, Florian

1998-01-01

289

Comparing two ways of applying use case models in object-oriented design with UML  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In software engineering most proposed technology have not been subject to a thorough investigation. Knowledge of the effects, strenghts, and weaknesses of technology is essential to ensure a successful transfer to industry and identify areas of improvement. For example, the Unified Modeling Language (UML) is becoming the de-facto standard for object-oriented software analysis and design. Constructing analysis- and design models of a software system is beneficial to gain a higher-level underst...

Syversen, Erik

2002-01-01

290

Toward a Bio-Medical Thesaurus: Building the Foundation of the UMLS  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The Unified Medical Language System (UMLS) is being designed to provide a uniform user interface to heterogeneous machine-readable bio-medical information resources, such as bibliographic databases, genetic databases, expert systems and patient records.1 Such an interface will have to recognize different ways of saying the same thing, and provide links to ways of saying related things. One way to represent the necessary associations is via a domain thesaurus. As no such thesaurus exists, and ...

Tuttle, Mark S.; Blois, Marsden S.; Erlbaum, Mark S.; Nelson, Stuart J.; Sherertz, David D.

1988-01-01

291

UML-based Requirements Analysis on Risk Pre-control System in Coal Enterprise  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Combining with the present situation of risk management in domestic coal enterprises,the overall flow of risk pre-control system of coal enterprise is designed on the basis of the ISO/FDIS31000 “Risk management—Principles and guidelines” released by the International Standards Organization and risk precontrol management system of safety in coal mine, UML(unified modeling language) is used as a tool to establish the model of system requirements analysis, risk management subsystem is take...

Huang Hui; Yin Dongyue

2013-01-01

292

Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models  

Digital Repository Infrastructure Vision for European Research (DRIVER)

It is commonly admitted that one of the crux, during the design process of new complex systems, is the efficient communication between the experts. The OMG developed UML to tackle this problem in software design. For several years, many researchers have worked on adapting and reusing UML for whole kind of systems. These efforts led to the creation of SysML, a new modeling language for specifying, analyzing, designing and verifying complex multi-disciplinary systems. In this paper, we present ...

David, Pierre; Idasiak, Vincent; Kratz, Fre?de?ric

2008-01-01

293

ATTACK DESCRIPTION LANGUAGE FOR COLLABORATED ALERTS-USING XML AND UML  

Directory of Open Access Journals (Sweden)

Full Text Available Statistics of Internet usage are increasing enormously. In harmony, the attacks are also escalating. In the recent era, IDS have gained more popularity in connection to network security. IDS deployed in the network will scan the hosts and the network. It will try to sense misuse detection or anomaly detection. Whenever there is any suspicious activity, IDS will immediately raise alarm. It would be apt to capture the complete description of the new attack as soon as alarm rises. This information to be collected may be heterogeneous because it may be from multiple users, process or hosts. Hence there is a need for common standard language that will work across various domains and platforms. XML is one such language.Writing an XML schema directly would be difficult and inconvenient. The best way to write XML schemas is to useUML models. Hence in this paper, we propose alert collbaration modeling architecture and attack description language using XML notion, which uses UML modeling. Keywords- IDS,Attack,description,XML,UML

K.V.S.N. Rama Rao

2011-07-01

294

ATTACK DESCRIPTION LANGUAGE FOR COLLABORATED ALERTS-USING XML AND UML  

Directory of Open Access Journals (Sweden)

Full Text Available Statistics of Internet usage are increasing enormously. In harmony, the attacks are also escalating. In the recent era, IDS have gained more popularity in connection to network security. IDS deployed in the network will scan the hosts and the network. It will try to sense misuse detection or anomaly detection. Whenever there is any suspicious activity, IDS will immediately raise alarm. It would be apt to capture the complete description of the new attack as soon as alarm rises. This information to be collected may be heterogeneous because it may be from multiple users, process or hosts. Hence there is a need for common standard language that will work across various domains and platforms. XML is one such language.Writing an XML schema directly would be difficult and inconvenient. The best way to write XML schemas is to useUML models. Hence in this paper, we propose alert collbaration modeling architecture and attack description language using XML notion, which uses UML modeling. Keywords- IDS; Attack description; XML;UML

K.V.S.N. Rama Rao

2011-07-01

295

Transformación del modelo de clases uml a oracle9i® bajo la directiva mda: un caso de estudio  

Directory of Open Access Journals (Sweden)

Full Text Available La Arquitectura Orientada a Modelos (MDA es la propuesta de refinamiento de la OMG orientada a la generación automática de código a partir de los Modelos UML de Sistemas Independientes de la Plataforma de Implementación. En este trabajo se presenta una metodología para transformar el Modelo de Clases UML a un Modelo UML Dependiente de la Plataforma Oracle9i®, siguiendo los lineamientos básicos presentados por esta arquitectura y utilizando a UML como lenguaje de modelado a través de todos los pasos de dicha transformación. Inicialmente las reglas de transformación del Modelo de Clases de UML al Modelo Objeto-Relacional soportado por Oracle9i® son recopiladas en Español y adaptadas a nivel de metamodelo, para lo cual fue necesario elaborar un metamodelo simplificado de la plataforma Oracle9i®. Este conjunto de reglas se hace automatizable al expresarlas en un formalismo lógico, que sea fácilmente ejecutable por una herramienta CASE que soporte un lenguaje formal. Finalmente, se aplican las reglas de refinamiento formalizadas al Modelo de Clases de un Caso Práctico de estudio obteniendo como resultado, un Modelo UML instancia del Metamodelo de la Plataforma Oracle9i®. Los aspectos del Modelo de Clases en los que se hace énfasis en la transformación son las invariantes y reglas de derivación de atributos definidas en el lenguaje formal OCL, así como las relaciones de asociación, composición y generalización entre Clases.

FERNANDO ARANGO

2006-01-01

296

Particles, Feynman Diagrams and All That  

Science.gov (United States)

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

Daniel, Michael

2006-01-01

297

New Working Diagram for Membrane Separation Processes.  

Science.gov (United States)

First a short presentation of the work diagram for rectification processes (McCabe-Thiele-diagram) is given. Then a new work diagram suitable for membrane separation processes is developed. The application in pervaporation and gas separation under cross f...

K. Hattenbach

1985-01-01

298

Adapting OCL Constraints After a Refactoring of their Model Using an MDE Process  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Refactoring is a kind of endogenous model transformation. Its aim is to restructure applications without changing their external behavior. Several studies have been carried out on the refactoring of UML models specifically on the refactoring of UML class diagram models. During refactoring, the OCL constraints associated with these UML class diagram models are omitted or manually rewritten, which often leads the system to an inconsistent state. We propose an approach to transform, as automatic...

Hassam, Kahina; Sadou, Salah; Fleurquin, Re?gis

2010-01-01

299

Atemporal diagrams for quantum circuits  

CERN Document Server

A system of diagrams is introduced that allows the representation of various elements of a quantum circuit, including measurements, in a form which makes no reference to time (hence ``atemporal''). It can be used to relate quantum dynamical properties to those of entangled states (map-state duality), and suggests useful analogies, such as the inverse of an entangled ket. Diagrams clarify the role of channel kets, transition operators, dynamical operators (matrices), and Kraus rank for noisy quantum channels. Positive (semidefinite) operators are represented by diagrams with a symmetry that aids in understanding their connection with completely positive maps. The diagrams are used to analyze standard teleportation and dense coding, and for a careful study of unambiguous (conclusive) teleportation. A simple diagrammatic argument shows that a Kraus rank of 3 is impossible for a one-qubit channel modeled using a one-qubit environment in a mixed state.

Griffiths, R B; Yu, L; Cohen, S M; Griffiths, Robert B.; Wu, Shengjun; Yu, Li; Cohen, Scott M.

2005-01-01

300

Diagrams and Proofs in Analysis  

DEFF Research Database (Denmark)

The article discusses the role of diagrams in mathematical reasoning based on a case study in analysis.   In the presented example certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures are replaced by reasoning about permutation groups. This paper argues that, even though the diagrams are not present in the papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept formation as well as representations of proofs. In addition we note that `visualizaton' is used in different ways. In the first sense visualization denotes our inner mental pictures, which enables us to see that a certain fact holds, whereas in the other sense, `visualization' denotes a diagram or representation of something.

Carter, Jessica M H Grund

2010-01-01

 
 
 
 
301

Phase diagrams of the elements  

International Nuclear Information System (INIS)

A summary of the pressure-temperature phase diagrams of the elements is presented, with graphs of the experimentally determined solid-solid phase boundaries and melting curves. Comments, including theoretical discussion, are provided for each diagram. The crystal structure of each solid phase is identified and discussed. This work is aimed at encouraging further experimental and theoretical research on phase transitions in the elements

1975-01-01

302

Introduction to Ternary Phase Diagrams  

Science.gov (United States)

This exercise is intended as a group exercise to help students learn the fundamentals of using ternary phase diagrams. It is a much better way for students to learn about the diagrams than to lecture to them. Good students will be able to walk through this with little assistance from the instructor.Weaker students will struggle and need help from peers or instructors. The entire exercise takes 1-2 hours for most.

Perkins, Dexter

303

FPGA Implementations of Ladder Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The performance of programmable logic controllers is often constrained by the microprocessor and the real-time firmware of the controller. Field programmable gate arrays (FPGAs) are an attractive potential implementation medium for high-speed control because of their fast and parallel execution and programmable nature. Ladder Diagrams are a standard graphical programming method for industrial controllers, but compilers from Ladder Diagrams to FPGA hardware do not yet exist. This pape...

2013-01-01

304

From Dynkin diagram symmetries to fixed point structures  

CERN Document Server

Any automorphism of the Dynkin diagram of a symmetrizable Kac-Moody algebra induces an automorphism of the algebra and a mapping between its highest weight modules. For a large class of such Dynkin diagram automorphisms, we can describe various aspects of these maps in terms of another Kac-Moody algebra, the `orbit Lie algebra'. In particular, the generating function for the trace of the map on modules, the `twining character', is equal to a character of the orbit Lie algebra. Orbit Lie algebras and twining characters constitute a crucial step towards solving the fixed point resolution problem in conformal field theory.

Schellekens, Adrian Norbert; Schellekens, Bert; Schweigert, Christoph

1995-01-01

305

Resummation of Cactus Diagrams in Lattice QCD, to all Orders  

CERN Multimedia

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

Panagopoulos, H

2000-01-01

306

Mapping Scheme of Traditional Iranian Medicine Cluster’s Crotch in the Structure of Metathesaurus of Unified Medical Language System (UMLS)  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Background & Aim: Unified Medical Language System (UMLS) is an extensive ontology of biomedical knowledge developed and maintained by U.S. National Library of Medicine (NLM). Traditional Iranian Medicine (TIM) does not have any position in the structure of metathesaurus of UMLS. The main aim of this study was designing a scheme of TIM cluster's crotch mapping in the structure of metathesaurus of UMLS. Moreover, the TIM position and its proportion in the domain of vocabulary and concepts of un...

Valinejadi, A.; Azadeh, F.; Horri, A.; MR Shams Ardekani; Amirhosseini, M.

2008-01-01

307

Fast Formal Analysis of Requirements via "Topoi Diagrams"  

Science.gov (United States)

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

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

2001-01-01

308

Dynkin diagram sequences and stabilization phenomena  

CERN Multimedia

We continue the study of stabilization phenomena for Dynkin diagram sequences initiated in the earlier work of Kleber and the present author. We consider a more general class of sequences than that of this earlier work, and isolate a condition on the weights that gives stabilization of tensor product and branching multiplicities. We show that all the results of the previous article can be naturally generalized to this setting. We also prove some properties of the partially ordered set of dominant weights of indefinite Kac-Moody algebras, and use this to give a more concrete definition of a stable representation ring. Finally, we consider the classical sequences $B_n, C_n, D_n$ that fall outside the purview of the earlier work, and work out some simple conditions on the weights which imply stabilization.

Viswanath, S

2005-01-01

309

Communicating systems with UML 2 modeling and analysis of network protocols  

CERN Document Server

This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and starting models. This book aims at giving the basis needed for anybody to model and validate their own protocols. It follows a practical approach and gives many examples for the description and analysis of well known basic network mechanisms for protocols.The book firstly shows how to describe and validate the main protocol issues (such as synchronization problems, client-server interactions, layer

Barrera, David Garduno

2013-01-01

310

A UMLS-based spell checker for natural language processing in vaccine safety  

Directory of Open Access Journals (Sweden)

Full Text Available Abstract Background The Institute of Medicine has identified patient safety as a key goal for health care in the United States. Detecting vaccine adverse events is an important public health activity that contributes to patient safety. Reports about adverse events following immunization (AEFI from surveillance systems contain free-text components that can be analyzed using natural language processing. To extract Unified Medical Language System (UMLS concepts from free text and classify AEFI reports based on concepts they contain, we first needed to clean the text by expanding abbreviations and shortcuts and correcting spelling errors. Our objective in this paper was to create a UMLS-based spelling error correction tool as a first step in the natural language processing (NLP pipeline for AEFI reports. Methods We developed spell checking algorithms using open source tools. We used de-identified AEFI surveillance reports to create free-text data sets for analysis. After expansion of abbreviated clinical terms and shortcuts, we performed spelling correction in four steps: (1 error detection, (2 word list generation, (3 word list disambiguation and (4 error correction. We then measured the performance of the resulting spell checker by comparing it to manual correction. Results We used 12,056 words to train the spell checker and tested its performance on 8,131 words. During testing, sensitivity, specificity, and positive predictive value (PPV for the spell checker were 74% (95% CI: 74–75, 100% (95% CI: 100–100, and 47% (95% CI: 46%–48%, respectively. Conclusion We created a prototype spell checker that can be used to process AEFI reports. We used the UMLS Specialist Lexicon as the primary source of dictionary terms and the WordNet lexicon as a secondary source. We used the UMLS as a domain-specific source of dictionary terms to compare potentially misspelled words in the corpus. The prototype sensitivity was comparable to currently available tools, but the specificity was much superior. The slow processing speed may be improved by trimming it down to the most useful component algorithms. Other investigators may find the methods we developed useful for cleaning text using lexicons specific to their area of interest.

Liu Fang

2007-02-01

311

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

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

1993-01-01

312

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

Science.gov (United States)

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

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

2006-01-01

313

Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The forthcoming OMG UML Pro?le for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subpro?le where semantic issues can be explicitly and formally described. As a full-size exercise we deal here with the modeling of immediate and delayed data communications in AADL. It actually re?ects an important issue in RT/E model semantics: a propagation of immediate communications may result in a combinatorial loop, with ...

2007-01-01

314

Software Verification and Validation with UML in Safety Related System of Nuclear Power Plant  

International Nuclear Information System (INIS)

Digital I and C system with computer is being used widely in Nuclear Power Plant(NPP) because of the development of digital and IT technologies. Also, windows OS and object oriented application are adopted in the reason of user-friend characteristic and easy development environment. Various software development techniques in object oriented environment are introduced but software V and V technique for NPP Safety Related System in object oriented environment was not seriously considered. So the software V and V methodology for the development of object oriented NPP application, especially with UML, has been developed

2007-10-01

315

Software Verification and Validation with UML in Safety Related System of Nuclear Power Plant  

Energy Technology Data Exchange (ETDEWEB)

Digital I and C system with computer is being used widely in Nuclear Power Plant(NPP) because of the development of digital and IT technologies. Also, windows OS and object oriented application are adopted in the reason of user-friend characteristic and easy development environment. Various software development techniques in object oriented environment are introduced but software V and V technique for NPP Safety Related System in object oriented environment was not seriously considered. So the software V and V methodology for the development of object oriented NPP application, especially with UML, has been developed.

Kim, Yun Goo; Shin, Young Chul [Nuclear Engineering and Technology Institute, KHNP Co., Daejeon (Korea, Republic of); Choi, Jin Young; Hwang, Dae Yon [Korea Univ., Seoul (Korea, Republic of)

2007-10-15

316

A Trajectory UML Profile for Modeling Trajectory Data: A Mobile Hospital Use Case  

Directory of Open Access Journals (Sweden)

Full Text Available A large amount of trajectory data resulting from moving objects can be collected thanks to localization based services and monitoring systems. Those trajectory data can be used for analysis purposes in many domains (medicine, commerce, environment…. For this reason, modeling trajectory data at the conceptual level is an important stair. In this paper, we propose a new profile based on UML in order to enhance the conceptual modeling of trajectory data related to mobile hospitals by new stereotypes and new icons.

Wided Oueslati

2011-02-01

317

Converting UML Description of Software Architecture to Stochastic Process Algebra and Performance Evaluation  

Directory of Open Access Journals (Sweden)

Full Text Available Important qualitative parameters of the large softwaresystems are determined by indicators of effectiveness of thesoftware's, such as response time, operating power and error rate.Procedure modeling is an approach for evaluating the effectivenessand validation of the systems and, as well as it predicts therequirements of qualitative and quantitative performance andprovides a comparison between all kinds of designs with respect toperformance indicators.Present study suggested a method for converting the UMLdescription designing software to Stochastic Process Algebra(SPAmodel, which provides the application of using the UML indesigning software with high performance; in other words itputting the performance in designing software and a high qualitysoftware is designed.In order tomodeling the parts of system weuse state chart and for the interactions between the parts we use theCollaboration chart with the performance profile (using theperformance profile is the distinction between the suggestedapproach and the former ones.. An algorithm is provided forautomatic production of the SPA performance model from theXML(Extensible Markup Language documents and state andcollaboration charts with performance profiles(stereotype, labeland limitation, using the ExportXMI software, Argo UML isprovided, and then they gained SPA performance/operation modelin the PEPAworkbench tool is loaded for performance analysis,so as the designer can test thefulfill of performance goals of hisdesign according to type of different performance parameters andchanging in value and chooses the best option in designing.

Rahmat Zolfaghari

2013-07-01

318

Meta-Model and UML Profile for Requirements Management of Software and Embedded Systems  

Directory of Open Access Journals (Sweden)

Full Text Available Software and embedded system companies today encounter problems related to requirements management tool integration, incorrect tool usage, and lack of traceability. This is due to utilized tools with no clear meta-model and semantics to communicate requirements between different stakeholders. This paper presents a comprehensive meta-model for requirements management. The focus is on software and embedded system domains. The goal is to define generic requirements management domain concepts and abstract interfaces between requirements management and system development. This leads to a portable requirements management meta-model which can be adapted with various system modeling languages. The created meta-model is prototyped by translating it into a UML profile. The profile is imported into a UML tool which is used for rapid evaluation of meta-model concepts in practice. The developed profile is associated with a proof of concept report generator tool that automatically produces up-to-date documentation from the models in form of web pages. The profile is adopted to create an example model of embedded system requirement specification which is built with the profile.

Arpinen Tero

2011-01-01

319

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

International Nuclear Information System (INIS)

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

2011-12-23

320

Topologically distinct Feynman diagrams for mass operator in electron-phonon interaction  

Directory of Open Access Journals (Sweden)

Full Text Available The new method for designing topologically distinct Feynman diagrams for electron's mass operator in electron-phonon interaction is developed using the permutation group theory. The carried out classification of DPs allows to choose the classes, corresponding to disconnected diagrams, to singly connected diagrams, direct ("tadpole" diagrams, to diagrams corresponding to phonon Green functions. After this classification the set of considered double permutations is reduced to one class since only these are relevant to mass operator. We derive analytical expressions which allow to identify the DP, and to choose the phonon components, which are not accepted in every type. To avoid repetition of asymmetric diagrams, which correspond to the same analytical expression, we introduce the procedure of inversion in phonon component, and identify symmetric as well as a pair of asymmetric phonon components. For every type of DP (denoted by its digital encoding, taking into account its symmetry, we perform a set of transformations on this DP, list all DPs of the type and all the corresponding Feynman diagrams of mass operator automatically. It is clear that no more expressions (diagrams for the relevant order of perturbation theory for mass operator can be designed.

C.C. Tovstyuk

2009-01-01

 
 
 
 
321

Electronegativity and hardness as coordinates in structure stability diagrams.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

With electronegativity and hardness of an atom defined as 1/2(I + A) and 1/2(I - A), respectively, where I and A are the ionization potential and electron affinity, electronegativity difference and hardness sum are proposed as coordinates in structure stability diagrams. With these coordinates a successful topological classification of the crystal structures of octet and suboctet binary compounds is obtained, and a clear delineation of the structural classes portraying chemical periodicity is...

Shankar, S.; Parr, R. G.

1985-01-01

322

Electronegativity and hardness as coordinates in structure stability diagrams.  

Science.gov (United States)

With electronegativity and hardness of an atom defined as 1/2(I + A) and 1/2(I - A), respectively, where I and A are the ionization potential and electron affinity, electronegativity difference and hardness sum are proposed as coordinates in structure stability diagrams. With these coordinates a successful topological classification of the crystal structures of octet and suboctet binary compounds is obtained, and a clear delineation of the structural classes portraying chemical periodicity is found.

Shankar, S; Parr, R G

1985-01-01

323

Topology of surface diagrams of smooth 4-manifolds.  

Science.gov (United States)

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

Williams, Jonathan D

2011-05-17

324

Duality and phase diagram of one-dimensional transport  

International Nuclear Information System (INIS)

The idea of duality in one-dimensional nonequilibrium transport is introduced by generalizing the observations by Mukherji and Mishra. A general approach is developed for the classification and characterization of the steady state phase diagrams which are shown to be determined by the nature of the zeros of a set of coarse-grained functions that encode the microscopic dynamics. A new class of nonequilibrium multicritical points has been identified

2007-02-23

325

Electrical elementary diagrams and operators  

Energy Technology Data Exchange (ETDEWEB)

After 40 years of reading and interrupting electrical elementary logic drawings, I have concluded that we need to make a change. We need to write and express our nuclear power plant logic in some other language than relay ladder logic, solid state logic or computer mnemonics. The language should be English, or your native language, and the format should be Descriptive Block Diagrams. (author)

Patterson, B.K. [Human Factors Practical Inc., Dipper Harbour, New Brunswick (Canada)]. E-mail: HumanFactors@netscape.ca

2005-07-01

326

The nonforward QCD ladder diagrams  

International Nuclear Information System (INIS)

We extend the standard analysis of the QCD planar ladder diagrams to the nonforward direction. Results are used for calculating exclusive and semiinclusive cross sections of diffractive photoproduction in the small-x region of ep-collisions. As an example we estimate the event rate for diffractive photoproduction of the neutral vector boson at Hera energies. (orig.)

1981-01-01

327

Diagrams in the polaron model  

International Nuclear Information System (INIS)

The perturbation theory for the polaron energy is systematically treated on the diagrammatic basis. Feynman diagrams being constructed allow to calculate the polaron energy up to the third order in powers of the coupling constant. Similar calculations are performed for the average number of virtual phonons

1985-01-01

328

Electrical elementary diagrams and operators  

International Nuclear Information System (INIS)

After 40 years of reading and interrupting electrical elementary logic drawings, I have concluded that we need to make a change. We need to write and express our nuclear power plant logic in some other language than relay ladder logic, solid state logic or computer mnemonics. The language should be English, or your native language, and the format should be Descriptive Block Diagrams. (author)

2005-06-12

329

Addendum G. Feynman diagram index  

International Nuclear Information System (INIS)

In Appendix G, a formula for the index of any Feynman diagram is derived within the general model of quantum field theory, whose interaction Lagrangian is a polynomial with respect to the boson and fermion fields and their derivatives. Special discussion is devoted to the interaction of boson fields with a spin of one and a nonzero mass. (Z.J.)

1993-01-01

330

Higher Order City Voronoi Diagrams  

CERN Document Server

We investigate higher-order Voronoi diagrams in the city metric. This metric is induced by quickest paths in the L1 metric in the presence of an accelerating transportation network of axis-parallel line segments. For the structural complexity of kth-order city Voronoi diagrams of n point sites, we show an upper bound of O(k(n - k) + kc) and a lower bound of {\\Omega}(n + kc), where c is the complexity of the transportation network. This is quite different from the bound O(k(n - k)) in the Euclidean metric. For the special case where k = n - 1 the complexity in the Euclidean metric is O(n), while that in the city metric is {\\Theta}(nc). Furthermore, we develop an O(k^2(n + c) log n)-time iterative algorithm to compute the kth-order city Voronoi diagram and an O(nc log^2(n + c) log n)-time divide-and-conquer algorithm to compute the farthest-site city Voronoi diagram.

Gemsa, Andreas; Liu, Chih-Hung; Wagner, Dorothea

2012-01-01

331

Voronoi Diagrams and Spring Rain  

Science.gov (United States)

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

Perham, Arnold E.; Perham, Faustine L.

2011-01-01

332

Phase diagram of electroweak theory  

Energy Technology Data Exchange (ETDEWEB)

There is some controversy in the literature concerning the phase diagram of electroweak theory, particularly when {ital W}-boson condensation occurs. Problems with previous calculations are pointed out and the thermodynamic potential is recalculated. Limitations of current theoretical approaches are found and suggestions are made on how to improve the approximations, especially at high temperature and high density.

Kapusta, J.I. (School of Physics, Minneapolis, (MN) Astronomy, University of Minnesota, Minneapolis, MN (USA))

1990-08-01

333

Algorithmic approach to diagram techniques  

International Nuclear Information System (INIS)

An algorithmic approach to diagram techniques of elementary particles is proposed. The definition and axiomatics of the theory of algorithms are presented, followed by the list of instructions of an algorithm formalizing the construction of graphs and the assignment of mathematical objects to them. (T.A.)

1980-01-01

334

Analytic Combinatorics of Chord Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

In this paper we study the enumeration of diagrams of n chords joining 2n points on a circle in disjoint pairs. We establish limit laws for the following three parameters: number of components, size of the largest component, and number of crossings. We also find exact formulas for the moments of the distribution of number of components and number of crossings.

Flajolet, Philippe; Noy, Marc

2000-01-01

335

Power Network Voronoi Diagram and Dynamic Construction  

Directory of Open Access Journals (Sweden)

Full Text Available Objective Voronoi diagrams are important in many fields in a series of sciences. Network Voronoi diagrams are useful to investigate dominance regions in a grid street system or a radial-circular street system. However, all generators may have different effect. To deal with a network Voronoi diagram with varied functions of generators, it must be worth formulating a power network Voronoi diagram. Method Adding weight value on generators, which is used to indicate factors related to are difficult to construct when the position relation of generators.  Results A new concept of power network Voronoi diagram are proposed. In accordance with discrete construction method, achieved the construction of power network Voronoi diagram. Conclution The application example shows that the algorithm is both simple and useful, and it is of high potential value in practice.  Power network Voronoi diagram both perfected the theory about Voronoi diagrams, and extended the range of applications of Voronoi diagrams.

Yourong Wang

2012-04-01

336

FORMAL SPECIFICATION FOR REAL-TIME OBJECT ORIENTED SYSTEMS WITH UML DESIGN  

Directory of Open Access Journals (Sweden)

Full Text Available Traditionally, real-time software system development focuses on low-level programming techniques to increase timeliness and operate within constraints; however, more recently higher-level, object-oriented methodologies are being used to create real-time software systems. This increase in object-oriented design for real- time systems is due to the improved use of active objects and concurrency in object-oriented languages. Real-time aspects have not only improved in many programming languages, but these real-time constraints are becoming more essential in general object-oriented software development. Consequently, the specification of real-time object-oriented systems is becoming important in software development processes. One of the many tools used to specify software is an executable specification language called Descartes. Descartes relates output data to input data as a function of the input data through a tree structure notation called "Hoare trees." This useful specification structure has been extended and supported for several types of systems since the language's creation in 1977. In particular, Descartes has been extended for the specification of real-time systems and for object-oriented designed systems. In spite of this, the combination of the two extensions for specification of real-time object oriented (RTOO systems has not been tested. Thus, the main objective was to validate that the combination of the two Descartes extensions either satisfied the needed specification for RTOO systems or that the language needed to be additionally extended. To gain further verification of these united Descartes extensions, the Unified Modeling Language (UML was used for comparison in aspects of design and effectiveness. In this research effort, UML 2.0, a widely used modeling language was used and analyzed to model security requirements along with the application requirements for real time object oriented systems. The outcome from this research effort was efficient modeling notations included to UML 2.0 modeling notations that can be used to specify security requirements in the beginning phase of software engineering, when application requirements are specified.

Benjamin D. Horne

2012-01-01

337

Quark diagrams and the ?- nonleptonic decays  

International Nuclear Information System (INIS)

The quark-diagram model for nonleptonic two-body baryon decays is discussed and applied to the decay of the ?- particle. Current algebra is not employed, but the relation between the quark diagrams and current algebra is explored

1980-09-01

338

Potts Models on Feynman Diagrams  

CERN Document Server

We investigate numerically and analytically Potts models on ``thin'' random graphs -- generic Feynman diagrams, using the idea that such models may be expressed as the N --> 1 limit of a matrix model. The thin random graphs in this limit are locally tree-like, in distinction to the ``fat'' random graphs that appear in the planar Feynman diagram limit, more familiar from discretized models of two dimensional gravity. The interest of the thin graphs is that they give mean field theory behaviour for spin models living on them without infinite range interactions or the boundary problems of genuine tree-like structures such as the Bethe lattice. q-state Potts models display a first order transition in the mean field for q>2, so the thin graph Potts models provide a useful test case for exploring discontinuous transitions in mean field theories in which many quantities can be calculated explicitly in the saddle point approximation.

Johnston, D A

1997-01-01

339

Hubble's diagram and cosmic expansion  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Edwin Hubble's classic article on the expanding universe appeared in PNAS in 1929 [Hubble, E. P. (1929) Proc. Natl. Acad. Sci. USA 15, 168–173]. The chief result, that a galaxy's distance is proportional to its redshift, is so well known and so deeply embedded into the language of astronomy through the Hubble diagram, the Hubble constant, Hubble's Law, and the Hubble time, that the article itself is rarely referenced. Even though Hubble's distances have a large systematic error, Hubble's ve...

Kirshner, Robert P.

2004-01-01

340

Euler graph transformations for euler diagram layout  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Euler diagrams are frequently used for visualizing information about collections of objects and form an important component of various visual languages. Properties possessed by Euler diagrams correlate with their usability, such as whether the diagram has only simple curves or possesses concurrency. Sometimes, every diagram that represents some given information possesses some undesirable properties, and reducing the number of violations of undesirable properties is beneficial. In this paper ...

2010-01-01

 
 
 
 
341

Acceptance diagram analysis of the ion implanter  

International Nuclear Information System (INIS)

The acceptance diagrams of the components in beam optics system are transformed to a certain point to form the acceptance diagram of the whole system. The task of beam optics calculation is to match the beam emittance diagram with the acceptance diagram of the system. The beam transportation efficiency can then be estimated. The ion implanter of LC-2B type is used as an example to illustrate the application of this technique

1990-01-01

342

Power Network Voronoi Diagram and Dynamic Construction  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Objective Voronoi diagrams are important in many fields in a series of sciences. Network Voronoi diagrams are useful to investigate dominance regions in a grid street system or a radial-circular street system. However, all generators may have different effect. To deal with a network Voronoi diagram with varied functions of generators, it must be worth formulating a power network Voronoi diagram. Method Adding weight value on generators, which is used to indicate factors related to are difficu...

Yili Tan; Ye Zhao; Yourong Wang

2012-01-01

343

Derivation of UML Based Performance Models for Design Assessment in a Reuse Based Software Development Approach  

Directory of Open Access Journals (Sweden)

Full Text Available Reuse-based software development provides an opportunity for better quality and increased productivity in the software products. One of the most critical aspects of the quality of a software system is its performance. The systematic application of software performance engineering techniques throughout the development process can help to identify design alternatives that preserve desirable qualities such as extensibility and reusability while meeting performance objectives. In the present scenario, most of the performance failures are due to a lack of consideration of performance issues early in the development process, especially in the design phase. These performance failures results in damaged customer relations, lost productivity for users, cost overruns due to tuning or redesign, and missed market windows. In this paper, we propose UML based Performance Models for design assessment in a reuse based software development scenario.

Jasmine K.S.

2009-01-01

344

Tissue transglutaminase levels above 100 U/mL and celiac disease: A prospective study  

Directory of Open Access Journals (Sweden)

Full Text Available AIM: To investigate whether a tissue-transglutaminase antibody (tTGA level ? 100 U/mL is sufficient for the diagnosis of celiac disease (CD. METHODS: Children suspected of having CD were prospectively included in our study between March 2009 and September 2011. All patients with immune globulin A deficiency and all patients on a gluten-free diet were excluded from the study. Anti-endomysium antibodies (EMA were detected by means of immunofluorescence using sections of distal monkey esophagus (EUROIMMUN, Luebeck, Germany. Serum anti-tTGA were measured by means of enzyme-linked immunosorbent assay using human recombinant tissue transglutaminase (ELiA Celikey IgA kit Phadia AB, Uppsala, Sweden. The histological slides were graded by a single experienced pathologist using the Marsh classification as modified by Oberhuber. Marsh II and III lesions were considered to be diagnostic for the disease. The positive predictive values (PPVs, negative predictive values (NPVs, sensitivity and specificity of EMA and tTGA along with their 95% CI (for the cut off values > 10 and ? 100 U/mL were calculated using histology as the gold standard for CD. RESULTS: A total of 183 children were included in the study. A total of 70 (38.3% were male, while 113 (61.7% were female. The age range was between 1.0 and 17.6 years, and the mean age was 6.2 years. One hundred twenty (65.6% patients had a small intestinal biopsy diagnostic for the disease; 3 patients had a Marsh II lesion, and 117 patients had a Marsh III lesion. Of the patients without CD, only 4 patients had a Marsh?I?lesion. Of the 183 patients, 136 patients were positive for EMA, of whom 20 did not have CD, yielding a PPV for EMA of 85% (95% CI: 78%-90% and a corresponding specificity of 68% (95% CI: 55%-79%. The NPV and specificity for EMA were 91% (95% CI: 79%-97% and 97% (95% CI: 91%-99%, respectively. Increased levels of tTGA were found in 130 patients, although only 116 patients truly had histological evidence of the disease. The PPV for tTGA was 89% (95% CI: 82%-94%, and the corresponding specificity was 78% (95% CI: 65%-87%. The NPV and sensitivity were 92% (95% CI: 81%-98% and 97% (95% CI: 91%-99%, respectively. A tTGA level ? 100 U/mL was found in 87 (47.5% patients, all of whom were also positive for EMA. In all these 87 patients, epithelial lesions confirming CD were found, giving a PPV of 100% (95%CI: 95%-100%. The corresponding specificity for this cut-off value was also 100% (95% CI: 93%-100%. Within this group, a total of 83 patients had symptoms, at least gastrointestinal and/or growth retardation. Three patients were asymptomatic but were screened because they belonged to a group at risk for CD (diabetes mellitus type 1 or positive family history. The fourth patient who lacked CD-symptoms was detected by coincidence during an endoscopy performed for gastro-intestinal bleeding. CONCLUSION: This study confirms based on prospective data that a small intestinal biopsy is not necessary for the diagnosis of CD in symptomatic patients with tTGA ? 100 U/mL.

Amani Mubarak

2012-01-01

345

A Trajectory UML profile For Modeling Trajectory Data: A Mobile Hospital Use Case  

CERN Document Server

A large amount of data resulting from trajectories of moving objects activities are collected thanks to localization based services and some associated automated processes. Trajectories data can be used either for transactional and analysis purposes in various domains (heath care, commerce, environment, etc.). For this reason, modeling trajectory data at the conceptual level is an important stair leading to global vision and successful implementations. However, current modeling tools fail to fulfill specific moving objects activities requirements. In this paper, we propose a new profile based on UML in order to enhance the conceptual modeling of trajectory data related to mobile objects by new stereotypes and icons. As illustration, we present a mobile hospital use case.

Oueslati, Wided

2011-01-01

346

A UML 2.0 Profile to Model Block Cipher Algorithms  

Science.gov (United States)

Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical information. To achieve higher performance, the security algorithms are usually implemented as dedicated hardware functional units attached to the main processing units of the embedded communication system. To save hardware resources, the designer usually performs a number of manipulations in the cipher algorithm lying at the core of the confidentiality and integrity operations to implement a simplified version of it that is suitable to be efficiently used in an embedded environment. This paper describes an extension to UML 2.0 to model the structure of contemporary block cipher algorithms, with the ultimate goal of synthesizing representations in a hardware description language from these models according to a model-driven development principle. This automated process should alleviate design complexity and increase the productivity of the developer during experimentation with different design alternatives.

Balderas-Contreras, Tomás; Rodriguez-Gomez, Gustavo; Cumplido, René

347

Thermodynamics Of A Class Of Kerr-Bolt-Ads Spacetime  

CERN Document Server

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

Ghosh, T

2003-01-01

348

Liftings of diagrams of semilattices by diagrams of dimension groups  

CERN Document Server

We investigate categorical and amalgamation properties of the functor Idc assigning to every partially ordered abelian group G its semilattice of compact ideals Idc G. Our main result is the following. Theorem 1. Every diagram of finite Boolean semilattices indexed by a finite dismantlable partially ordered set can be lifted, with respect to the Idc functor, by a diagram of pseudo-simplicial vector spaces. Pseudo-simplicial vector spaces are a special kind of finite-dimensional partially ordered vector spaces (over the rationals) with interpolation. The methods introduced make it also possible to prove the following ring-theoretical result. Theorem 2. For any countable distributive join-semilattices S and T and any field K, any (v,0)-homomorphism $f: S\\to T$ can be lifted, with respect to the Idc functor on rings, by a homomorphism $f: A\\to B$ of K-algebras, for countably dimensional locally matricial algebras A and B over K. We also state a lattice-theoretical analogue of Theorem 2 (with respect to the Conc ...

Tuma, J; Tuma, Jiri; Wehrung, Friedrich

2005-01-01

349

Phase Diagram of Janus Particles  

Science.gov (United States)

We thoroughly investigate a simple model representative of the recently synthesized Janus particles, i.e., colloidal spherical particles whose surface is divided into two areas of different chemical composition. When the two surfaces are solvophilic and solvophobic, these particles constitute the simplest example of surfactants. The phase diagram includes a colloidal-poor (gas), colloidal-rich (liquid) demixing region, which is progressively suppressed by the insurgence of micelles, providing the first model in which micellization and phase separation are simultaneously observed. The coexistence curve is found to be negatively sloped in the temperature-pressure plane, suggesting that Janus particles can provide a colloidal system with anomalous thermodynamic behavior.

Sciortino, Francesco; Giacometti, Achille; Pastore, Giorgio

2009-12-01

350

Optical generation of Voronoi diagram.  

Science.gov (United States)

We present results of experiments of diffraction by an amplitude screen, made of randomly distributed circular holes. By careful selection of the experimental parameters we obtain an intensity pattern strongly connected to the Voronoi diagram (VD) generated by the centers of the apertures. With the help of simulations we give a description of the observed phenomenon and elucidate the optimal parameters for its observation. Finally, we also suggest how it can be used for a fast, all-optical generation of VDs. PMID:18542580

Giavazzi, F; Cerbino, R; Mazzoni, S; Giglio, M; Vailati, A

2008-03-31

351

The Hubble diagram - a rediscussion  

International Nuclear Information System (INIS)

A rederivation of the deceleration parameter q0 basing on new observational data (Gunn and Oke 1075) and using more conventional analysis with a particular attention to the Scott effect is reported. The resulting value of q0 obtained on the assumption of no evolution is q0 obtained on the assumption of no evolution is q0=0.54+-0.52 or about 0.5 larger than that reported by Gunn and Oke. The additional uncertainty sets of photometric observations may also introduce an appreciable error into resulting q0. At present the Hubble diagram analysis is evidently not yet sufficient for discrimination between the open and closed universes. (author)

1976-01-01

352

Phase Diagrams for Sonoluminescing Bubbles  

CERN Document Server

Sound driven gas bubbles in water can emit light pulses. This phenomenon is called sonoluminescence (SL). Two different phases of single bubble SL have been proposed: diffusively stable and diffusively unstable SL. We present phase diagrams in the gas concentration vs forcing pressure state space and also in the ambient radius vs gas concentration and vs forcing pressure state spaces. These phase diagrams are based on the thresholds for energy focusing in the bubble and two kinds of instabilities, namely (i) shape instabilities and (ii) diffusive instabilities. Stable SL only occurs in a tiny parameter window of large forcing pressure amplitude $P_a \\sim 1.2 - 1.5$atm and low gas concentration of less than $0.4\\%$ of the saturation. The upper concentration threshold becomes smaller with increasing forcing. Our results quantitatively agree with experimental results of Putterman's UCLA group on argon, but not on air. However, air bubbles and other gas mixtures can also successfully be treated in this approach i...

Hilgenfeldt, S; Brenner, M; Hilgenfeldt, Sascha; Lohse, Detlef; Brenner, Michael

1996-01-01

353

Structural Phase Diagram of Ca  

Energy Technology Data Exchange (ETDEWEB)

To help the understanding of the physical behavior of Ca{sub 1-x}Y{sub x}MnO{sub 3}, its phase diagram in the whole x concentration range was investigated taking into account the stability of phases and the possible coexistence of different structural phases. By careful analysis of powder X-ray diffraction (XRD) patterns, we were able to observe the following phase diagram: (i) Orthorhombic phases were detected both in the region of 0 {le} x {le} 0.25 (O type phase with Ca site twelve fold coordinated) and in the region of 0.5 {le} x {le} 0.75 (O' type phase with Ca site ninefold coordinated). (ii) Phase segregation for 0.25 {le} x {le} 0.5 and for x > 0.75 that have not been reported previously, hexagonal YMnO{sub 3} segregates as a separate phase for x > 0.75, and for 0.25 {le} x {le} 0.5 the coexistence of Ca{sub 0.75}Y{sub 0.25}MnO{sub 3} (O) and Ca{sub 0.5}Y{sub 0.5}MnO{sub 3} (O') have to be included in the refinement for it to converge.

Vega, D.; Polla, G.; Leyva, A. G.; Konig, P.; Lanza, H.; Esteban, A.; Aliaga, H.; Causa, M. T.; Tovar, M.; Alascio, B.

2001-02-01

354

Potts models on Feynman diagrams  

International Nuclear Information System (INIS)

We investigate numerically and analytically Potts models on 'thin' random same concgeneric Feynman diagrams, using the idea that such models may be expressed as the N?1 limit of a matrix model. The thin random graphs in this limit are locally tree-like, in distinction to the 'fat' random graphs that appear in the planar Feynman diagram limit, N??, more familiar from discretized models of two-dimensional gravity. The interest of the thin graphs is that they give mean-field theory behaviour for spin models living on them without infinite range interactions or the boundary problems of genuine tree-like structures such as the Bethe lattice. q-state Potts models display a first-order transition in the mean field for q>2, so the thin-graph Potts models provide a useful test case for exploring discontinuous transitions in mean-field theories in which many quantities can be calculated explicitly in the saddle-point approximation. Such discontinuous transitions also appear in multiple Ising models on thin graphs and may have implications for the use of the replica trick in spin-glass models on random graphs. (author)

1997-11-07

355

Community detection by graph Voronoi diagrams  

Science.gov (United States)

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

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

2014-06-01

356

An UML Approach to Overcome Issues of Concurrency in Distributed Systems  

Directory of Open Access Journals (Sweden)

Full Text Available A Distributed System is a collection of Independent Computers that appears to its Users’ as a single entity or Single System. These Independent Systems collaborate together to achieve a common goal. They communicate with each other via a network. Concurrency is one common characteristic of Distributed Systems. They help in achieving parallelism. There are issues of Concurrency in Distributed Systems. The main intention of this research is to uncover the issues of Distributed Systems in its design phase so that the cost incurred in the later stages for detecting and rectifying those issues can be reduced.  This paper discusses the issues of concurrency in Distributed System and proposes a model that overcomes the issues. Generally Distributed Systems are modeled using Deployment Diagrams but in this paper we discuss the drawbacks of using Deployment diagram in showing concurrency in Distributed System and we provide a model using the Object Diagrams that overcomes the listed Drawbacks.

Om Kumar

2013-02-01

357

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

Science.gov (United States)

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

Rosengrant, David R.

358

Phase diagrams for high Tc superconductors  

International Nuclear Information System (INIS)

The phase diagrams of ternary and quaternary systems containing superconducting phases are presented, as are the phase diagrams of the associated binary systems. The diagrams are divided into two large groups: (1) alkaline earth-rare earth-copper-oxygen diagrams, and (2) alkaline earth-bismuth/lead-copper-oxygen diagrams. The first group includes BaO-REO-CuO systems followed by SrO-REO-CuO or Nd2O3-CeO-CuO systems. The second group includes systems related to the AE-Bi2O3-CuO and AE-PbO-CuO systems. The phase diagrams are accompanied by notes relating procedures used in the studies, results obtained, and comparisons with the results in the literature for the same system

1991-01-01

359

Selected topics on the nonrelativistic diagram technique  

International Nuclear Information System (INIS)

The construction of the diagrams describing various processes in the four-particle systems is considered. It is shown that these diagrams, in particular the diagrams corresponding to the simple mechanisms often used in nuclear and atomic reaction theory, are readily obtained from the Faddeev-Yakubovsky equations. The covariant four-dimensional formalism of nonrelativistic Feynman graphs and its connection to the three-dimensional graph technique are briefly discussed

1983-01-01

360

The neptunium-iron phase diagram  

International Nuclear Information System (INIS)

The phase relations in the Np-Fe alloy system have been elucidated using differential thermal analysis. A phase diagram for this system is postulated based upon the experimental results, regular-solution model calculations, and an expected correspondence to the U-Fe and Pu-Fe diagrams. The postulated Np-Fe diagram is characterized by limited terminal solid solubilities, two intermetallic solid phases, NpFe_2 and Np_6Fe, and two eutectics. ((orig.))

1994-08-01

 
 
 
 
361

On the convergence of planar diagram expansions  

International Nuclear Information System (INIS)

Renormalizable quantum field theories whose perturbation expansions are described by planar Feynman diagrams only, such as SU(infinity) gauge theory, are considered in 4 dimensional Euclidean space. For studying asymptotic properties of the perturbation series one might wish to isolate first all those planar diagrams that do not contain any ultraviolet divergent subgraphs. In this paper it is proved that this infinite set of diagrams, when summed, converges within a finite radius of convergence for the coupling constant. (orig.)

1982-01-01

362

Feynman diagrams for dispersion interactions  

Energy Technology Data Exchange (ETDEWEB)

Diagrammatic techniques have been used for a long time in perturbative calculations of dispersion interactions between atoms or molecules such as the Casimir-Polder or van-der-Waals interaction and atomic (or molecular) QED, as in the Lamb shift and the calculation of radiative lifetimes. Using the multipolar coupling scheme and Feynman-ordered diagrams rather than retarded graphs, significantly reduces the number of graphs required for calculating the T-matrix. The formalism presented earlier (2010) offers a rich toolbox that can be applied to different situations reaching from few-body interactions to Bose-Einstein condensates. It is possible to include macroscopic bodies and atomic wave packets, relevant for quantum gases in modern microtraps. Interesting applications involve entangled states or systems out of thermal equilibrium. Resonant contributions arise from the interaction of excited molecules and are supposed to play an important role in molecular biology.

Haakh, Harald; Schiefele, Juergen; Henkel, Carsten [Institut fuer Physik und Astronomie, Universitaet Potsdam (Germany)

2011-07-01

363

Hubble's diagram and cosmic expansion  

Science.gov (United States)

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

Kirshner, Robert P.

2004-01-01

364

Mapping the QCD phase diagram  

CERN Multimedia

The QCD vacuum in which we live, which has the familiar hadrons as its excitations, is but one phase of QCD, and far from the simplest one at that. One way to better understand this phase and the nonperturbative dynamics of QCD more generally is to study other phases and the transitions between phases. We are engaged in a voyage of exploration, mapping the QCD phase diagram as a function of temperature T and baryon number chemical potential mu . Because of asymptotic freedom, the high temperature and high baryon density phases of QCD are more simply and more appropriately described in terms of quarks and gluons as degrees of freedom, rather than hadrons. The chiral symmetry breaking condensate which characterizes the vacuum phase melts away. At high densities, quarks form Cooper pairs and new condensates develop. The formation of such superconducting phases requires only weak attractive interactions; these phases may nevertheless break chiral symmetry and have excitations which are indistinguishable from thos...

Rajagopal, K

1999-01-01

365

Phase diagram of ammonium nitrate  

International Nuclear Information System (INIS)

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

2013-12-07

366

Phase diagram of ammonium nitrate  

Science.gov (United States)

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

Dunuwille, Mihindra; Yoo, Choong-Shik

2013-12-01

367

Zr-Ir phase diagram  

International Nuclear Information System (INIS)

The phase equilibria are investigated and Zr-Ir state diagram is plotted by the methods of metallographical, X-ray diffraction, thermal analyses and by measuring solidus temperature. The formation of initial solid solutions and intermediate phases on the base of Zr3Ir, Zr2Ir, Zr5Ir3, ZrIr, ZrIr2 and ZrIr3 compounds is established. Two of them, ZrIr and ZrIr3 melt congruently at 2050 and 2280 deg C, Zr3Ir, Zr2Ir, Zr5Ir3 and ZrIr2 phases are formed by peritectic reactions at 1305, 1340 1730 and 2085 deg C, respectively. The polymorphous transformation of ZrIr phase in the alloy of the equiatomic composition takes place within the 920-950 deg C temperature range. ?-Zr base solid solution is subjected to eutectoid decomposition at 775 deg C

368

Phase diagram of ammonium nitrate  

Science.gov (United States)

Ammonium Nitrate (AN) has often subjected to uses in improvised explosive devices, due to its wide availability as a fertilizer and its capability of becoming explosive with slight additions of organic and inorganic compounds. Yet, the origin of enhanced energetic properties of impure AN (or AN mixtures) is neither chemically unique nor well understood -resulting in rather catastrophic disasters in the past1 and thereby a significant burden on safety in using ammonium nitrates even today. To remedy this situation, we have carried out an extensive study to investigate the phase stability of AN at high pressure and temperature, using diamond anvil cells and micro-Raman spectroscopy. The present results confirm the recently proposed phase IV-to-IV' transition above 17 GPa2 and provide new constraints for the melting and phase diagram of AN to 40 GPa and 400 °C.

Dunuwille, M.; Yoo, C. S.

2014-05-01

369

Making the Marriage: Reconciling Views of Concepts and Meaning in MeSH and the UMLS Metathesaurus  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The reconciliation of apparent discrepancies between concept structures and previously indicated relationships between unique identifiers is an important step in keeping the Medical Subject Headings (MeSH) and the UMLS Metathesaurus (Meta) in agreement. This step is a necessary prelude to the planned fusion of the two maintenance environments. A logical analysis of the possible discrepancies allows for recognition of those differences which can be resolved without human review, as well as tho...

Nelson, Stuart J.; Johnston, Douglas; Powell, Tammy; Hole, William T.

2001-01-01

370

A high-level methodology for automatically generating dynamically reconfigurable systems using IP-XACT and the UML MARTE profile  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The main contribution of this thesis consists on the proposition and development a Model-driven Engineering (MDE) framework, in tandem with a component-based approach, for facilitating the design and implementation of Dynamic Partially Reconfigurable (DPR) Systems-on-Chip. The proposed methodology has been constructed around the Metadata-based Composition Framework paradigm, and based on common standards such as UML MARTE and the IEEE IP-XACT standard, an XML representation used for storing m...

2013-01-01

371

Using the UMLS Semantic Network as a basis for constructing a terminological knowledge base: a preliminary report.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Sharing and reuse of knowledge bases is recognized in Artificial Intelligence and Medical Informatics as beneficial, but difficult. Reusing an existing knowledge base can save considerable time and effort during the knowledge engineering phase, and facilitates integration of systems. However, the degree to which knowledge can be shared among different applications is still mainly an empirical question. In this paper, we describe the preliminary results of our attempt to reuse the UMLS Semanti...

1993-01-01

372

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

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

Razib Hayat Khan; Heegaard, Poul E.

2011-01-01

373

The spectroscopic Hertzsprung-Russell diagram  

CERN Multimedia

The Hertzsprung-Russell diagram is an essential diagnostic diagram for stellar structure and evolution, which has now been in use for more than 100 years. Our spectroscopic Hertzsprung-Russell (sHR) diagram shows the inverse of the flux-mean gravity versus the effective temperature. Observed stars whose spectra have been quantitatively analyzed can be entered in this diagram without the knowledge of the stellar distance or absolute brightness. Observed stars can be as conveniently compared to stellar evolution calculations in the sHR diagram as in the Hertzsprung-Russell diagram. However, at the same time, our ordinate is proportional to the stellar mass-to-luminosity ratio, which can thus be directly determined. For intermediate- and low-mass star evolution at constant mass, we show that the shape of an evolutionary track in the sHR diagram is identical to that in the Hertzsprung-Russell diagram. We also demonstrate that for hot stars, their stellar Eddington factor can be directly read off the sHR diagram. ...

Langer, N

2014-01-01

374

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

Digital Repository Infrastructure Vision for European Research (DRIVER)

Critical Real-Time Embedded Systems (RTES) have strong requirement with respect to system's reliability. In Model-Driven Engineering (MDE), verification at early phases of the system lifecycle is an important issue, especially for time constraints in UML-MARTE RTES model. In order to assess that the time requirements are met by the behavior models, the key challenging problem is to transform these time constraints from the UML-MARTE model to computable formal semantics that provide time prope...

2012-01-01

375

Heavy-Weight and Light-weight UML Modelling Extensions of Aspect-Orientation in the Early Stage of Software Development  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Aspect-Orientation and Object-Orientation complement each other in a number of aspects. Hence, it is imperative to investigate level of adopting Unified Modelling Language (UML) by the Aspect-Orientation. This study employed a systematic literature review to examine the approaches of Aspect-Oriented UML (AOUML). The rapid growth of complexities of systems, of late have eventually paved way for the emergence of new concerns. In fact these new concerns have cut-cross other concerns and co...

Magableh, Aws A.; Zarina Shukur; Norazean Mohd Ali

2012-01-01

376

Bases of Schur algebras associated to cellularly stratified diagram algebras  

CERN Multimedia

We examine homomorphisms between induced modules for a certain class of cellularly stratified diagram algebras, including the BMW algebra, Temperley-Lieb algebra, Brauer algebra, and (quantum) walled Brauer algebra. We define the `permutation' modules for these algebras, these are one-sided ideals which allow us to study the diagrammatic Schur algebras of Hartmann, Henke, Koenig and Paget. We construct bases of these Schur algebras in terms of modified tableaux. On the way we prove that the (quantum) walled Brauer algebra and the Temperley-Lieb algebra are both cellularly stratified and therefore have well-defined Specht filtrations.

Bowman, C

2011-01-01

377

Numerical Computation of Two-loop Box Diagrams with Masses  

CERN Document Server

A new approach is presented to evaluate multi-loop integrals, which appear in the calculation of cross-sections in high-energy physics. It relies on a fully numerical method and is applicable to a wide class of integrals with various mass configurations. As an example, the computation of two-loop planar and non-planar box diagrams is shown. The results are confirmed by comparisons with other techniques, including the reduction method, and by a consistency check using the dispersion relation.

Yuasa, F; Hamaguchi, N; Ishikawa, T; Kato, K; Kurihara, Y; Fujimoto, J; Shimizu, Y

2011-01-01

378

Reentrant phase diagram of two-dimensional electron gas  

CERN Multimedia

We study the phase diagram of an electron on a square lattice in a transverse magnetic field. Using a renormalization scheme, we show that the inequality of the two next-nearest neighbor couplings destroys the fat critical regime above the bicritical line and replaces it with another reentrant extended phase. Furthermore, the universal strange attractor describing self-similar fluctuations of the localized phase is replaced by a new fixed point. The reentrant extended phase and the new fixed point of the localized phase belong to the universality class of an anisotropic triangular lattice.

Ketoja, J A; Ketoja, Jukka A; Satija, Indubala I

1995-01-01

379

Single and Double Perturbative Splitting Diagrams in Double Parton Scattering  

CERN Document Server

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

Gaunt, Jonathan R

2012-01-01

380

A generic conceptual and UML model for the multi-echelon distribution supply chain  

Directory of Open Access Journals (Sweden)

Full Text Available The Multi-Echelon Distribution Supply Chain (MEDSC is a multifaceted structure, focusing on the integration of all factors that involved in the overall distribution process of finished products to thecustomers. The growing interest in multi-echelon distribution systems has highlighted the need to adopt an appropriate approach to ensure the efficient management of their complexity. While there is asignificant amount of analytical research modeling the MEDSC, few studies have used simulation models for this system. The objective of the paper is to model the operational level of the MEDSC network and to obtain a real reflection of its behavior. The permanent interaction among the various components of the MEDSC and the increasing complexity of such system requires a simulation model, which is able to integrate a set of dynamic characteristics and stochastic aspects. Furthermore, this model will be adapted to several configurations of the multi-echelon network. Thus, this research has twofold: first to recall the issues regarding the flow management and inventory control in the MEDSC, then using the objectoriented approach through the Unified Modeling Language (UML to build a flexible supply chain model.

Hamid Ech-Cheikh

2012-10-01

 
 
 
 
381

Applying UML to the Development of Medical Care Process Management Systemfor Nursing Home Residents  

Directory of Open Access Journals (Sweden)

Full Text Available Taiwan has been recognized by World Health Organization (WHO as an “elderly” country in 1993 since its elderly (65 or older population ratio was over 7%. Due to the physiological and psychological degeneration, the elderly always has a higher possibility of suffering from chronic diseases. Chronic patients, including the elderly suffering from chronic diseases, have burdened their families with the long-term medical-care need. Until recently, the emergence of nursing homes has successfully alleviated the heavy burden on chronic patients’ families. A nursing home provides various professional medical-care services to its residents (i.e., patients of the nursing home by doctors, nursing specialists, nurses, rehabilitation doctors, social workers, and occupational therapists. Each resident is indeed a unique case to a nursing home. As a result, the medical-care process management has become one of the most important factors for improving the medical care quality of a nursing home. This research took the Chang-Gung Nursing Home as an example and applied Unified Modeling Language (UML to analyze corresponding medical care processes. A medical care process management system was developed and implemented for the Chang-Gung Nursing Home.

Huang-Mu Chen

2005-12-01

382

UML implementation of E-Tendering using Secret Key Digital Watermarking  

Directory of Open Access Journals (Sweden)

Full Text Available In present days, several state and central governments have taken initiative to successfully implement E-Governance in various areas of services. The main criterion is to provide services in transparent & accurate manner among the citizens by the use of different ICT tools and techniques. E-Tendering is one of the sensitive functions of good governance, which helps to simplify complex manual activities for purchasing of goods and services using the Internet in a transparent manner but which lacks transparency, accountability and security.          One of the major factors that are limiting the success of E-Tendering approach is that the security measure is not properly implemented. In this paper, we propose a UML implementation of Secret-Key Watermarking algorithm for integrity verification of transmitted tender document via Internet from public sector organization to the supplier and vice versa in E-Tendering system, so that the watermark is capable enough to detect any changes made to the online tender document by malicious users.

sirsendu sarbavidya

2012-08-01

383

Contribution of particle-particle, hole-hole and particle-hole ring diagrams to the binding energies of finite nuclei  

International Nuclear Information System (INIS)

Two classes of diagrams, namely particle-particle, hole-hole (pp, hh) and particle-hole (ph) ring diagrams are summed for the nuclei 16O and 40Ca, and their contributions to the ground-state energy shift ?E of these nuclei is calculated. We find that hh and mixed diagrams (involving both pp and hh interactions) are not less important than the usual pp ladder diagrams which are summed in the standard Brueckner approach. We also study the convergence of these two classes of diagrams as the dimension of the model space involved is increased, and as a function of the residual interaction used. In evaluating these diagrams a transition-amplitude method is used. This is compared to the quasi-boson correlation expression for the ground-state energy due to particle-hole excitations and to an analogous correlation expression resulting from particle-particle and hole-hole excitations. Additionally we derive expresssions for, and evaluate a subclass of these diagrams namely 'TDA' ring diagrams, where unlike the usual pp, hh and ph diagrams, backward-folding graphs are excluded. We find that the backward-folding graphs are negligible for pp, hh ring diagrams and small for ph graphs. In the smallest model space considered for 40Ca we also obtained the TDA ring diagram contributions via matrix inversion techniques which additionally allow us to study the relative importance of ph exchange graphs neglected in the ring-diagram formalism, and of cross TDA diagrams (i.e. TDA ring diagrams where both pp, hh, and ph interactions are allowed). Finally we study the uncertainties spurious effects introduce in ring-diagram calculations. (orig.)

1987-08-17

384

Phase Diagrams for Traffics on the Crossroad  

Science.gov (United States)

The traffic flows on two one-lane roads, crossing at a point, are studied on the basis of the local occupation probability method. The phase diagrams are constructed for the cases of various maximum car velocities. It has turned out that the phase diagrams consist essentailly of five regions.

Ishibashi, Yoshihiro; Fukui, Minoru

2001-09-01

385

CERPHASE: Computer-generated phase diagrams  

International Nuclear Information System (INIS)

CERPHASE is a collection of computer programs written in the programming language basic and developed for the purpose of teaching the principles of phase diagram generation from the ideal solution model of thermodynamics. Two approaches are used in the generation of the phase diagrams: freezing point depression and minimization of the free energy of mixing. Binary and ternary phase diagrams can be generated as can diagrams containing the ideal solution parameters used to generate the actual phase diagrams. Since the diagrams generated utilize the ideal solution model, data input required from the operator is minimal: only the heat of fusion and melting point of each component. CERPHASE is menu-driven and user-friendly, containing simple instructions in the form of screen prompts as well as a HELP file to guide the operator. A second purpose of CERPHASE is in the prediction of phase diagrams in systems for which no experimentally determined phase diagrams are available, enabling the estimation of suitable firing or sintering temperatures for otherwise unknown systems. Since CERPHASE utilizes ideal solution theory, there are certain limitations imposed on the types of systems that can be predicted reliably. 6 refs., 13 refs

1990-01-01

386

Hofstadter butterfly as Quantum phase diagram  

CERN Document Server

The Hofstadter butterfly is viewed as a quantum phase diagram with infinitely many phases, labelled by their (integer) Hall conductance, and a fractal structure. We describe various properties of this phase diagram: We establish Gibbs phase rules; count the number of components of each phase, and characterize the set of multiple phase coexistence.

Osadchy, D

2001-01-01

387

Stemming diagram user's guide  

Energy Technology Data Exchange (ETDEWEB)

STEM is an interactive program that writes a MAPPER file to produce a representation of a stemming diagram. Stemming diagrams are used as part of the presentation by containment scientists to the Containment Evaluation Panel at the Nevada Operations Office. 2 figs.

Noel, S.D.

1986-04-01

388

Understanding Machines from Text and Diagrams.  

Science.gov (United States)

Instructional materials typically use both text and diagrams to explain how machines work. In this paper we give an account of what information is involved in understanding a mechanical device and the role that diagrams might play in communicating this in...

M. Hegarty M. A. Just

1987-01-01

389

Efficient Inference on Generalized Fault Diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

The generalized fault diagram, a data structure for failure analysis based on the influence diagram, is defined. Unlike the fault tree, this structure allows for dependence among the basic events and replicated logical elements. A heuristic procedure is developed for efficient processing of these structures.

Shachter, Ross D.; Bertrand, Leonard

2013-01-01

390

Intrinsic color indices and luminosity sequences of stars in the 2MASS two-color diagram  

CERN Multimedia

Intrinsic sequences of luminosity V and III stars in the J-H vs. H-Ks diagram of the 2MASS system are determined using about 1250 unreddened and dereddened stars. Intrinsic color indices for MK spectral classes are tabulated and compared with the results in other JHK systems.

Straizys, V

2009-01-01

391

On the phase diagram of branched polymer collapse  

CERN Document Server

The phase diagram of the collapse of a two-dimensional infinite branched polymer interacting with the solvent and with itself through contact interactions is studied from the q\\to 1 limit of an extension of the q- states Potts model. Exact solution on the Bethe lattice and Migdal-Kadanoff renormalization group calculations show that there is a line of \\theta transitions from the extended to a single compact phase. The \\theta line, governed by three different fixed points, consists of two lines of extended--compact transitions which are in different universality classes and meet in a multicritical point. On the other hand, directed branched polymers are shown to be completely determined by the strongly embedded case and there is a single \\theta transition which is in the directed percolation universality class.

Henkel, M; Henkel, Malte; Seno, Flavio

1996-01-01

392

The morphological diagram of spinels  

Energy Technology Data Exchange (ETDEWEB)

Catalytic anisotropy in mild oxidation reactions results from the varying activity of different crystal faces. Here, spinels exposing (100), (110), and (111) faces have been considered and their Curie-Wulff plots have been drawn, admitting that the relative G(hkl) surface free energies may change in a wide range as a function of composition, inversion, and segregation degree. The normalized free surface energies are defined as A = G(100)/G(111), B = G(110)/G(111), and C = G(111)/G(111) = 1 = const. This made it possible to construct bidimensional morphological diagrams (morphology = f(A,B) at C = const) in the exposed-face-type, solid-type, and exposure-percentage versions. Eleven morphological habits of grains have been identified, including (100)-cube, (110)-dodecahedron, (111)-hexagons, 18-hedron, 20-hedron, and up to 26-hedra bordered with (i) 6 (100)-octagons, 12 (110)-rectangles, and 8 (111)-hexagons, (ii) 6 (100)-squares, 12 (110)-rectangles, and 8 (111)-triangles, or (iii) 6 (100)-squares, 12 (110)-octagons, and 8 (100)-triangles. The analysis is valid for all compounds crystallizing in the cubic system and preferentially exposing the three enumerated faces.

Ziolkowski, J. [Institute of Catalysis and Surface Chemistry, Krakow (Poland)

1996-02-01

393

Extension of Geldart's Diagram to Fluidizable Fine and Ultrafine Particles  

Science.gov (United States)

The Geldart's diagram, which was originally based on empirical observations on beds fluidized by air at ambient conditions, has been routinely used to predict the type of gas-fluidization expected for a granular material. However, the Geldart's diagram, based on particle size and density, is not currently a useful tool to predict the fluidization behaviour of many fine and ultrafine cohesive powders. There are recent reports revealing nonbubbling fluidlike fluidization for some preconditioned fine and ultrafine powders, in contrast with the predicted unfiuidizable Geldart C behaviour according to their primary particle size. In this work we present an extension of Geldart's diagram that rationalizes the type of behaviour observed for this new class of fine and ultrafine powders. In our approach we have extended empirical criteria mostly used in the past to explain the behaviour of liquid-fluidized beds, showing that fluidization, either by liquid or gas, can be understood from a general frame. Our approach to treat gas-fluidized beds of fine cohesive particles considers particle agglomerates, grown to a size limited by the balance between interparticle force and flow shear, as effective low-density particles. In accordance with experimental observations, our diagram predicts that the nonbubbling fluidization regime can be just solidlike for slightly cohesive particles (Geldar A behaviour). When particle size is decreased, we predict the existence of a nonbubbling fluidlike regime for preconditioned powders as seen experimentally. For sufficiently small particles and/or high viscosity gases, the fluidized bed transits directly from the nonbubbling fluidlike regime to elutriation as observed in gas-fluidized beds of nanoparticles, fluidized beds of micrometric particles with high viscosity gas, and liquid-fluidized beds of moderate density large beads.

Valverde, J. M.; Castellanos, A.

2009-06-01

394

Nontrivial classes in $H^*(Imb(S^1,\\R^n))$ from nontrivalent graph cocycles  

CERN Document Server

We construct nontrivial cohomology classes of the space $Imb(S^1,\\R^n)$ of imbeddings of the circle into $\\R^n$, by means of Feynman diagrams. More precisely, starting from a suitable linear combination of nontrivalent diagrams, we construct, for every even number $n\\geq 4$, a de Rham cohomology class on $Imb(S^1,\\R^n)$. We prove nontriviality of these classes by evaluation on the dual cycles.

Longoni, R

2004-01-01

395

Automated calculation of Feynman diagrams  

International Nuclear Information System (INIS)

Calculating Standard Model predictions in the context of perturbation theory is demanding. The challenge lies in the calculation of more and more complicated Feynman diagrams and in the increasing size of the calculation for scattering events with a large number of particles. New mathematical methods have to be developed and the increasing complexity has to be tamed by automatisation. A short introduction to the subject is given in chapter 2. Subsequent chapters deal with particular contributions to the solution of these problems. In chapter 3 we present a project that is going to be important for the analyses of the LHC data. The goal of the project is the calculation of oneloop corrections to processes with many particles in the final state. The numerical procedure is described and explained. It uses helicity spinors and a new tensor reduction method that avoids problems with inverse Gram determinants to a large extent. A computer program was developed that can perform the calculations automatically. The implementation is described and details about the optimization and verification are presented. Chapter 4 is concerned with analytical methods. An introduction to the xloops project is given, which can calculate various Feynman integrals analytically with arbitrary masses and momentum configurations. The major mathematical methods employed by xloops to solve the integrals are explained. Two ideas for new methods of calculation are presented. On the one hand it is the uniform treatment of one-loop N-point integrals, on the other hand it is the automated series expansion of integral solutions into higher orders of the dimensional regularization parameter ?. First results for the latter method are presented. The usefulness of the methods for automated series expansion from chapter 4 depend on the ability to numerically evaluate the expansion coefficients. The coefficients are in general multiple polylogarithms. In chapter 5 a method for the numerical evaluation of multiple polylogarithms is presented. This new method was implemented into the C++ library GiNaC together with other polylogarithms. (Orig.)

2005-01-01

396

The In-Pt-Sb phase diagram  

International Nuclear Information System (INIS)

The ternary phase diagram In-Pt-Sb was studied in two isothermal sections at 400 C and 700 C, respectively, using X-ray powder diffraction (XRD), electron-probe microanalysis (EPMA), and metallographic techniques. The ternary phase reactions were determined by differential thermal analysis (DTA) in the composition range between 0 and 50 at.% Pt. The obtained experimental phase diagram data were combined with literature data on the limiting binary systems to construct a ternary reaction scheme (Scheil diagram) in the investigated composition range between 0 and 50 at.% Pt. The liquidus surface was derived from the results of DTA measurements. (orig.)

2006-05-01

397

The In-Pt-Sb phase diagram  

Energy Technology Data Exchange (ETDEWEB)

The ternary phase diagram In-Pt-Sb was studied in two isothermal sections at 400 C and 700 C, respectively, using X-ray powder diffraction (XRD), electron-probe microanalysis (EPMA), and metallographic techniques. The ternary phase reactions were determined by differential thermal analysis (DTA) in the composition range between 0 and 50 at.% Pt. The obtained experimental phase diagram data were combined with literature data on the limiting binary systems to construct a ternary reaction scheme (Scheil diagram) in the investigated composition range between 0 and 50 at.% Pt. The liquidus surface was derived from the results of DTA measurements. (orig.)

Patrone, M.; Borzone, G. [Dipt. di Chimica e Chimica Industriale, Univ. di Genova (Italy); Richter, K.W.; Ipser, H. [Inst. fuer Anorganische Chemie/Materialchemie, Univ. Wien (Austria)

2006-05-15

398

Prolog Visualization System Using Logichart Diagrams  

CERN Document Server

We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution flow intelligibly and to enable users to easily correlate the Prolog clauses with its parts. The system has the following functions. (1) It visually traces Prolog execution (goal calling, success, and failure) on the Logichart diagram. (2) Dynamic change in a Prolog program by calling extra-logical predicates, such as `assertz' and `retract', is visualized in real time. (3) Variable substitution processes are displayed in a text widget in real time.

Adachi, Yoshihiro

2009-01-01

399

Breviz: Visualizing Spreadsheets using Dataflow Diagrams  

CERN Multimedia

Spreadsheets are used extensively in industry, often for business critical purposes. In previous work we have analyzed the information needs of spreadsheet professionals and addressed their need for support with the transition of a spreadsheet to a colleague with the generation of data flow diagrams. In this paper we describe the application of these data flow diagrams for the purpose of understanding a spreadsheet with three example cases. We furthermore suggest an additional application of the data flow diagrams: the assessment of the quality of the spreadsheet's design.

Hermans, Felienne; van Deursen, Arie

2011-01-01

400

Evaluating the Efficacy of an Animation to Enhance Understanding of First Motion Diagrams  

Science.gov (United States)

Having taught the interpretation of first motion diagrams (sometimes referred to as "beach ball diagrams" due to their appearance) in an Introduction to Physical Geology class over many semesters, I was frustrated with the hand-waving this effort entailed when describing static diagrams. I searched for a computer animation that would show how the initial ground motions in an earthquake correspond to the various shaded regions in each first motion diagram, but was not able to find such a pedagogical tool in existence. I decided to work with the staff of my University's Faculty Computing Services to create something that would serve this need. We designed and constructed an animation of strike-slip motions, which can be seen at http://people.hofstra.edu/alex_smiros/earthquake/grid_22march2011.swf. A still image of the animation appears in Figure 1. In order to see if utilizing this visualization enhanced student understanding of the difficult concepts involved in interpreting first motion diagrams, I compared scores on test questions involving first motion diagrams from two different semester iterations of the course: one was taught without utilizing the animation, and one was taught with utilization of the animation.

Farmer, E. C.

2011-12-01

 
 
 
 
401

Drawing Euler diagrams with circles : the theory of piercings  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Euler diagrams are effective tools for visualizing set intersections. They have a large number of application areas ranging from statistical data analysis to software engineering. However, the automated generation of Euler diagrams has never been easy: given an abstract description of a required Euler diagram, it is computationally expensive to generate the diagram. Moreover, the generated diagrams represent sets by polygons, sometimes with quite irregular shapes that make the diagrams less c...

Stapleton, Gem; Zhang, Leishi; Howse, John; Rodgers, Peter

2011-01-01

402

Modeling and analysis of real-time and embedded systems with UML and MARTE developing cyber-physical systems  

CERN Multimedia

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical

Selic, Bran

2013-01-01

403

Veitch diagram plotter simplifies Boolean functions  

Science.gov (United States)

This device for simplifying the plotting of a Veitch diagram consists of several overlays for blocking out the unwanted squares. This method of plotting the various input combinations to a computer is used in conjunction with the Boolean functions.

Rubin, D. K.

1964-01-01

404

On divisorial filtrations associated with Newton diagrams  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We consider divisorial filtration on the rings of functions on hypersurface singularities associated with Newton diagrams and their analogues for plane curve singularities. We compute the multi-variable Poincar\\'e series for the latter ones.

Ebeling, Wolfgang; Gusein-zade, Sabir M.

2010-01-01

405

Enhanced Dynkin diagrams and Weyl orbits I  

CERN Document Server

The structure of a semisimple Lie algebra $G$ can be described in terms of its root system which is a finite set $\\Sigma$ in a Euclidean space. These systems play a fundamental role in the classical Killing-Cartan theory. The structure of $G$ can be also characterized by a linearly independent subsystem $\\Pi$ of $\\Sigma$ -- a simple root system. In 1946 Dynkin introduced graphs describing simple root systems. They are widely used under the name Dynkin diagrams. In this paper we introduce an enhancement of these diagrams. Ingredients of enhanced graphs are the same as in Dynkin diagrams: some of nodes are connected by single, double or triple bonds. However nodes represent not single roots $\\alpha$ but pairs $(\\alpha,-\\alpha)$. We call such pairs projective roots. We use enhanced diagrams to classify Weyl orbits in the space of subsets of $\\Sigma$. A special role is played by subsets $\\Lambda$ with the property: $\\alpha-\\beta\

Dynkin, Eugene

2009-01-01

406

Hopf algebra approach to Feynman diagram calculations  

CERN Multimedia

The Hopf algebra structure underlying Feynman diagrams which governs the process of renormalization in perturbative quantum field theory is reviewed. Recent progress is briefly summarized with an emphasis on further directions of research.

Ebrahimi-Fard, K; Ebrahimi-Fard, Kurusch; Kreimer, Dirk

2005-01-01

407

Enhancing the Diagramming Method in Informal Logic  

Directory of Open Access Journals (Sweden)

Full Text Available The argument diagramming method developed by Monroe C. Beardsley in his (1950 book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in teaching basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis.

Dale JACQUETTE

2011-12-01

408

Collaborative Learning Skills in Multi-touch Tables for UML Software Design  

Directory of Open Access Journals (Sweden)

Full Text Available The use of Multi-touch interfaces for collaborative learning has received significant attention. Their ability to synchronously accommodate multiple users is an advantage in co-located collaborative design tasks. This paper explores the Multi-touch interface’s potential in collaborative Unified Modeling Language diagramming by comparing it to a PC-based tool, looking at the Collaborative Learning Skills and amount of physical interactions in both conditions. The results show that even though participants talked more in the PC-based condition, the use of the Multi-touch table increased the amount of physical interactions, and encouraged the “Creative Conflict” skills amongst the team members.

Nilufar Baghaei

2013-04-01

409

Harper Map Phase Diagram from Topological Classification  

CERN Document Server

Is suggested a \\textit{topological} hierarchical classification of the infinite many Localized phases figuring in the phase diagram of the harper map for anisotropy parameter $\\epsilon$ versus Energy. The magnetic flux is taken to be the irrational golden mean, $\\omega^*=(\\sqrt{5}-1)/2$. This system is equivalent to the semiclassical problem of Bloch electrons in a uniform magnetic field (Azbel-Hofstadter model). A rule that explain the fractal structure of the phase diagram is proposed.

Castelo-Ferreira, P

2000-01-01

410

QCD Phase Diagram with Imaginary Chemical Potential  

Directory of Open Access Journals (Sweden)

Full Text Available We report our recent results on the QCD phase diagram obtained from the lattice QCD simulation. The location of the phase boundary between hadronic and QGP phases in the two-flavor QCD phase diagram is investigated. The imaginary chemical potential approach is employed, which is based on Monte Carlo simulations of the QCD with imaginary chemical potential and analytic continuation to the real chemical potential region.

Nakamura Atsushi

2012-02-01

411

Assessing-to-Learn Physics: Strobe Diagram  

Science.gov (United States)

This web page contains a concept question for introductory physics on the use of strobe diagrams to demonstrate acceleration. Given four different diagrams, users must decide which objects are accelerating. This item can be used as a "Question of The Day" or with an electronic classroom response system (Clickers). Background information and tips to elicit critical thinking are also provided. This item is part of a larger library of similar questions, which may be searched by grade level and topic.

2008-11-18

412

Four-states phase diagram of proteins  

CERN Document Server

A four states phase diagram for protein folding as a function of temperature and solvent quality is derived from an improved 2-d lattice model taking into account the temperature dependence of the hydrophobic effect. The phase diagram exhibits native, globule and two coil-type regions. In agreement with experiment, the model reproduces the phase transitions indicative of both warm and cold denaturations. Finally, it predicts transitions between the two coil states and a critical point.

Collet, O

2005-01-01

413

Varieties of clusters and Enriques diagrams  

CERN Multimedia

We study the geometry of the varieties of clusters X_r introduced by Kleiman in the 70's, showing that for every Enriques diagram D of r vertices the subset Cl(D) of the clusters with Enriques diagram D is locally closed. We study also the relative positions of the subvarieties Cl(D), showing that they do not form a stratification and giving criteria for adjacencies between them.

Roé, J

2001-01-01

414

Elementary diagrams in nuclear and neutron matter  

International Nuclear Information System (INIS)

Variational calculations of nuclear and neutron matter are currently performed using a diagrammatic cluster expansion with the aid of nonlinear integral equations for evaluating expectation values. These are the Fermi hypernetted chain (FHNC) and single-operator chain (SOC) equations, which are a way of doing partial diagram summations to infinite order. A more complete summation can be made by adding elementary diagrams to the procedure. The simplest elementary diagrams appear at the four-body cluster level; there is one such E4 diagram in Bose systems, but 35 diagrams in Fermi systems, which gives a level of approximation called FHNC/4. We developed a novel technique for evaluating these diagrams, by computing and storing 6 three-point functions, Sxyz(r12, r13, r23), where xyz (= ccd, cce, ddd, dde, dee, or eee) denotes the exchange character at the vertices 1, 2, and 3. All 35 Fermi E4 diagrams can be constructed from these 6 functions and other two-point functions that are already calculated. The elementary diagrams are known to be important in some systems like liquid 3He. We expect them to be small in nuclear matter at normal density, but they might become significant at higher densities appropriate for neutron star calculations. This year we programmed the FHNC/4 contributions to the energy and tested them in a number of simple model cases, including liquid 3He and Bethe's homework problem. We get reasonable, but not exact agreement with earlier published work. In nuclear and neutron matter with the Argonne v14 interaction these contributions are indeed small corrections at normal density and grow to only 5-10 MeV/nucleon at 5 times normal density

1995-08-01

415

The Voronoi diagram of circles made easy  

DEFF Research Database (Denmark)

Proximity queries among circles could be effectively answered if the Delaunay graph for sets of circles could be computed in an efficient and exact way. In this paper, we first show a necessary and sufficient condition of connectivity of the Voronoi diagram of circles. Then, we show how the Delaunay graph of circles (the dual graph of the Voronoi diagram of circles) can be computed exactly, and in a much simpler way, by computing the eigenvalues of a two by two matrix.

Anton, François; Mioc, Darka

2007-01-01

416

Calculating Voronoi diagrams using simple chemical reactions  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This paper overviews work on the use of simple chemical reactions to calculate Voronoi diagrams and undertake other related geometric calculations. This work highlights that this type of specialised chemical processor is a model example of a parallel processor. For example increasing the complexity of the input data within a given area does not increase the computation time. These processors are also able to calculate two or more Voronoi diagrams in parallel. Due to the spec...

Costello, Ben Lacy

2014-01-01

417

The hyperbolic Voronoi diagram in arbitrary dimension  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We show that in the Klein projective ball model of hyperbolic space, the hyperbolic Voronoi diagram is affine and amounts to clip a corresponding power diagram, requiring however algebraic arithmetic. By considering the lesser-known Beltrami hemisphere model of hyperbolic geometry, we overcome the arithmetic limitations of Klein construction. Finally, we characterize the bisectors and geodesics in the other Poincar\\' e upper half-space, the Poincar\\'e ball, and the Lorentz h...

Nielsen, Frank; Nock, Richard

2012-01-01

418

Feynmann diagrams in a finite dimensional setting  

Digital Repository Infrastructure Vision for European Research (DRIVER)

This article aims to explain and justify the use of Feynmann diagrams as a computational tool in physics. The integrals discussed may be seen as a toybox version of the real physical case. It starts out with the basic one-dimensional Gaussian integral and then proceeds with examples of multidimensional cases. Correlators and their solutions through generating functions and Wick's theorem are shown, as well as some examples of how to relate the computations to diagrams and the corresponding ru...

Neiss, Daniel

2012-01-01

419

State diagram of manganese-hydrogen system  

International Nuclear Information System (INIS)

Hydrogen solubility in manganese in a wide range of temperatures and pressures is investigated, and hydrogen effect on position of critical points is determined. A section of Mn-H phase diagram is plotted. The conducted experiments permitted to essentially specify parameters of hydrogen solubility in manganese, and for the first time having determined the positions of critical points in the Mn-H system up to 50 MPa pressures to draw ''metal angle'' corresponding to the phase diagram

1982-01-01

420

Analyzing genomes with cumulative skew diagrams.  

Digital Repository Infrastructure Vision for European Research (DRIVER)

A novel method of cumulative diagrams shows that the nucleotide composition of a microbial chromosome changes at two points separated by about a half of its length. These points coincide with sites of replication origin and terminus for all bacteria where such sites are known. The leading strand is found to contain more guanine than cytosine residues. This fact is used to predict origin and terminus locations in other bacterial and archaeal genomes. Local changes, visible as diagram distortio...

Grigoriev, A.

1998-01-01

 
 
 
 
421

Ferroelectric Phase Diagram of PVDF:PMMA  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We have investigated the ferroelectric phase diagram of poly(vinylidene fluoride) (PVDF) and poly(methyl methacrylate) (PMMA). The binary nonequilibrium temperature composition diagram was determined and melting of alpha- and beta-phase PVDF was identified. Ferroelectric beta-PVDF:PMMA blend films were made by melting, ice quenching, and subsequent annealing above the glass transition temperature of PMMA, close to the melting temperature of PVDF. Addition of PMMA suppresses the crystallizatio...

Li, Mengyuan; Stingelin, Natalie; Michels, Jasper J.; Spijkman, Mark-jan; Asadi, Kamal; Feldman, Kirill; Blom, Paul W. M.; Leeuw, Dago M.

2012-01-01

422

Growth Diagrams for Grip Strength in Children  

Digital Repository Infrastructure Vision for European Research (DRIVER)

Abstract: Grip strength dynamometers often are used to assess hand function in children. The use of normative grip strength data at followup is difficult because of the influence of growth and neuromuscular maturation. As an alternative, infant welfare centers throughout the world use growth diagrams to observe normative growth. The aim of this study was to develop similar growth diagrams for grip strength in children. We measured the grip strength, hand dominance, gender, height, and weight ...

Molenaar, H. M.; Selles, R. W.; Zuidam, J. M.; Willemsen, S. P.; Stam, H. J.; Hovius, S. E. R.

2009-01-01

423

Phase diagrams, critical and multicritical behavior of hard-core Bose-Hubbard models  

CERN Multimedia

We determine the zero-temperature phase diagram of the hard-core Bose-Hubbard model on a square lattice by mean-field theory supplemented by a linear spin-wave analysis. Due to the interplay between nearest and next-nearest neighbor interaction and cubic anisotropy several supersolid phases with checkerboard, stripe domain or intermediate symmetry are stabilized. The phase diagrams show three different topologies depending on the relative strength of nearest and next-nearest neighbor interaction. We also find a rich variety of new quantum critical behavior and multicritical points and discuss the corresponding effective actions and universality classes.

Pich, C

1998-01-01

424

Availability verification of information for human system interface in automatic SG level control using activity diagram  

Energy Technology Data Exchange (ETDEWEB)

Steam Generator (SG) level control system in OPR 1000 is one of representative automatic systems that falls under the Supervisory Control level in Endsley's taxonomy. Supervisory control of automated systems is classified as a form of out of the loop (OOTL) performance due to passive involvement in the systems operation, which could lead to loss of situation awareness (SA). There was a reported event, which was caused by inadequate human automation communication that contributed to an unexpected reactor trip in July 2005. A high SG level trip occurred in Yeonggwang (YGN) Unit 6 Nuclear Power Plant (NPP) due to human operator failure to recognize the need to change the control mode of the economizer valve controller (EVC) to manual mode during swap over (the transition from low power mode to high power mode) after the loss of offsite power (LOOP) event was recovered. This paper models the human system interaction in NPP SG level control system using Unified Modeling Language (UML) Activity Diagram. Then, it identifies the missing information for operators in the OPR1000 Main Control Room (MCR) and suggests some means of improving the human system interaction.

Nuraslinda, Anuar; Kim, Dong Young; Kim, Jong Hyun [KEPCO International Nuclear Graduate School, Uljugun (Korea, Republic of)

2012-10-15

425

Diagram methods in nuclear reaction theory  

International Nuclear Information System (INIS)

Various aspects of using Feynman diagram formalism in nuclear reaction theory at low and intermediate energies are considered. The difference between four-dimensional and three-dimensional non-relativistic diagrams are discussed. The following examples of employing diagram methods are regarded. i) Extrapolation of differential cross sections of nuclear reactions to the position of a pole lying in the unphysical region and corresponding to the diagrams of one particle transfer allows one to extract the valuable information of asymptotic normalization coefficients of bound state nuclear wave functions. ii) The asymptotic behavior of bound state wave functions in two-fragment channels is related to analytic properties of corresponding form factors considered as function of the relative momentum of fragments. Using the general theory of singular points of Feynman diagrams enables one to obtain that asymptotic behavior in an explicit form. Aside from the usually adopted 'normal' terms , this form contains 'anomalous' terms. which might dominate at large distances. iii) The four-dimensional covariant formalism of non-relativistic Feynman diagrams was used for the derivation of the generalized folding potential (GFP). The input which is required to construct GFP is the same as that for the standard folding potential (SFP). As distinct from the SFP the GFP being inserted into the Schrodinger or Lippmann-Schwinger equations, leads to solutions accounting for the contribution not only from elastic channel but from inelastic channels as well. iv)There exists of long-standing problem of describing the tensor interaction in the d? system. in particular, the quadrupole moment of the 6Li nucleus calculated within various versions of a three body model (n, p, ?) differs even in sign from the experimental value. It has been shown recently that this problem could be solved by allowing for exchange d? potential, which is described by the diagrams of deuteron transfer. Within this approach the tensor part of the exchange potential is due to the D state admixture in the ?-particle wave function

2002-01-01

426

Five Year Results of US Intergroup/RTOG 9704 With Postoperative CA 19-9 {<=}90 U/mL and Comparison to the CONKO-001 Trial  

Energy Technology Data Exchange (ETDEWEB)

Purpose: Radiation Therapy Oncology Group (RTOG) trial 9704 was the largest randomized trial to use adjuvant chemoradiation therapy for patients with pancreatic cancer. This report analyzes 5-year survival by serum level of tumor marker CA 19-9 of {<=}90 vs >90 U/mL and compares results to the those of the CONKO-001 trial. Methods and Materials: CA 19-9 expression was analyzed as a dichotomized variable ({<=}90 vs >90 U/mL). Cox proportional hazard models were used to identify the impact of the CA 19-9 value on overall survival (OS). Actuarial estimates of OS were calculated using the Kaplan-Meier method. Results: Both univariate (hazard ratio [HR] = 3.2; 95% confidence interval [CI], 2.3-4.3, P<.0001) and multivariate (HR = 3.1; 95% CI, 2.2-4.2, P<.0001) analyses demonstrated a statistically significant decrease in OS for CA 19-9 serum level of {>=}90 U/mL. For patients in the gemcitabine (Gem) treatment arm with CA 19-9 <90 U/mL, median survival was 21 months. For patients with CA 19-9 {>=}90 U/mL, this number dropped to 10 months. In patients with pancreatic head tumors in the Gem treatment arm with RT quality assurance per protocol and CA 19-9 of <90 U/mL, median survival and 5-year rate were 24 months and 34%. In comparison, the median survival and 5-year OS rate for patients in the Gem arm of the CONKO trial were 22 months and 21%. Conclusions: This analysis demonstrates that patients with postresection CA 19-9 values {>=}90 U/mL had a significantly worse survival. Patients with pancreatic head tumors treated with Gem with CA 19-9 serum level of <90 U/mL and per protocol RT had favorable survival compared to that seen in the CONKO trial. CA 19-9 is a stratification factor for the current RTOG adjuvant pancreas trial (0848).

Berger, Adam C., E-mail: adam.berger@jefferson.edu [Thomas Jefferson University Hospital, Philadelphia, Pennsylvania (United States); Winter, Kathryn [RTOG Statistical Center, Philadelphia, Pennsylvania (United States); Hoffman, John P. [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States); Regine, William F. [University of Maryland Medical Systems, Baltimore, Maryland (United States); Abrams, Ross A. [Rush University Medical Center, Chicago, Illinois (United States); Safran, Howard [Division of Hematology/Oncology, The Miriam Hospital, Providence, Rhode Island (United States); Freedman, Gary M. [Fox Chase Cancer Center, Philadelphia, Pennsylvania (United States); Benson, Alan B. [Northwestern Memorial Hospital, Chicago, Illinois (United States); MacDonald, John [St. Vincent' s Comprehensive Cancer Center, New York, New York (United States); Willett, Christopher G. [Duke University Medical Center, Durham, North Carolina (United States)

2012-11-01

427

On phase diagrams of magnetic reconnection  

International Nuclear Information System (INIS)

Recently, “phase diagrams” of magnetic reconnection were developed to graphically organize the present knowledge of what type, or phase, of reconnection is dominant in systems with given characteristic plasma parameters. Here, a number of considerations that require caution in using the diagrams are pointed out. First, two known properties of reconnection are omitted from the diagrams: the history dependence of reconnection and the absence of reconnection for small Lundquist number. Second, the phase diagrams mask a number of features. For one, the predicted transition to Hall reconnection should be thought of as an upper bound on the Lundquist number, and it may happen for considerably smaller values. Second, reconnection is never “slow,” it is always “fast” in the sense that the normalized reconnection rate is always at least 0.01. This has important implications for reconnection onset models. Finally, the definition of the relevant Lundquist number is nuanced and may differ greatly from the value based on characteristic scales. These considerations are important for applications of the phase diagrams. This is demonstrated by example for solar flares, where it is argued that it is unlikely that collisional reconnection can occur in the corona

2013-06-01

428

Hints for families of GRBs improving the Hubble diagram  

CERN Document Server

As soon as their extragalactic origins were established, the hope to make Gamma - Ray Bursts (GRBs) standardizeable candles to probe the very high - z universe has opened the search for scaling relations between redshift independent observable quantities and distance dependent ones. Although some remarkable success has been achieved, the empirical correlations thus found are still affected by a significant intrinsic scatter which downgrades the precision in the inferred GRBs Hubble diagram. We investigate here whether this scatter may come from fitting together objects belonging to intrinsically different classes. To this end, we rely on a cladistics analysis to partition GRBs in homogenous families according to their rest frame properties. Although the poor statistics prevent us from drawing a definitive answer, we find that both the intrinsic scatter and the coefficients of the $E_{peak}$\\,-\\,$E_{iso}$ and $E_{peak}$\\,-\\,$L$ correlations significantly change depending on which subsample is fitted. It turns ...

Cardone, Vincenzo F

2013-01-01

429

Inferring Information from Feature Diagrams to Product Line Economic Models  

CERN Document Server

Existing economic models support the estimation of the costs and benefits of developing and evolving a Software Product Line (SPL) as compared to undertaking traditional software development approaches. In addition, Feature Diagrams (FDs) are a valuable tool to scope the domain of a SPL. This paper proposes an algorithm to calculate, from a FD, the following information for economic models: the total number of products of a SPL, the SPL homogeneity and the commonality of the SPL requirements. The algorithm running time belongs to the complexity class $O(f^42^c)$. In contrast to related work, the algorithm is free of dependencies on off-the-self tools and is generally specified for an abstract FD notation, that works as a pivot language for most of the available notations for feature modeling.

Fernandez-Amoros, David; Cerrada, Jose Antonio

2009-01-01

430

Phase diagram for magnetic nano-rings  

DEFF Research Database (Denmark)

The minimum-energy single-domain magnetization state in a magnetized nano-ring is determined as a function of material and shape parameters. A phase diagram is derived within the framework of a Fourier-space approach for magnetic computations, showing the expected position of the ground state for any given set of external degrees of freedom. A series of micromagnetic simulations for suitably chosen parameters, show excellent agreement with the obtained theoretical results. An electron holography experiment has been carried out as a test on phase diagram reliability. The validity of the treatment, in particular the simplification employed in choosing ideal uniform rather than more physical quasi-uniform single-domain states, is thoroughly discussed in order to establish clear boundaries of applicability of the phase diagram.

Beleggia, M.; Lau, J. W.

2006-01-01

431

A Logarithmic-Amplitude Polar Diagram  

Directory of Open Access Journals (Sweden)

Full Text Available A polar diagram where the amplitude of the transfer function is on a logarithmic scale, is presented. This gives a one-size-fits-all diagram with no need for zooming in and out, and no need for additional reasoning about infinite-radius encirclements when there are poles on the imaginary axis - as opposed to what is usually neccessary with the standard polar (Nyquist- diagram. All properties needed for stability considerations are upheld, such as encirclements, gain and phase margins. The path for s in the loop transfer function is carefully chosen with regard to possible poles on the imaginary axis. Small excursions into the right half plane in the form of arcs of different-sized logarithmic spirals result in corresponding large but finite arcs that do not overlap in the logarithmic polar plots.

Trond Andresen

2001-04-01

432

Spectral geometry, link complements and surgery diagrams  

CERN Multimedia

We provide an upper bound on the Cheeger constant and first eigenvalue of the Laplacian of a finite-volume hyperbolic 3-manifold M, in terms of data from any surgery diagram for M. This has several consequences. We prove that a family of hyperbolic alternating link complements is expanding if and only if they have bounded volume. We also provide examples of hyperbolic 3-manifolds which require 'complicated' surgery diagrams, thereby proving that a recent theorem of Constantino and Thurston is sharp. Along the way, we find a new upper bound on the bridge number of a knot that is not tangle composite, in terms of the twist number of any diagram of the knot. The proofs rely on a theorem of Lipton and Tarjan on planar graphs, and also the relationship between many different notions of width for knots and 3-manifolds.

Lackenby, Marc

2008-01-01

433

Phase diagram for magnetic nano-rings  

International Nuclear Information System (INIS)

The minimum-energy single-domain magnetization state in a magnetized nano-ring is determined as a function of material and shape parameters. A phase diagram is derived within the framework of a Fourier-space approach for magnetic computations, showing the expected position of the ground state for any given set of external degrees of freedom. A series of micromagnetic simulations for suitably chosen parameters, show excellent agreement with the obtained theoretical results. An electron holography experiment has been carried out as a test on phase diagram reliability. The validity of the treatment, in particular the simplification employed in choosing ideal uniform rather than more physical quasi-uniform single-domain states, is thoroughly discussed in order to establish clear boundaries of applicability of the phase diagram

2006-06-01

434

Phase diagram of the excitonic insulator  

International Nuclear Information System (INIS)

Motivated by recent experiments, which give strong evidence for an excitonic insulating phase in TmSe0.45Te0.55, we developed a scheme to quantitatively construct, for generic two-band models, the phase diagram of an excitonic insulator. As a first application of our approach, we calculated the phase diagram for an effective mass two-band model with long-range Coulomb interaction. The shielded potential approximation is used to derive a generalized gap equation controlling for positive (negative) energy gaps the transition from a semi-conducting (semi-metallic) phase to an insulating phase. Numerical results, obtained within the quasi-static approximation, show a steeple-like phase diagram in contrast to long-standing expectations

2006-05-01

435

Phase diagram of classical electronic bilayers  

International Nuclear Information System (INIS)

Extensive molecular dynamics calculations have been performed on classical, symmetric electronic bilayers at various values of the coupling strength ? and interlayer separation d to delineate its phase diagram in the ?-d plane. We studied the diffusion, the amplitude of the main peak of the intralayer static structure factor and the peak positions of the intralayer pair correlation function with the aim of defining equivalent signatures of freezing and constructing the resulting phase diagram. It is found that for ? greater than 75, crystalline structures exist for a certain range of interlayer separations, while liquid phases are favoured at smaller and larger d. It is seen that there is good agreement between our phase diagram and previously published ones

2006-04-28

436

The Voronoi diagram of three lines  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We give a complete description of the Voronoi diagram, in $\\R^3$, of three lines in general position, that is, that are pairwise skew and not all parallel to a common plane. In particular, we show that the topology of the Voronoi diagram is invariant for three such lines. The trisector consists of four unbounded branches of either a non-singular quartic or of a non-singular cubic and a line that do not intersect in real space. Each cell of dimension two consists of two connected components on...

Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab

2009-01-01

437

The Voronoi Diagram of Three Lines  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We give a complete description of the Voronoi diagram, in $\\R^3$, of three lines in general position, that is, that are pairwise skew and not all parallel to a common plane. In particular, we show that the topology of the Voronoi diagram is invariant for three such lines. The trisector consists of four unbounded branches of either a non-singular quartic or of a cubic and line that do not intersect in real space. Each cell of dimension two consists of two connected components on a hyperbolic p...

Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab

2007-01-01

438

The Voronoi Diagram of Three Lines  

Digital Repository Infrastructure Vision for European Research (DRIVER)

We give a complete description of the Voronoi diagram of three lines in $\\R^3$. In particular, we show that the topology of the Voronoi diagram is invariant for three lines in general position, that is, that are pairwise skew and not all parallel to a common plane. The trisector consists of four unbounded branches of either a non-singular quartic or of a cubic and line that do not intersect in real space. Each cell of dimension two consists of two connected components on a hyperbolic parabolo...

Everett, Hazel; Lazard, Daniel; Lazard, Sylvain; Safey El Din, Mohab

2007-01-01

439

Magnetic phase diagram of doped CMR manganites  

International Nuclear Information System (INIS)

The magnetic phase diagram of the colossal magnetoresistance (CMR) manganites is determined based on the Hamiltonian incorporating the double-exchange interaction between degenerate Mn eg orbitals and the antiferromagnetic (AF) superexchange interaction between Mn t2g spins. We have employed the rigorous quantum mechanical formalism and obtained the finite temperature phase diagram which describes well the commonly observed features in CMR manganites. We have also shown that the CE-type AF structure cannot be stabilized at x=0.5 in this model

2003-04-01

440

Threshold expansion of the sunset diagram  

International Nuclear Information System (INIS)

By use of the threshold expansion we develop an algorithm for analytical evaluation, within dimensional regularization, of arbitrary terms in the expansion of the (two-loop) sunset diagram with general masses m1, m2 and m3 near its threshold, i.e. in any given order in the difference between the external momentum squared and its threshold value, (m1 + m2 + m3)2. In particular, this algorithm includes an explicit recurrence procedure to analytically calculate sunset diagrams with arbitrary integer powers of propagators at the threshold

1999-08-09

 
 
 
 
441

Calculations of penguin diagrams in B decays  

CERN Multimedia

We analyze the effects of the space-like penguin diagrams in two body B decays $B^-\\to K^-{\\bar K}^0$ and $B^-\\to \\pi^-{\\bar K}^0$. Special attention is paid to the operator $Q_6$, whose contribution is large in the BSW model, but vanishes in the PQCD method in the approximation of neglecting the masses in the final states. Suppressions of the space-like penguin diagrams are found in the PQCD method, which implies that the contributions of the space-like penguins are small compared to those of the time-like penguins.

Lü, C D; Lu, Cai-Dian; Zhang, Da-Xin

1997-01-01