Specification of real-time automation systems with HybridUML; Spezifikation von Echtzeit-Automatisierungssystemen mit HybridUML

Energy Technology Data Exchange (ETDEWEB)

Berkenkoetter, K.; Bisanz, S.; Hannemann, U.; Peleska, J. [Univ. Bremen (Germany)

2004-07-01

Complex automation systems require specification formalisms supporting the description of real-time requirements with respect to both discrete and time-continuous observables. For this purpose, the authors have designed the HybridUML specification language. Discrete events, communication, and variable assignments are specified by state machines, timers, and invariant conditions. The time-continuous aspects of system behaviour are described by associating differential equations or time-dependent algebraic conditions with system states. The complexity of large systems is controlled by decomposing the specification into parallel components and hierarchical state machines. Instead of inventing a new language syntax, HybridUML is represented as a profile of the Unified Modeling Language UML 2.0. This allows to re-use the syntactic framework of well-accepted graphical UML constructs and development support provided by various UML case tools. The profile is associated with a precise language semantics linking unambiguous meaning to all HybridUML specifications. As a consequence, HybridUML specifications can be compiled into executable code which is suitable for execution in hard realtime on multi-processor computers. This serves both for the development of automation systems and for specification-based testing in real-time. This paper contains an introduction to HybridUML which is illustrated by an example from the field of automated train control. (orig.)

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

Institute of Scientific and Technical Information of China (English)

占学德

2006-01-01

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

Vehicle System Management Modeling in UML for Ares I

Science.gov (United States)

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

2011-01-01

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

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

Science.gov (United States)

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

2002-07-01

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

UML as a cell and biochemistry modeling language.

Science.gov (United States)

Webb, Ken; White, Tony

2005-06-01

The systems biology community is building increasingly complex models and simulations of cells and other biological entities, and are beginning to look at alternatives to traditional representations such as those provided by ordinary differential equations (ODE). The lessons learned over the years by the software development community in designing and building increasingly complex telecommunication and other commercial real-time reactive systems, can be advantageously applied to the problems of modeling in the biology domain. Making use of the object-oriented (OO) paradigm, the unified modeling language (UML) and Real-Time Object-Oriented Modeling (ROOM) visual formalisms, and the Rational Rose RealTime (RRT) visual modeling tool, we describe a multi-step process we have used to construct top-down models of cells and cell aggregates. The simple example model described in this paper includes membranes with lipid bilayers, multiple compartments including a variable number of mitochondria, substrate molecules, enzymes with reaction rules, and metabolic pathways. We demonstrate the relevance of abstraction, reuse, objects, classes, component and inheritance hierarchies, multiplicity, visual modeling, and other current software development best practices. We show how it is possible to start with a direct diagrammatic representation of a biological structure such as a cell, using terminology familiar to biologists, and by following a process of gradually adding more and more detail, arrive at a system with structure and behavior of arbitrary complexity that can run and be observed on a computer. We discuss our CellAK (Cell Assembly Kit) approach in terms of features found in SBML, CellML, E-CELL, Gepasi, Jarnac, StochSim, Virtual Cell, and membrane computing systems.

Assessing and improving the quality of modeling : a series of empirical studies about the UML

NARCIS (Netherlands)

Lange, C.F.J.

2007-01-01

Assessing and Improving the Quality of Modeling A Series of Empirical Studies about the UML This thesis addresses the assessment and improvement of the quality of modeling in software engineering. In particular, we focus on the Unified Modeling Language (UML), which is the de facto standard in

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

Science.gov (United States)

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

2005-01-01

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

Comprehensive Aspectual UML Approach to Support AspectJ

Directory of Open Access Journals (Sweden)

Aws Magableh

2014-01-01

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

Comprehensive Aspectual UML approach to support AspectJ.

Science.gov (United States)

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

2014-01-01

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

Comparison of BrainTool to other UML modeling and model transformation tools

Science.gov (United States)

Nikiforova, Oksana; Gusarovs, Konstantins

2017-07-01

In the last 30 years there were numerous model generated software systems offered targeting problems with the development productivity and the resulting software quality. CASE tools developed due today's date are being advertised as having "complete code-generation capabilities". Nowadays the Object Management Group (OMG) is calling similar arguments in regards to the Unified Modeling Language (UML) models at different levels of abstraction. It is being said that software development automation using CASE tools enables significant level of automation. Actual today's CASE tools are usually offering a combination of several features starting with a model editor and a model repository for a traditional ones and ending with code generator (that could be using a scripting or domain-specific (DSL) language), transformation tool to produce the new artifacts from the manually created and transformation definition editor to define new transformations for the most advanced ones. Present paper contains the results of CASE tool (mainly UML editors) comparison against the level of the automation they are offering.

Querying UML models using OCL and Prolog: A performance study

NARCIS (Netherlands)

Chimiak-Opoka, J.; Felderer, M.; Lenz, C.; Lange, C.F.J.

2008-01-01

The size of unified modeling language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there

Event Modeling in UML. Unified Modeling Language and Unified Process

DEFF Research Database (Denmark)

Bækgaard, Lars

2002-01-01

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

Towards refactoring the Molecular Function Ontology with a UML profile for function modeling.

Science.gov (United States)

Burek, Patryk; Loebe, Frank; Herre, Heinrich

2017-10-04

Gene Ontology (GO) is the largest resource for cataloging gene products. This resource grows steadily and, naturally, this growth raises issues regarding the structure of the ontology. Moreover, modeling and refactoring large ontologies such as GO is generally far from being simple, as a whole as well as when focusing on certain aspects or fragments. It seems that human-friendly graphical modeling languages such as the Unified Modeling Language (UML) could be helpful in connection with these tasks. We investigate the use of UML for making the structural organization of the Molecular Function Ontology (MFO), a sub-ontology of GO, more explicit. More precisely, we present a UML dialect, called the Function Modeling Language (FueL), which is suited for capturing functions in an ontologically founded way. FueL is equipped, among other features, with language elements that arise from studying patterns of subsumption between functions. We show how to use this UML dialect for capturing the structure of molecular functions. Furthermore, we propose and discuss some refactoring options concerning fragments of MFO. FueL enables the systematic, graphical representation of functions and their interrelations, including making information explicit that is currently either implicit in MFO or is mainly captured in textual descriptions. Moreover, the considered subsumption patterns lend themselves to the methodical analysis of refactoring options with respect to MFO. On this basis we argue that the approach can increase the comprehensibility of the structure of MFO for humans and can support communication, for example, during revision and further development.

UML for systems engineering watching the wheels

CERN Document Server

Holt, Jon

2005-01-01

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

The use of UML activity diagrams and the i* language in the modeling of the balanced scorecard implantation process

OpenAIRE

Haya, Mariela; Franch, Xavier; Mayol, Enric

2005-01-01

Business management is a complex task that can be facilitated using different methodologies and models. One of their most relevant purposes is to align the organization strategy with the daily functioning of the organization. One of these models is the Balanced Scorecard (BSC). In this paper, we propose a modeling strategy for the BSC implantation process. We will model it using UML Activity Diagrams and Strategy Dependency models of the language i*. The Activity Diagrams allow determining th...

Model-Driven Theme/UML

Science.gov (United States)

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

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

A rule-based approach to model checking of UML state machines

Science.gov (United States)

Grobelna, Iwona; Grobelny, Michał; Stefanowicz, Łukasz

2016-12-01

In the paper a new approach to formal verification of control process specification expressed by means of UML state machines in version 2.x is proposed. In contrast to other approaches from the literature, we use the abstract and universal rule-based logical model suitable both for model checking (using the nuXmv model checker), but also for logical synthesis in form of rapid prototyping. Hence, a prototype implementation in hardware description language VHDL can be obtained that fully reflects the primary, already formally verified specification in form of UML state machines. Presented approach allows to increase the assurance that implemented system meets the user-defined requirements.

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

Directory of Open Access Journals (Sweden)

Arpinen Tero

2009-01-01

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

Dependability modeling and assessment in UML-based software development.

Science.gov (United States)

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

2012-01-01

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

Optimizing UML Class Diagrams

Directory of Open Access Journals (Sweden)

Sergievskiy Maxim

2018-01-01

Full Text Available Most of object-oriented development technologies rely on the use of the universal modeling language UML; class diagrams play a very important role in the design process play, used to build a software system model. Modern CASE tools, which are the basic tools for object-oriented development, can’t be used to optimize UML diagrams. In this manuscript we will explain how, based on the use of design patterns and anti-patterns, class diagrams could be verified and optimized. Certain transformations can be carried out automatically; in other cases, potential inefficiencies will be indicated and recommendations given. This study also discusses additional CASE tools for validating and optimizing of UML class diagrams. For this purpose, a plugin has been developed that analyzes an XMI file containing a description of class diagrams.

The Development Methodology of the UML Electronic Guide

Directory of Open Access Journals (Sweden)

N.A. Magariu

2006-09-01

Full Text Available A technological model for realization of the electronic guide to UML language is considered. This model includes description of peculiarities of using the special graphic editor for constructing the UML diagrams, XML vocabularies (XMI, DocBook, SVG, XSLT for representing the text and diagrams and JavaScript code for constructing the tests.

Using UML to Model Web Services for Automatic Composition

OpenAIRE

Amal Elgammal; Mohamed El-Sharkawi

2010-01-01

There is a great interest paid to the web services paradigm nowadays. One of the most important problems related to the web service paradigm is the automatic composition of web services. Several frameworks have been proposed 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 mod...

Towards an automatic model transformation mechanism from UML state machines to DEVS models

Directory of Open Access Journals (Sweden)

Ariel González

2015-08-01

Full Text Available The development of complex event-driven systems requires studies and analysis prior to deployment with the goal of detecting unwanted behavior. UML is a language widely used by the software engineering community for modeling these systems through state machines, among other mechanisms. Currently, these models do not have appropriate execution and simulation tools to analyze the real behavior of systems. Existing tools do not provide appropriate libraries (sampling from a probability distribution, plotting, etc. both to build and to analyze models. Modeling and simulation for design and prototyping of systems are widely used techniques to predict, investigate and compare the performance of systems. In particular, the Discrete Event System Specification (DEVS formalism separates the modeling and simulation; there are several tools available on the market that run and collect information from DEVS models. This paper proposes a model transformation mechanism from UML state machines to DEVS models in the Model-Driven Development (MDD context, through the declarative QVT Relations language, in order to perform simulations using tools, such as PowerDEVS. A mechanism to validate the transformation is proposed. Moreover, examples of application to analyze the behavior of an automatic banking machine and a control system of an elevator are presented.

PERANCANGAN ATURAN TRANSFORMASI UML – SYSTEMC DALAM PERANCANGAN EMBEDDED SYSTEM

Directory of Open Access Journals (Sweden)

Maman Abdurohman

2012-05-01

Full Text Available Pemodelan adalah salah satu proses awal dalam pengembangan suatu aplikasi atau produk. Tahap ini dilakukan untuk meminimalkan kesalahan pada produk akhir. Salah satu metode pemodelan berorientasi objek yang banyak digunakan adalah pemodelan UML (Unified Modeling Language. Dalam UML suatu sistem dipandang sebagai kumpulan objek yang memiliki atribut dan method. SystemC adalah bahasa perancangan perangkat keras yang berbasis C++. SystemC merupakan sebuah library yang mendefinisikan tipe-tipe komponen perangkat keras. Dalam pemodelan bersama perangkat keras dan perangkat lunak, UML dan SystemC memiliki kemampuan yang sama. Pada paper ini dilakukan analisis proses transformasi dari pemodelan berorientasi objek dengan UML dan implementasi dengan menggunakan SystemC. Hasil penelitian menunjukan bahwa proses transformasi UML-SystemC dapat dilakukan karena keduanya memiliki nature yang sama sebagai lingkungan yang dapat merancang bersama hardware dan software. Perangkat yang digunakan untuk penelitian ini adalah Rational Rose dan SystemC. Modeling is one of the first process in the development of an application or product. This phase is done to minimize errors in the final product. One method in object-oriented modeling that is widely used is UML (Unified Modeling Language. In UML a system is seen as a collection of objects that have attributes and methods. SystemC is a hardware design language based on C++. SystemC is a library that defines the types of hardware components. In a joint modeling of hardware and software, UML and SystemC have similar capabilities. In this paper, researchers analyzed the transformation of object-oriented modeling with UML and the implementation by using SystemC. The results shows that the transformation process of UML-SystemC can be done because both have the same nature as the environment that can design both hardware and software. The device used for this study is the Rational Rose and SystemC.

The Use of UML for Software Requirements Expression and Management

Science.gov (United States)

Murray, Alex; Clark, Ken

2015-01-01

It is common practice to write English-language "shall" statements to embody detailed software requirements in aerospace software applications. This paper explores the use of the UML language as a replacement for the English language for this purpose. Among the advantages offered by the Unified Modeling Language (UML) is a high degree of clarity and precision in the expression of domain concepts as well as architecture and design. Can this quality of UML be exploited for the definition of software requirements? While expressing logical behavior, interface characteristics, timeliness constraints, and other constraints on software using UML is commonly done and relatively straight-forward, achieving the additional aspects of the expression and management of software requirements that stakeholders expect, especially traceability, is far less so. These other characteristics, concerned with auditing and quality control, include the ability to trace a requirement to a parent requirement (which may well be an English "shall" statement), to trace a requirement to verification activities or scenarios which verify that requirement, and to trace a requirement to elements of the software design which implement that requirement. UML Use Cases, designed for capturing requirements, have not always been satisfactory. Some applications of them simply use the Use Case model element as a repository for English requirement statements. Other applications of Use Cases, in which Use Cases are incorporated into behavioral diagrams that successfully communicate the behaviors and constraints required of the software, do indeed take advantage of UML's clarity, but not in ways that support the traceability features mentioned above. Our approach uses the Stereotype construct of UML to precisely identify elements of UML constructs, especially behaviors such as State Machines and Activities, as requirements, and also to achieve the necessary mapping capabilities. We describe this approach in the

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

Directory of Open Access Journals (Sweden)

Cristian Vidal Silva

2013-09-01

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

UML: Un lenguaje de modelo de objetos

Directory of Open Access Journals (Sweden)

Luis Ignacio Lizcano-Bueno

2002-01-01

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

Towards Clone Detection in UML Domain Models

DEFF Research Database (Denmark)

Störrle, Harald

2013-01-01

Code clones (i.e., duplicate fragments of code) have been studied for long, and there is strong evidence that they are a major source of software faults. Anecdotal evidence suggests that this phenomenon occurs similarly in models, suggesting that model clones are as detrimental to model quality...... as they are to code quality. However, programming language code and visual models have significant differences that make it difficult to directly transfer notions and algorithms developed in the code clone arena to model clones. In this article, we develop and propose a definition of the notion of “model clone” based...... 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....

A UML profile for the OBO relation ontology

Science.gov (United States)

2012-01-01

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

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

Directory of Open Access Journals (Sweden)

Liu Fang

2007-02-01

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

Executable UML Modeling For Automotive Embedded Systems

International Nuclear Information System (INIS)

Gerard, Sebastien

2000-01-01

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

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

International Nuclear Information System (INIS)

Benyahia, A.

2012-01-01

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

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)

Knollmann, V.

2007-12-15

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

Unified Medical Language System (UMLS)

Data.gov (United States)

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

A Comparison and Evaluation of Real-Time Software Systems Modeling Languages

Science.gov (United States)

Evensen, Kenneth D.; Weiss, Kathryn Anne

2010-01-01

A model-driven approach to real-time software systems development enables the conceptualization of software, fostering a more thorough understanding of its often complex architecture and behavior while promoting the documentation and analysis of concerns common to real-time embedded systems such as scheduling, resource allocation, and performance. Several modeling languages have been developed to assist in the model-driven software engineering effort for real-time systems, and these languages are beginning to gain traction with practitioners throughout the aerospace industry. This paper presents a survey of several real-time software system modeling languages, namely the Architectural Analysis and Design Language (AADL), the Unified Modeling Language (UML), Systems Modeling Language (SysML), the Modeling and Analysis of Real-Time Embedded Systems (MARTE) UML profile, and the AADL for UML profile. Each language has its advantages and disadvantages, and in order to adequately describe a real-time software system's architecture, a complementary use of multiple languages is almost certainly necessary. This paper aims to explore these languages in the context of understanding the value each brings to the model-driven software engineering effort and to determine if it is feasible and practical to combine aspects of the various modeling languages to achieve more complete coverage in architectural descriptions. To this end, each language is evaluated with respect to a set of criteria such as scope, formalisms, and architectural coverage. An example is used to help illustrate the capabilities of the various languages.

Tracing the Rationale Behind UML Model Change Through Argumentation

Science.gov (United States)

Jureta, Ivan J.; Faulkner, Stéphane

Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the engineering of poor quality systems. Following the simple principles that (a) changes to UML model instances ought be justified to the stakeholders, (b) justification should proceed in a structured manner to ensure rigor in discussions, critique, and revisions of model instances, and (c) the concept of argument instantiated in a justification process ought to be well defined and understood, the present paper introduces the UML Traceability through Argumentation Method (UML-TAM) to enable the traceability of design rationale in UML while allowing the appropriateness of model changes to be checked by analysis of the structure of the arguments provided to justify such changes.

Modelling SDL, Modelling Languages

Directory of Open Access Journals (Sweden)

Michael Piefel

2007-02-01

Full Text Available Today's software systems are too complex to implement them and model them using only one language. As a result, modern software engineering uses different languages for different levels of abstraction and different system aspects. Thus to handle an increasing number of related or integrated languages is the most challenging task in the development of tools. We use object oriented metamodelling to describe languages. Object orientation allows us to derive abstract reusable concept definitions (concept classes from existing languages. This language definition technique concentrates on semantic abstractions rather than syntactical peculiarities. We present a set of common concept classes that describe structure, behaviour, and data aspects of high-level modelling languages. Our models contain syntax modelling using the OMG MOF as well as static semantic constraints written in OMG OCL. We derive metamodels for subsets of SDL and UML from these common concepts, and we show for parts of these languages that they can be modelled and related to each other through the same abstract concepts.

Auditing the Assignments of Top-Level Semantic Types in the UMLS Semantic Network to UMLS Concepts.

Science.gov (United States)

He, Zhe; Perl, Yehoshua; Elhanan, Gai; Chen, Yan; Geller, James; Bian, Jiang

2017-11-01

The Unified Medical Language System (UMLS) is an important terminological system. By the policy of its curators, each concept of the UMLS should be assigned the most specific Semantic Types (STs) in the UMLS Semantic Network (SN). Hence, the Semantic Types of most UMLS concepts are assigned at or near the bottom (leaves) of the UMLS Semantic Network. While most ST assignments are correct, some errors do occur. Therefore, Quality Assurance efforts of UMLS curators for ST assignments should concentrate on automatically detected sets of UMLS concepts with higher error rates than random sets. In this paper, we investigate the assignments of top-level semantic types in the UMLS semantic network to concepts, identify potential erroneous assignments, define four categories of errors, and thus provide assistance to curators of the UMLS to avoid these assignments errors. Human experts analyzed samples of concepts assigned 10 of the top-level semantic types and categorized the erroneous ST assignments into these four logical categories. Two thirds of the concepts assigned these 10 top-level semantic types are erroneous. Our results demonstrate that reviewing top-level semantic type assignments to concepts provides an effective way for UMLS quality assurance, comparing to reviewing a random selection of semantic type assignments.

Rosen's (M,R) system in Unified Modelling Language.

Science.gov (United States)

Zhang, Ling; Williams, Richard A; Gatherer, Derek

2016-01-01

Robert Rosen's (M,R) system is an abstract biological network architecture that is allegedly non-computable on a Turing machine. If (M,R) is truly non-computable, there are serious implications for the modelling of large biological networks in computer software. A body of work has now accumulated addressing Rosen's claim concerning (M,R) by attempting to instantiate it in various software systems. However, a conclusive refutation has remained elusive, principally since none of the attempts to date have unambiguously avoided the critique that they have altered the properties of (M,R) in the coding process, producing merely approximate simulations of (M,R) rather than true computational models. In this paper, we use the Unified Modelling Language (UML), a diagrammatic notation standard, to express (M,R) as a system of objects having attributes, functions and relations. We believe that this instantiates (M,R) in such a way than none of the original properties of the system are corrupted in the process. Crucially, we demonstrate that (M,R) as classically represented in the relational biology literature is implicitly a UML communication diagram. Furthermore, since UML is formally compatible with object-oriented computing languages, instantiation of (M,R) in UML strongly implies its computability in object-oriented coding languages. Copyright © 2015 Elsevier Ireland Ltd. All rights reserved.

UML Semantics FAQ: Dynamic Behaviour and Concurrency

NARCIS (Netherlands)

Wieringa, Roelf J.; Demeyer, Serge; Astesiano, Egidio; Reggio, Gianna; Le Guennec, Alain; Hussman, Heinrich; van den Berg, Klaas; van den Broek, P.M.

This paper reports the results of a workshop held at ECOOP'99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unified Modelling Language. Questions examined the meaning of the term semantics in the context of UML; approaches to defining the

Functional Size Measurement applied to UML-based user requirements

NARCIS (Netherlands)

van den Berg, Klaas; Dekkers, Ton; Oudshoorn, Rogier; Dekkers, T.

There is a growing interest in applying standardized methods for Functional Size Measurement (FSM) to Functional User Requirements (FUR) based on models in the Unified Modelling Language (UML). No consensus exists on this issue. We analyzed the demands that FSM places on FURs. We propose a

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

Science.gov (United States)

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

2004-11-01

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

Extracting UML Class Diagrams from Object-Oriented Fortran: ForUML

Directory of Open Access Journals (Sweden)

Aziz Nanthaamornphong

2015-01-01

Full Text Available Many scientists who implement computational science and engineering software have adopted the object-oriented (OO Fortran paradigm. One of the challenges faced by OO Fortran developers is the inability to obtain high level software design descriptions of existing applications. Knowledge of the overall software design is not only valuable in the absence of documentation, it can also serve to assist developers with accomplishing different tasks during the software development process, especially maintenance and refactoring. The software engineering community commonly uses reverse engineering techniques to deal with this challenge. A number of reverse engineering-based tools have been proposed, but few of them can be applied to OO Fortran applications. In this paper, we propose a software tool to extract unified modeling language (UML class diagrams from Fortran code. The UML class diagram facilitates the developers' ability to examine the entities and their relationships in the software system. The extracted diagrams enhance software maintenance and evolution. The experiments carried out to evaluate the proposed tool show its accuracy and a few of the limitations.

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

DEFF Research Database (Denmark)

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

2003-01-01

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

A UML profile for code generation of component based distributed systems

International Nuclear Information System (INIS)

Chiozzi, G.; Karban, R.; Andolfato, L.; Tejeda, A.

2012-01-01

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

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

Directory of Open Access Journals (Sweden)

Stanisław Wrycza

2011-06-01

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.

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

DEFF Research Database (Denmark)

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

2007-01-01

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

XML View, Part III: An UML Based Design Methodology for XML Views

NARCIS (Netherlands)

Rajugan, R.; Dillon, T.S.; Chang, E.; Feng, L.

Object-Oriented (OO) conceptual models have the power in describing and modelling real-world data semantics and their inter-relationships in a form that is precise and comprehensible to users. Today UML has established itself as the language of choice for modelling complex enterprises information

Comparative analysis of business rules and business process modeling languages

Directory of Open Access Journals (Sweden)

Audrius Rima

2013-03-01

Full Text Available During developing an information system is important to create clear models and choose suitable modeling languages. The article analyzes the SRML, SBVR, PRR, SWRL, OCL rules specifying language and UML, DFD, CPN, EPC and IDEF3 BPMN business process modeling language. The article presents business rules and business process modeling languages theoretical comparison. The article according to selected modeling aspects of the comparison between different business process modeling languages ​​and business rules representation languages sets. Also, it is selected the best fit of language set for three layer framework for business rule based software modeling.

Rewriting and suppressing UMLS terms for improved biomedical term identification

NARCIS (Netherlands)

K.M. Hettne (Kristina); E.M. van Mulligen (Erik); M.J. Schuemie (Martijn); R.J.A. Schijvenaars (Bob); J.A. Kors (Jan)

2010-01-01

textabstractBackground: 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

The application of the unified modeling language in object-oriented analysis of healthcare information systems.

Science.gov (United States)

Aggarwal, Vinod

2002-10-01

This paper concerns itself with the beneficial effects of the Unified Modeling Language (UML), a nonproprietary object modeling standard, in specifying, visualizing, constructing, documenting, and communicating the model of a healthcare information system from the user's perspective. The author outlines the process of object-oriented analysis (OOA) using the UML and illustrates this with healthcare examples to demonstrate the practicality of application of the UML by healthcare personnel to real-world information system problems. The UML will accelerate advanced uses of object-orientation such as reuse technology, resulting in significantly higher software productivity. The UML is also applicable in the context of a component paradigm that promises to enhance the capabilities of healthcare information systems and simplify their management and maintenance.

BGen: A UML Behavior Network Generator Tool

Science.gov (United States)

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

2010-01-01

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

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)

Carlos Mario Zapata

2008-01-01

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

SISTEM INFORMASI PENJUALAN TAS BERBASIS WEB DENGAN PEMODELAN UML

Directory of Open Access Journals (Sweden)

Nurul Azwanti

2017-02-01

Full Text Available At this time many people who use the website instead of just looking for information, but rather as a land promotion, sales and other activities that could open up opportunities for businesses. Mendi Shopping is one of the businesses engaged in the sale of bags that are already using the internet as a media sales services. The internet service is up. However, in the recording of transactions still use manual recording that led to the frequent occurrence of data loss sales and had to repeat the recording back so that the generated report is not accurate. Use of the Website can be used as a media sales in Mendi Shopping. Unified Modeling Language (UML is a tool or tools that can be used in doing the design of the system to be built. UML can describe clearly the information systems that will be built. Shopping Mendi to assist in storing their data, created a database using MySQL as a storage medium. In addition, it can reduce errors and data loss in data processing sales. The website can also be a media campaign to inform the latest products and berkulitas so as to increase the sales charts in Mendi Shopping. Keywords: website, sales, MySQL, UML Pada saat ini banyak individu yang menggunakan website bukan hanya sekedar mencari informasi saja, melainkan sebagai lahan promosi, penjualan dan aktivitas lainnya yang dapat membuka peluang untuk bisnis. Mendi Shopping merupakan salah satu usaha yang bergerak dibidang penjualan tas yang sudah menggunakan layanan internet sebagai media penjualan. Layanan internet tersebut adalah Facebook. Namun, dalam pencatatan transaksinya masih menggunakan pencatatan secara manual yang menyebabkan sering terjadinya kehilangan data penjualan dan harus mengulang pencatatan kembali sehingga laporan yang dihasilkan tidak akurat. Penggunaan Website dapat dijadikan sebagai media penjualan pada Mendi Shopping. Unified Modeling Language (UML merupakan tools atau alat bantu yang dapat digunakan dalam melakukan desain terhadap

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

DEFF Research Database (Denmark)

Pawar, Pranav M.; Nielsen, Rasmus Hjorth; Prasad, Neeli R.

2012-01-01

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

Pemodelan UML Sistem Informasi Geografis Pasar Tradisional Kota Pekanbaru

Directory of Open Access Journals (Sweden)

Sutejo Sutejo

2017-01-01

Full Text Available AbstrakDunia sistem informasi terdapat banyak model sistem informasi, kaitan pasar dengan sistem informasi geografis adalah untuk memberikan berbagai macam informasi, terutama letak geografis pasar tersebut. Pentingnya informasi ini memberi banyak inspirasi terhadap pembuat model untuk merancang sistem-sistem yang mendekati dunia nyata. Model sistem informasi juga diharapkan dapat digunakan sebagai alat prediksi kejadian di masa depan dengan mendasarkan pada data yang ada pada masa lalu dan masa sekarang. Sistem Informasi Geografis (SIG ini di rancang untuk mengumpulkan data, meyimpan dan mengubah data, serta menganalisis objek beserta data geografis yang bersifat penting untuk di analisis. GIS yang disajikan dengan berbasis web pada perancangan ini juga dapat digunakan sebagai alat pemberian informasi kepada masyarakat luas. Hasil penelitian dengan pemodelan UML (Unified Modelling Language sangat membantu dalam proses perancangan sebuah sistem informasi geografis pasar tradisional serta aplikasi sistem informasi geografis pasar tradisional berbasis web ini dapat digunakan sebagai sarana informasi pasar, khususnya bagi para calon pedagang yang ingin berdagang di salah satu pasar tradisional yang ada di Kota Pekanbaru. Kata Kunci : Sistem Informasi Geografis, Web, Pasar Tradisional, Pemodelan, UML. AbstractThe world of information systems provides many models of information systems, the link of market with a geographic information system is to provide various kinds of information, specially the geographical markets. The importance of this information gives a lot of inspiration for the model makers to design systems that approximates the real world. Model of information system is also expected to be used as predictors of future events by basing on the existing data on past and present. Geographic Information Systems (GIS is designed to collect data, store and modify data, and analyzing object along with geographic data which is important for

On the suitability of UML 2.0 activity diagrams for business process modelling

NARCIS (Netherlands)

Russell, N.C.; Aalst, van der W.M.P.; Hofstede, ter A.H.M.; Wohed, P.; Stumptner, M.; Hartmann, S.; Kiyoki, Y.

2006-01-01

UML is posited as the 'swiss army knife' for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in capturing both the static and dynamic aspects of software systems. One area of UML that has received particular attention is that of

UML Profile for Mining Process: Supporting Modeling and Simulation Based on Metamodels of Activity Diagram

Directory of Open Access Journals (Sweden)

Andrea Giubergia

2014-01-01

Full Text Available An UML profile describes lightweight extension mechanism to the UML by defining custom stereotypes, tagged values, and constraints. They are used to adapt UML metamodel to different platforms and domains. In this paper we present an UML profile for models supporting event driving simulation. In particular, we use the Arena simulation tool and we focus on the mining process domain. Profiles provide an easy way to obtain well-defined specifications, regulated by the Object Management Group (OMG. They can be used as a presimulation technique to obtain solid models for the mining industry. In this work we present a new profile to extend the UML metamodel; in particular we focus on the activity diagram. This extended model is applied to an industry problem involving loading and transportation of minerals in the field of mining process.

3rd International Workshop on Critical Systems Development with UML

OpenAIRE

Jan Jürjens; Eduardo B. Fernandez; Robert France; Bernhard Rumpe

2017-01-01

Topics of the Workshop include: --- Applications of UML to real-time systems security-critical systems dependable / safety-critical systems performance-critical systems embedded systems hybrid systems reactive systems --- Extensions of UML (UML-RT, UMLsec, Automotive UML, Embedded UML, ...) and new developments (UML 2.0, MDA) --- Modeling, synthesis, model transformation, code generation, testing, validation, and verification of critical systems using UML --- Aspect-oriented or Component-base...

Suggest an Aspect-Oriented Design Approach for UML Communication Diagram

OpenAIRE

Nather, Mohammed F.; Saleem, Dr. Nada N.

2013-01-01

More and more works are done on the design of the Unified Modeling Language (UML) which is designed to help us for modeling effective object oriented software, Existing Object-Oriented design methods are not mature enough to capture non-functional requirement such as concurrency, fault tolerance, distribution and persistence of a software approach. Our approach proposed to use aspect-oriented software development (AOSD) mechanisms to solve the issues for interactions of the communication diag...

Modeling Value Chain Analysis of Distance Education using UML

Science.gov (United States)

Acharya, Anal; Mukherjee, Soumen

2010-10-01

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

USING UML SCENARIOS IN B2B SYSTEMS

Directory of Open Access Journals (Sweden)

A. Jakimi

2010-05-01

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

Transformación de las restricciones OCL de un esquema UML a consultas de SQL

OpenAIRE

Casillas Cortázar, Sergio

2012-01-01

En la actualidad existen muchos métodos y herramientas que permiten la generación automática y completa del código de una aplicación a partir de un diagrama en UML. El lenguaje UML (Unified Modeling Language, Lenguaje Unificado de Modelado) es un lenguaje visual cuyo uso más extendido es documentar, construir y especificar los modelos del sistema. Todas estas herramientas son capaces de generar clases en Java o tablas en un Sistema de Gestión de Bases de Datos (DBMS, DataBase Management Sy...

PERFIL PARA REPRESENTAR UNA ARQUITECTURA DE COMPONENTES EN UML

Directory of Open Access Journals (Sweden)

Fernando Orejas Valdés

2006-04-01

Full Text Available

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

Unified modeling language and design of a case-based retrieval system in medical imaging.

Science.gov (United States)

LeBozec, C; Jaulent, M C; Zapletal, E; Degoulet, P

1998-01-01

One goal of artificial intelligence research into case-based reasoning (CBR) systems is to develop approaches for designing useful and practical interactive case-based environments. Explaining each step of the design of the case-base and of the retrieval process is critical for the application of case-based systems to the real world. We describe herein our approach to the design of IDEM--Images and Diagnosis from Examples in Medicine--a medical image case-based retrieval system for pathologists. Our approach is based on the expressiveness of an object-oriented modeling language standard: the Unified Modeling Language (UML). We created a set of diagrams in UML notation illustrating the steps of the CBR methodology we used. The key aspect of this approach was selecting the relevant objects of the system according to user requirements and making visualization of cases and of the components of the case retrieval process. Further evaluation of the expressiveness of the design document is required but UML seems to be a promising formalism, improving the communication between the developers and users.

Colaborated Architechture Framework for Composition UML 2.0 in Zachman Framework

Science.gov (United States)

Hermawan; Hastarista, Fika

2016-01-01

Zachman Framework (ZF) is the framework of enterprise architechture that most widely adopted in the Enterprise Information System (EIS) development. In this study, has been developed Colaborated Architechture Framework (CAF) to collaborate ZF with Unified Modeling Language (UML) 2.0 modeling. The CAF provides the composition of ZF matrix that each cell is consist of the Model Driven architechture (MDA) from the various UML models and many Software Requirement Specification (SRS) documents. Implementation of this modeling is used to develops Enterprise Resource Planning (ERP). Because ERP have a coverage of applications in large numbers and complexly relations, it is necessary to use Agile Model Driven Design (AMDD) approach as an advanced method to transforms MDA into components of application modules with efficiently and accurately. Finally, through the using of the CAF, give good achievement in fullfilment the needs from all stakeholders that are involved in the overall process stage of Rational Unified Process (RUP), and also obtaining a high satisfaction to fullfiled the functionality features of the ERP software in PT. Iglas (Persero) Gresik.

Automatic Generation of Test Cases from UML Models

Directory of Open Access Journals (Sweden)

Constanza Pérez

2018-04-01

Full Text Available [Context] The growing demand for high-quality software has caused the industry to incorporate processes to enable them to comply with these standards, but increasing the cost of development. A strategy to reduce this cost is to incorporate quality evaluations from early stages of software development. A technique that facilitates this evaluation is the model-based testing, which allows to generate test cases at early phases using as input the conceptual models of the system. [Objective] In this paper, we introduce TCGen, a tool that enables the automatic generation of abstract test cases starting from UML conceptual models. [Method] The design and implementation of TCGen, a technique that applies different testing criteria to class diagrams and state transition diagrams to generates test cases, is presented as a model-based testing approach. To do that, TCGen uses UML models, which are widely used at industry and a set of algorithms that recognize the concepts in the models in order to generate abstract test cases. [Results] An exploratory experimental evaluation has been performed to compare the TCGen tool with traditional testing. [Conclusions] Even though the exploratory evaluation shows promising results, it is necessary to perform more empirical evaluations in order to generalize the results. Abstract (in Spanish: [Contexto] La creciente demanda de software de alta calidad ha provocado que la industria incorpore procesos para permitirles cumplir con estos estándares, pero aumentando el costo del desarrollo. Una estrategia para reducir este costo es incorporar evaluaciones de calidad desde las primeras etapas del desarrollo del software. Una técnica que facilita esta evaluación es la prueba basada en modelos, que permite generar casos de prueba en fases tempranas utilizando como entrada los modelos conceptuales del sistema. [Objetivo] En este artículo, presentamos TCGen, una herramienta que permite la generación automática de casos de

Verification-Driven Slicing of UML/OCL Models

DEFF Research Database (Denmark)

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

2010-01-01

computational complexity can limit their scalability. In this paper, we consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., “is it possible to create objects without violating any constraint?”). Current...... approaches to this problem have an exponential worst-case runtime. We propose a technique to improve their scalability by partitioning the original model into submodels (slices) which can be verified independently and where irrelevant information has been abstracted. The definition of the slicing procedure...

An Infrastructure for UML-Based Code Generation Tools

Science.gov (United States)

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

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

Methodology for the development and the UML (unified modified language) simulation of data acquisition and data processing systems dedicated to high energy physics experiments

International Nuclear Information System (INIS)

Anvar, S.

2002-09-01

The increasing complexity of the real-time data acquisition and processing systems (TDAQ: the so called Trigger and Data AcQuisition systems) in high energy physics calls for an appropriate evolution of development tools. This work is about the interplay between in principle specifications of TDAQ systems and their actual design and realization on a concrete hardware and software platform. The basis of our work is to define a methodology for the development of TDAQ systems that meets the specific demands for the development of such systems. The result is the detailed specification of a 'methodological framework' based on the Unified Modeling Language (UML) and designed to manage a development process. The use of this UML-based methodological framework progressively leads to the setting up of a 'home-made' framework, i.e. a development tool that comprises reusable components and generic architectural elements adapted to TDAQ systems. The main parts of this dissertation are sections II to IV. Section II is devoted to the characterization and evolution of TDAQ systems. In section III, we review the main technologies that are relevant to our problematic, namely software reuse techniques such as design patterns and frameworks, especially concerning the real-time and embedded systems domain. Our original conceptual contribution is presented in section IV, where we give a detailed, formalized and example-driven specification of our development model. Our final conclusions are presented in section V, where we present the MORDICUS project devoted to a concrete realization of our UML methodological framework, and the deep affinities between our work and the emerging 'Model Driven Architecture' (MDA) paradigm developed by the Object Management Group. (author)

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

DEFF Research Database (Denmark)

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

2007-01-01

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

Perancangan Case Tools untuk Diagram Use Case, Activity, dan Class untuk Permodelan Uml Berbasis Web Menggunakan HTML5 dan PHP

Directory of Open Access Journals (Sweden)

Mohammad Subekti

2014-12-01

Full Text Available This study is intended to generate an application tools (CASE tools that allows a software developer to create a modeling system design using Unified Modeling Language (UML, especially in making use case, activity or class diagrams more quickly and easily. The tools developed will also facilitate developers in doing UML modeling by accessing the network through a web-based internet application. With the web-based applications, the users require only a browser and an internet connection to use this application. This application also helps developers to understand of how to make UML diagrams correctly and good. In this research traditional methods Scrum model is used. Scrum method is Agile methods that is a process to cultivate software easily and can be developed in accordance with the development of information technology. Scrum is using empirical methods or in other words every stage in it involves inspection and adaptation.

A remote sensing computer-assisted learning tool developed using the unified modeling language

Science.gov (United States)

Friedrich, J.; Karslioglu, M. O.

The goal of this work has been to create an easy-to-use and simple-to-make learning tool for remote sensing at an introductory level. Many students struggle to comprehend what seems to be a very basic knowledge of digital images, image processing and image arithmetic, for example. Because professional programs are generally too complex and overwhelming for beginners and often not tailored to the specific needs of a course regarding functionality, a computer-assisted learning (CAL) program was developed based on the unified modeling language (UML), the present standard for object-oriented (OO) system development. A major advantage of this approach is an easier transition from modeling to coding of such an application, if modern UML tools are being used. After introducing the constructed UML model, its implementation is briefly described followed by a series of learning exercises. They illustrate how the resulting CAL tool supports students taking an introductory course in remote sensing at the author's institution.

UML Modeling for Dynamic Logistics System Based on DEVS

OpenAIRE

Zhang Zhiyong; Liu Jie; Zhang Xinhui

2013-01-01

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

Path generation algorithm for UML graphic modeling of aerospace test software

Science.gov (United States)

Qu, MingCheng; Wu, XiangHu; Tao, YongChao; Chen, Chao

2018-03-01

Aerospace traditional software testing engineers are based on their own work experience and communication with software development personnel to complete the description of the test software, manual writing test cases, time-consuming, inefficient, loopholes and more. Using the high reliability MBT tools developed by our company, the one-time modeling can automatically generate test case documents, which is efficient and accurate. UML model to describe the process accurately express the need to rely on the path is reached, the existing path generation algorithm are too simple, cannot be combined into a path and branch path with loop, or too cumbersome, too complicated arrangement generates a path is meaningless, for aerospace software testing is superfluous, I rely on our experience of ten load space, tailor developed a description of aerospace software UML graphics path generation algorithm.

Model Sistem Informasi Manajemen Sekolah Berbasiskan Notasi Unified Modeling Language

Directory of Open Access Journals (Sweden)

Yohannes Kurniawan

2013-12-01

Full Text Available Basically the use of integrated information systems can be applied not only for the company, but also education industry, particularly schools. To support business processes at the school, this research would like to describe a conceptual model of information systems using the Unified Modeling Language (UML notationwith "4 +1 View" architectural model. This model is expected to assist analysis and design the whole business processes at school. A conceptual model of the information system can help application developers to easily and clearly understand the school system. By adopting this information system model, schools are able to have effective understanding of management information systems.

Alignment of the UMLS semantic network with BioTop: methodology and assessment.

Science.gov (United States)

Schulz, Stefan; Beisswanger, Elena; van den Hoek, László; Bodenreider, Olivier; van Mulligen, Erik M

2009-06-15

For many years, the Unified Medical Language System (UMLS) semantic network (SN) has been used as an upper-level semantic framework for the categorization of terms from terminological resources in biomedicine. BioTop has recently been developed as an upper-level ontology for the biomedical domain. In contrast to the SN, it is founded upon strict ontological principles, using OWL DL as a formal representation language, which has become standard in the semantic Web. In order to make logic-based reasoning available for the resources annotated or categorized with the SN, a mapping ontology was developed aligning the SN with BioTop. The theoretical foundations and the practical realization of the alignment are being described, with a focus on the design decisions taken, the problems encountered and the adaptations of BioTop that became necessary. For evaluation purposes, UMLS concept pairs obtained from MEDLINE abstracts by a named entity recognition system were tested for possible semantic relationships. Furthermore, all semantic-type combinations that occur in the UMLS Metathesaurus were checked for satisfiability. The effort-intensive alignment process required major design changes and enhancements of BioTop and brought up several design errors that could be fixed. A comparison between a human curator and the ontology yielded only a low agreement. Ontology reasoning was also used to successfully identify 133 inconsistent semantic-type combinations. BioTop, the OWL DL representation of the UMLS SN, and the mapping ontology are available at http://www.purl.org/biotop/.

Learning UML 2.0

CERN Document Server

Miles, Russ

2006-01-01

Engaging and accessible, this book shows you how to use UML to craft and communicate your project's design. Russ Miles and Kim Hamilton have written a pragmatic introduction to UML based on hard-earned practice, not theory. Regardless of the software process or methodology you use, this book is the one source you need to get up and running with UML 2.0

Quality Assurance of UMLS Semantic Type Assignments Using SNOMED CT Hierarchies.

Science.gov (United States)

Gu, H; Chen, Y; He, Z; Halper, M; Chen, L

2016-01-01

The Unified Medical Language System (UMLS) is one of the largest biomedical terminological systems, with over 2.5 million concepts in its Metathesaurus repository. The UMLS's Semantic Network (SN) with its collection of 133 high-level semantic types serves as an abstraction layer on top of the Metathesaurus. In particular, the SN elaborates an aspect of the Metathesaurus's concepts via the assignment of one or more types to each concept. Due to the scope and complexity of the Metathesaurus, errors are all but inevitable in this semantic-type assignment process. To develop a semi-automated methodology to help assure the quality of semantic-type assignments within the UMLS. The methodology uses a cross-validation strategy involving SNOMED CT's hierarchies in combination with UMLS semantic types. Semantically uniform, disjoint concept groups are generated programmatically by partitioning the collection of all concepts in the same SNOMED CT hierarchy according to their respective semantic-type assignments in the UMLS. Domain experts are then called upon to review the concepts in any group having a small number of concepts. It is our hypothesis that a semantic-type assignment combination applicable only to a very small number of concepts in a SNOMED CT hierarchy is an indicator of potential problems. The methodology was applied to the UMLS 2013AA release along with the SNOMED CT from January 2013. An overall error rate of 33% was found for concepts proposed by the quality-assurance methodology. Supporting our hypothesis, that number was four times higher than the error rate found in control samples. The results show that the quality-assurance methodology can aid in effective and efficient identification of UMLS semantic-type assignment errors.

Connecting UML and VDM++ with Open Tool Support

DEFF Research Database (Denmark)

Lausdahl, Kenneth; Listrup, Hans Kristian; Larsen, Peter Gorm

2009-01-01

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

Analysis and design of hospital management information system based on UML

Science.gov (United States)

Ma, Lin; Zhao, Huifang; You, Shi Jun; Ge, Wenyong

2018-05-01

With the rapid development of computer technology, computer information management system has been utilized in many industries. Hospital Information System (HIS) is in favor of providing data for directors, lightening the workload for the medical workers, and improving the workers efficiency. According to the HIS demand analysis and system design, this paper focus on utilizing unified modeling language (UML) models to establish the use case diagram, class diagram, sequence chart and collaboration diagram, and satisfying the demands of the daily patient visit, inpatient, drug management and other relevant operations. At last, the paper summarizes the problems of the system and puts forward an outlook of the HIS system.

[Modeling the requirements on routine data of general practitioners from the health-care researcher's point of view with the help of unified modeling langauge (UML)].

Science.gov (United States)

Kersting, M; Hauswaldt, J; Lingner, H

2012-08-01

Health-care research is, besides primary acquired study data, based on data from widely differing secondary sources. In order to link, compare and analyze data sources uniform models and methods are needed. This could be facilitated by a more structured description of requirements, models and methods of health-care research than those currently used. Suitable methods of presentation were sought in an approach to this target and the unified modeling language (UML) identified as a possible alternative. Using different tools 3 UML diagrams were created to represent some individual aspects of a scientific use file (SUF): A use case diagram as well as an activity and a class diagram. In the use case diagram we attempted to represent the general use cases of an SUF based on general practitioners routine data. Secondly a class diagram was constructed to visualize the contents and structure of a SUF. Thirdly an activity diagram was developed to graphically represent the concept of a general practitioner's episode of care. The creation of the UML diagrams was possible without any technical difficulties. Regarding the content the 3 diagrams must still be considered as prototypes. The use case diagram shows possible uses and users of an SUF, e. g. a research worker, industry but also the general practitioner who supplies the data. The class diagram reveals a general data structure that can serve information processes in practice and research. Besides aggregation, possibilities for specialization and generalization are essential elements of the class diagram that can be used meaningfully. The activity diagram for the schematic representation of a general practitioner's episode of care reveals the existence of multiple endpoints of an episode and the possibility to form relationships by means of episodes (diagnosis>therapy). The constructed diagrams are preliminary results and should be refined in future steps. Use case diagrams enable a rapid overview of the meaning and

Methodology for the development and the UML (unified modified language) simulation of data acquisition and data processing systems dedicated to high energy physics experiments; Methodologie de developpement et de modelisation UML des systemes d'acquisition et de traitement en temps reel pour les experiences de physique des hautes energies

Energy Technology Data Exchange (ETDEWEB)

Anvar, S

2002-09-01

The increasing complexity of the real-time data acquisition and processing systems (TDAQ: the so called Trigger and Data AcQuisition systems) in high energy physics calls for an appropriate evolution of development tools. This work is about the interplay between in principle specifications of TDAQ systems and their actual design and realization on a concrete hardware and software platform. The basis of our work is to define a methodology for the development of TDAQ systems that meets the specific demands for the development of such systems. The result is the detailed specification of a 'methodological framework' based on the Unified Modeling Language (UML) and designed to manage a development process. The use of this UML-based methodological framework progressively leads to the setting up of a 'home-made' framework, i.e. a development tool that comprises reusable components and generic architectural elements adapted to TDAQ systems. The main parts of this dissertation are sections II to IV. Section II is devoted to the characterization and evolution of TDAQ systems. In section III, we review the main technologies that are relevant to our problematic, namely software reuse techniques such as design patterns and frameworks, especially concerning the real-time and embedded systems domain. Our original conceptual contribution is presented in section IV, where we give a detailed, formalized and example-driven specification of our development model. Our final conclusions are presented in section V, where we present the MORDICUS project devoted to a concrete realization of our UML methodological framework, and the deep affinities between our work and the emerging 'Model Driven Architecture' (MDA) paradigm developed by the Object Management Group. (author)

The Use of UML to Development of a Railway Interlocking System

Directory of Open Access Journals (Sweden)

Karol Rastocny

2003-01-01

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

Alignment of the UMLS semantic network with BioTop: Methodology and assessment

NARCIS (Netherlands)

S. Schulz; E. Beisswanger (Elena); L. van den Hoek (László); O. Bodenreider (Olivier); E.M. van Mulligen (Erik)

2009-01-01

textabstractMotivation: For many years, the Unified Medical Language System (UMLS) semantic network (SN) has been used as an upper-level semantic framework for the categorization of terms from terminological resources in biomedicine. BioTop has recently been developed as an upper-level ontology for

Consistent model driven architecture

Science.gov (United States)

Niepostyn, Stanisław J.

2015-09-01

The goal of the MDA is to produce software systems from abstract models in a way where human interaction is restricted to a minimum. These abstract models are based on the UML language. However, the semantics of UML models is defined in a natural language. Subsequently the verification of consistency of these diagrams is needed in order to identify errors in requirements at the early stage of the development process. The verification of consistency is difficult due to a semi-formal nature of UML diagrams. We propose automatic verification of consistency of the series of UML diagrams originating from abstract models implemented with our consistency rules. This Consistent Model Driven Architecture approach enables us to generate automatically complete workflow applications from consistent and complete models developed from abstract models (e.g. Business Context Diagram). Therefore, our method can be used to check practicability (feasibility) of software architecture models.

Methodology for the development and the UML (unified modified language) simulation of data acquisition and data processing systems dedicated to high energy physics experiments; Methodologie de developpement et de modelisation UML des systemes d'acquisition et de traitement en temps reel pour les experiences de physique des hautes energies

Energy Technology Data Exchange (ETDEWEB)

Anvar, S

2002-09-01

The increasing complexity of the real-time data acquisition and processing systems (TDAQ: the so called Trigger and Data AcQuisition systems) in high energy physics calls for an appropriate evolution of development tools. This work is about the interplay between in principle specifications of TDAQ systems and their actual design and realization on a concrete hardware and software platform. The basis of our work is to define a methodology for the development of TDAQ systems that meets the specific demands for the development of such systems. The result is the detailed specification of a 'methodological framework' based on the Unified Modeling Language (UML) and designed to manage a development process. The use of this UML-based methodological framework progressively leads to the setting up of a 'home-made' framework, i.e. a development tool that comprises reusable components and generic architectural elements adapted to TDAQ systems. The main parts of this dissertation are sections II to IV. Section II is devoted to the characterization and evolution of TDAQ systems. In section III, we review the main technologies that are relevant to our problematic, namely software reuse techniques such as design patterns and frameworks, especially concerning the real-time and embedded systems domain. Our original conceptual contribution is presented in section IV, where we give a detailed, formalized and example-driven specification of our development model. Our final conclusions are presented in section V, where we present the MORDICUS project devoted to a concrete realization of our UML methodological framework, and the deep affinities between our work and the emerging 'Model Driven Architecture' (MDA) paradigm developed by the Object Management Group. (author)

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

Science.gov (United States)

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

2003-01-01

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

For-LySa: UML for Authentication Analysis

DEFF Research Database (Denmark)

Buchholtz, Mikael; Montangero, Carlo; Perrone, Lara

2005-01-01

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

Auditing the multiply-related concepts within the UMLS.

Science.gov (United States)

Mougin, Fleur; Grabar, Natalia

2014-10-01

This work focuses on multiply-related Unified Medical Language System (UMLS) concepts, that is, concepts associated through multiple relations. The relations involved in such situations are audited to determine whether they are provided by source vocabularies or result from the integration of these vocabularies within the UMLS. We study the compatibility of the multiple relations which associate the concepts under investigation and try to explain the reason why they co-occur. Towards this end, we analyze the relations both at the concept and term levels. In addition, we randomly select 288 concepts associated through contradictory relations and manually analyze them. At the UMLS scale, only 0.7% of combinations of relations are contradictory, while homogeneous combinations are observed in one-third of situations. At the scale of source vocabularies, one-third do not contain more than one relation between the concepts under investigation. Among the remaining source vocabularies, seven of them mainly present multiple non-homogeneous relations between terms. Analysis at the term level also shows that only in a quarter of cases are the source vocabularies responsible for the presence of multiply-related concepts in the UMLS. These results are available at: http://www.isped.u-bordeaux2.fr/ArticleJAMIA/results_multiply_related_concepts.aspx. Manual analysis was useful to explain the conceptualization difference in relations between terms across source vocabularies. The exploitation of source relations was helpful for understanding why some source vocabularies describe multiple relations between a given pair of terms. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://group.bmj.com/group/rights-licensing/permissions.

Extraction of UMLS® Concepts Using Apache cTAKES™ for German Language.

Science.gov (United States)

Becker, Matthias; Böckmann, Britta

2016-01-01

Automatic information extraction of medical concepts and classification with semantic standards from medical reports is useful for standardization and for clinical research. This paper presents an approach for an UMLS concept extraction with a customized natural language processing pipeline for German clinical notes using Apache cTAKES. The objectives are, to test the natural language processing tool for German language if it is suitable to identify UMLS concepts and map these with SNOMED-CT. The German UMLS database and German OpenNLP models extended the natural language processing pipeline, so the pipeline can normalize to domain ontologies such as SNOMED-CT using the German concepts. For testing, the ShARe/CLEF eHealth 2013 training dataset translated into German was used. The implemented algorithms are tested with a set of 199 German reports, obtaining a result of average 0.36 F1 measure without German stemming, pre- and post-processing of the reports.

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

CERN Document Server

Papajorgji, Petraq J

2014-01-01

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

Rewriting and suppressing UMLS terms for improved biomedical term identification

Directory of Open Access Journals (Sweden)

Hettne Kristina M

2010-03-01

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

Communicating systems with UML 2 modeling and analysis of network protocols

CERN Document Server

Barrera, David Garduno

2013-01-01

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

Model-driven dependability assessment of software systems

CERN Document Server

Bernardi, Simona; Petriu, Dorina C

2013-01-01

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the t

Towards Model Validation and Verification with SAT Techniques

OpenAIRE

Gogolla, Martin

2010-01-01

After sketching how system development and the UML (Unified Modeling Language) and the OCL (Object Constraint Language) are related, validation and verification with the tool USE (UML-based Specification Environment) is demonstrated. As a more efficient alternative for verification tasks, two approaches using SAT-based techniques are put forward: First, a direct encoding of UML and OCL with Boolean variables and propositional formulas, and second, an encoding employing an...

Visual Modelling of Data Warehousing Flows with UML Profiles

Science.gov (United States)

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

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

Croatian Cadastre Database Modelling

Directory of Open Access Journals (Sweden)

Zvonko Biljecki

2013-04-01

Full Text Available The Cadastral Data Model has been developed as a part of a larger programme to improve products and production environment of the Croatian Cadastral Service of the State Geodetic Administration (SGA. The goal of the project was to create a cadastral data model conforming to relevant standards and specifications in the field of geoinformation (GI adapted by international organisations for standardisation under the competence of GI (ISO TC211 and OpenGIS and it implementations.The main guidelines during the project have been object-oriented conceptual modelling of the updated users' requests and a "new" cadastral data model designed by SGA - Faculty of Geodesy - Geofoto LLC project team. The UML of the conceptual model is given per all feature categories and is described only at class level. The next step was the UML technical model, which was developed from the UML conceptual model. The technical model integrates different UML schemas in one united schema.XML (eXtensible Markup Language was applied for XML description of UML models, and then the XML schema was transferred into GML (Geography Markup Language application schema. With this procedure we have completely described the behaviour of each cadastral feature and rules for the transfer and storage of cadastral features into the database.

A unified tool for performance modelling and prediction

International Nuclear Information System (INIS)

Gilmore, Stephen; Kloul, Leila

2005-01-01

We describe a novel performability modelling approach, which facilitates the efficient solution of performance models extracted from high-level descriptions of systems. The notation which we use for our high-level designs is the Unified Modelling Language (UML) graphical modelling language. The technology which provides the efficient representation capability for the underlying performance model is the multi-terminal binary decision diagram (MTBDD)-based PRISM probabilistic model checker. The UML models are compiled through an intermediate language, the stochastic process algebra PEPA, before translation into MTBDDs for solution. We illustrate our approach on a real-world analysis problem from the domain of mobile telephony

Unified Modeling Language description of the object-oriented multi-scale adaptive finite element method for Step-and-Flash Imprint Lithography Simulations

International Nuclear Information System (INIS)

Paszynski, Maciej; Gurgul, Piotr; Sieniek, Marcin; Pardo, David

2010-01-01

In the first part of the paper we present the multi-scale simulation of the Step-and-Flash Imprint Lithography (SFIL), a modern patterning process. The simulation utilizes the hp adaptive Finite Element Method (hp-FEM) coupled with Molecular Statics (MS) model. Thus, we consider the multi-scale problem, with molecular statics applied in the areas of the mesh where the highest accuracy is required, and the continuous linear elasticity with thermal expansion coefficient applied in the remaining part of the domain. The degrees of freedom from macro-scale element's nodes located on the macro-scale side of the interface have been identified with particles from nano-scale elements located on the nano-scale side of the interface. In the second part of the paper we present Unified Modeling Language (UML) description of the resulting multi-scale application (hp-FEM coupled with MS). We investigated classical, procedural codes from the point of view of the object-oriented (O-O) programming paradigm. The discovered hierarchical structure of classes and algorithms makes the UML project as independent on the spatial dimension of the problem as possible. The O-O UML project was defined at an abstract level, independent on the programming language used.

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

Science.gov (United States)

Kumarapeli, Pushpa; de Lusignan, Simon; Koczan, Phil; Jones, Beryl; Sheeler, Ian

2007-01-01

UK general practice is universally computerised, with computers used in the consulting room at the point of care. Practices use a range of different brands of computer system, which have developed organically to meet the needs of general practitioners and health service managers. Unified Modelling Language (UML) is a standard modelling and specification notation widely used in software engineering. To examine the feasibility of UML notation to compare the impact of different brands of general practice computer system on the clinical consultation. Multi-channel video recordings of simulated consultation sessions were recorded on three different clinical computer systems in common use (EMIS, iSOFT Synergy and IPS Vision). User action recorder software recorded time logs of keyboard and mouse use, and pattern recognition software captured non-verbal communication. The outputs of these were used to create UML class and sequence diagrams for each consultation. We compared 'definition of the presenting problem' and 'prescribing', as these tasks were present in all the consultations analysed. Class diagrams identified the entities involved in the clinical consultation. Sequence diagrams identified common elements of the consultation (such as prescribing) and enabled comparisons to be made between the different brands of computer system. The clinician and computer system interaction varied greatly between the different brands. UML sequence diagrams are useful in identifying common tasks in the clinical consultation, and for contrasting the impact of the different brands of computer system on the clinical consultation. Further research is needed to see if patterns demonstrated in this pilot study are consistently displayed.

Augmented halal food traceability system: analysis and design using UML

Science.gov (United States)

Usman, Y. V.; Fauzi, A. M.; Irawadi, T. T.; Djatna, T.

2018-04-01

Augmented halal food traceability is expanding the range of halal traceability in food supply chain where currently only available for tracing from the source of raw material to the industrial warehouse or inbound logistic. The halal traceability system must be developed in the integrated form that includes inbound and outbound logistics. The objective of this study was to develop a reliable initial model of integrated traceability system of halal food supply chain. The method was based on unified modeling language (UML) such as use case, sequence, and business process diagram. A goal programming model was formulated considering two objective functions which include (1) minimization of risk of halal traceability failures happened potentially during outbound logistics activities and (2) maximization of quality of halal product information. The result indicates the supply of material is the most important point to be considered in minimizing the risk of failure of halal food traceability system whereas no risk observed in manufacturing and distribution.

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

Science.gov (United States)

Py, Dominique; Auxepaules, Ludovic; Alonso, Mathilde

2013-01-01

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

An 00 visual language definition approach supporting multiple views

OpenAIRE

Akehurst, David H.; I.E.E.E. Computer Society

2000-01-01

The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation rules of the concrete representation. This paper presents a constraint and object-oriented approach to defining visual languages that uses UML and OCL as a definition language. Visual language definitions specify a mapping between concrete and abstract models of possible visual sentences, which carl subsequently be ...

Using UML and Petri nets for visualization of business document flow

Directory of Open Access Journals (Sweden)

Ivana Rábová

2012-01-01

Full Text Available The article deals with two principles of business workflow modeling, Petri nets and UML notation, that are the acceptable approaches to business modeling and can be used also for business documents workflow. The special type of Petri nets, WF-nets and UML activity diagrams are used in this article and both modeling ways are presented on the concrete business workflow and then there are presented and specified their advantage and disadvantage for business documents flows. At beginning it is explained the word workflow in context business documents, its features, principles and using in business environment. After that it is clarified that the UML is OMG’s most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process, workflows and data structure. Activity diagram UML is good way to show how different workflows in the business are managed, how they start, go and stop. Diagrams also show many different decision paths that can be taken from start to finish. State charts can be used as a detail the transitions or changes of states when documents can go through in the business. They show how a documents moves from one state to another and the rules that govern that change. Petri-nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike UML Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. In the article there are modeled a special type of Petri nets, the WF-nets. The practical part of article incorporates two models of concrete business documents workflows presented in these notations, their comparison and recommendation for using these diagrams in business process management.

Una extensión de UML para el modelado de servicios Web

Directory of Open Access Journals (Sweden)

Esperanza Marcos M.

2004-01-01

Full Text Available Los servicios Web han surgido para proveer un marco basado en estándares, que permite la interacción de aplicaciones a través de la Web. A pesar de que existen varias tecnologías que facilitan el desarrollo de servicios Web y aplicaciones orientadas a servicios, la carencia de una base metodológica sólida para el desarrollo de tales aplicaciones, plantea la necesidad de nuevos métodos o técnicas de modelado que puedan garantizar la calidad en el desarrollo de este tipo de aplicaciones. MIDAS es un marco metodológico orientado a modelos para el desarrollo de SIWs, que está basado en UML, XML y tecnología objetorelacional y que propone el modelado del comportamiento del sistema basado en servicios Web. En este artículo se presenta una extensión de UML para el modelado de servicios Web, basada en el estándar Web Service Description Language (WSDL propuesto por el W3C para la descripción de servicios Web. La extensión propuesta aporta una notación en UML que, por un lado, permite obtener una representación gráfica de un servicio Web y por otro, facilitará la generación automática de código WSDL a partir de un diagrama UML.

Modeling Turkey National 2D Geo-Data Model as a CityGML Application Domain Extension in UML

Directory of Open Access Journals (Sweden)

Serpil Ates Aydar

2016-12-01

Full Text Available This paper presents the generation of the 3D national geo-data model of Turkey, which is compatible with the international OGC CityGML Encoding Standard. We prepare an ADE named CityGML-TRKBIS that is produced by extending existing thematic modules of CityGML according to TRKBIS needs. All thematic data groups in TRKBIS geo-data model have been remodeled in order to generate the national large scale 3D geodata model for Turkey. Within the concept of reference model-driven framework for modelling CityGML ADEs in UML, the first step is conceptual mapping between CityGML and national information model. To test all stages of the framework for Urban GIS Turkey, Building data theme is mapped with CityGML-Building thematic model. All classes, attributes, code lists and code list values of the TRKBIS is tried to be mapped with related CityGML concept. New classes, attributes and code list values that will be added to CityGML Building model are determined based on this conceptual mapping. Finally the new model for CityGML-TRKBIS.BI is established in UML with subclassing of the related CityGML classes. This study provides new insights into 3D applications in Turkey. The generated 3D geo-data model for building thematic class will be used as a common exchange format that meets 2D, 2.5D and 3D implementation needs at national level.

Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling

DEFF Research Database (Denmark)

Hansen, Klaus Marius; Ratzer, Anne Vinter

2002-01-01

Modeling is central to doing and learning object-oriented development. We present a new tool, Ideogramic UML, for gesture-based collaborative modeling with the Unified Modeling Language (UML), which can be used to collaboratively teach and learn modeling. Furthermore, we discuss how we have...

Design of an UML conceptual model and implementation of a GIS with metadata information for a seismic hazard assessment cooperative project.

Science.gov (United States)

Torres, Y.; Escalante, M. P.

2009-04-01

This work illustrates the advantages of using a Geographic Information System in a cooperative project with researchers of different countries, such as the RESIS II project (financed by the Norwegian Government and managed by CEPREDENAC) for seismic hazard assessment of Central America. As input data present different formats, cover distinct geographical areas and are subjected to different interpretations, data inconsistencies may appear and their management get complicated. To achieve data homogenization and to integrate them in a GIS, it is required previously to develop a conceptual model. This is accomplished in two phases: requirements analysis and conceptualization. The Unified Modeling Language (UML) is used to compose the conceptual model of the GIS. UML complies with ISO 19100 norms and allows the designer defining model architecture and interoperability. The GIS provides a frame for the combination of large geographic-based data volumes, with an uniform geographic reference and avoiding duplications. All this information contains its own metadata following ISO 19115 normative. In this work, the integration in the same environment of active faults and subduction slabs geometries, combined with the epicentres location, has facilitated the definition of seismogenetic regions. This is a great support for national specialists of different countries to make easier their teamwork. The GIS capacity for making queries (by location and by attributes) and geostatistical analyses is used to interpolate discrete data resulting from seismic hazard calculations and to create continuous maps as well as to check and validate partial results of the study. GIS-based products, such as complete, homogenised databases and thematic cartography of the region, are distributed to all researchers, facilitating cross-national communication, the project execution and results dissemination.

Analyzing polysemous concepts from a clinical perspective: Application to auditing concept categorization in the UMLS

Science.gov (United States)

Mougin, Fleur; Bodenreider, Olivier; Burgun, Anita

2015-01-01

Objectives Polysemy is a frequent issue in biomedical terminologies. In the Unified Medical Language System (UMLS), polysemous terms are either represented as several independent concepts, or clustered into a single, multiply-categorized concept. The objective of this study is to analyze polysemous concepts in the UMLS through their categorization and hierarchical relations for auditing purposes. Methods We used the association of a concept with multiple Semantic Groups (SGs) as a surrogate for polysemy. We first extracted multi-SG (MSG) concepts from the UMLS Metathesaurus and characterized them in terms of the combinations of SGs with which they are associated. We then clustered MSG concepts in order to identify major types of polysemy. We also analyzed the inheritance of SGs in MSG concepts. Finally, we manually reviewed the categorization of the MSG concepts for auditing purposes. Results The 1208 MSG concepts in the Metathesaurus are associated with 30 distinct pairs of SGs. We created 75 semantically homogeneous clusters of MSG concepts, and 276 MSG concepts could not be clustered for lack of hierarchical relations. The clusters were characterized by the most frequent pairs of semantic types of their constituent MSG concepts. MSG concepts exhibit limited semantic compatibility with their parent and child concepts. A large majority of MSG concepts (92%) are adequately categorized. Examples of miscategorized concepts are presented. Conclusion This work is a systematic analysis and manual review of all concepts categorized by multiple SGs in the UMLS. The correctly-categorized MSG concepts do reflect polysemy in the UMLS Metathesaurus. The analysis of inheritance of SGs proved useful for auditing concept categorization in the UMLS. PMID:19303057

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

Science.gov (United States)

Kopanitsa, Georgy

2014-01-01

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

Expressing Model Constraints Visually with VMQL

DEFF Research Database (Denmark)

Störrle, Harald

2011-01-01

) for specifying constraints on UML models. We examine VMQL's usability by controlled experiments and its expressiveness by a representative sample. We conclude that VMQL is less expressive than OCL, although expressive enough for most of the constraints in the sample. In terms of usability, however, VMQL......OCL is the de facto standard language for expressing constraints and queries on UML models. However, OCL expressions are very difficult to create, understand, and maintain, even with the sophisticated tool support now available. In this paper, we propose to use the Visual Model Query Language (VMQL...

Graphical modeling and query language for hospitals.

Science.gov (United States)

Barzdins, Janis; Barzdins, Juris; Rencis, Edgars; Sostaks, Agris

2013-01-01

So far there has been little evidence that implementation of the health information technologies (HIT) is leading to health care cost savings. One of the reasons for this lack of impact by the HIT likely lies in the complexity of the business process ownership in the hospitals. The goal of our research is to develop a business model-based method for hospital use which would allow doctors to retrieve directly the ad-hoc information from various hospital databases. We have developed a special domain-specific process modelling language called the MedMod. Formally, we define the MedMod language as a profile on UML Class diagrams, but we also demonstrate it on examples, where we explain the semantics of all its elements informally. Moreover, we have developed the Process Query Language (PQL) that is based on MedMod process definition language. The purpose of PQL is to allow a doctor querying (filtering) runtime data of hospital's processes described using MedMod. The MedMod language tries to overcome deficiencies in existing process modeling languages, allowing to specify the loosely-defined sequence of the steps to be performed in the clinical process. The main advantages of PQL are in two main areas - usability and efficiency. They are: 1) the view on data through "glasses" of familiar process, 2) the simple and easy-to-perceive means of setting filtering conditions require no more expertise than using spreadsheet applications, 3) the dynamic response to each step in construction of the complete query that shortens the learning curve greatly and reduces the error rate, and 4) the selected means of filtering and data retrieving allows to execute queries in O(n) time regarding the size of the dataset. We are about to continue developing this project with three further steps. First, we are planning to develop user-friendly graphical editors for the MedMod process modeling and query languages. The second step is to do evaluation of usability the proposed language and tool

Use Case Modelling of Bingham University Library Management ...

African Journals Online (AJOL)

With the advent of object oriented design, Unified Modelling Language (UML) has become prominent in software industry. Software is better modelled with the use of UML diagrams like use cases which provide a better flow of logic and comprehensive summary of the whole software system in a single illustration.

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

International Nuclear Information System (INIS)

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

2011-01-01

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

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

Science.gov (United States)

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

2011-12-01

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

Translating message sequence charts to other process languages using process mining

NARCIS (Netherlands)

Lassen, K.B.; Dongen, van B.F.; Jensen, K.; Aalst, van der W.M.P.; Billington, J.

2008-01-01

Message Sequence Charts (MSCs) are often used by software analysts when discussing the behavior of a system with different stakeholders. Often such discussions lead to more complete behavioral models in the form of, e.g., Event-driven Process Chains (EPCs), Unified Modeling Language (UML), activity

Toward a Model-Based Approach for Flight System Fault Protection

Science.gov (United States)

Day, John; Meakin, Peter; Murray, Alex

2012-01-01

Use SysML/UML to describe the physical structure of the system This part of the model would be shared with other teams - FS Systems Engineering, Planning & Execution, V&V, Operations, etc., in an integrated model-based engineering environment Use the UML Profile mechanism, defining Stereotypes to precisely express the concepts of the FP domain This extends the UML/SysML languages to contain our FP concepts Use UML/SysML, along with our profile, to capture FP concepts and relationships in the model Generate typical FP engineering products (the FMECA, Fault Tree, MRD, V&V Matrices)

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

Science.gov (United States)

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

2007-10-11

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

Querying Business Process Models with VMQL

DEFF Research Database (Denmark)

Störrle, Harald; Acretoaie, Vlad

2013-01-01

The Visual Model Query Language (VMQL) has been invented with the objectives (1) to make it easier for modelers to query models effectively, and (2) to be universally applicable to all modeling languages. In previous work, we have applied VMQL to UML, and validated the first of these two claims. ...

An object-oriented approach for harmonization of multimedia markup languages

Science.gov (United States)

Chen, Yih-Feng; Kuo, May-Chen; Sun, Xiaoming; Kuo, C.-C. Jay

2003-12-01

An object-oriented methodology is proposed to harmonize several different markup languages in this research. First, we adopt the Unified Modelling Language (UML) as the data model to formalize the concept and the process of the harmonization process between the eXtensible Markup Language (XML) applications. Then, we design the Harmonization eXtensible Markup Language (HXML) based on the data model and formalize the transformation between the Document Type Definitions (DTDs) of the original XML applications and HXML. The transformation between instances is also discussed. We use the harmonization of SMIL and X3D as an example to demonstrate the proposed methodology. This methodology can be generalized to various application domains.

Semi-Supervised Learning to Identify UMLS Semantic Relations.

Science.gov (United States)

Luo, Yuan; Uzuner, Ozlem

2014-01-01

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

A passage retrieval method based on probabilistic information retrieval model and UMLS concepts in biomedical question answering.

Science.gov (United States)

Sarrouti, Mourad; Ouatik El Alaoui, Said

2017-04-01

Passage retrieval, the identification of top-ranked passages that may contain the answer for a given biomedical question, is a crucial component for any biomedical question answering (QA) system. Passage retrieval in open-domain QA is a longstanding challenge widely studied over the last decades. However, it still requires further efforts in biomedical QA. In this paper, we present a new biomedical passage retrieval method based on Stanford CoreNLP sentence/passage length, probabilistic information retrieval (IR) model and UMLS concepts. In the proposed method, we first use our document retrieval system based on PubMed search engine and UMLS similarity to retrieve relevant documents to a given biomedical question. We then take the abstracts from the retrieved documents and use Stanford CoreNLP for sentence splitter to make a set of sentences, i.e., candidate passages. Using stemmed words and UMLS concepts as features for the BM25 model, we finally compute the similarity scores between the biomedical question and each of the candidate passages and keep the N top-ranked ones. Experimental evaluations performed on large standard datasets, provided by the BioASQ challenge, show that the proposed method achieves good performances compared with the current state-of-the-art methods. The proposed method significantly outperforms the current state-of-the-art methods by an average of 6.84% in terms of mean average precision (MAP). We have proposed an efficient passage retrieval method which can be used to retrieve relevant passages in biomedical QA systems with high mean average precision. Copyright © 2017 Elsevier Inc. All rights reserved.

An investigation of difficulties experienced by students developing unified modelling language (UML) class and sequence diagrams

Science.gov (United States)

Sien, Ven Yu

2011-12-01

Object-oriented analysis and design (OOAD) is not an easy subject to learn. There are many challenges confronting students when studying OOAD. Students have particular difficulty abstracting real-world problems within the context of OOAD. They are unable to effectively build object-oriented (OO) models from the problem domain because they essentially do not know "what" to model. This article investigates the difficulties and misconceptions undergraduate students have with analysing systems using unified modelling language analysis class and sequence diagrams. These models were chosen because they represent important static and dynamic aspects of the software system under development. The results of this study will help students produce effective OO models, and facilitate software engineering lecturers design learning materials and approaches for introductory OOAD courses.

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

Directory of Open Access Journals (Sweden)

Raul Savimaa

2005-08-01

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

A Unified Toolset for Business Process Model Formalization

NARCIS (Netherlands)

B. Changizi (Behnaz); N. Kokash (Natallia); F. Arbab (Farhad)

2010-01-01

htmlabstractIn this paper, we present a toolset to automate the transformation of Business Process Modeling Notation (BPMN), UML Sequence Diagrams, and Business Process Execution Language (BPEL), into their proposed formal semantics expressed in the channel-based coordination language Reo. Such

On the Designing of Model Checkers for Real-Time Distributed Systems

Directory of Open Access Journals (Sweden)

D. Yu. Volkanov

2012-01-01

Full Text Available To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchical Timed Automata. Since the model language of UPPAAL is based on Networks of Timed Automata one has to provide a conversion of Hierarchical Timed Automata to Networks of Timed Automata. In this paper we describe this conversion algorithm and prove that it is correct w.r.t. UPPAAL query language which is based on the subset of Timed CTL.

TGGs for Transforming UML to CSP

DEFF Research Database (Denmark)

Greenyer, Joel; Kindler, Ekkart; Rieke, Jan

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

The unified coordination language UnCL.

NARCIS (Netherlands)

F.S. de Boer (Frank); J.V. Guillen Scholten (Juan); J.F. Jacob (Joost)

2005-01-01

textabstractIn this paper we show how to use a (subset) of UML as an Unified Coordination Language (UnCL) that is based on a separation of concerns between coordination and computation. As such UnCL provides a general language for the coordination of, in particular, object-oriented applications. The

A method of formal requirements analysis for NPP I and C systems based on object-oriented visual modeling with SCR

International Nuclear Information System (INIS)

Koo, S. R.; Seong, P. H.

1999-01-01

In this work, a formal requirements analysis method for Nuclear Power Plant (NPP) I and C systems is suggested. This method uses Unified Modeling Language (UML) for modeling systems visually and Software Cost Reduction (SCR) formalism for checking the system models. Since object-oriented method can analyze a document by the objects in a real system, UML models that use object-oriented method are useful for understanding problems and communicating with everyone involved in the project. In order to analyze the requirement more formally, SCR tabular notations is converted from UML models. To help flow-through from UML models to SCR specifications, additional syntactic extensions for UML notation and a converting procedure are defined. The combined method has been applied to Dynamic Safety System (DSS). From this application, three kinds of errors were detected in the existing DSS requirements

13th Forum for Specification and Design Languages (FDL) conference

CERN Document Server

Morawiec, Adam; System Specification and Design Languages : Selected Contributions from FDL 2010

2012-01-01

This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.  FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers design verification, automatic synthesis and mechanized debug aids; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven E...

Consumers' Use of UMLS Concepts on Social Media: Diabetes-Related Textual Data Analysis in Blog and Social Q&A Sites.

Science.gov (United States)

Park, Min Sook; He, Zhe; Chen, Zhiwei; Oh, Sanghee; Bian, Jiang

2016-11-24

The widely known terminology gap between health professionals and health consumers hinders effective information seeking for consumers. The aim of this study was to better understand consumers' usage of medical concepts by evaluating the coverage of concepts and semantic types of the Unified Medical Language System (UMLS) on diabetes-related postings in 2 types of social media: blogs and social question and answer (Q&A). We collected 2 types of social media data: (1) a total of 3711 blogs tagged with "diabetes" on Tumblr posted between February and October 2015; and (2) a total of 58,422 questions and associated answers posted between 2009 and 2014 in the diabetes category of Yahoo! Answers. We analyzed the datasets using a widely adopted biomedical text processing framework Apache cTAKES and its extension YTEX. First, we applied the named entity recognition (NER) method implemented in YTEX to identify UMLS concepts in the datasets. We then analyzed the coverage and the popularity of concepts in the UMLS source vocabularies across the 2 datasets (ie, blogs and social Q&A). Further, we conducted a concept-level comparative coverage analysis between SNOMED Clinical Terms (SNOMED CT) and Open-Access Collaborative Consumer Health Vocabulary (OAC CHV)-the top 2 UMLS source vocabularies that have the most coverage on our datasets. We also analyzed the UMLS semantic types that were frequently observed in our datasets. We identified 2415 UMLS concepts from blog postings, 6452 UMLS concepts from social Q&A questions, and 10,378 UMLS concepts from the answers. The medical concepts identified in the blogs can be covered by 56 source vocabularies in the UMLS, while those in questions and answers can be covered by 58 source vocabularies. SNOMED CT was the dominant vocabulary in terms of coverage across all the datasets, ranging from 84.9% to 95.9%. It was followed by OAC CHV (between 73.5% and 80.0%) and Metathesaurus Names (MTH) (between 55.7% and 73.5%). All of the social

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

OpenAIRE

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

2009-01-01

The UMLS’s integration of more than 100 source vocabularies, not necessarily consistent with one another, causes some inconsistencies. The purpose of auditing the UMLS is to detect such inconsistencies and to suggest how to resolve them while observing the requirement of fully representing the content of each source in the UMLS. A software tool, called the Neighborhood Auditing Tool (NAT), that facilitates UMLS auditing is presented. The NAT supports “neighborhood-based” auditing, where, at a...

An Evaluation of ADLs on Modeling Patterns for Software Architecture

NARCIS (Netherlands)

Waqas Kamal, Ahmad; Avgeriou, Paris

2007-01-01

Architecture patterns provide solutions to recurring design problems at the architecture level. In order to model patterns during software architecture design, one may use a number of existing Architecture Description Languages (ADLs), including the UML, a generic language but also a de facto

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

Science.gov (United States)

Vemulapalli, Anisha; Subramanian, Nary

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.

Associating clinical archetypes through UMLS Metathesaurus term clusters.

Science.gov (United States)

Lezcano, Leonardo; Sánchez-Alonso, Salvador; Sicilia, Miguel-Angel

2012-06-01

Clinical archetypes are modular definitions of clinical data, expressed using standard or open constraint-based data models as the CEN EN13606 and openEHR. There is an increasing archetype specification activity that raises the need for techniques to associate archetypes to support better management and user navigation in archetype repositories. This paper reports on a computational technique to generate tentative archetype associations by mapping them through term clusters obtained from the UMLS Metathesaurus. The terms are used to build a bipartite graph model and graph connectivity measures can be used for deriving associations.

Source Authenticity in the UMLS – A Case Study of the Minimal Standard Terminology

Science.gov (United States)

Elhanan, Gai; Huang, Kuo-Chuan; Perl, Yehoshua

2010-01-01

As the UMLS integrates multiple source vocabularies, the integration process requires that certain adaptation be applied to the source. Our interest is in examining the relationship between the UMLS representation of a source vocabulary and the source vocabulary itself. We investigated the integration of the Minimal Standard Terminology (MST) into the UMLS in order to examine how close its UMLS representation is to the source MST. The MST was conceived as a “minimal” list of terms and structure intended for use within computer systems to facilitate standardized reporting of gastrointestinal endoscopic examinations. Although the MST has an overall schema and implied relationship structure, many of the UMLS integrated MST terms were found to be hierarchically orphaned, and with lateral relationships that do not closely adhere to the source MST. Thus, the MST representation within the UMLS significantly differs from that of the source MST. These representation discrepancies may affect the usability of the MST representation in the UMLS for knowledge acquisition. Furthermore, they pose a problem from the perspective of application developers. While these findings may not necessarily apply to other source terminologies, they highlight the conflict between preservation of authentic concept orientation and the UMLS overall desire to provide fully specified names for all source terms. PMID:20692366

Analýza a návrh aplikace s využitím UML

OpenAIRE

Hajník, Julius

2009-01-01

The goal of this work is to create an example of analysis and design of computer application utilizing the notation of UML usable for purposes of education in elementary informatics classes. Analysis and design are demonstrated on application Distributor SW. This application serves for recording purchase orders in software retail business. astah* is the CASE tool used in this work for modeling with UML notation.

基于UML的PPP项目融资管理信息系统的分析%Analysis of PPP Project Financing Management Information System Based on UML

Institute of Scientific and Technical Information of China (English)

郭卫萍; 何楠

2012-01-01

PPP项目融资过程中，为便于各主体之间以及主体与外部环境之间信息的流通与传递，实现PPP项目融资过程中的信息化管理，运用UML可视化建模语言对PPP项目融资管理信息系统进行功能分析，创建用例图、类图和顺序图等，从而为后期开发PPP项目融资管理信息系统奠定基础。%In the process of PPP project financing, in order to facilitate the circulation and transmission of information between the main bodies and between the subject and external environment, and realize the process of information management of the PPP project fi- nancing, this paper uses the visualized modeling language UML throughout the whole process of the design of the PPP project financing management information system, and introduces the concept and features of PPP financing model and the related concepts of UML mod- eling firstly, then analyses the function of the PPP project financing management information system, and finally, analyses PPP project financing management information system with the UML modeling. It creates the use case diagram, the class diagram and the sequence diagram for the PPP project financing management information system. Thus it lays foundation for the later development of PPP project financing management information system.

18th edition of the Forum on specification and Design Languages Conference

CERN Document Server

Wille, Robert

2016-01-01

This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers Assertion Based Design, Verification & Debug; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering...

17th edition of the Forum on specification and Design Languages Conference

CERN Document Server

Pasaje, Julio

2016-01-01

This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany.  FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.   •Covers Assertion Based Design, Verification & Debug; •Includes language-based modeling and design techniques for embedded systems; •Covers design, modeling and verification of mixed physical domain and mixed signal systems; •Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE); •Covers parallel architectures – both as platforms f...

Model-Based Requirements Management in Gear Systems Design Based On Graph-Based Design Languages

Directory of Open Access Journals (Sweden)

Kevin Holder

2017-10-01

Full Text Available For several decades, a wide-spread consensus concerning the enormous importance of an in-depth clarification of the specifications of a product has been observed. A weak clarification of specifications is repeatedly listed as a main cause for the failure of product development projects. Requirements, which can be defined as the purpose, goals, constraints, and criteria associated with a product development project, play a central role in the clarification of specifications. The collection of activities which ensure that requirements are identified, documented, maintained, communicated, and traced throughout the life cycle of a system, product, or service can be referred to as “requirements engineering”. These activities can be supported by a collection and combination of strategies, methods, and tools which are appropriate for the clarification of specifications. Numerous publications describe the strategy and the components of requirements management. Furthermore, recent research investigates its industrial application. Simultaneously, promising developments of graph-based design languages for a holistic digital representation of the product life cycle are presented. Current developments realize graph-based languages by the diagrams of the Unified Modelling Language (UML, and allow the automatic generation and evaluation of multiple product variants. The research presented in this paper seeks to present a method in order to combine the advantages of a conscious requirements management process and graph-based design languages. Consequently, the main objective of this paper is the investigation of a model-based integration of requirements in a product development process by means of graph-based design languages. The research method is based on an in-depth analysis of an exemplary industrial product development, a gear system for so-called “Electrical Multiple Units” (EMU. Important requirements were abstracted from a gear system

Design Of Computer Based Test Using The Unified Modeling Language

Science.gov (United States)

Tedyyana, Agus; Danuri; Lidyawati

2017-12-01

The Admission selection of Politeknik Negeri Bengkalis through interest and talent search (PMDK), Joint Selection of admission test for state Polytechnics (SB-UMPN) and Independent (UM-Polbeng) were conducted by using paper-based Test (PBT). Paper Based Test model has some weaknesses. They are wasting too much paper, the leaking of the questios to the public, and data manipulation of the test result. This reasearch was Aimed to create a Computer-based Test (CBT) models by using Unified Modeling Language (UML) the which consists of Use Case diagrams, Activity diagram and sequence diagrams. During the designing process of the application, it is important to pay attention on the process of giving the password for the test questions before they were shown through encryption and description process. RSA cryptography algorithm was used in this process. Then, the questions shown in the questions banks were randomized by using the Fisher-Yates Shuffle method. The network architecture used in Computer Based test application was a client-server network models and Local Area Network (LAN). The result of the design was the Computer Based Test application for admission to the selection of Politeknik Negeri Bengkalis.

UML Statechart Fault Tree Generation By Model Checking

DEFF Research Database (Denmark)

Herbert, Luke Thomas; Herbert-Hansen, Zaza Nadja Lee

of the popular Business Process Modelling and Nota-tion (BPMN) language. To capture uncertainty and unreliability in workflows, we extend this formalism with probabilistic non-deterministic branching.We present an algorithm that allows for exhaustive gen-eration of possible error states that could arise in ex...

Enterprise architecture evaluation using architecture framework and UML stereotypes

Directory of Open Access Journals (Sweden)

Narges Shahi

2014-08-01

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

The OCoN approach to workflow modeling in object-oriented systems

NARCIS (Netherlands)

Wirtz, G.; Weske, M.H.; Giese, H.

2001-01-01

Workflow management aims at modeling and executing application processes in complex technical and organizational environments. Modern information systems are often based on object-oriented design techniques, for instance, the Unified Modeling Language (UML). These systems consist of application

Visual syntax of UML class and package diagram constructs as an ontology

CSIR Research Space (South Africa)

Thomas, A

2015-11-01

Full Text Available and package diagrams are two diagrams of UML. The motivation for this work is twofold; UML lacks a formal visual syntax specification and ontologies are under-explored for visual syntax specifications. The work in this paper, therefore, explores using...

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

Institute of Scientific and Technical Information of China (English)

SUNZhixin; HUANGHaiping; WANGRuchuan

2004-01-01

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

Modelling language

CERN Document Server

Cardey, Sylviane

2013-01-01

In response to the need for reliable results from natural language processing, this book presents an original way of decomposing a language(s) in a microscopic manner by means of intra/inter‑language norms and divergences, going progressively from languages as systems to the linguistic, mathematical and computational models, which being based on a constructive approach are inherently traceable. Languages are described with their elements aggregating or repelling each other to form viable interrelated micro‑systems. The abstract model, which contrary to the current state of the art works in int

AADL and Model-based Engineering

Science.gov (United States)

2014-10-20

pictures – MDE and MDA with UML – Automatically generated documents We need language for architecture modeling • Strongly typed • Well-defined...Mail Software Engineering Institute Customer Relations 4500 Fifth Avenue Pittsburgh, PA 15213-2612 USA Web Wiki.sei.cmu.edu/aadl www.aadl.info

Workflow Generation from the Two-Hemisphere Model

Directory of Open Access Journals (Sweden)

Gusarovs Konstantīns

2017-12-01

Full Text Available Model-Driven Software Development (MDSD is a trend in Software Development that focuses on code generation from various kinds of models. To perform such a task, it is necessary to develop an algorithm that performs source model transformation into the target model, which ideally is an actual software code written in some kind of a programming language. However, at present a lot of methods focus on Unified Modelling Language (UML diagram generation. The present paper describes a result of authors’ research on Two-Hemisphere Model (2HM processing for easier code generation.

Generación de código Hibernate desde modelos UML

OpenAIRE

Nogueiro Mariscal, Alejandro

2012-01-01

Este proyecto consiste en un generador de código para Hibernate desde modelos UML. El código generado es el conjunto de clases del modelo implementadas en Java con una serie de anotaciones JPA 2.0. Estas clases, mediante Hibernate, sirven para añadir persistencia a nuestro código. Los modelos UML tendrán una serie de anotaciones para poder transformarlos correctamente.

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

CERN Document Server

Selic, Bran

2013-01-01

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

Using UMLS to map from a library to a clinical classification: Improving the functionality of a digital library.

Science.gov (United States)

Robinson, Judas; de Lusignan, Simon; Kostkova, Patty; Madge, Bruce

2006-01-01

The Metathesaurus of the Unified Medical Language System (UMLS) offers the possibility of mapping between various medical vocabularies. The Primary Care Electronic Library (PCEL) contains a database of over six thousand Medical Subject Headings (MeSH terms) describing the resources of the electronic library. We were interested to know if it was possible to map from MeSH to the Systemized Nomenclature of Medicine Clinical Terms (SNOMED CT). Such a mapping would aid healthcare professionals to retrieve relevant data from our digital library as it would enable links between clinical systems and indexed material.

A collaborative knowledge management framework for supply chains: A UML-based model approach

Directory of Open Access Journals (Sweden)

Jorge Esteban Hernández

2008-12-01

Full Text Available In the most general cases, collaborative activities imply a distributed decision-making process which involves several supply chain nodes. In this paper, by means of a literature review, and by also considering the deficiencies of existing proposals, a collaborative knowledge management UML-based framework supported is proposed. In addition, this proposal synthesizes existing knowledge, and it not only fulfils, but enriches, each component with the modeller’s own knowledge.

The Neighborhood Auditing Tool: a hybrid interface for auditing the UMLS.

Science.gov (United States)

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

2009-06-01

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

Examining the interrelationships among students' personological characteristics, attitudes toward the Unified Modeling Language, self-efficacy, and multiple intelligences with respect to student achievement in a software design methods course

Science.gov (United States)

Stewart-Iles, Gail Marie

The purpose of this study was to investigate the interrelationships among student's demographics, attitudes toward the Unified Modeling Language (UML), general self-efficacy, and multiple intelligence (MI) profiles, and the use of UML to develop software. The dependent measures were course grades and course project scores. The study was grounded in problem solving theory, self-efficacy theory, and multiple intelligence theory. The sample was an intact class of 18 students who took the junior-level Software Design Methods course, CSE 3421, at Florida Institute of Technology in the Spring 2008 semester. The course incorporated instruction in UML with Java. Attitudes were measured by a researcher-modified instrument derived from the Computer Laboratory Survey by Newby and Fisher, and self-efficacy was measured by the Generalized Self-Efficacy Scale developed by Schwarzer and Jerusalem. MI profiles, which were the proportion of Gardner's eight intelligences, were determined from Shearer's Multiple Intelligence Developmental Assessment Scales. Results from a hierarchical multiple regression analysis showed that only the collective set of MI profiles was significant, but none of the individual intelligences were significant. The study's findings supported what one would expect to find relative to problem solving theory, but were contradictory to self-efficacy theory. The findings also supported Gardner's concept that multiple intelligences must be considered as an integral unit and the importance of not focusing on an individual intelligence. The findings imply that self-efficacy is not a major consideration for a software design methods class that requires a transition to problem solving strategy and suggest that the instructor was instrumental in fostering positive attitudes toward UML. Recommendations for practice include (1) teachers should not be concerned with focusing on a single intelligence simply because they believe one intelligence might be more aligned to a

Efficient Representation of Timed UML 2 Interactions

DEFF Research Database (Denmark)

Knapp, Alexander; Störrle, Harald

2014-01-01

UML 2 interactions describe system behavior over time in a declarative way. The standard approach to defining their formal semantics enumerates traces of events; other representation formats, like Büchi automata or prime event structures, have been suggested, too. We describe another, more succin...

Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems

Directory of Open Access Journals (Sweden)

Qu Yang

2008-01-01

Full Text Available Abstract Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several stand-alone applications. The network-on-chip communication and device networking combine the design challenges of conventional distributed systems and resource constrained real-time embedded systems. Interoperable design space exploration for both the application and platform development is required. Application designer needs abstract platform models to rapidly check the feasibility of a new feature or application. Platform designer needs abstract application models for defining platform computation and communication capacities. We propose a layered UML application/workload and SystemC platform modelling approach that allow application and platform to be modelled at several levels of abstraction, which enables early performance evaluation of the resulting system. The overall approach has been experimented with a mobile video player case study, while different load extraction methods have been validated by applying them to MPEG-4 encoder, Quake2 3D game, and MP3 decoder case studies previously.

Mission Assurance in a Distributed Environment

Science.gov (United States)

2009-06-01

Notation ( BPMN ) – Graphical representation of business processes in a workflow • Unified Modeling Language (UML) – Use standard UML diagrams to model the system – Component, sequence, activity diagrams

FuGEFlow: data model and markup language for flow cytometry

Directory of Open Access Journals (Sweden)

Manion Frank J

2009-06-01

Full Text Available Abstract Background Flow cytometry technology is widely used in both health care and research. The rapid expansion of flow cytometry applications has outpaced the development of data storage and analysis tools. Collaborative efforts being taken to eliminate this gap include building common vocabularies and ontologies, designing generic data models, and defining data exchange formats. The Minimum Information about a Flow Cytometry Experiment (MIFlowCyt standard was recently adopted by the International Society for Advancement of Cytometry. This standard guides researchers on the information that should be included in peer reviewed publications, but it is insufficient for data exchange and integration between computational systems. The Functional Genomics Experiment (FuGE formalizes common aspects of comprehensive and high throughput experiments across different biological technologies. We have extended FuGE object model to accommodate flow cytometry data and metadata. Methods We used the MagicDraw modelling tool to design a UML model (Flow-OM according to the FuGE extension guidelines and the AndroMDA toolkit to transform the model to a markup language (Flow-ML. We mapped each MIFlowCyt term to either an existing FuGE class or to a new FuGEFlow class. The development environment was validated by comparing the official FuGE XSD to the schema we generated from the FuGE object model using our configuration. After the Flow-OM model was completed, the final version of the Flow-ML was generated and validated against an example MIFlowCyt compliant experiment description. Results The extension of FuGE for flow cytometry has resulted in a generic FuGE-compliant data model (FuGEFlow, which accommodates and links together all information required by MIFlowCyt. The FuGEFlow model can be used to build software and databases using FuGE software toolkits to facilitate automated exchange and manipulation of potentially large flow cytometry experimental data sets

FuGEFlow: data model and markup language for flow cytometry.

Science.gov (United States)

Qian, Yu; Tchuvatkina, Olga; Spidlen, Josef; Wilkinson, Peter; Gasparetto, Maura; Jones, Andrew R; Manion, Frank J; Scheuermann, Richard H; Sekaly, Rafick-Pierre; Brinkman, Ryan R

2009-06-16

Flow cytometry technology is widely used in both health care and research. The rapid expansion of flow cytometry applications has outpaced the development of data storage and analysis tools. Collaborative efforts being taken to eliminate this gap include building common vocabularies and ontologies, designing generic data models, and defining data exchange formats. The Minimum Information about a Flow Cytometry Experiment (MIFlowCyt) standard was recently adopted by the International Society for Advancement of Cytometry. This standard guides researchers on the information that should be included in peer reviewed publications, but it is insufficient for data exchange and integration between computational systems. The Functional Genomics Experiment (FuGE) formalizes common aspects of comprehensive and high throughput experiments across different biological technologies. We have extended FuGE object model to accommodate flow cytometry data and metadata. We used the MagicDraw modelling tool to design a UML model (Flow-OM) according to the FuGE extension guidelines and the AndroMDA toolkit to transform the model to a markup language (Flow-ML). We mapped each MIFlowCyt term to either an existing FuGE class or to a new FuGEFlow class. The development environment was validated by comparing the official FuGE XSD to the schema we generated from the FuGE object model using our configuration. After the Flow-OM model was completed, the final version of the Flow-ML was generated and validated against an example MIFlowCyt compliant experiment description. The extension of FuGE for flow cytometry has resulted in a generic FuGE-compliant data model (FuGEFlow), which accommodates and links together all information required by MIFlowCyt. The FuGEFlow model can be used to build software and databases using FuGE software toolkits to facilitate automated exchange and manipulation of potentially large flow cytometry experimental data sets. Additional project documentation, including

Examination of Modeling Languages to Allow Quantitative Analysis for Model-Based Systems Engineering

Science.gov (United States)

2014-06-01

System Operation ...............37 Figure 15. UML/SysML Datatype Diagram .....................................................................40...SysML has non-normative guidance on defining random variable datatypes but does not provide any guidance on how to handle random variables that are...normative guidance for properties without fixed values. The UML Datatype Diagram, shown in Figure 15. does support defining properties with a

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

Science.gov (United States)

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

2005-01-01

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 the SN are presented. Design: The technique to derive the ESN's relationship structures finds all newly inherited relationships in the ESN. All such relationships are audited for semantic validity, and the blocking mechanism is used to block invalid relationships. The mapping technique to derive the ESN's semantic type assignments uses current SN semantic type assignments and preserves nonredundant categorizations, while preventing new redundant categorizations. Results: Among the 426 newly inherited relationships, 326 are deemed valid. Seven blockings are applied to avoid inheritance of the 100 invalid relationships. Sixteen semantic types have different relationship structures in the ESN as compared to those in the SN. The mapping of semantic type assignments from the SN to the ESN avoids the generation of 26,950 redundant categorizations. The resulting ESN contains 138 semantic types, 149 IS-A links, 7,303 relationships, and 1,013,876 semantic type assignments. Conclusion: The ESN's multiple inheritance provides more complete relationship structures than in the SN. The ESN's semantic type assignments avoid the existing redundant categorizations appearing in the SN and prevent new ones that might arise due to multiple parents. Compared to the SN, the ESN provides a more accurate unifying semantic abstraction of the UMLS Metathesaurus. PMID:16049233

Modelling and Implementation of Catalogue Cards Using FreeMarker

Science.gov (United States)

Radjenovic, Jelen; Milosavljevic, Branko; Surla, Dusan

2009-01-01

Purpose: The purpose of this paper is to report on a study involving the specification (using Unified Modelling Language (UML) 2.0) of information requirements and implementation of the software components for generating catalogue cards. The implementation in a Java environment is developed using the FreeMarker software.…

ФОРМАЛЬНІ МЕТОДИ ПОБУДОВИ ДІАГРАМ ЛОГІСТИЧНИХ БІЗНЕС-ПРОЦЕСІВ

Directory of Open Access Journals (Sweden)

О. В. Мелентьєва

2016-12-01

Full Text Available This article considers the main methods of the description and creation of charts of business processes. The main methods are the notation of BPMN, languages of the description of BPEL and UML, methodologies of IDEF and ARIS. In article the main characteristic features inherent of methodologies of IDEF0 and IDEF3, the UML language have been in detail considered and analysed. The UML language is considered rather young therefore it is used more often. It is most often applied to modeling of object-oriented systems. On the example of application of creation of the chart of activities (actions the UML language represents a wide choice of elements of the embodiment of idea. As the same process can be provided in various forms. IDEF respectively more mature methodology. IDEF methodology, unlike the UML language, is limited to such choice, it has accurately certain rules of representation of process. With the IDEF technology carry IDEF0 and IDEF3 and it methods are most applied. In this article are provided examples of application of the UML language and methodology of IDEF0. As an example has been provided a logistic supply chain of goods to the customer who has been ordered by means of online store. Thanks to graphical representation it is possible to draw a conclusion that it is more convenient to describe and create charts of processes on UML. Unlike IDEF0 the UML language possesses a big tool kit therefore also the chart looks more realistic.

Semantically-Rigorous Systems Engineering Modeling Using Sysml and OWL

Science.gov (United States)

Jenkins, J. Steven; Rouquette, Nicolas F.

2012-01-01

The Systems Modeling Language (SysML) has found wide acceptance as a standard graphical notation for the domain of systems engineering. SysML subsets and extends the Unified Modeling Language (UML) to define conventions for expressing structural, behavioral, and analytical elements, and relationships among them. SysML-enabled modeling tools are available from multiple providers, and have been used for diverse projects in military aerospace, scientific exploration, and civil engineering. The Web Ontology Language (OWL) has found wide acceptance as a standard notation for knowledge representation. OWL-enabled modeling tools are available from multiple providers, as well as auxiliary assets such as reasoners and application programming interface libraries, etc. OWL has been applied to diverse projects in a wide array of fields. While the emphasis in SysML is on notation, SysML inherits (from UML) a semantic foundation that provides for limited reasoning and analysis. UML's partial formalization (FUML), however, does not cover the full semantics of SysML, which is a substantial impediment to developing high confidence in the soundness of any conclusions drawn therefrom. OWL, by contrast, was developed from the beginning on formal logical principles, and consequently provides strong support for verification of consistency and satisfiability, extraction of entailments, conjunctive query answering, etc. This emphasis on formal logic is counterbalanced by the absence of any graphical notation conventions in the OWL standards. Consequently, OWL has had only limited adoption in systems engineering. The complementary strengths and weaknesses of SysML and OWL motivate an interest in combining them in such a way that we can benefit from the attractive graphical notation of SysML and the formal reasoning of OWL. This paper describes an approach to achieving that combination.

Document Categorization with Modified Statistical Language Models for Agglutinative Languages

Directory of Open Access Journals (Sweden)

Tantug

2010-11-01

Full Text Available In this paper, we investigate the document categorization task with statistical language models. Our study mainly focuses on categorization of documents in agglutinative languages. Due to the productive morphology of agglutinative languages, the number of word forms encountered in naturally occurring text is very large. From the language modeling perspective, a large vocabulary results in serious data sparseness problems. In order to cope with this drawback, previous studies in various application areas suggest modified language models based on different morphological units. It is reported that performance improvements can be achieved with these modified language models. In our document categorization experiments, we use standard word form based language models as well as other modified language models based on root words, root words and part-of-speech information, truncated word forms and character sequences. Additionally, to find an optimum parameter set, multiple tests are carried out with different language model orders and smoothing methods. Similar to previous studies on other tasks, our experimental results on categorization of Turkish documents reveal that applying linguistic preprocessing steps for language modeling provides improvements over standard language models to some extent. However, it is also observed that similar level of performance improvements can also be acquired by simpler character level or truncated word form models which are language independent.

Evaluation of PROforma as a language for implementing medical guidelines in a practical context

Directory of Open Access Journals (Sweden)

Earle Kenneth

2006-04-01

Full Text Available Abstract Background PROforma is one of several languages that allow clinical guidelines to be expressed in a computer-interpretable manner. How these languages should be compared, and what requirements they should meet, are questions that are being actively addressed by a community of interested researchers. Methods We have developed a system to allow hypertensive patients to be monitored and assessed without visiting their GPs (except in the most urgent cases. Blood pressure measurements are performed at the patients' pharmacies and a web-based system, created using PROforma, makes recommendations for continued monitoring, and/or changes in medication. The recommendations and measurements are transmitted electronically to a practitioner with authority to issue and change prescriptions. We evaluated the use of PROforma during the knowledge acquisition, analysis, design and implementation of this system. The analysis focuses on the logical adequacy, heuristic power, notational convenience, and explanation support provided by the PROforma language. Results PROforma proved adequate as a language for the implementation of the clinical reasoning required by this project. However a lack of notational convenience led us to use UML activity diagrams, rather than PROforma process descriptions, to create the models that were used during the knowledge acquisition and analysis phases of the project. These UML diagrams were translated into PROforma during the implementation of the project. Conclusion The experience accumulated during this study highlighted the importance of structure preserving design, that is to say that the models used in the design and implementation of a knowledge-based system should be structurally similar to those created during knowledge acquisition and analysis. Ideally the same language should be used for all of these models. This means that great importance has to be attached to the notational convenience of these languages, by

Language Models With Meta-information

NARCIS (Netherlands)

Shi, Y.

2014-01-01

Language modeling plays a critical role in natural language processing and understanding. Starting from a general structure, language models are able to learn natural language patterns from rich input data. However, the state-of-the-art language models only take advantage of words themselves, which

MODELAGEM DE UM SISTEMA ESPECIALISTA PARA APRIMORAR PRODUTOS E PROCESSOS NA PRODUÇÃO DE LEITE UTILIZANDO A UML /MODELING AN EXPERT SYSTEM TO IMPROVE PRODUCTS AND PROCESSES IN THE MILK PRODUCTION USING THE UML

Directory of Open Access Journals (Sweden)

Mario Mollo Neto

2010-11-01

Full Text Available A zootecnia de precisão permite o desenvolvimento de ferramentas automatizadas que fornecem um acompanhamento detalhado do plantel, aumentando a rentabilidade, e protegendo os animais racionalmente. O setor agropecuário brasileiro, em decorrência das intempéries da economia mundial globalizada, vem, de maneira crescente, se adaptando à utilização destas ferramentas automatizadas para suporte à tomada de decisão. A laminite é a patologia de maior custo para o gado de leite confinado. Suas causas incluem condições climáticas, de alojamento, de alimentação e a presença de pisos mais abrasivos. Baseando-se nessas informações é possível, utilizando o algoritmo correto, construir um modelo que permita ao usuário estimar a possibilidade de incidência de laminite em gado leiteiro, a partir de dados históricos ou mesmo de outras variáveis que causam a patologia. Neste trabalho foi realizada a modelagem, utilizando a Universal Modelling Language (UML, de um sistema especialista com motor de inferência Fuzzy para o diagnóstico preventivo desta patologia que reduza os impactos na produção e no conforto animal. A partir da modelagem realizada ficam disponíveis novas bases para a futura codificação e construção do sistema especialista para mitigar a patologia de casco, reduzir os impactos de perdas de receita relacionados e ampliar o conforto animal. Palavras-chave: Laminite, Sistema Especialista, Suporte a Decisão, Lógica Fuzzy, Diagnóstico Preventivo, Bem-estar animal, Modelagem.

Methods of checking general safety criteria in UML statechart specifications

International Nuclear Information System (INIS)

Pap, Zsigmond; Majzik, Istvan; Pataricza, Andras; Szegi, Andras

2005-01-01

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

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)

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

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

A model-based design and validation approach with OMEGA-UML and the IF toolset

Science.gov (United States)

Ben-hafaiedh, Imene; Constant, Olivier; Graf, Susanne; Robbana, Riadh

2009-03-01

Intelligent, embedded systems such as autonomous robots and other industrial systems are becoming increasingly more heterogeneous with respect to the platforms on which they are implemented, and thus the software architecture more complex to design and analyse. In this context, it is important to have well-defined design methodologies which should be supported by (1) high level design concepts allowing to master the design complexity, (2) concepts for the expression of non-functional requirements and (3) analysis tools allowing to verify or invalidate that the system under development will be able to conform to its requirements. We illustrate here such an approach for the design of complex embedded systems on hand of a small case study used as a running example for illustration purposes. We briefly present the important concepts of the OMEGA-RT UML profile, we show how we use this profile in a modelling approach, and explain how these concepts are used in the IFx verification toolbox to integrate validation into the design flow and make scalable verification possible.

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

Directory of Open Access Journals (Sweden)

Carlos Mario Zapata

2008-07-01

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

Parsimonious Language Models for Information Retrieval

NARCIS (Netherlands)

Hiemstra, Djoerd; Robertson, Stephen; Zaragoza, Hugo

We systematically investigate a new approach to estimating the parameters of language models for information retrieval, called parsimonious language models. Parsimonious language models explicitly address the relation between levels of language models that are typically used for smoothing. As such,

Modelling of Signal - Level Crossing System

Directory of Open Access Journals (Sweden)

Daniel Novak

2006-01-01

Full Text Available The author presents an object-oriented model of a railway level-crossing system created for the purpose of functional requirements specification. Unified Modelling Language (UML, version 1.4, which enables specification, visualisation, construction and documentation of software system artefacts, was used. The main attention was paid to analysis and design phases. The former phase resulted in creation of use case diagrams and sequential diagrams, the latter in creation of class/object diagrams and statechart diagrams.

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)

Marta Silvia Tabares

2008-12-01

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.

The caBIG® Life Science Business Architecture Model.

Science.gov (United States)

Boyd, Lauren Becnel; Hunicke-Smith, Scott P; Stafford, Grace A; Freund, Elaine T; Ehlman, Michele; Chandran, Uma; Dennis, Robert; Fernandez, Anna T; Goldstein, Stephen; Steffen, David; Tycko, Benjamin; Klemm, Juli D

2011-05-15

Business Architecture Models (BAMs) describe what a business does, who performs the activities, where and when activities are performed, how activities are accomplished and which data are present. The purpose of a BAM is to provide a common resource for understanding business functions and requirements and to guide software development. The cancer Biomedical Informatics Grid (caBIG®) Life Science BAM (LS BAM) provides a shared understanding of the vocabulary, goals and processes that are common in the business of LS research. LS BAM 1.1 includes 90 goals and 61 people and groups within Use Case and Activity Unified Modeling Language (UML) Diagrams. Here we report on the model's current release, LS BAM 1.1, its utility and usage, and plans for future use and continuing development for future releases. The LS BAM is freely available as UML, PDF and HTML (https://wiki.nci.nih.gov/x/OFNyAQ).

Simplifications of rational matrices by using UML

OpenAIRE

Tasić, Milan B.; Stanimirović, Ivan P.

2013-01-01

The simplification process on rational matrices consists of simplifying each entry represented by a rational function. We follow the classic approach of dividing the numerator and denominator polynomials by their common GCD polynomial, and provide the activity diagram in UML for this process. A rational matrix representation as the quotient of a polynomial matrix and a polynomial is also discussed here and illustrated via activity diagrams. Also, a class diagram giving the links between the c...

Model Validation in Ontology Based Transformations

Directory of Open Access Journals (Sweden)

Jesús M. Almendros-Jiménez

2012-10-01

Full Text Available Model Driven Engineering (MDE is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM has been proposed as a profile for UML models of the Web Ontology Language (OWL. In this context, transformations of UML models can be mapped into ODM/OWL transformations. On the other hand, model validation is a crucial task in model transformation. Meta-modeling permits to give a syntactic structure to source and target models. However, semantic requirements have to be imposed on source and target models. A given transformation will be sound when source and target models fulfill the syntactic and semantic requirements. In this paper, we present an approach for model validation in ODM based transformations. Adopting a logic programming based transformational approach we will show how it is possible to transform and validate models. Properties to be validated range from structural and semantic requirements of models (pre and post conditions to properties of the transformation (invariants. The approach has been applied to a well-known example of model transformation: the Entity-Relationship (ER to Relational Model (RM transformation.

Structural Group-based Auditing of Missing Hierarchical Relationships in UMLS

Science.gov (United States)

Chen, Yan; Gu, Huanying(Helen); Perl, Yehoshua; Geller, James

2009-01-01

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. The procedure starts with a group of concepts with exactly the same (correct) semantic type assignments. It then partitions the concepts, based on child-of hierarchical relationships, into smaller, singly rooted, hierarchically connected subgroups. The auditor only needs to focus on the subgroups with very few concepts and their concepts with semantic type reassignments. The procedure was evaluated by comparing it with a comprehensive manual audit and it exhibits a perfect error recall. PMID:18824248

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

DEFF Research Database (Denmark)

Störrle, Harald

2012-01-01

Practical experience suggests that the use and understanding of UML diagrams is greatly affected by the quality of their layout. In previous work, we have presented evidence supporting this intuition. This contrasts with earlier experiments that yielded weak or inconclusive evidence only. In the ......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...

MODEL-BASED SECURITY ENGINEERING OF SOA SYSTEM USING SECURITY INTENT DSL

OpenAIRE

Muhammad Qaiser Saleem; Jafreezal Jaafar; Mohd Fadzil Hassan

2011-01-01

Currently most of the enterprises are using SOA and web services technologies to build their web information system. They are using MDA principles for design and development of WIS and using UML as a modelling language for business process modelling. Along with the increased connectivity in SOA environment, security risks rise exponentially. Security is not defined during the early phases of development and left onto developer. Properly configuring security requirements in SOA applications is...

Modeling cancer registration processes with an enhanced activity diagram.

Science.gov (United States)

Lyalin, D; Williams, W

2005-01-01

Adequate instruments are needed to reflect the complexity of routine cancer registry operations properly in a business model. The activity diagram is a key instrument of the Unified Modeling Language (UML) for the modeling of business processes. The authors aim to improve descriptions of processes in cancer registration, as well as in other public health domains, through the enhancements of an activity diagram notation within the standard semantics of UML. The authors introduced the practical approach to enhance a conventional UML activity diagram, complementing it with the following business process concepts: timeline, duration for individual activities, responsibilities for individual activities within swimlanes, and descriptive text. The authors used an enhanced activity diagram for modeling surveillance processes in the cancer registration domain. Specific example illustrates the use of an enhanced activity diagram to visualize a process of linking cancer registry records with external mortality files. Enhanced activity diagram allows for the addition of more business concepts to a single diagram and can improve descriptions of processes in cancer registration, as well as in other domains. Additional features of an enhanced activity diagram allow to advance the visualization of cancer registration processes. That, in turn, promotes the clarification of issues related to the process timeline, responsibilities for particular operations, and collaborations among process participants. Our first experiences in a cancer registry best practices development workshop setting support the usefulness of such an approach.

On the impact of size to the understanding of UML diagrams

DEFF Research Database (Denmark)

Störrle, Harald

2016-01-01

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

Sistem Informasi Akuntansi Penjualan Berbasis Waterfall Model Untuk Perusahaan Dagang

OpenAIRE

Harjunawati, Sri

2017-01-01

A profit-oriented company is always trying to get the maximum margin of sales above cost. Use of System InformasiAkuntansi integrated sales and follow the development of technology will mempu increase sales volume while creating efficiencies. Trading companies, especially companies trading with sales system in cash, a model watterfall with the Unified Modeling Language (UML) as the hydraulic system can be used to develop a sales system into the sales system that is integrated with inventory s...

EKSPLORASI DAN IMPLEMENTASI UNIFIED APPROACH DALAM PERANCANGAN SISTEM INFORMASI : STUDI KASUS SISTEM RESERVASI HOTEL

Directory of Open Access Journals (Sweden)

Fajar Baskoro

2002-07-01

Full Text Available Perancangan perangkat lunak merupakan tahapan yang penting di dalam rekayasa perangkat lunak. Pemilihan perangkat perancangan yang dapat membantu memodelkan perangkat lunak menentukan kemudahan spesifikasi, implementasi, visualisasi, pengujian, dan dokumentasi perangkat lunak. UML, Unified Modelling Language sebagai Bahasa Pemodelan Terpadu mempunyai perangkat untuk memodelkan perangkat lunak memvisualisasikan use case, statis, dan perilaku perangkat lunak di dalam sistem. Penggunaan UML di dalam perancangan sistem informasi berbeda dengan penggunaan UML di dalam perangkat Lunak Waktu Nyata (Realtime. Pendekatan Unified adalah salah satu panduan yang digunakan untuk perancangan perangkat lunak dengan menggunakan UML. Kata kunci: UML, pendekatan unified, reservasi hotel.

Self-Organizing Map Models of Language Acquisition

Directory of Open Access Journals (Sweden)

Ping eLi

2013-11-01

Full Text Available Connectionist models have had a profound impact on theories of language. While most early models were inspired by the classic PDP architecture, recent models of language have explored various other types of models, including self-organizing models for language acquisition. In this paper we aim at providing a review of the latter type of models, and highlight a number of simulation experiments that we have conducted based on these models. We show that self-organizing connectionist models can provide significant insights into long-standing debates in both monolingual and bilingual language development.

Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages

DEFF Research Database (Denmark)

Störrle, Harald; Fish, Andrew

2013-01-01

We attempt to validate the conceptual framework “Physics of Notation” (PoN) as a means for analysing visual languages by applying it to UML Use Case Diagrams. We discover that the PoN, in its current form, is neither precise nor comprehensive enough to be applied in an objective way to analyse...

Expanding the Extent of a UMLS Semantic Type via Group Neighborhood Auditing

Science.gov (United States)

Chen, Yan; Gu, Huanying; Perl, Yehoshua; Halper, Michael; Xu, Junchuan

2009-01-01

Objective Each Unified Medical Language System (UMLS) concept is assigned one or more semantic types (ST). A dynamic methodology for aiding an auditor in finding concepts that are missing the assignment of a given ST, S is presented. Design The first part of the methodology exploits the previously introduced Refined Semantic Network and accompanying refined semantic types (RST) to help narrow the search space for offending concepts. The auditing is focused in a neighborhood surrounding the extent of an RST, T (of S) called an envelope, consisting of parents and children of concepts in the extent. The audit moves outward as long as missing assignments are discovered. In the second part, concepts not reached previously are processed and reassigned T as needed during the processing of S's other RSTs. The set of such concepts is expanded in a similar way to that in the first part. Measurements The number of errors discovered is reported. To measure the methodology's efficiency, “error hit rates” (i.e., errors found in concepts examined) are computed. Results The methodology was applied to three STs: Experimental Model of Disease (EMD), Environmental Effect of Humans, and Governmental or Regulatory Activity. The EMD experienced the most drastic change. For its RST “EMD ∩ Neoplastic Process” (RST “EMD”) with only 33 (31) original concepts, 915 (134) concepts were found by the first (second) part to be missing the EMD assignment. Changes to the other two STs were smaller. Conclusion The results show that the proposed auditing methodology can help to effectively and efficiently identify concepts lacking the assignment of a particular semantic type. PMID:19567802

A simple branching model that reproduces language family and language population distributions

Science.gov (United States)

Schwämmle, Veit; de Oliveira, Paulo Murilo Castro

2009-07-01

Human history leaves fingerprints in human languages. Little is known about language evolution and its study is of great importance. Here we construct a simple stochastic model and compare its results to statistical data of real languages. The model is based on the recent finding that language changes occur independently of the population size. We find agreement with the data additionally assuming that languages may be distinguished by having at least one among a finite, small number of different features. This finite set is also used in order to define the distance between two languages, similarly to linguistics tradition since Swadesh.

FORMAL MODELLING OF BUSINESS RULES: WHAT KIND OF TOOL TO USE?

Directory of Open Access Journals (Sweden)

Sandra Lovrenčić

2006-12-01

Full Text Available Business rules are today essential parts of a business system model. But presently, there are still various approaches to, definitions and classifications of this concept. Similarly, there are also different approaches in business rules formalization and implementation. This paper investigates formalization using formal language in association with easy domain modelling. Two of the tools that enable such approach are described and compared according to several factors. They represent ontology modelling and UML, nowadays widely used standard for object-oriented modelling. A simple example is also presented.

Domain-Specific Modelling Languages in Bigraphs

DEFF Research Database (Denmark)

Perrone, Gian David

" of models, in order to improve the utility of the models we build, and to ease the process of model construction by moving the languages we use to express such models closer to their respective domains. This thesis is concerned with the study of bigraphical reactive systems as a host for domain...... for deciding reaction rule causation. Finally, we provide a mechanism for the modular construction of domain-specic modelling languages as bigraphical reactive systems, exploring the relationship between vertical renement and language specialisation in this setting. The thesis is composed of several...

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

DEFF Research Database (Denmark)

Störrle, Harald

2014-01-01

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

Language acquisition is model-based rather than model-free.

Science.gov (United States)

Wang, Felix Hao; Mintz, Toben H

2016-01-01

Christiansen & Chater (C&C) propose that learning language is learning to process language. However, we believe that the general-purpose prediction mechanism they propose is insufficient to account for many phenomena in language acquisition. We argue from theoretical considerations and empirical evidence that many acquisition tasks are model-based, and that different acquisition tasks require different, specialized models.

Design and implementation of the system of importing data of nuclear analysis experiment based on UML technology

International Nuclear Information System (INIS)

Peng Yanguang; Yu Chuansong; Ma Mei; Sun Gongxing

2004-01-01

There are some problems that Excel data importing to database for our scientific data processing, we introduce a method how to use UML and XML technology design and implementation our system. Because XML technology have flexible data exchange mechanism, so it is appropriate to do it, and it is easy for use that the system of importing data of nuclear analysis experiment has a web browser GUI. Our paper emphasis on the software design method and UML design cases. (authors)

Self-organizing map models of language acquisition

Science.gov (United States)

Li, Ping; Zhao, Xiaowei

2013-01-01

Connectionist models have had a profound impact on theories of language. While most early models were inspired by the classic parallel distributed processing architecture, recent models of language have explored various other types of models, including self-organizing models for language acquisition. In this paper, we aim at providing a review of the latter type of models, and highlight a number of simulation experiments that we have conducted based on these models. We show that self-organizing connectionist models can provide significant insights into long-standing debates in both monolingual and bilingual language development. We suggest future directions in which these models can be extended, to better connect with behavioral and neural data, and to make clear predictions in testing relevant psycholinguistic theories. PMID:24312061

Principles of parametric estimation in modeling language competition.

Science.gov (United States)

Zhang, Menghan; Gong, Tao

2013-06-11

It is generally difficult to define reasonable parameters and interpret their values in mathematical models of social phenomena. Rather than directly fitting abstract parameters against empirical data, we should define some concrete parameters to denote the sociocultural factors relevant for particular phenomena, and compute the values of these parameters based upon the corresponding empirical data. Taking the example of modeling studies of language competition, we propose a language diffusion principle and two language inheritance principles to compute two critical parameters, namely the impacts and inheritance rates of competing languages, in our language competition model derived from the Lotka-Volterra competition model in evolutionary biology. These principles assign explicit sociolinguistic meanings to those parameters and calculate their values from the relevant data of population censuses and language surveys. Using four examples of language competition, we illustrate that our language competition model with thus-estimated parameter values can reliably replicate and predict the dynamics of language competition, and it is especially useful in cases lacking direct competition data.

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

Directory of Open Access Journals (Sweden)

FERNANDO ARANGO

2006-01-01

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.

Statistical Language Models and Information Retrieval: Natural Language Processing Really Meets Retrieval

NARCIS (Netherlands)

Hiemstra, Djoerd; de Jong, Franciska M.G.

2001-01-01

Traditionally, natural language processing techniques for information retrieval have always been studied outside the framework of formal models of information retrieval. In this article, we introduce a new formal model of information retrieval based on the application of statistical language models.

SISTEM INFORMASI REALISASI BEBAN KERJA SALES DAN MARKETING BERBASIS WEB DENGAN PERMODELAN UML (STUDY KASUS: LKP PALCOMTECH

Directory of Open Access Journals (Sweden)

Dini Hari Pertiwi

2017-12-01

Full Text Available Sebuah website sudah mulai banyak digunakan oleh organisasi atau perusahaan dengan tujuan sebagai media komunikasi, promosi atau bahkan menjadi media transaksi bagi perusahaan tersebut. Karena banyaknya kemampuan yang dimiliki oleh sebuah website maka perusahaan mulai banyak memanfaatkan website untuk kebutuhan yang lainnya, salah satu pemanfaatan website yaitu digunakan untuk pemantauan target kerja yang dilakukan oleh bagian sales dan marketing. Pembagian target kerja akan langsung dibagi berdasarkan potensi cabang masing-masing sehingga kepala cabang, koordinator cabang dapat langsung melakukan pemantauan terhadap capaian yang dilakukan oleh sales dan marekting terhadapt target yang diberikan. Karena website yang dapat menjadi media komunikasi pemcapaian realisasi target kerja maka website dibuat dengan menggunakan permodelan UML (Unified Modeling Language untuk memudahkan jika suatu saat akan dilakukan pengembangan sistem informasi realisasi beban kerja sales dan marketing. Sistem informasi realisasi beban kerja sales dan marketing akan menyimpan informasi target untuk masing-masing cabang, nama produk yang akan dipromosikan, serta akan menyimpan data konsumen dan capaian yang dilakukan oleh sales dan marketing. Realisasi pencapaian dapat langsung dilihat melalui dashboard masing-masing kepala cabang dan koordinator cabang sehingga tidak perlu menunggu laporan yang dikirimkan oleh masing-masing sales dan marketing. Sistem informasi realisasi beban kerja sales dan marketing ini dibuat dengan menggunakan bahasa pemrograman Framework PHP yaitu  codeigniter sedangkan database yang digunakan adalah MySQL.

ROLE OF UML SEQUENCE DIAGRAM CONSTRUCTS IN OBJECT LIFECYCLE CONCEPT

Directory of Open Access Journals (Sweden)

Miroslav Grgec

2007-06-01

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

Towards Integration of Object-Oriented Languages and State Machines

DEFF Research Database (Denmark)

Madsen, Ole Lehrmann

1999-01-01

The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a language mechanism that makes it possible for an object to change its virtual bindings at run-time. A state of an object may...... then be represented as a set of virtual bindings.One advantage of object-orientation is that it provides an integrating perspective on many phases of software development, including analysis, design and implementation. For the static set of OO language constructs there is almost a one-to-one correspondence between...... analysis/design notations and OO programming languages. No such correspondence exists for the dynamic aspects, but the proposed state-mechanism is a contribution to a better cor respondence. The proposal is based on previous work by Antero Taivalsaari and compared to the more complex features for changing...

Women's Language Model: A Proposal.

Science.gov (United States)

Dumas, Bethany K.

It is possible to think of women's language in terms of the model implied by the following statement. Insofar as native speakers of English are concerned, the language of women in America has four sets of components: those shared with the language of men in America; those shared, in varying proportions, with other women living in patriarchies;…

VMTL: a language for end-user model transformation

DEFF Research Database (Denmark)

Acretoaie, Vlad; Störrle, Harald; Strüber, Daniel

2016-01-01

, these languages are largely ill-equipped for adoption by end-user modelers in areas such as requirements engineering, business process management, or enterprise architecture. We aim to introduce a model transformation language addressing the skills and requirements of end-user modelers. With this contribution, we......Model transformation is a key enabling technology of Model-Driven Engineering (MDE). Existing model transformation languages are shaped by and for MDE practitioners—a user group with needs and capabilities which are not necessarily characteristic of modelers in general. Consequently...... hope to broaden the application scope of model transformation and MDE technology in general. We discuss the profile of end-user modelers and propose a set of design guidelines for model transformation languages addressing them. We then introduce Visual Model Transformation Language (VMTL) following...

Object-oriented biomedical system modelling--the language.

Science.gov (United States)

Hakman, M; Groth, T

1999-11-01

The paper describes a new object-oriented biomedical continuous system modelling language (OOBSML). It is fully object-oriented and supports model inheritance, encapsulation, and model component instantiation and behaviour polymorphism. Besides the traditional differential and algebraic equation expressions the language includes also formal expressions for documenting models and defining model quantity types and quantity units. It supports explicit definition of model input-, output- and state quantities, model components and component connections. The OOBSML model compiler produces self-contained, independent, executable model components that can be instantiated and used within other OOBSML models and/or stored within model and model component libraries. In this way complex models can be structured as multilevel, multi-component model hierarchies. Technically the model components produced by the OOBSML compiler are executable computer code objects based on distributed object and object request broker technology. This paper includes both the language tutorial and the formal language syntax and semantic description.

Presheaf models for CCS-like languages

DEFF Research Database (Denmark)

Winskel, Glynn

2003-01-01

for a general process language, in which CCS and related languages are easily encoded. The results are then transferred to traditional models for processes. By first establishing the congruence results for presheaf models, abstract, general proofs of congruence properties can be provided and the awkwardness...... caused through traditional models not always possessing the cartesian liftings, used in the breakdown of process operations, are side stepped. The abstract results are applied to show that hereditary history-preserving bisimulation is a congruence for CCS-like languages to which is added a refinement...

A Core Language for Separate Variability Modeling

DEFF Research Database (Denmark)

Iosif-Lazăr, Alexandru Florin; Wasowski, Andrzej; Schaefer, Ina

2014-01-01

Separate variability modeling adds variability to a modeling language without requiring modifications of the language or the supporting tools. We define a core language for separate variability modeling using a single kind of variation point to define transformations of software artifacts in object...... hierarchical dependencies between variation points via copying and flattening. Thus, we reduce a model with intricate dependencies to a flat executable model transformation consisting of simple unconditional local variation points. The core semantics is extremely concise: it boils down to two operational rules...

Language Networks as Models of Cognition: Understanding Cognition through Language

Science.gov (United States)

Beckage, Nicole M.; Colunga, Eliana

Language is inherently cognitive and distinctly human. Separating the object of language from the human mind that processes and creates language fails to capture the full language system. Linguistics traditionally has focused on the study of language as a static representation, removed from the human mind. Network analysis has traditionally been focused on the properties and structure that emerge from network representations. Both disciplines could gain from looking at language as a cognitive process. In contrast, psycholinguistic research has focused on the process of language without committing to a representation. However, by considering language networks as approximations of the cognitive system we can take the strength of each of these approaches to study human performance and cognition as related to language. This paper reviews research showcasing the contributions of network science to the study of language. Specifically, we focus on the interplay of cognition and language as captured by a network representation. To this end, we review different types of language network representations before considering the influence of global level network features. We continue by considering human performance in relation to network structure and conclude with theoretical network models that offer potential and testable explanations of cognitive and linguistic phenomena.

Extensions of Statecharts with probability, time, and stochastic timing

NARCIS (Netherlands)

Jansen, D.N.

2003-01-01

Statecharts are a graphical language to describe the behaviour of a (computer) system. Statecharts are, among others, used as a part of the UML (Unified Modelling Language). This thesis describes three extensions related to statecharts. One of them is a real-time property language that fits well

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

International Nuclear Information System (INIS)

Bernardi, S.; Flammini, F.; Marrone, S.; Mazzocca, N.; Merseguer, J.; Nardone, R.; Vittorini, V.

2013-01-01

The need for integration of model-based verification into industrial processes has produced several attempts to define Model-Driven solutions implementing a unifying approach to system development. A recent trend is to implement tool chains supporting the developer both in the design phase and V and V activities. In this Model-Driven context, specific domains require proper modelling approaches, especially for what concerns RAM (Reliability, Availability, Maintainability) analysis and fulfillment of international standards. This paper specifically addresses the definition of a Model-Driven approach for the evaluation of RAM attributes in railway applications to automatically generate formal models. For this aim we extend the MARTE-DAM UML profile with concepts related to maintenance aspects and service degradation, and show that the MARTE-DAM framework can be successfully specialized for the railway domain. Model transformations are then defined to generate Repairable Fault Tree and Bayesian Network models from MARTE-DAM specifications. The whole process is applied to the railway domain in two different availability studies

Modeling views in the layered view model for XML using UML

NARCIS (Netherlands)

Rajugan, R.; Dillon, T.S.; Chang, E.; Feng, L.

In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources. Conversely, since the introduction of Extensible Markup Language (XML), it is fast emerging as the dominant standard for

基于UML的自动组卷系统的分析与设计%Design and Analysis of Automatic Generation of Test Paper System Based on UML

Institute of Scientific and Technical Information of China (English)

刘慧梅

2012-01-01

　　本文运用基于面向对象的建模语言 UML 对自动组卷系统进行分析和设计，建立了自动组卷系统分析设计模型，为实现自动组卷系统打下良好的基础。%　　this paper analyzed and designed the automatic generation of test paper system by UML, construct the design model based on analysis of the automatic generation of test paper system, and fully prepare for the realization of the automatic generation of test paper system.

Modeling Coevolution between Language and Memory Capacity during Language Origin

Science.gov (United States)

Gong, Tao; Shuai, Lan

2015-01-01

Memory is essential to many cognitive tasks including language. Apart from empirical studies of memory effects on language acquisition and use, there lack sufficient evolutionary explorations on whether a high level of memory capacity is prerequisite for language and whether language origin could influence memory capacity. In line with evolutionary theories that natural selection refined language-related cognitive abilities, we advocated a coevolution scenario between language and memory capacity, which incorporated the genetic transmission of individual memory capacity, cultural transmission of idiolects, and natural and cultural selections on individual reproduction and language teaching. To illustrate the coevolution dynamics, we adopted a multi-agent computational model simulating the emergence of lexical items and simple syntax through iterated communications. Simulations showed that: along with the origin of a communal language, an initially-low memory capacity for acquired linguistic knowledge was boosted; and such coherent increase in linguistic understandability and memory capacities reflected a language-memory coevolution; and such coevolution stopped till memory capacities became sufficient for language communications. Statistical analyses revealed that the coevolution was realized mainly by natural selection based on individual communicative success in cultural transmissions. This work elaborated the biology-culture parallelism of language evolution, demonstrated the driving force of culturally-constituted factors for natural selection of individual cognitive abilities, and suggested that the degree difference in language-related cognitive abilities between humans and nonhuman animals could result from a coevolution with language. PMID:26544876

Language Models and the Teaching of English Language to Secondary School Students in Cameroon

Science.gov (United States)

Ntongieh, Njwe Amah Eyovi

2016-01-01

This paper investigates Language models with an emphasis on an appraisal of the Competence Based Language Teaching Model (CBLT) employed in the teaching and learning of English language in Cameroon. Research endeavours at various levels combined with cumulative deficiencies experienced over the years have propelled educational policy makers to…

Model-Based GUI Testing Using Uppaal at Novo Nordisk

Science.gov (United States)

Hjort, Ulrik H.; Illum, Jacob; Larsen, Kim G.; Petersen, Michael A.; Skou, Arne

This paper details a collaboration between Aalborg University and Novo Nordiskin developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical device on an embedded platform. The tool takes as input an UML Statemachine model and generates a test suite satisfying some testing criterion, such as edge or state coverage, and converts the individual test case into a scripting language that can be automatically executed against the target. The tool has significantly reduced the time required for test construction and generation, and reduced the number of test scripts while increasing the coverage.

Diagram Size vs. Layout Flaws: Understanding Quality Factors of UML Diagrams

DEFF Research Database (Denmark)

Störrle, Harald

2016-01-01

, though, is our third goal of extending our analysis aspects of diagram quality. Method: We improve our definition of diagram size and add a (provisional) definition of diagram quality as the number of topographic layout flaws. We apply these metrics on 60 diagrams of the five most commonly used types...... of UML diagram. We carefully analyze the structure of our diagram samples to ensure representativeness. We correlate diagram size and layout quality with modeler performance data obtained in previous experiments. The data set is the largest of its kind (n-156). Results: We replicate earlier findings......, and extend them to two new diagram types. We provide an improved definition of diagram size, and provide a definition of topographic layout quality, which is one more step towards a comprehensive definition of diagram quality as such. Both metrics are shown to be objectively applicable. We quantify...

XMI2USE: A Tool for Transforming XMI to USE Specifications

Science.gov (United States)

Sun, Wuliang; Song, Eunjee; Grabow, Paul C.; Simmonds, Devon M.

The UML-based Specification Environment (USE) tool supports syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation and analysis power, it is useful when checking critical non-functional properties such as security policies. However, the USE tool requires one to specify (i.e., "write") a model using its own textual language and does not allow one to import any model specification files created by other UML modeling tools. Hence, to make the best use of existing UML tools, we often create a model with OCL constraints using a modeling tool such as the IBM Rational Software Architect (RSA) and then use the USE tool for model validation. This approach, however, requires a manual transformation between the specifications of two different tool formats, which is error-prone and diminishes the benefit of automated model-level validations. In this paper, we describe our own implementation of a specification transformation engine that is based on the Model Driven Architecture (MDA) framework and currently supports automatic tool-level transformations from RSA to USE.

Querying and Serving N-gram Language Models with Python

Directory of Open Access Journals (Sweden)

2009-06-01

Full Text Available Statistical n-gram language modeling is a very important technique in Natural Language Processing (NLP and Computational Linguistics used to assess the fluency of an utterance in any given language. It is widely employed in several important NLP applications such as Machine Translation and Automatic Speech Recognition. However, the most commonly used toolkit (SRILM to build such language models on a large scale is written entirely in C++ which presents a challenge to an NLP developer or researcher whose primary language of choice is Python. This article first provides a gentle introduction to statistical language modeling. It then describes how to build a native and efficient Python interface (using SWIG to the SRILM toolkit such that language models can be queried and used directly in Python code. Finally, it also demonstrates an effective use case of this interface by showing how to leverage it to build a Python language model server. Such a server can prove to be extremely useful when the language model needs to be queried by multiple clients over a network: the language model must only be loaded into memory once by the server and can then satisfy multiple requests. This article includes only those listings of source code that are most salient. To conserve space, some are only presented in excerpted form. The complete set of full source code listings may be found in Volume 1 of The Python Papers Source Codes Journal.

A Wittgenstein Approach to the Learning of OO-modeling

Science.gov (United States)

Holmboe, Christian

2004-12-01

The paper uses Ludwig Wittgenstein's theories about the relationship between thought, language, and objects of the world to explore the assumption that OO-thinking resembles natural thinking. The paper imports from research in linguistic philosophy to computer science education research. I show how UML class diagrams (i.e., an artificial context-free language) correspond to the logically perfect languages described in Tractatus Logico-Philosophicus. In Philosophical Investigations Wittgenstein disputes his previous theories by showing that natural languages are not constructed by rules of mathematical logic, but are language games where the meaning of a word is constructed through its use in social contexts. Contradicting the claim that OO-thinking is easy to learn because of its similarity to natural thinking, I claim that OO-thinking is difficult to learn because of its differences from natural thinking. The nature of these differences is not currently well known or appreciated. I suggest how explicit attention to the nature and implications of different language games may improve the teaching and learning of OO-modeling as well as programming.

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

Science.gov (United States)

von Franqué, Alexander; Tellioglu, Hilda

2014-01-01

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

Extending Profiles with Stereotypes for Composite Concepts

NARCIS (Netherlands)

Quartel, Dick; Dijkman, R.M.; van Sinderen, Marten J.; Briand, L.; Williams, C.

2005-01-01

This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual and notational elements in a modelling language. Composite concepts are compositions of existing concepts. To facilitate the

Toward Cognitively Constrained Models of Language Processing: A Review

Directory of Open Access Journals (Sweden)

Margreet Vogelzang

2017-09-01

Full Text Available Language processing is not an isolated capacity, but is embedded in other aspects of our cognition. However, it is still largely unexplored to what extent and how language processing interacts with general cognitive resources. This question can be investigated with cognitively constrained computational models, which simulate the cognitive processes involved in language processing. The theoretical claims implemented in cognitive models interact with general architectural constraints such as memory limitations. This way, it generates new predictions that can be tested in experiments, thus generating new data that can give rise to new theoretical insights. This theory-model-experiment cycle is a promising method for investigating aspects of language processing that are difficult to investigate with more traditional experimental techniques. This review specifically examines the language processing models of Lewis and Vasishth (2005, Reitter et al. (2011, and Van Rij et al. (2010, all implemented in the cognitive architecture Adaptive Control of Thought—Rational (Anderson et al., 2004. These models are all limited by the assumptions about cognitive capacities provided by the cognitive architecture, but use different linguistic approaches. Because of this, their comparison provides insight into the extent to which assumptions about general cognitive resources influence concretely implemented models of linguistic competence. For example, the sheer speed and accuracy of human language processing is a current challenge in the field of cognitive modeling, as it does not seem to adhere to the same memory and processing capacities that have been found in other cognitive processes. Architecture-based cognitive models of language processing may be able to make explicit which language-specific resources are needed to acquire and process natural language. The review sheds light on cognitively constrained models of language processing from two angles: we

Aproximación Basada en UML para el Diseño y Codificación Automática de Plataformas Robóticas Manipuladoras

Directory of Open Access Journals (Sweden)

Elisabet Estévez

2017-01-01

robótica de servicios en la que un robot manipulador antropomórfico realiza la tarea de seguimiento de un objeto en movimiento. Este segundo caso de estudio se ejecuta sobre ROS. Abstract: Today, robotics manipulator is a crucial discipline in modern production industrial facilities and in a near future; it will also be decisive in the human quotidian society. Consequently, currently there is a growing demand of applications with arm-based robots with requirements such as: reutilization, flexibility and adaptability. Unfortunately, there is a lack of standardization of hardware and software platforms, so the satisfaction of these requirements is too difficult. In this sense, there is a necessity of a methodology that guides along application design, implementation as well as the execution of the software systems. This work, explores the advantages of Model Driven Engineering (MDE for the design and development of applications performed by manipulator robots. In fact, an UML based approach is proposed that supports the design of robotic tasks and an automatic code generation for the most spread robotic communication Middlewares has been also developed. More specifically, the target code generation for OROCOS and ROS communication Middlewares has been detailed. Finally, two case studies have been presented one for industrial field and the other for service sector. The former runs on OROCOS and the latter on ROS. Palabras clave: Robots manipuladores, UML, MDE-Model Driven Engineering, ROS-Robotic Operating System-, OROCOS – Open Robot Control Software-, Keywords: Manipulator robots, UML-Unified Modeling Language, MDE-Model Driven Engineering, ROS-Robotic Operating System, OROCOS- Open Robot Control Software

How does language model size effects speech recognition accuracy for the Turkish language?

Directory of Open Access Journals (Sweden)

Behnam ASEFİSARAY

2016-05-01

Full Text Available In this paper we aimed at investigating the effect of Language Model (LM size on Speech Recognition (SR accuracy. We also provided details of our approach for obtaining the LM for Turkish. Since LM is obtained by statistical processing of raw text, we expect that by increasing the size of available data for training the LM, SR accuracy will improve. Since this study is based on recognition of Turkish, which is a highly agglutinative language, it is important to find out the appropriate size for the training data. The minimum required data size is expected to be much higher than the data needed to train a language model for a language with low level of agglutination such as English. In the experiments we also tried to adjust the Language Model Weight (LMW and Active Token Count (ATC parameters of LM as these are expected to be different for a highly agglutinative language. We showed that by increasing the training data size to an appropriate level, the recognition accuracy improved on the other hand changes on LMW and ATC did not have a positive effect on Turkish speech recognition accuracy.

Improving Language Learning Strategies and Performance of Pre-Service Language Teachers Through a CALLA-TBLT Model

Directory of Open Access Journals (Sweden)

Maria Eugenia Guapacha Chamorro

2017-07-01

Full Text Available This paper reports an action-research study on language learning strategies in tertiary education at a Colombian university. The study aimed at improving the English language performance and language learning strategies use of 33 first-year pre-service language teachers by combining elements from two models: the cognitive academic language learning approach and task-based language teaching. Data were gathered through surveys, a focus group, students’ and teachers’ journals, language tests, and documentary analysis. Results evidenced that the students improved in speaking, writing, grammar, vocabulary and in their language learning strategies repertoire. As a conclusion, explicit strategy instruction in the proposed model resulted in a proper combination to improve learners’ language learning strategies and performance.

Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language.

Science.gov (United States)

Roehner, Nicholas; Zhang, Zhen; Nguyen, Tramy; Myers, Chris J

2015-08-21

In the context of synthetic biology, model generation is the automated process of constructing biochemical models based on genetic designs. This paper discusses the use cases for model generation in genetic design automation (GDA) software tools and introduces the foundational concepts of standards and model annotation that make this process useful. Finally, this paper presents an implementation of model generation in the GDA software tool iBioSim and provides an example of generating a Systems Biology Markup Language (SBML) model from a design of a 4-input AND sensor written in the Synthetic Biology Open Language (SBOL).

Towards a portal and search engine to facilitate academic and research collaboration in engineering and education

Science.gov (United States)

Bonilla Villarreal, Isaura Nathaly

While international academic and research collaborations are of great importance at this time, it is not easy to find researchers in the engineering field that publish in languages other than English. Because of this disconnect, there exists a need for a portal to find Who's Who in Engineering Education in the Americas. The objective of this thesis is to built an object-oriented architecture for this proposed portal. The Unified Modeling Language (UML) model developed in this thesis incorporates the basic structure of a social network for academic purposes. Reverse engineering of three social networks portals yielded important aspects of their structures that have been incorporated in the proposed UML model. Furthermore, the present work includes a pattern for academic social networks..

Model Process Control Language

Data.gov (United States)

National Aeronautics and Space Administration — The MPC (Model Process Control) language enables the capture, communication and preservation of a simulation instance, with sufficient detail that it can be...

Activity-based DEVS modeling

DEFF Research Database (Denmark)

Alshareef, Abdurrahman; Sarjoughian, Hessam S.; Zarrin, Bahram

2018-01-01

architecture and the UML concepts. In this paper, we further this work by grounding Activity-based DEVS modeling and developing a fully-fledged modeling engine to demonstrate applicability. We also detail the relevant aspects of the created metamodel in terms of modeling and simulation. A significant number......Use of model-driven approaches has been increasing to significantly benefit the process of building complex systems. Recently, an approach for specifying model behavior using UML activities has been devised to support the creation of DEVS models in a disciplined manner based on the model driven...... of the artifacts of the UML 2.5 activities and actions, from the vantage point of DEVS behavioral modeling, is covered in details. Their semantics are discussed to the extent of time-accurate requirements for simulation. We characterize them in correspondence with the specification of the atomic model behavior. We...

The GRAIL concept modelling language for medical terminology.

Science.gov (United States)

Rector, A L; Bechhofer, S; Goble, C A; Horrocks, I; Nowlan, W A; Solomon, W D

1997-02-01

The GALEN representation and integration language (GRAIL) has been developed to support effective clinical user interfaces and extensible re-usable models of medical terminology. It has been used successfully to develop the prototype GALEN common reference (CORE) model for medical terminology and for a series of projects in clinical user interfaces within the GALEN and PEN&PAD projects. GRAIL is a description logic or frame language with novel features to support part-whole and other transitive relations and to support the GALEN modelling style aimed at re-use and application independence. GRAIL began as an experimental language. However, it has clarified many requirements for an effective knowledge representation language for clinical concepts. It still has numerous limitations despite its practical successes. The GRAIL experience is expected to form the basis for future languages which meet the same requirements but have greater expressiveness and more soundly based semantics. This paper provides a description and motivation for the GRAIL language and gives examples of the modelling paradigm which it supports.

Probabilistic language models in cognitive neuroscience: Promises and pitfalls.

Science.gov (United States)

Armeni, Kristijan; Willems, Roel M; Frank, Stefan L

2017-12-01

Cognitive neuroscientists of language comprehension study how neural computations relate to cognitive computations during comprehension. On the cognitive part of the equation, it is important that the computations and processing complexity are explicitly defined. Probabilistic language models can be used to give a computationally explicit account of language complexity during comprehension. Whereas such models have so far predominantly been evaluated against behavioral data, only recently have the models been used to explain neurobiological signals. Measures obtained from these models emphasize the probabilistic, information-processing view of language understanding and provide a set of tools that can be used for testing neural hypotheses about language comprehension. Here, we provide a cursory review of the theoretical foundations and example neuroimaging studies employing probabilistic language models. We highlight the advantages and potential pitfalls of this approach and indicate avenues for future research. Copyright © 2017 Elsevier Ltd. All rights reserved.

Spin Glass Models of Syntax and Language Evolution

OpenAIRE

Siva, Karthik; Tao, Jim; Marcolli, Matilde

2015-01-01

Using the SSWL database of syntactic parameters of world languages, and the MIT Media Lab data on language interactions, we construct a spin glass model of language evolution. We treat binary syntactic parameters as spin states, with languages as vertices of a graph, and assigned interaction energies along the edges. We study a rough model of syntax evolution, under the assumption that a strong interaction energy tends to cause parameters to align, as in the case of ferromagnetic materials. W...

Apricot - An Object-Oriented Modeling Language for Hybrid Systems

OpenAIRE

Fang, Huixing; Zhu, Huibiao; Shi, Jianqi

2013-01-01

We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fills the gap between design and implementation, as a result, we put forward the modeling language with simple and distinct syntax, structure and semantics. In addition, we introduce the concept of design by convention into Apricot.As the characteristic of object-oriented and the component architecture in Apricot, we c...

Modeling the language learning strategies and English language proficiency of pre-university students in UMS: A case study

Science.gov (United States)

Kiram, J. J.; Sulaiman, J.; Swanto, S.; Din, W. A.

2015-10-01

This study aims to construct a mathematical model of the relationship between a student's Language Learning Strategy usage and English Language proficiency. Fifty-six pre-university students of University Malaysia Sabah participated in this study. A self-report questionnaire called the Strategy Inventory for Language Learning was administered to them to measure their language learning strategy preferences before they sat for the Malaysian University English Test (MUET), the results of which were utilised to measure their English language proficiency. We attempted the model assessment specific to Multiple Linear Regression Analysis subject to variable selection using Stepwise regression. We conducted various assessments to the model obtained, including the Global F-test, Root Mean Square Error and R-squared. The model obtained suggests that not all language learning strategies should be included in the model in an attempt to predict Language Proficiency.

Reasoning about Use Cases using Logic Grammars and Constraints

DEFF Research Database (Denmark)

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

2007-01-01

We consider automated transition from Use Cases in a restricted natural language syntax into UML models, by trying to capture the semantics of the natural language and map it into building blocks of the object oriented programming paradigm. Syntax and semantic analysis is done in a framework...

Experiences in enhancing existing BPM Tools with BPEL Import and Export

DEFF Research Database (Denmark)

Mendling, Jan; Lassen, Kristian Bisgaard; Zdun, Uwe

2006-01-01

utilize graph-based BPM languages such as EPCs, Workflow Nets, UML Activity Diagrams, and BPMN in their modeling component while BPEL is rather a block-oriented language inspired by process calculi. In this paper we identify transformation strategies as reusable solutions for mapping control flow between...

Similar words analysis based on POS-CBOW language model

Directory of Open Access Journals (Sweden)

Dongru RUAN

2015-10-01

Full Text Available Similar words analysis is one of the important aspects in the field of natural language processing, and it has important research and application values in text classification, machine translation and information recommendation. Focusing on the features of Sina Weibo's short text, this paper presents a language model named as POS-CBOW, which is a kind of continuous bag-of-words language model with the filtering layer and part-of-speech tagging layer. The proposed approach can adjust the word vectors' similarity according to the cosine similarity and the word vectors' part-of-speech metrics. It can also filter those similar words set on the base of the statistical analysis model. The experimental result shows that the similar words analysis algorithm based on the proposed POS-CBOW language model is better than that based on the traditional CBOW language model.

Augmenting Oracle Text with the UMLS for enhanced searching of free-text medical reports.

Science.gov (United States)

Ding, Jing; Erdal, Selnur; Dhaval, Rakesh; Kamal, Jyoti

2007-10-11

The intrinsic complexity of free-text medical reports imposes great challenges for information retrieval systems. We have developed a prototype search engine for retrieving clinical reports that leverages the powerful indexing and querying capabilities of Oracle Text, and the rich biomedical domain knowledge and semantic structures that are captured in the UMLS Metathesaurus.

Methodology Used to Create System Architecture for its in Slovakia

Directory of Open Access Journals (Sweden)

Ales Janota

2004-01-01

Full Text Available The paper deals with an object oriented approach proposed by the authors for creation of the ITS system architecture in the Slovak Republic and shows how a reference architecture can be created as s base for future more detailed architectures (models. The authors characterise possible approaches, explain their relations to existing architectures and propose a methodology based on the Unifield Modelling language (UML. The main attention is paid to the logical part (logical view of the system architecture, that should result in the form of easy readable and understandable UML models.

Modeling of Slovak Language for Broadcast News Transcription

Directory of Open Access Journals (Sweden)

STAŠ Ján

2015-10-01

Full Text Available The paper describes recent progress in the development the Slovak language models for transcription of spontaneous speech such as broadcast news, educational talks and lectures, or meetings. This work extends previous research oriented on the automatic transcription of dictated speech and brings some new extensions for improving perplexity and robustness of the Slovak language models trained on the web-based and electronic language resources for being more precise in recognition of spontaneous speech. These improvements include better text preprocessing, document classification, class-based and filled pauses modeling, web-data augmentation and fast model adaptation to the target domain. Experiments have been performed on the four different evaluation data sets, including judicial and newspaper readings, broadcast news recordings and parliament proceedings with the Slovak transcription system. Preliminary results show significant decrease of the word error rate for multiple transcription system configurations of acoustic and language models.

MODELAGEM SISTÊMICA DE PROJETOS DE AEC EM UML

Directory of Open Access Journals (Sweden)

Rita Cristina Ferreira

2007-11-01

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

Modelling air quality according to INSPIRE data specifications, ISO standards and national regulations

Directory of Open Access Journals (Sweden)

Pachelski Wojciech

2017-12-01

Full Text Available Protection of the environment is an activity of many institutions, organizations and communities from global to regional and local scales. Any activity in this area needs structured database records, using advanced methodology, given, among others, in INSPIRE documents, ISO standards of 19100 series, and national regulations. The goal of this paper is to analyse both the legal provisions related to the air quality and also data sources associated with the prevention of air pollution. Furthermore, the UML application schema of the spatial data related to the air protection is proposed, for the use by urban planners. Also, the overview of the methodology of geographic information is given, including the Unified Modelling Language (UML, as well as the basic concepts of conceptual models within the INSPIRE project. The study is based on the relevant literature and documents, as well as on the expert knowledge gained through urban planning practice, as well as on the analysis of the spatial planning regulations. The UML application schema for different aspects related to the air protection, as presented in this paper, is an example of how to use the methodology also in other fields of the environment protection. Spatial planners know how to improve the air quality, but in the present state of law they often suffer from the lack of planning tools for real actions. In the spatial planners work an important issue are data that allow a thorough analysis of the area.

LEARNING SEMANTICS-ENHANCED LANGUAGE MODELS APPLIED TO UNSUEPRVISED WSD

Energy Technology Data Exchange (ETDEWEB)

VERSPOOR, KARIN [Los Alamos National Laboratory; LIN, SHOU-DE [Los Alamos National Laboratory

2007-01-29

An N-gram language model aims at capturing statistical syntactic word order information from corpora. Although the concept of language models has been applied extensively to handle a variety of NLP problems with reasonable success, the standard model does not incorporate semantic information, and consequently limits its applicability to semantic problems such as word sense disambiguation. We propose a framework that integrates semantic information into the language model schema, allowing a system to exploit both syntactic and semantic information to address NLP problems. Furthermore, acknowledging the limited availability of semantically annotated data, we discuss how the proposed model can be learned without annotated training examples. Finally, we report on a case study showing how the semantics-enhanced language model can be applied to unsupervised word sense disambiguation with promising results.

METHODS AND MODELS FOR ANALYSIS OF THE ORGANIZATIONAL ECONOMICS ACTIVITY USED FOR DEVELOPMENT OF INFORMATICS SYSTEMS

Directory of Open Access Journals (Sweden)

TEODORA VĂTUIU

2014-10-01

Full Text Available Study of organizational activity and highlighting problem situations that require specific solutions, require a detailed analysis of the models defined for the real system of the economic companies, regarded not as a sum of assets, but as organizations in which there are activities related into processes. In addition to the usual approach of using modeling languages in the development of information systems, in this paper we intend to present some examples that demonstrate the usefulness of a standard modeling language (UML to analyze organizational activities and to report problem situations that may occur in data management registered on primary documents or in processes that bring together activities. Examples that have been focused on a travel agency can be extrapolated to any other organization, and the diagrams can be used in different contexts, depending on the complexity of the activities identified.

Domain Specific Language for Modeling Waste Management Systems

DEFF Research Database (Denmark)

Zarrin, Bahram

environmental technologies i.e. solid waste management systems. Flow-based programming is used to support concurrent execution of the processes, and provides a model-integration language for composing processes from homogeneous or heterogeneous domains. And a domain-specific language is used to define atomic......In order to develop sustainable waste management systems with considering life cycle perspective, scientists and domain experts in environmental science require readily applicable tools for modeling and evaluating the life cycle impacts of the waste management systems. Practice has proved...... a domain specific language for modeling of waste-management systems on the basis of our framework. We evaluate the language by providing a set of case studies. The contributions of this thesis are; addressing separation of concerns in Flow-based programming and providing the formal specification of its...

Sophia: A Expedient UMLS Concept Extraction Annotator.

Science.gov (United States)

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

2014-01-01

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

Clinical, information and business process modeling to promote development of safe and flexible software.

Science.gov (United States)

Liaw, Siaw-Teng; Deveny, Elizabeth; Morrison, Iain; Lewis, Bryn

2006-09-01

Using a factorial vignette survey and modeling methodology, we developed clinical and information models - incorporating evidence base, key concepts, relevant terms, decision-making and workflow needed to practice safely and effectively - to guide the development of an integrated rule-based knowledge module to support prescribing decisions in asthma. We identified workflows, decision-making factors, factor use, and clinician information requirements. The Unified Modeling Language (UML) and public domain software and knowledge engineering tools (e.g. Protégé) were used, with the Australian GP Data Model as the starting point for expressing information needs. A Web Services service-oriented architecture approach was adopted within which to express functional needs, and clinical processes and workflows were expressed in the Business Process Execution Language (BPEL). This formal analysis and modeling methodology to define and capture the process and logic of prescribing best practice in a reference implementation is fundamental to tackling deficiencies in prescribing decision support software.

Language modeling for automatic speech recognition of inflective languages an applications-oriented approach using lexical data

CERN Document Server

Donaj, Gregor

2017-01-01

This book covers language modeling and automatic speech recognition for inflective languages (e.g. Slavic languages), which represent roughly half of the languages spoken in Europe. These languages do not perform as well as English in speech recognition systems and it is therefore harder to develop an application with sufficient quality for the end user. The authors describe the most important language features for the development of a speech recognition system. This is then presented through the analysis of errors in the system and the development of language models and their inclusion in speech recognition systems, which specifically address the errors that are relevant for targeted applications. The error analysis is done with regard to morphological characteristics of the word in the recognized sentences. The book is oriented towards speech recognition with large vocabularies and continuous and even spontaneous speech. Today such applications work with a rather small number of languages compared to the nu...

Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages

DEFF Research Database (Denmark)

Mendling, Jan; Lassen, Kristian Bisgaard; Zdun, Uwe

2006-01-01

Much recent research work discusses the transformation between different process modelling languages. This work, however, is mainly focussed on specific process modelling languages, and thus the general reusability of the applied transformation concepts is rather limited. In this paper, we aim...... to abstract from concrete transformation strategies by distinguishing two major paradigms for representing control flow in process modelling languages: block-oriented languages (such as BPEL and BPML) and graph-oriented languages (such as EPCs and YAWL). The contribution of this paper are generic strategies...... for transforming from block-oriented process languages to graph-oriented languages, and vice versa....

Translating Message Sequence Charts to other Process Languages using Process

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; van Dongen, Boudewijn F.

2008-01-01

stakeholders. Often such discussions lead to more complete behavioral models described by e.g. Event-driven Process Chains (EPCs), UML activity diagrams, BPMN models, Petri nets, etc. Process mining on the other hand, deals with the problem of constructing complete behavioral models by analyzing event logs...

An amodal shared resource model of language-mediated visual attention

Directory of Open Access Journals (Sweden)

Alastair Charles Smith

2013-08-01

Full Text Available Language-mediated visual attention describes the interaction of two fundamental components of the human cognitive system, language and vision. Within this paper we present an amodal shared resource model of language-mediated visual attention that offers a description of the information and processes involved in this complex multimodal behaviour and a potential explanation for how this ability is acquired. We demonstrate that the model is not only sufficient to account for the experimental effects of Visual World Paradigm studies but also that these effects are emergent properties of the architecture of the model itself, rather than requiring separate information processing channels or modular processing systems. The model provides an explicit description of the connection between the modality-specific input from language and vision and the distribution of eye gaze in language mediated visual attention. The paper concludes by discussing future applications for the model, specifically its potential for investigating the factors driving observed individual differences in language mediated eye gaze.

Improving Language Models in Speech-Based Human-Machine Interaction

Directory of Open Access Journals (Sweden)

Raquel Justo

2013-02-01

Full Text Available This work focuses on speech-based human-machine interaction. Specifically, a Spoken Dialogue System (SDS that could be integrated into a robot is considered. Since Automatic Speech Recognition is one of the most sensitive tasks that must be confronted in such systems, the goal of this work is to improve the results obtained by this specific module. In order to do so, a hierarchical Language Model (LM is considered. Different series of experiments were carried out using the proposed models over different corpora and tasks. The results obtained show that these models provide greater accuracy in the recognition task. Additionally, the influence of the Acoustic Modelling (AM in the improvement percentage of the Language Models has also been explored. Finally the use of hierarchical Language Models in a language understanding task has been successfully employed, as shown in an additional series of experiments.

Improving Language Learning Strategies and Performance of Pre-Service Language Teachers through a CALLA-TBLT Model

Science.gov (United States)

Guapacha Chamorro, Maria Eugenia; Benavidez Paz, Luis Humberto

2017-01-01

This paper reports an action-research study on language learning strategies in tertiary education at a Colombian university. The study aimed at improving the English language performance and language learning strategies use of 33 first-year pre-service language teachers by combining elements from two models: the cognitive academic language…

A conceptual model specification language (CMSL Version 2)

NARCIS (Netherlands)

Wieringa, Roelf J.

1992-01-01

Version 2 of a language (CMSL) to specify conceptual models is defined. CMSL consists of two parts, the value specification language VSL and the object spercification language OSL. There is a formal semantics and an inference system for CMSL but research on this still continues. A method for

Agent based models of language competition: macroscopic descriptions and order–disorder transitions

International Nuclear Information System (INIS)

Vazquez, F; Castelló, X; San Miguel, M

2010-01-01

We investigate the dynamics of two agent based models of language competition. In the first model, each individual can be in one of two possible states, either using language X or language Y, while the second model incorporates a third state XY, representing individuals that use both languages (bilinguals). We analyze the models on complex networks and two-dimensional square lattices by analytical and numerical methods, and show that they exhibit a transition from one-language dominance to language coexistence. We find that the coexistence of languages is more difficult to maintain in the bilinguals model, where the presence of bilinguals facilitates the ultimate dominance of one of the two languages. A stability analysis reveals that the coexistence is more unlikely to happen in poorly connected than in fully connected networks, and that the dominance of just one language is enhanced as the connectivity decreases. This dominance effect is even stronger in a two-dimensional space, where domain coarsening tends to drive the system towards language consensus

Computer modelling as a tool for understanding language evolution

NARCIS (Netherlands)

de Boer, Bart; Gontier, N; VanBendegem, JP; Aerts, D

2006-01-01

This paper describes the uses of computer models in studying the evolution of language. Language is a complex dynamic system that can be studied at the level of the individual and at the level of the population. Much of the dynamics of language evolution and language change occur because of the

Refinamiento del diagrama de clases UML a Oracle®9I en ATOM3

Directory of Open Access Journals (Sweden)

CARLOS M. ZAPATA

2007-01-01

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

Software architecture design patterns in Java

CERN Document Server

Kuchana, Partha

2004-01-01

AN INTRODUCTION TO DESIGN PATTERNSDesign Patterns: Origin and HistoryArchitectural to Software Design PatternsWhat is a Design Pattern?More about Design PatternsAbout This BookUNIFIED MODELING LANGUAGE (UML)UML: A Quick ReferenceClass DiagramsSequence diagramsBASIC PATTERNSInterfaceDescriptionExamplePractice QuestionsAbstract Parent ClassDescriptionExamplePractice QuestionsPrivate MethodsDescriptionExamplePractice QuestionsAccessor MethodsDescriptionAccessor Method NomenclatureExampleDirect Reference versus Accessor MethodsPractice QuestionsConstant Data ManagerDescriptionExamplePractice Quest

Klaim-DB: A Modeling Language for Distributed Database Applications

DEFF Research Database (Denmark)

Wu, Xi; Li, Ximeng; Lluch Lafuente, Alberto

2015-01-01

and manipulation of structured data, with integrity and atomicity considerations. We present the formal semantics of KlaimDB and illustrate the use of the language in a scenario where the sales from different branches of a chain of department stores are aggregated from their local databases. It can be seen......We present the modelling language, Klaim-DB, for distributed database applications. Klaim-DB borrows the distributed nets of the coordination language Klaim but essentially re-incarnates the tuple spaces of Klaim as databases, and provides high-level language abstractions for the access...... that raising the abstraction level and encapsulating integrity checks (concerning the schema of tables, etc.) in the language primitives for database operations benefit the modelling task considerably....

Clone Detection for Graph-Based Model Transformation Languages

DEFF Research Database (Denmark)

Strüber, Daniel; Plöger, Jennifer; Acretoaie, Vlad

2016-01-01

and analytical quality assurance. From these use cases, we derive a set of key requirements. We describe our customization of existing model clone detection techniques allowing us to address these requirements. Finally, we provide an experimental evaluation, indicating that our customization of ConQAT, one......Cloning is a convenient mechanism to enable reuse across and within software artifacts. On the downside, it is also a practice related to significant long-term maintainability impediments, thus generating a need to identify clones in affected artifacts. A large variety of clone detection techniques...... has been proposed for programming and modeling languages; yet no specific ones have emerged for model transformation languages. In this paper, we explore clone detection for graph-based model transformation languages. We introduce potential use cases for such techniques in the context of constructive...

Large-Scale Topic Detection and Language Model Adaptation

National Research Council Canada - National Science Library

Seymore, Kristie

1997-01-01

.... We have developed a language model adaptation scheme that takes apiece of text, chooses the most similar topic clusters from a set of over 5000 elemental topics, and uses topic specific language...

Modeling and Testing Legacy Data Consistency Requirements

DEFF Research Database (Denmark)

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

2003-01-01

An increasing number of data sources are available on the Internet, many of which offer semantically overlapping data, but based on different schemas, or models. While it is often of interest to integrate such data sources, the lack of consistency among them makes this integration difficult....... This paper addresses the need for new techniques that enable the modeling and consistency checking for legacy data sources. Specifically, the paper contributes to the development of a framework that enables consistency testing of data coming from different types of data sources. The vehicle is UML and its...... accompanying XMI. The paper presents techniques for modeling consistency requirements using OCL and other UML modeling elements: it studies how models that describe the required consistencies among instances of legacy models can be designed in standard UML tools that support XMI. The paper also considers...

Melody Track Selection Using Discriminative Language Model

Science.gov (United States)

Wu, Xiao; Li, Ming; Suo, Hongbin; Yan, Yonghong

In this letter we focus on the task of selecting the melody track from a polyphonic MIDI file. Based on the intuition that music and language are similar in many aspects, we solve the selection problem by introducing an n-gram language model to learn the melody co-occurrence patterns in a statistical manner and determine the melodic degree of a given MIDI track. Furthermore, we propose the idea of using background model and posterior probability criteria to make modeling more discriminative. In the evaluation, the achieved 81.6% correct rate indicates the feasibility of our approach.

MOCQL: A Declarative Language for Ad-Hoc Model Querying

DEFF Research Database (Denmark)

Störrle, Harald

2013-01-01

Language (MOCQL), an experimental declarative textual language to express queries (and constraints) on models. We introduce MOCQL by examples and its grammar, evaluate its usability by means of controlled experiments, and find that modelers perform better and experience less cognitive load when working...

Analisis dan Perancangan Website Pembelajaran Bahasa Secara Mandiri di Self Access Language Learning Center Bina Nusantara

Directory of Open Access Journals (Sweden)

Hady Pranoto

2010-12-01

Full Text Available The purpose of this research is to build an independent language learning applications using Internet technologies to facilitate the user in learning the language. The research method used is by analyzing the ongoing learning process; analyze the constraints and limitations of existing facilities and designing new processes to address existing constraints and limitations. In designing a language self learning website authors examine the existing through observation, interviews and questionnaires to the stakeholders who use the system. Observations also observed duration of the user in conducting learning activities, and provided space to accommodate the transaction. After analysis of the current system, author designing the new system using object-oriented design methods and using analysis tools UML. After completed the system design done system built using ASP.NET programming language. The Conclusions is an independent language learning applications using Internet technology giving easy way to facilitate the learning process in terms of accesing time and place, and the application also provide facilities for teacher to monitoring student self learning. 

Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages

DEFF Research Database (Denmark)

Mendling, Jan; Lassen, Kristian Bisgaard; Zdun, Uwe

to abstract from concrete transformationstrategies by distinguishing two major paradigms for process modelling languages:block-oriented languages (such as BPEL and BPML) and graph-oriented languages(such as EPCs and YAWL). The contribution of this paper are generic strategiesfor transforming from block......Much recent research work discusses the transformation between differentprocess modelling languages. This work, however, is mainly focussed on specific processmodelling languages, and thus the general reusability of the applied transformationconcepts is rather limited. In this paper, we aim......-oriented process languages to graph-oriented languages,and vice versa. We also present two case studies of applying our strategies....

Complexity metrics for workflow nets

NARCIS (Netherlands)

Lassen, K.B.; Aalst, van der W.M.P.

2009-01-01

Process modeling languages such as EPCs, BPMN, flow charts, UML activity diagrams, Petri nets, etc., are used to model business processes and to configure process-aware information systems. It is known that users have problems understanding these diagrams. In fact, even process engineers and system

Complexity Metrics for Workflow Nets

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; van der Aalst, Wil M.P.

2009-01-01

Process modeling languages such as EPCs, BPMN, flow charts, UML activity diagrams, Petri nets, etc.\\ are used to model business processes and to configure process-aware information systems. It is known that users have problems understanding these diagrams. In fact, even process engineers and system...

Semantic Models of Sentences with Verbs of Motion in Standard Language and in Scientific Language Used in Biology

Directory of Open Access Journals (Sweden)

Vita Banionytė

2016-06-01

Full Text Available The semantic models of sentences with verbs of motion in German standard language and in scientific language used in biology are analyzed in the article. In its theoretic part it is affirmed that the article is based on the semantic theory of the sentence. This theory, in its turn, is grounded on the correlation of semantic predicative classes and semantic roles. The combination of semantic predicative classes and semantic roles is expressed by the main semantic formula – proposition. In its practical part the differences between the semantic models of standard and scientific language used in biology are explained. While modelling sentences with verbs of motion, two groups of semantic models of sentences are singled out: that of action (Handlung and process (Vorgang. The analysis shows that the semantic models of sentences with semantic action predicatives dominate in the text of standard language while the semantic models of sentences with semantic process predicatives dominate in the texts of scientific language used in biology. The differences how the doer and direction are expressed in standard and in scientific language are clearly seen and the semantic cases (Agens, Patiens, Direktiv1 help to determine that. It is observed that in scientific texts of high level of specialization (biology science in contrast to popular scientific literature models of sentences with moving verbs are usually seldom found. They are substituted by denominative constructions. In conclusions it is shown that this analysis can be important in methodics, especially planning material for teaching professional-scientific language.

Modeling the Emergence of Contact Languages

Science.gov (United States)

Tria, Francesca; Servedio, Vito D.P.; Mufwene, Salikoko S.; Loreto, Vittorio

2015-01-01

Contact languages are born out of the non-trivial interaction of two (or more) parent languages. Nowadays, the enhanced possibility of mobility and communication allows for a strong mixing of languages and cultures, thus raising the issue of whether there are any pure languages or cultures that are unaffected by contact with others. As with bacteria or viruses in biological evolution, the evolution of languages is marked by horizontal transmission; but to date no reliable quantitative tools to investigate these phenomena have been available. An interesting and well documented example of contact language is the emergence of creole languages, which originated in the contacts of European colonists and slaves during the 17th and 18th centuries in exogenous plantation colonies of especially the Atlantic and Indian Ocean. Here, we focus on the emergence of creole languages to demonstrate a dynamical process that mimics the process of creole formation in American and Caribbean plantation ecologies. Inspired by the Naming Game (NG), our modeling scheme incorporates demographic information about the colonial population in the framework of a non-trivial interaction network including three populations: Europeans, Mulattos/Creoles, and Bozal slaves. We show how this sole information makes it possible to discriminate territories that produced modern creoles from those that did not, with a surprising accuracy. The generality of our approach provides valuable insights for further studies on the emergence of languages in contact ecologies as well as to test specific hypotheses about the peopling and the population structures of the relevant territories. We submit that these tools could be relevant to addressing problems related to contact phenomena in many cultural domains: e.g., emergence of dialects, language competition and hybridization, globalization phenomena. PMID:25875371

Graphical User Interface for an Observing Control System for the UK Infrared Telescope

Science.gov (United States)

Tan, M.; Bridger, A.; Wright, G. S.; Adamson, A. J.; Currie, M. J.; Economou, F.

A Graphical user interface for the observing control system of UK Infrared Telescope has been developed as a part of the ORAC (Observatory Reduction and Acquisition Control) Project. We analyzed and designed the system using the Unified Modelling Language (UML) with the CASE tool Rational Rose 98. The system has been implemented in a modular way with Java packages using Swing and RMI. This system is component-based with pluggability. Object orientation concepts and UML notations have been applied throughout the development.

Phase transition in a sexual age-structured model of learning foreign languages

OpenAIRE

Schwammle, Veit

2005-01-01

The understanding of language competition helps us to predict extinction and survival of languages spoken by minorities. A simple agent-based model of a sexual population, based on the Penna model, is built in order to find out under which circumstances one language dominates other ones. This model considers that only young people learn foreign languages. The simulations show a first order phase transition where the ratio between the number of speakers of different languages is the order para...

MODEL NATIVIS LANGUAGE ACQUISITION DEVICE (SEBUAH TEORI PEMEROLEHAN BAHASA

Directory of Open Access Journals (Sweden)

Mamluatul Hasanah

2011-10-01

Full Text Available The ability of using mother tongue has been possessed by every child. They can master the language without getting specific education. In a short time a child has mastered the language to communicate with others. There are many theories of language acquisition. One of them that still exists is The Native Model of Language Acquisition (LAD. This theory was pioneered by Noam Chomsky. In this language naturally. This ability develops automatically when the language is used is Language Acquisition Device (LAD. LAD constitutes a hypothesis of feature of grammatical rules used progressively by a child in accordance with his psychological development.

A conceptual data model and modelling language for fields and agents

Science.gov (United States)

de Bakker, Merijn; de Jong, Kor; Schmitz, Oliver; Karssenberg, Derek

2016-04-01

Modelling is essential in order to understand environmental systems. Environmental systems are heterogeneous because they consist of fields and agents. Fields have a value defined everywhere at all times, for example surface elevation and temperature. Agents are bounded in space and time and have a value only within their bounds, for example biomass of a tree crown or the speed of a car. Many phenomena have properties of both fields and agents. Although many systems contain both fields and agents and integration of these concepts would be required for modelling, existing modelling frameworks concentrate on either agent-based or field-based modelling and are often low-level programming frameworks. A concept is lacking that integrates fields and agents in a way that is easy to use for modelers who are not software engineers. To address this issue, we develop a conceptual data model that represents fields and agents uniformly. We then show how the data model can be used in a high-level modelling language. The data model represents fields and agents in space-time. Also relations and networks can be represented using the same concepts. Using the conceptual data model we can represent static and mobile agents that may have spatial and temporal variation within their extent. The concepts we use are phenomenon, property set, item, property, domain and value. The phenomenon is the thing that is modelled, which can be any real world thing, for example trees. A phenomenon usually consists of several items, e.g. single trees. The domain is the spatiotemporal location and/or extent for which the items in the phenomenon are defined. Multiple different domains can coexist for a given phenomenon. For example a domain describing the extent of the trees and a domain describing the stem locations. The same goes for the property, which is an attribute of the thing that is being modeled. A property has a value, which is possibly discretized, for example the biomass over the tree crown

Imitation, Sign Language Skill and the Developmental Ease of Language Understanding (D-ELU) Model.

Science.gov (United States)

Holmer, Emil; Heimann, Mikael; Rudner, Mary

2016-01-01

Imitation and language processing are closely connected. According to the Ease of Language Understanding (ELU) model (Rönnberg et al., 2013) pre-existing mental representation of lexical items facilitates language understanding. Thus, imitation of manual gestures is likely to be enhanced by experience of sign language. We tested this by eliciting imitation of manual gestures from deaf and hard-of-hearing (DHH) signing and hearing non-signing children at a similar level of language and cognitive development. We predicted that the DHH signing children would be better at imitating gestures lexicalized in their own sign language (Swedish Sign Language, SSL) than unfamiliar British Sign Language (BSL) signs, and that both groups would be better at imitating lexical signs (SSL and BSL) than non-signs. We also predicted that the hearing non-signing children would perform worse than DHH signing children with all types of gestures the first time (T1) we elicited imitation, but that the performance gap between groups would be reduced when imitation was elicited a second time (T2). Finally, we predicted that imitation performance on both occasions would be associated with linguistic skills, especially in the manual modality. A split-plot repeated measures ANOVA demonstrated that DHH signers imitated manual gestures with greater precision than non-signing children when imitation was elicited the second but not the first time. Manual gestures were easier to imitate for both groups when they were lexicalized than when they were not; but there was no difference in performance between familiar and unfamiliar gestures. For both groups, language skills at T1 predicted imitation at T2. Specifically, for DHH children, word reading skills, comprehension and phonological awareness of sign language predicted imitation at T2. For the hearing participants, language comprehension predicted imitation at T2, even after the effects of working memory capacity and motor skills were taken into

Imitation, sign language skill and the Developmental Ease of Language Understanding (D-ELU model

Directory of Open Access Journals (Sweden)

Emil eHolmer

2016-02-01

Full Text Available Imitation and language processing are closely connected. According to the Ease of Language Understanding (ELU model (Rönnberg et al., 2013 pre-existing mental representation of lexical items facilitates language understanding. Thus, imitation of manual gestures is likely to be enhanced by experience of sign language. We tested this by eliciting imitation of manual gestures from deaf and hard-of-hearing (DHH signing and hearing non-signing children at a similar level of language and cognitive development. We predicted that the DHH signing children would be better at imitating gestures lexicalized in their own sign language (Swedish Sign Language, SSL than unfamiliar British Sign Language (BSL signs, and that both groups would be better at imitating lexical signs (SSL and BSL than non-signs. We also predicted that the hearing non-signing children would perform worse than DHH signing children with all types of gestures the first time (T1 we elicited imitation, but that the performance gap between groups would be reduced when imitation was elicited a second time (T2. Finally, we predicted that imitation performance on both occasions would be associated with linguistic skills, especially in the manual modality. A split-plot repeated measures ANOVA demonstrated that DHH signers imitated manual gestures with greater precision than non-signing children when imitation was elicited the second but not the first time. Manual gestures were easier to imitate for both groups when they were lexicalized than when they were not; but there was no difference in performance between familiar and unfamiliar gestures. For both groups, language skills at the T1 predicted imitation at T2. Specifically, for DHH children, word reading skills, comprehension and phonological awareness of sign language predicted imitation at T2. For the hearing participants, language comprehension predicted imitation at T2, even after the effects of working memory capacity and motor skills

Language and modeling word problems in mathematics among bilinguals.

Science.gov (United States)

Bernardo, Allan B I

2005-09-01

The study was conducted to determine whether the language of math word problems would affect how Filipino-English bilingual problem solvers would model the structure of these word problems. Modeling the problem structure was studied using the problem-completion paradigm, which involves presenting problems without the question. The paradigm assumes that problem solvers can infer the appropriate question of a word problem if they correctly grasp its problem structure. Arithmetic word problems in Filipino and English were given to bilingual students, some of whom had Filipino as a first language and others who had English as a first language. The problem-completion data and solution data showed similar results. The language of the problem had no effect on problem-structure modeling. The results were discussed in relation to a more circumscribed view about the role of language in word problem solving among bilinguals. In particular, the results of the present study showed that linguistic factors do not affect the more mathematically abstract components of word problem solving, although they may affect the other components such as those related to reading comprehension and understanding.

Linguistic steganography on Twitter: hierarchical language modeling with manual interaction

Science.gov (United States)

Wilson, Alex; Blunsom, Phil; Ker, Andrew D.

2014-02-01

This work proposes a natural language stegosystem for Twitter, modifying tweets as they are written to hide 4 bits of payload per tweet, which is a greater payload than previous systems have achieved. The system, CoverTweet, includes novel components, as well as some already developed in the literature. We believe that the task of transforming covers during embedding is equivalent to unilingual machine translation (paraphrasing), and we use this equivalence to de ne a distortion measure based on statistical machine translation methods. The system incorporates this measure of distortion to rank possible tweet paraphrases, using a hierarchical language model; we use human interaction as a second distortion measure to pick the best. The hierarchical language model is designed to model the speci c language of the covers, which in this setting is the language of the Twitter user who is embedding. This is a change from previous work, where general-purpose language models have been used. We evaluate our system by testing the output against human judges, and show that humans are unable to distinguish stego tweets from cover tweets any better than random guessing.

Parents' and speech and language therapists' explanatory models of language development, language delay and intervention.

Science.gov (United States)

Marshall, Julie; Goldbart, Juliet; Phillips, Julie

2007-01-01

Parental and speech and language therapist (SLT) explanatory models may affect engagement with speech and language therapy, but there has been dearth of research in this area. This study investigated parents' and SLTs' views about language development, delay and intervention in pre-school children with language delay. The aims were to describe, explore and explain the thoughts, understandings, perceptions, beliefs, knowledge and feelings held by: a group of parents from East Manchester, UK, whose pre-school children had been referred with suspected language delay; and SLTs working in the same area, in relation to language development, language delay and language intervention. A total of 24 unstructured interviews were carried out: 15 with parents whose children had been referred for speech and language therapy and nine with SLTs who worked with pre-school children. The interviews were transcribed verbatim and coded using Atlas/ti. The data were analysed, subjected to respondent validation, and grounded theories and principled descriptions developed to explain and describe parents' and SLTs' beliefs and views. Parent and SLT data are presented separately. There are commonalities and differences between the parents and the SLTs. Both groups believe that language development and delay are influenced by both external and internal factors. Parents give more weight to the role of gender, imitation and personality and value television and videos, whereas the SLTs value the 'right environment' and listening skills and consider that health/disability and socio-economic factors are important. Parents see themselves as experts on their child and have varied ideas about the role of SLTs, which do not always accord with SLTs' views. The parents and SLTs differ in their views of the roles of imitation and play in intervention. Parents typically try strategies before seeing an SLT. These data suggest that parents' ideas vary and that, although parents and SLTs may share some

Computer-Aided Transformation of PDE Models: Languages, Representations, and a Calculus of Operations

Science.gov (United States)

2016-01-05

Computer-aided transformation of PDE models: languages, representations, and a calculus of operations A domain-specific embedded language called...languages, representations, and a calculus of operations Report Title A domain-specific embedded language called ibvp was developed to model initial...Computer-aided transformation of PDE models: languages, representations, and a calculus of operations 1 Vision and background Physical and engineered systems

A Software Hub for High Assurance Model-Driven Development and Analysis

Science.gov (United States)

2007-01-23

verification of UML models in TLPVS. In Thomas Baar, Alfred Strohmeier, Ana Moreira, and Stephen J. Mellor, editors, UML 2004 - The Unified Modeling...volume 3785 of Lecture Notes in Computer Science, pages 52–65, Manchester, UK, Nov 2005. Springer. [GH04] Günter Graw and Peter Herrmann. Transformation

Microscopic Abrams-Strogatz model of language competition

OpenAIRE

Stauffer, Dietrich; Castello, Xavier; Eguiluz, Victor M.; Miguel, Maxi San

2006-01-01

The differential equation of Abrams and Strogatz for the competition between two languages is compared with agent based Monte Carlo simulations for fully connected networks as well as for lattices in one, two and three dimensions, with up to 10^9 agents. In the case of socially equivalent languages, agent-based models and a mean field approximation give grossly different results.

Building CMU Sphinx language model for the Ho

Directory of Open Access Journals (Sweden)

Mohamed Yassine El Amrani

2016-11-01

Full Text Available This paper investigates the use of a simplified set of Arabic phonemes in an Arabic Speech Recognition system applied to Holy Quran. The CMU Sphinx 4 was used to train and evaluate a language model for the Hafs narration of the Holy Quran. The building of the language model was done using a simplified list of Arabic phonemes instead of the mainly used Romanized set in order to simplify the process of generating the language model. The experiments resulted in very low Word Error Rate (WER reaching 1.5% while using a very small set of audio files during the training phase when using all the audio data for both the training and the testing phases. However, when using 90% and 80% of the training data, the WER obtained was respectively 50.0% and 55.7%.

English language-in-education: A lesson planning model for subject ...

African Journals Online (AJOL)

English language-in-education: A lesson planning model for subject teachers. ... lack of critical academic language skills in English as the Language of Learning and ... process of lesson design and the 'forward' process of lesson presentation.

A chemical specialty semantic network for the Unified Medical Language System

Directory of Open Access Journals (Sweden)

Morrey C

2012-05-01

Full Text Available Abstract Background Terms representing chemical concepts found the Unified Medical Language System (UMLS are used to derive an expanded semantic network with mutually exclusive semantic types. The UMLS Semantic Network (SN is composed of a collection of broad categories called semantic types (STs that are assigned to concepts. Within the UMLS’s coverage of the chemical domain, we find a great deal of concepts being assigned more than one ST. This leads to the situation where the extent of a given ST may contain concepts elaborating variegated semantics. A methodology for expanding the chemical subhierarchy of the SN into a finer-grained categorization of mutually exclusive types with semantically uniform extents is presented. We call this network a Chemical Specialty Semantic Network (CSSN. A CSSN is derived automatically from the existing chemical STs and their assignments. The methodology incorporates a threshold value governing the minimum size of a type’s extent needed for inclusion in the CSSN. Thus, different CSSNs can be created by choosing different threshold values based on varying requirements. Results A complete CSSN is derived using a threshold value of 300 and having 68 STs. It is used effectively to provide high-level categorizations for a random sample of compounds from the “Chemical Entities of Biological Interest” (ChEBI ontology. The effect on the size of the CSSN using various threshold parameter values between one and 500 is shown. Conclusions The methodology has several potential applications, including its use to derive a pre-coordinated guide for ST assignments to new UMLS chemical concepts, as a tool for auditing existing concepts, inter-terminology mapping, and to serve as an upper-level network for ChEBI.

Language-Independent and Language-Specific Aspects of Early Literacy: An Evaluation of the Common Underlying Proficiency Model

Science.gov (United States)

Goodrich, J. Marc; Lonigan, Christopher J.

2017-01-01

According to the common underlying proficiency model (Cummins, 1981), as children acquire academic knowledge and skills in their first language, they also acquire language-independent information about those skills that can be applied when learning a second language. The purpose of this study was to evaluate the relevance of the common underlying…

Translating the foundational model of anatomy into french using knowledge-based and lexical methods

Directory of Open Access Journals (Sweden)

Merabti Tayeb

2011-10-01

Full Text Available Abstract Background The Foundational Model of Anatomy (FMA is the reference ontology regarding human anatomy. FMA vocabulary was integrated into the Health Multi Terminological Portal (HMTP developed by CISMeF based on the CISMeF Information System which also includes 26 other terminologies and controlled vocabularies, mainly in French. However, FMA is primarily in English. In this context, the translation of FMA English terms into French could also be useful for searching and indexing French anatomy resources. Various studies have investigated automatic methods to assist the translation of medical terminologies or create multilingual medical vocabularies. The goal of this study was to facilitate the translation of FMA vocabulary into French. Methods We compare two types of approaches to translate the FMA terms into French. The first one is UMLS-based on the conceptual information of the UMLS metathesaurus. The second method is lexically-based on several Natural Language Processing (NLP tools. Results The UMLS-based approach produced a translation of 3,661 FMA terms into French whereas the lexical approach produced a translation of 3,129 FMA terms into French. A qualitative evaluation was made on 100 FMA terms translated by each method. For the UMLS-based approach, among the 100 translations, 52% were manually rated as "very good" and only 7% translations as "bad". For the lexical approach, among the 100 translations, 47% were rated as "very good" and 20% translations as "bad". Conclusions Overall, a low rate of translations were demonstrated by the two methods. The two approaches permitted us to semi-automatically translate 3,776 FMA terms from English into French, this was to added to the existing 10,844 French FMA terms in the HMTP (4,436 FMA French terms and 6,408 FMA terms manually translated.

Phonological deficits in specific language impairment and developmental dyslexia: towards a multidimensional model

Science.gov (United States)

Ramus, Franck; Marshall, Chloe R.; Rosen, Stuart

2013-01-01

An on-going debate surrounds the relationship between specific language impairment and developmental dyslexia, in particular with respect to their phonological abilities. Are these distinct disorders? To what extent do they overlap? Which cognitive and linguistic profiles correspond to specific language impairment, dyslexia and comorbid cases? At least three different models have been proposed: the severity model, the additional deficit model and the component model. We address this issue by comparing children with specific language impairment only, those with dyslexia-only, those with specific language impairment and dyslexia and those with no impairment, using a broad test battery of language skills. We find that specific language impairment and dyslexia do not always co-occur, and that some children with specific language impairment do not have a phonological deficit. Using factor analysis, we find that language abilities across the four groups of children have at least three independent sources of variance: one for non-phonological language skills and two for distinct sets of phonological abilities (which we term phonological skills versus phonological representations). Furthermore, children with specific language impairment and dyslexia show partly distinct profiles of phonological deficit along these two dimensions. We conclude that a multiple-component model of language abilities best explains the relationship between specific language impairment and dyslexia and the different profiles of impairment that are observed. PMID:23413264

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

Science.gov (United States)

Sien, Ven Yu

2011-01-01

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

Modelling Participatory Geographic Information System for Customary Land Conflict Resolution

Science.gov (United States)

Gyamera, E. A.; Arko-Adjei, A.; Duncan, E. E.; Kuma, J. S. Y.

2017-11-01

Since land contributes to about 73 % of most countries Gross Domestic Product (GDP), attention on land rights have tremendously increased globally. Conflicts over land have therefore become part of the major problems associated with land administration. However, the conventional mechanisms for land conflict resolution do not provide satisfactory result to disputants due to various factors. This study sought to develop a Framework of using Participatory Geographic Information System (PGIS) for customary land conflict resolution. The framework was modelled using Unified Modelling Language (UML). The PGIS framework, called butterfly model, consists of three units namely, Social Unit (SU), Technical Unit (TU) and Decision Making Unit (DMU). The name butterfly model for land conflict resolution was adopted for the framework based on its features and properties. The framework has therefore been recommended to be adopted for land conflict resolution in customary areas.

Business Process Modelling is an Essential Part of a Requirements Analysis. Contribution of EFMI Primary Care Working Group.

Science.gov (United States)

de Lusignan, S; Krause, P; Michalakidis, G; Vicente, M Tristan; Thompson, S; McGilchrist, M; Sullivan, F; van Royen, P; Agreus, L; Desombre, T; Taweel, A; Delaney, B

2012-01-01

To perform a requirements analysis of the barriers to conducting research linking of primary care, genetic and cancer data. We extended our initial data-centric approach to include socio-cultural and business requirements. We created reference models of core data requirements common to most studies using unified modelling language (UML), dataflow diagrams (DFD) and business process modelling notation (BPMN). We conducted a stakeholder analysis and constructed DFD and UML diagrams for use cases based on simulated research studies. We used research output as a sensitivity analysis. Differences between the reference model and use cases identified study specific data requirements. The stakeholder analysis identified: tensions, changes in specification, some indifference from data providers and enthusiastic informaticians urging inclusion of socio-cultural context. We identified requirements to collect information at three levels: micro- data items, which need to be semantically interoperable, meso- the medical record and data extraction, and macro- the health system and socio-cultural issues. BPMN clarified complex business requirements among data providers and vendors; and additional geographical requirements for patients to be represented in both linked datasets. High quality research output was the norm for most repositories. Reference models provide high-level schemata of the core data requirements. However, business requirements' modelling identifies stakeholder issues and identifies what needs to be addressed to enable participation.

Innovations in Language Learning: The Oregon Chinese Flagship Model

Directory of Open Access Journals (Sweden)

Carl Falsgraf

2007-01-01

Full Text Available Language learning in the United States suffers from a culture of low expectations. Lacking bilingual role models around them, students often view language class as, at best, a way to become a tourist in a country with a language different from their own. Monolingual policymakers assume that learning another language fluently is impossible and inconsequential, since they themselves are capable professionals with one language. Educators, discouraged by years of inadequate funding and support, have come to hope for nothing more than incremental improvements. The National Flagship Language Program (NFLP aims to break this cycle of low expectations and low results by providing funding to institutions willing to accept the challenge of producing Superior (Level 3 language users through a radical re-engineering of the language learning enterprise. The need for fundamental change in language education is longstanding, but the events of September 11 brought the importance of this need to the awareness of national policymakers. Due to the emphasis of critical languages, responsibility for carrying out this fundamental re-examination of language learning has fallen to those engaged in the less commonly taught languages. 1

Methods and Technologies of XML Data Modeling for IP Mode Intelligent Measuring and Controlling System

International Nuclear Information System (INIS)

Liu, G X; Hong, X B; Liu, J G

2006-01-01

This paper presents the IP mode intelligent measuring and controlling system (IMIMCS). Based on object-oriented modeling technology of UML and XML Schema, the innovative methods and technologies of some key problems for XML data modeling in the IMIMCS were especially discussed, including refinement for systemic business by means of use-case diagram of UML, the confirmation of the content of XML data model and logic relationship of the objects of XML Schema with the aid of class diagram of UML, the mapping rules from the UML object model to XML Schema. Finally, the application of the IMIMCS based on XML for a modern greenhouse was presented. The results show that the modeling methods of the measuring and controlling data in the IMIMCS involving the multi-layer structure and many operating systems process strong reliability and flexibility, guarantee uniformity of complex XML documents and meet the requirement of data communication across platform

OBJECT ORIENTED MODELLING, A MODELLING METHOD OF AN ECONOMIC ORGANIZATION ACTIVITY

Directory of Open Access Journals (Sweden)

TĂNĂSESCU ANA

2014-05-01

Full Text Available Now, most economic organizations use different information systems types in order to facilitate their activity. There are different methodologies, methods and techniques that can be used to design information systems. In this paper, I propose to present the advantages of using the object oriented modelling at the information system design of an economic organization. Thus, I have modelled the activity of a photo studio, using Visual Paradigm for UML as a modelling tool. For this purpose, I have identified the use cases for the analyzed system and I have presented the use case diagram. I have, also, realized the system static and dynamic modelling, through the most known UML diagrams.

Two-Language, Two-Paradigm Introductory Computing Curriculum Model and its Implementation

OpenAIRE

Zanev, Vladimir; Radenski, Atanas

2011-01-01

This paper analyzes difficulties with the introduction of object-oriented concepts in introductory computing education and then proposes a two-language, two-paradigm curriculum model that alleviates such difficulties. Our two-language, two-paradigm curriculum model begins with teaching imperative programming using Python programming language, continues with teaching object-oriented computing using Java, and concludes with teaching object-oriented data structures with Java.

Translating Message Sequence Charts to other Process Languages using Process Mining

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; van Dongen, Boudewijn; van der Aalst, Wil M. P.

stakeholders. Often such discussions lead to more complete behavioral models described by e.g.\\ Event-driven Process Chains (EPCs), UML activity diagrams, BPMN models, Petri nets, etc. The contribution of this paper is to present a method that uses process mining to translate a set of MSCs that represent...

On Combining Language Models: Oracle Approach

National Research Council Canada - National Science Library

Hacioglu, Kadri; Ward, Wayne

2001-01-01

In this paper, we address the of combining several language models (LMs). We find that simple interpolation methods, like log-linear and linear interpolation, improve the performance but fall short of the performance of an oracle...

Enhancing English Language Planning Strategy Using a WebQuest Model

Science.gov (United States)

Al-Sayed, Rania Kamal Muhammad; Abdel-Haq, Eman Muhammad; El-Deeb, Mervat Abou-Bakr; Ali, Mahsoub Abdel-Sadeq

2016-01-01

The present study aimed at developing English language planning strategy of second year distinguished governmental language preparatory school pupils using the a WebQuest model. Fifty participants from second year at Hassan Abu-Bakr Distinguished Governmental Language School at Al-Qanater Al-Khairia (Qalubia Governorate) were randomly assigned…

Bayesian molecular design with a chemical language model

Science.gov (United States)

Ikebata, Hisaki; Hongo, Kenta; Isomura, Tetsu; Maezono, Ryo; Yoshida, Ryo

2017-04-01

The aim of computational molecular design is the identification of promising hypothetical molecules with a predefined set of desired properties. We address the issue of accelerating the material discovery with state-of-the-art machine learning techniques. The method involves two different types of prediction; the forward and backward predictions. The objective of the forward prediction is to create a set of machine learning models on various properties of a given molecule. Inverting the trained forward models through Bayes' law, we derive a posterior distribution for the backward prediction, which is conditioned by a desired property requirement. Exploring high-probability regions of the posterior with a sequential Monte Carlo technique, molecules that exhibit the desired properties can computationally be created. One major difficulty in the computational creation of molecules is the exclusion of the occurrence of chemically unfavorable structures. To circumvent this issue, we derive a chemical language model that acquires commonly occurring patterns of chemical fragments through natural language processing of ASCII strings of existing compounds, which follow the SMILES chemical language notation. In the backward prediction, the trained language model is used to refine chemical strings such that the properties of the resulting structures fall within the desired property region while chemically unfavorable structures are successfully removed. The present method is demonstrated through the design of small organic molecules with the property requirements on HOMO-LUMO gap and internal energy. The R package iqspr is available at the CRAN repository.

Performance evaluation of unified medical language system®'s synonyms expansion to query PubMed

Directory of Open Access Journals (Sweden)

Griffon Nicolas

2012-02-01

Full Text Available Abstract Background PubMed is the main access to medical literature on the Internet. In order to enhance the performance of its information retrieval tools, primarily non-indexed citations, the authors propose a method: expanding users' queries using Unified Medical Language System' (UMLS synonyms i.e. all the terms gathered under one unique Concept Unique Identifier. Methods This method was evaluated using queries constructed to emphasize the differences between this new method and the current PubMed automatic term mapping. Four experts assessed citation relevance. Results Using UMLS, we were able to retrieve new citations in 45.5% of queries, which implies a small increase in recall. The new strategy led to a heterogeneous 23.7% mean increase in non-indexed citation retrieved. Of these, 82% have been published less than 4 months earlier. The overall mean precision was 48.4% but differed according to the evaluators, ranging from 36.7% to 88.1% (Inter rater agreement was poor: kappa = 0.34. Conclusions This study highlights the need for specific search tools for each type of user and use-cases. The proposed strategy may be useful to retrieve recent scientific advancement.

A new model for competition between many languages

OpenAIRE

Tuncay, Caglar

2006-01-01

Time evolutions of number of cities, population of cities, world population, and size distribution of present languages are studied in terms of a new model, where population of each city increases by a random rate and decreases by a random division. World population and size distribution of languages come out in good agreement with the available empirical data.

User oriented definition of product requirements within mechatronic engineering

OpenAIRE

Gerst, M.;Gierhardt, H.;Braun, T.

2017-01-01

In this paper the application of a modeling technique from software engineering to mechatronic engineering is presented. The Unified Modeling Language (UML) is used to model users´ needs and relate them to product requirements. Within a bus seat development project a Use Case Model and an Analyses Model were elaborated. Advantages and Disadvantages of the presented procedure are shown.

Advanced language modeling approaches, case study: Expert search

NARCIS (Netherlands)

Hiemstra, Djoerd

2008-01-01

This tutorial gives a clear and detailed overview of advanced language modeling approaches and tools, including the use of document priors, translation models, relevance models, parsimonious models and expectation maximization training. Expert search will be used as a case study to explain the

TumorML: Concept and requirements of an in silico cancer modelling markup language.

Science.gov (United States)

Johnson, David; Cooper, Jonathan; McKeever, Steve

2011-01-01

This paper describes the initial groundwork carried out as part of the European Commission funded Transatlantic Tumor Model Repositories project, to develop a new markup language for computational cancer modelling, TumorML. In this paper we describe the motivations for such a language, arguing that current state-of-the-art biomodelling languages are not suited to the cancer modelling domain. We go on to describe the work that needs to be done to develop TumorML, the conceptual design, and a description of what existing markup languages will be used to compose the language specification.

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

Directory of Open Access Journals (Sweden)

Pushpa Kumarapeli

2008-01-01

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

A universal model for languages and cities, and their lifetimes

OpenAIRE

Tuncay, Caglar

2007-01-01

Present human languages display slightly asymmetric log-normal (Gauss) distribution for size [1-3], whereas present cities follow power law (Pareto-Zipf law)[4]. Our model considers the competition between languages and that between cities in terms of growing (multiplicative noise process)[5] and fragmentation [6]; where, relevant parameters are (naturally) different for languages and cities. We consider lifetime distribution for old and living languages and that for old and living cities. We...

Andragogical Model in Language Training of Mining Specialists

Science.gov (United States)

Bondareva, Evgeniya; Chistyakova, Galina; Kleshevskyi, Yury; Sergeev, Sergey; Stepanov, Aleksey

2017-11-01

Nowadays foreign language competence is one of the main professional skills of mining engineers. Modern competitive conditions require the ability for meeting production challenges in a foreign language from specialists and managers of mining enterprises. This is the reason of high demand on foreign language training/retraining courses. Language training of adult learners fundamentally differs from children and adolescent education. The article describes the features of andragogical learning model. The authors conclude that distance learning is the most productive education form having a number of obvious advantages over traditional (in-class) one. Interactive learning method that involves active engagement of adult trainees appears to be of the greatest interest due to introduction of modern information and communication technologies for distance learning.

Auditing hierarchical cycles to locate other inconsistencies in the UMLS.

Science.gov (United States)

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

2011-01-01

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

Embedding object-oriented design in system engineering

NARCIS (Netherlands)

Wieringa, Roelf J.; Kilov, H.; Rumpe, B.; Simmonds, I.

1999-01-01

The Unified Modeling Language (UML) is a collection of techniques intended to document design decisions about software. This contrasts with systems engineering approaches such as for example Statemate and the Yourdon Systems Method (YSM), in which the design of an entire system consisting of

Conceptual language models for domain-specific retrieval

NARCIS (Netherlands)

Meij, E.; Trieschnigg, D.; de Rijke, M.; Kraaij, W.

2010-01-01

Over the years, various meta-languages have been used to manually enrich documents with conceptual knowledge of some kind. Examples include keyword assignment to citations or, more recently, tags to websites. In this paper we propose generative concept models as an extension to query modeling within

Use cases and DEMO: aligning functional features of ICT-infrastructure to business processes.

Science.gov (United States)

Maij, E; Toussaint, P J; Kalshoven, M; Poerschke, M; Zwetsloot-Schonk, J H M

2002-11-12

The proper alignment of functional features of the ICT-infrastructure to business processes is a major challenge in health care organisations. This alignment takes into account that the organisational structure not only shapes the ICT-infrastructure, but that the inverse also holds. To solve the alignment problem, relevant features of the ICT-infrastructure should be derived from the organisational structure and the influence of this envisaged ICT to the work practices should be pointed out. The objective of our study was to develop a method to solve this alignment problem. In a previous study we demonstrated the appropriateness of the business process modelling methodology Dynamic Essential Modelling of Organizations (DEMO). A proven and widely used modelling language for expressing functional features is Unified Modelling Language (UML). In the context of a specific case study at the University Medical Centre Utrecht in the Netherlands we investigated if the combined use of DEMO and UML could solve the alignment problem. The study demonstrated that the DEMO models were suited as a starting point in deriving system functionality by using the use case concept of UML. Further, the case study demonstrated that in using this approach for the alignment problem, insight is gained into the mutual influence of ICT-infrastructure and organisation structure: (a) specification of independent, re-usable components-as a set of related functionalities-is realised, and (b) a helpful representation of the current and future work practice is provided for in relation to the envisaged ICT support.

Cross-Lingual Lexical Triggers in Statistical Language Modeling

National Research Council Canada - National Science Library

Kim, Woosung; Khudanpur, Sanjeev

2003-01-01

.... We achieve this through an extension of the method of lexical triggers to the cross-language problem, and by developing a likelihoodbased adaptation scheme for combining a trigger model with an N-gram model...

Executable Design Models for a Pervasive Healthcare Middleware System

DEFF Research Database (Denmark)

Jørgensen, Jens Bæk; Christensen, Søren

2002-01-01

 UML is applied in the design of a pervasive healthcare middleware system for the hospitals in Aarhus County, Denmark. It works well for the modelling of static aspects of the system, but with respect to describing the behaviour, UML is not sufficient. This paper explains why and, as a remedy, su...

A Model of Instruction for Integrating Culture and Language.

Science.gov (United States)

Papalia, Anthony

An integrated model of instruction in language and culture uses a sequential method of discovering sensation, perception, concept, and principle to develop self-analysis skills in students. When planning activities for learning a language and developing cultural understanding, teachers might follow a sequence such as the following: introduce…

Recent advances in modeling languages for pathway maps and computable biological networks.

Science.gov (United States)

Slater, Ted

2014-02-01

As our theories of systems biology grow more sophisticated, the models we use to represent them become larger and more complex. Languages necessarily have the expressivity and flexibility required to represent these models in ways that support high-resolution annotation, and provide for simulation and analysis that are sophisticated enough to allow researchers to master their data in the proper context. These languages also need to facilitate model sharing and collaboration, which is currently best done by using uniform data structures (such as graphs) and language standards. In this brief review, we discuss three of the most recent systems biology modeling languages to appear: BEL, PySB and BCML, and examine how they meet these needs. Copyright © 2014 Elsevier Ltd. All rights reserved.

Architectural Design of a LMS with LTSA-Conformance

Science.gov (United States)

Sengupta, Souvik; Dasgupta, Ranjan

2017-01-01

This paper illustrates an approach for architectural design of a Learning Management System (LMS), which is verifiable against the Learning Technology System Architecture (LTSA) conformance rules. We introduce a new method for software architectural design that extends the Unified Modeling Language (UML) component diagram with the formal…

Lexical prediction via forward models: N400 evidence from German Sign Language.

Science.gov (United States)

Hosemann, Jana; Herrmann, Annika; Steinbach, Markus; Bornkessel-Schlesewsky, Ina; Schlesewsky, Matthias

2013-09-01

Models of language processing in the human brain often emphasize the prediction of upcoming input-for example in order to explain the rapidity of language understanding. However, the precise mechanisms of prediction are still poorly understood. Forward models, which draw upon the language production system to set up expectations during comprehension, provide a promising approach in this regard. Here, we present an event-related potential (ERP) study on German Sign Language (DGS) which tested the hypotheses of a forward model perspective on prediction. Sign languages involve relatively long transition phases between one sign and the next, which should be anticipated as part of a forward model-based prediction even though they are semantically empty. Native speakers of DGS watched videos of naturally signed DGS sentences which either ended with an expected or a (semantically) unexpected sign. Unexpected signs engendered a biphasic N400-late positivity pattern. Crucially, N400 onset preceded critical sign onset and was thus clearly elicited by properties of the transition phase. The comprehension system thereby clearly anticipated modality-specific information about the realization of the predicted semantic item. These results provide strong converging support for the application of forward models in language comprehension. © 2013 Elsevier Ltd. All rights reserved.

The possibility of coexistence and co-development in language competition: ecology-society computational model and simulation.

Science.gov (United States)

Yun, Jian; Shang, Song-Chao; Wei, Xiao-Dan; Liu, Shuang; Li, Zhi-Jie

2016-01-01

Language is characterized by both ecological properties and social properties, and competition is the basic form of language evolution. The rise and decline of one language is a result of competition between languages. Moreover, this rise and decline directly influences the diversity of human culture. Mathematics and computer modeling for language competition has been a popular topic in the fields of linguistics, mathematics, computer science, ecology, and other disciplines. Currently, there are several problems in the research on language competition modeling. First, comprehensive mathematical analysis is absent in most studies of language competition models. Next, most language competition models are based on the assumption that one language in the model is stronger than the other. These studies tend to ignore cases where there is a balance of power in the competition. The competition between two well-matched languages is more practical, because it can facilitate the co-development of two languages. A third issue with current studies is that many studies have an evolution result where the weaker language inevitably goes extinct. From the integrated point of view of ecology and sociology, this paper improves the Lotka-Volterra model and basic reaction-diffusion model to propose an "ecology-society" computational model for describing language competition. Furthermore, a strict and comprehensive mathematical analysis was made for the stability of the equilibria. Two languages in competition may be either well-matched or greatly different in strength, which was reflected in the experimental design. The results revealed that language coexistence, and even co-development, are likely to occur during language competition.

An Integrated Framework to Specify Domain-Specific Modeling Languages

DEFF Research Database (Denmark)

Zarrin, Bahram; Baumeister, Hubert

2018-01-01

, a logic-based specification language. The drawback of MS DSL Tools is it does not provide a formal and rigorous approach for semantics specifications. In this framework, we use Microsoft DSL Tools to define the metamodel and graphical notations of DSLs, and an extended version of ForSpec as a formal......In this paper, we propose an integrated framework that can be used by DSL designers to implement their desired graphical domain-specific languages. This framework relies on Microsoft DSL Tools, a meta-modeling framework to build graphical domain-specific languages, and an extension of ForSpec...... language to define their semantics. Integrating these technologies under the umbrella of Microsoft Visual Studio IDE allows DSL designers to utilize a single development environment for developing their desired domain-specific languages....

Lexical access in sign language: a computational model.

Science.gov (United States)

Caselli, Naomi K; Cohen-Goldberg, Ariel M

2014-01-01

PSYCHOLINGUISTIC THEORIES HAVE PREDOMINANTLY BEEN BUILT UPON DATA FROM SPOKEN LANGUAGE, WHICH LEAVES OPEN THE QUESTION: How many of the conclusions truly reflect language-general principles as opposed to modality-specific ones? We take a step toward answering this question in the domain of lexical access in recognition by asking whether a single cognitive architecture might explain diverse behavioral patterns in signed and spoken language. Chen and Mirman (2012) presented a computational model of word processing that unified opposite effects of neighborhood density in speech production, perception, and written word recognition. Neighborhood density effects in sign language also vary depending on whether the neighbors share the same handshape or location. We present a spreading activation architecture that borrows the principles proposed by Chen and Mirman (2012), and show that if this architecture is elaborated to incorporate relatively minor facts about either (1) the time course of sign perception or (2) the frequency of sub-lexical units in sign languages, it produces data that match the experimental findings from sign languages. This work serves as a proof of concept that a single cognitive architecture could underlie both sign and word recognition.

Lexical access in sign language: A computational model

Directory of Open Access Journals (Sweden)

Naomi Kenney Caselli

2014-05-01

Full Text Available Psycholinguistic theories have predominantly been built upon data from spoken language, which leaves open the question: How many of the conclusions truly reflect language-general principles as opposed to modality-specific ones? We take a step toward answering this question in the domain of lexical access in recognition by asking whether a single cognitive architecture might explain diverse behavioral patterns in signed and spoken language. Chen and Mirman (2012 presented a computational model of word processing that unified opposite effects of neighborhood density in speech production, perception, and written word recognition. Neighborhood density effects in sign language also vary depending on whether the neighbors share the same handshape or location. We present a spreading activation architecture that borrows the principles proposed by Chen and Mirman (2012, and show that if this architecture is elaborated to incorporate relatively minor facts about either 1 the time course of sign perception or 2 the frequency of sub-lexical units in sign languages, it produces data that match the experimental findings from sign languages. This work serves as a proof of concept that a single cognitive architecture could underlie both sign and word recognition.

Effects of the teach-model-coach-review instructional approach on caregiver use of language support strategies and children's expressive language skills.

Science.gov (United States)

Roberts, Megan Y; Kaiser, Ann P; Wolfe, Cathy E; Bryant, Julie D; Spidalieri, Alexandria M

2014-10-01

In this study, the authors examined the effects of the Teach-Model-Coach-Review instructional approach on caregivers' use of four enhanced milieu teaching (EMT) language support strategies and on their children's use of expressive language. Four caregiver-child dyads participated in a single-subject, multiple-baseline study. Children were between 24 and 42 months of age and had language impairment. Interventionists used the Teach-Model-Coach-Review instructional approach to teach caregivers to use matched turns, expansions, time delays, and milieu teaching prompts during 24 individualized clinic sessions. Caregiver use of each EMT language support strategy and child use of communication targets were the dependent variables. The caregivers demonstrated increases in their use of each EMT language support strategy after instruction. Generalization and maintenance of strategy use to the home was limited, indicating that teaching across routines is necessary to achieve maximal outcomes. All children demonstrated gains in their use of communication targets and in their performance on norm-referenced measures of language. The results indicate that the Teach-Model-Coach-Review instructional approach resulted in increased use of EMT language support strategies by caregivers. Caregiver use of these strategies was associated with positive changes in child language skills.

Language modeling for what-with-where on GOOG-411

CSIR Research Space (South Africa)

Van Heerden, C

2009-09-01

Full Text Available . For example, consider the query “looking for restaurants in Portland Oregon.” A business annotator identifies “restaurants” as a business/category, while the location annotator identifies “portland Oregon” as a city-state. This separation enables both task...-specific data selection (location and business), and task- specific text normalization. The output of this second step is used to build the business and location language models described in Section 3. 3. Language Modeling Alternatives In this section we...

Auditing Hierarchical Cycles to Locate Other Inconsistencies in the UMLS

Science.gov (United States)

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

2011-01-01

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

Language Model Adaptation Using Machine-Translated Text for Resource-Deficient Languages

Directory of Open Access Journals (Sweden)

Sadaoki Furui

2009-01-01

Full Text Available Text corpus size is an important issue when building a language model (LM. This is a particularly important issue for languages where little data is available. This paper introduces an LM adaptation technique to improve an LM built using a small amount of task-dependent text with the help of a machine-translated text corpus. Icelandic speech recognition experiments were performed using data, machine translated (MT from English to Icelandic on a word-by-word and sentence-by-sentence basis. LM interpolation using the baseline LM and an LM built from either word-by-word or sentence-by-sentence translated text reduced the word error rate significantly when manually obtained utterances used as a baseline were very sparse.

Engineering design of systems models and methods

CERN Document Server

Buede, Dennis M

2009-01-01

The ideal introduction to the engineering design of systems-now in a new edition. The Engineering Design of Systems, Second Edition compiles a wealth of information from diverse sources to provide a unique, one-stop reference to current methods for systems engineering. It takes a model-based approach to key systems engineering design activities and introduces methods and models used in the real world. Features new to this edition include: * The addition of Systems Modeling Language (SysML) to several of the chapters, as well as the introduction of new terminology * Additional material on partitioning functions and components * More descriptive material on usage scenarios based on literature from use case development * Updated homework assignments * The software product CORE (from Vitech Corporation) is used to generate the traditional SE figures and the software product MagicDraw UML with SysML plugins (from No Magic, Inc.) is used for the SysML figures This book is designed to be an introductory reference ...

Categorical model of structural operational semantics for imperative language

Directory of Open Access Journals (Sweden)

William Steingartner

2016-12-01

Full Text Available Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes. In our paper we present a new approach to structural operational semantics. We model behavior of programs in category of states, where objects are states, an abstraction of computer memory and morphisms model state changes, execution of a program in elementary steps. The advantage of using categorical model is its exact mathematical structure with many useful proved properties and its graphical illustration of program behavior as a path, i.e. a composition of morphisms. Our approach is able to accentuate dynamics of structural operational semantics. For simplicity, we assume that data are intuitively typed. Visualization and facility of our model is  not only  a  new model of structural operational semantics of imperative programming languages but it can also serve for education purposes.

Domain-Specific Languages and Diagram Customization for a Concurrent Engineering Environment

Science.gov (United States)

Cole, Bjorn; Dubos, Greg; Banazadeh, Payam; Reh, Jonathan; Case, Kelley; Wang, Yeou-Fang; Jones, Susan; Picha, Frank

2013-01-01

A major open question for advocates of Model-Based Systems Engineering (MBSE) is the question of how system and subsystem engineers will work together. The Systems Modeling Language (SysML), like any language intended for a large audience, is in tension between the desires for simplicity and for expressiveness. In order to be more expressive, many specialized language elements may be introduced, which will unfortunately make a complete understanding of the language a more daunting task. While this may be acceptable for systems modelers, it will increase the challenge of including subsystem engineers in the modeling effort. One possible answer to this situation is the use of Domain-Specific Languages (DSL), which are fully supported by the Unified Modeling Language (UML). SysML is in fact a DSL for systems engineering. The expressive power of a DSL can be enhanced through the use of diagram customization. Various domains have already developed their own schematic vocabularies. Within the space engineering community, two excellent examples are the propulsion and telecommunication subsystems. A return to simple box-and-line diagrams (e.g., the SysML Internal Block Diagram) are in many ways a step backward. In order allow subsystem engineers to contribute directly to the model, it is necessary to make a system modeling tool at least approximate in accessibility to drawing tools like Microsoft PowerPoint and Visio. The challenge is made more extreme in a concurrent engineering environment, where designs must often be drafted in an hour or two. In the case of the Jet Propulsion Laboratory's Team X concurrent design team, a subsystem is specified using a combination of PowerPoint for drawing and Excel for calculation. A pilot has been undertaken in order to meld the drawing portion and the production of master equipment lists (MELs) via a SysML authoring tool, MagicDraw. Team X currently interacts with its customers in a process of sharing presentations. There are several

Description of spatial data infrastructures (SDIs) using the Unified Modelling Language (UML)

CSIR Research Space (South Africa)

Cooper, Antony K

2003-08-01

Full Text Available ; boxshadowdwn Pay for something; boxshadowdwn Provide something; boxshadowdwn Invoice for something; boxshadowdwn Offer something; boxshadowdwn Service somebody; and boxshadowdwn Register something. All interactions should be described in text form... as scenarios of these interactions. Table 1: Interactions between an SDI and actors. No. Name Interaction Ia End user barb2right SDI - ask for metadata - ask for data - ask for services - ask for integrated services - ask for standards - pay...

Implementation and application study on 3D collaborative design for CFETR based on ENOVIA VPM

Energy Technology Data Exchange (ETDEWEB)

Lin, Ling-Long, E-mail: linglonglin@ipp.ac.cn [Tokamak Design Division, Institute of Plasma Physics, Chinese Academy of Sciences, Hefei, Anhui 230031 (China); Song, Yun-Tao [Tokamak Design Division, Institute of Plasma Physics, Chinese Academy of Sciences, Hefei, Anhui 230031 (China); School of Nuclear Science and Technology, University of Science and Technology of China, Hefei, Anhui 230026 (China); Tang, Yu-Xiang [Tokamak Design Division, Institute of Plasma Physics, Chinese Academy of Sciences, Hefei, Anhui 230031 (China); Du, Qing-Qing [Hefei Keju Cryogenics Co., Ltd., Hefei, Anhui 230031 (China); Gong, Yi-Peng [Shanghai ATOZ Group Co., Ltd., Shanghai 201611, P.R. China. (China)

2015-11-15

China Fusion Engineering Test Reactor (CFETR) is an ITER-like superconducting tokamak device and it is under conceptual design. The paper is to highlight the building of the collaborative platform and its application in design work. First, a collaborative framework between collaborators is proposed and a method based-on Riverbed to optimize WAN is adopted to improve the data transmission. Then it proposes a Unified Modeling Language (UML) approach for specification of PDM (Product Documents Management) system implementation to enable management of whole product data and related information about its entire lifecycle. At last, the chosen approach for modeling based on UML is detailed and the relational design based-on skeleton is instanced for CFETR.

Implementation and application study on 3D collaborative design for CFETR based on ENOVIA VPM

International Nuclear Information System (INIS)

Lin, Ling-Long; Song, Yun-Tao; Tang, Yu-Xiang; Du, Qing-Qing; Gong, Yi-Peng

2015-01-01

China Fusion Engineering Test Reactor (CFETR) is an ITER-like superconducting tokamak device and it is under conceptual design. The paper is to highlight the building of the collaborative platform and its application in design work. First, a collaborative framework between collaborators is proposed and a method based-on Riverbed to optimize WAN is adopted to improve the data transmission. Then it proposes a Unified Modeling Language (UML) approach for specification of PDM (Product Documents Management) system implementation to enable management of whole product data and related information about its entire lifecycle. At last, the chosen approach for modeling based on UML is detailed and the relational design based-on skeleton is instanced for CFETR.

A formal approach to the analysis of clinical computer-interpretable guideline modeling languages.

Science.gov (United States)

Grando, M Adela; Glasspool, David; Fox, John

2012-01-01

To develop proof strategies to formally study the expressiveness of workflow-based languages, and to investigate their applicability to clinical computer-interpretable guideline (CIG) modeling languages. We propose two strategies for studying the expressiveness of workflow-based languages based on a standard set of workflow patterns expressed as Petri nets (PNs) and notions of congruence and bisimilarity from process calculus. Proof that a PN-based pattern P can be expressed in a language L can be carried out semi-automatically. Proof that a language L cannot provide the behavior specified by a PNP requires proof by exhaustion based on analysis of cases and cannot be performed automatically. The proof strategies are generic but we exemplify their use with a particular CIG modeling language, PROforma. To illustrate the method we evaluate the expressiveness of PROforma against three standard workflow patterns and compare our results with a previous similar but informal comparison. We show that the two proof strategies are effective in evaluating a CIG modeling language against standard workflow patterns. We find that using the proposed formal techniques we obtain different results to a comparable previously published but less formal study. We discuss the utility of these analyses as the basis for principled extensions to CIG modeling languages. Additionally we explain how the same proof strategies can be reused to prove the satisfaction of patterns expressed in the declarative language CIGDec. The proof strategies we propose are useful tools for analysing the expressiveness of CIG modeling languages. This study provides good evidence of the benefits of applying formal methods of proof over semi-formal ones. Copyright © 2011 Elsevier B.V. All rights reserved.

Lessons learned from a pilot implementation of the UMLS information sources map.

Science.gov (United States)

Miller, P L; Frawley, S J; Wright, L; Roderer, N K; Powsner, S M

1995-01-01

OBJECTIVE: To explore the software design issues involved in implementing an operational information sources map (ISM) knowledge base (KB) and system of navigational tools that can help medical users access network-based information sources relevant to a biomedical question. DESIGN: A pilot biomedical ISM KB and associated client-server software (ISM/Explorer) have been developed to help students, clinicians, researchers, and staff access network-based information sources, as part of the National Library of Medicine's (NLM) multi-institutional Unified Medical Language System (UMLS) project. The system allows the user to specify and constrain a search for a biomedical question of interest. The system then returns a list of sources matching the search. At this point the user may request 1) further information about a source, 2) that the list of sources be regrouped by different criteria to allow the user to get a better overall appreciation of the set of retrieved sources as a whole, or 3) automatic connection to a source. RESULTS: The pilot system operates in client-server mode and currently contains coded information for 121 sources. It is in routine use from approximately 40 workstations at the Yale School of Medicine. The lessons that have been learned are that: 1) it is important to make access to different versions of a source as seamless as possible, 2) achieving seamless, cross-platform access to heterogeneous sources is difficult, 3) significant differences exist between coding the subject content of an electronic information resource versus that of an article or a book, 4) customizing the ISM to multiple institutions entails significant complexities, and 5) there are many design trade-offs between specifying searches and viewing sets of retrieved sources that must be taken into consideration. CONCLUSION: An ISM KB and navigational tools have been constructed. In the process, much has been learned about the complexities of development and evaluation in this

Lessons learned from a pilot implementation of the UMLS information sources map.

Science.gov (United States)

Miller, P L; Frawley, S J; Wright, L; Roderer, N K; Powsner, S M

1995-01-01

To explore the software design issues involved in implementing an operational information sources map (ISM) knowledge base (KB) and system of navigational tools that can help medical users access network-based information sources relevant to a biomedical question. A pilot biomedical ISM KB and associated client-server software (ISM/Explorer) have been developed to help students, clinicians, researchers, and staff access network-based information sources, as part of the National Library of Medicine's (NLM) multi-institutional Unified Medical Language System (UMLS) project. The system allows the user to specify and constrain a search for a biomedical question of interest. The system then returns a list of sources matching the search. At this point the user may request 1) further information about a source, 2) that the list of sources be regrouped by different criteria to allow the user to get a better overall appreciation of the set of retrieved sources as a whole, or 3) automatic connection to a source. The pilot system operates in client-server mode and currently contains coded information for 121 sources. It is in routine use from approximately 40 workstations at the Yale School of Medicine. The lessons that have been learned are that: 1) it is important to make access to different versions of a source as seamless as possible, 2) achieving seamless, cross-platform access to heterogeneous sources is difficult, 3) significant differences exist between coding the subject content of an electronic information resource versus that of an article or a book, 4) customizing the ISM to multiple institutions entails significant complexities, and 5) there are many design trade-offs between specifying searches and viewing sets of retrieved sources that must be taken into consideration. An ISM KB and navigational tools have been constructed. In the process, much has been learned about the complexities of development and evaluation in this new environment, which are different

Language policy and language learning in Macedonia Which lessons may be adopted from the Swiss model?

Directory of Open Access Journals (Sweden)

Xhaferri, Gëzim

2014-03-01

Full Text Available The following paper will investigate the acquisition of Macedonian languages in public schools and universities, focusing on the Albanian and Macedonian languages. As the saying goes: "The more languages you speak, the more human you are". Abiding by this proverb, the citizens of the Republic of Macedonia should be encouraged to become multilingual by learning the national languages. The acquisition of the national languages in a multilingual, multiethnic and multicultural country like Macedonia is, in my opinion, a necessary step toward the establishment of smooth and peaceful communication between the country's two largest cultural groups (Macedonians and Albanians, and is therefore also a prerequisite for the successful integration of every citizen into their home country's society. This paper also investigates Switzerland's multilingual and multicultural society, which serves as a successful and positive example of how a nation can deal with a multilingual population and the integration of its population. With this in mind, the question is raised here whether the model of Switzerland's language policy and national language instruction can perhaps also serve as an example for the Republic of Macedonia.

A New Tool to Facilitate Learning Reading for Early Childhood

Science.gov (United States)

Puspitasari, Cita; Subiyanto

2017-01-01

This paper proposes a new android application for early childhood learning reading. The description includes a design, development, and an evaluation experiment of an educational game for learning reading on android. Before developing the game, Unified Modeling Language (UML) diagrams, interfaces, animation, narrative or audio were designed.…

A high-level language for rule-based modelling.

Science.gov (United States)

Pedersen, Michael; Phillips, Andrew; Plotkin, Gordon D

2015-01-01

Rule-based languages such as Kappa excel in their support for handling the combinatorial complexities prevalent in many biological systems, including signalling pathways. But Kappa provides little structure for organising rules, and large models can therefore be hard to read and maintain. This paper introduces a high-level, modular extension of Kappa called LBS-κ. We demonstrate the constructs of the language through examples and three case studies: a chemotaxis switch ring, a MAPK cascade, and an insulin signalling pathway. We then provide a formal definition of LBS-κ through an abstract syntax and a translation to plain Kappa. The translation is implemented in a compiler tool which is available as a web application. We finally demonstrate how to increase the expressivity of LBS-κ through embedded scripts in a general-purpose programming language, a technique which we view as generally applicable to other domain specific languages.

The Utility of Cognitive Plausibility in Language Acquisition Modeling: Evidence from Word Segmentation

Science.gov (United States)

Phillips, Lawrence; Pearl, Lisa

2015-01-01

The informativity of a computational model of language acquisition is directly related to how closely it approximates the actual acquisition task, sometimes referred to as the model's "cognitive plausibility." We suggest that though every computational model necessarily idealizes the modeled task, an informative language acquisition…

Modeling of Future Initial Teacher of Foreign Language Training, Using Situation Analysis

Directory of Open Access Journals (Sweden)

Maryana М. Sidun

2012-12-01

Full Text Available The article discloses the content of modeling of future initial teacher of foreign language, using situation analysis, defines the stages of modeling during the professional competence formation of future teacher of foreign language: preparatory, analytical and executive.

Pedagogical Model for Explicit Teaching of Reading Comprehension to English Language Learners

Directory of Open Access Journals (Sweden)

Al Tiyb Al Khaiyali

2017-09-01

Full Text Available Reading comprehension instruction is considered one of the major challenges that most English language teachers and students encounter. Therefore, providing a systematic, explicit, and flexible model to teaching reading comprehension strategies could help resolve some of these challenges and increase the possibility of teaching reading comprehension, particularly in language learners’ classrooms. Consequently, the purpose of this paper is to provide a model to teach reading comprehension strategies in language learning classrooms. The proposed instructional model is divided into three systematic phases through which strategies are taught before reading, during reading, and after reading. Each phase is explained and elaborated using recommended models for teachers. Finally, suggested considerations to consolidate this model are provided.

Pembuatan Aplikasi Portal Akademik Berbasis Mobile (Studi Kasus: D3 Manajemen Informatika FMIPA Universitas Riau

Directory of Open Access Journals (Sweden)

Sukamto Sukamto

2017-11-01

Full Text Available AbstrakPenelitian ini membahas tentang aplikasi portal akademik berbasis mobile, studi kasus  pada D3 Manajemen Informatika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Riau. Aplikasi ini dapat mempermudah mahasiswa khususnya mahasiswa D3 Manajemen Informatika dalam melakukan pengisian Kartu Rencana Studi dengan menggunakan Smartphone Android. Pembuatan Aplikasi  mobile ini menggunakan bahasa pemograman Java dan MySQL sebagai database. Sedangkan dalam perancangan aplikasi menggunakan Unified Modeling Language (UML yaitu Use Case Diagram, Class Diagram, Activity Diagram, dan Sequence Diagram. Kata kunci: Aplikasi Portal Akademik, Mobile, Kartu Rencana Studi, Smartphone Android. AbstractThis research discusses about Portal Academic Application based Android Mobile with case at Diploma of Information Management the Faculty of Mathematics and Natural Sciences, University of Riau. This application can facilitate in particular the Student Information Management Diploma in charging Card Study Plan that has been using smartphones based on Android. Making mobile applications using the programming language Java, and PHP, and then MySQL as database. While the design of the application using the Unified Modeling Language (UML, Use Case Diagrams, Class Diagrams, Activity Diagrams, and Sequence.   Keywords: Portal Academic Application, Android Mobile, Study Plan Card, Android Smatrphone.

A Model-Driven Development Method for Management Information Systems

Science.gov (United States)

Mizuno, Tomoki; Matsumoto, Keinosuke; Mori, Naoki

Traditionally, a Management Information System (MIS) has been developed without using formal methods. By the informal methods, the MIS is developed on its lifecycle without having any models. It causes many problems such as lack of the reliability of system design specifications. In order to overcome these problems, a model theory approach was proposed. The approach is based on an idea that a system can be modeled by automata and set theory. However, it is very difficult to generate automata of the system to be developed right from the start. On the other hand, there is a model-driven development method that can flexibly correspond to changes of business logics or implementing technologies. In the model-driven development, a system is modeled using a modeling language such as UML. This paper proposes a new development method for management information systems applying the model-driven development method to a component of the model theory approach. The experiment has shown that a reduced amount of efforts is more than 30% of all the efforts.

Extending Profiles with Stereotypes for Composite Concepts

OpenAIRE

Quartel, Dick; Dijkman, R.M.; van Sinderen, Marten J.; Briand, L.; Williams, C.

2005-01-01

This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual and notational elements in a modelling language. Composite concepts are compositions of existing concepts. To facilitate the introduction of composite concepts, the notion of stereotype is extended. This extension defines how a composite concept can be specified and added to a language’s metamodel, ithout modifying the exist...

Imitative Modeling as a Theoretical Base for Instructing Language-Disordered Children

Science.gov (United States)

Courtright, John A.; Courtright, Illene C.

1976-01-01

A modification of A. Bandura's social learning theory (imitative modeling) was employed as a theoretical base for language instruction with eight language disordered children (5 to 10 years old). (Author/SBH)

EXTENSIÓN DEL METAMODELO DE UML PARA UNA ARQUITECTURA DE COMPONENTES

Directory of Open Access Journals (Sweden)

Fernando Orejas Valdés

2006-12-01

Full Text Available

Applying the Flipped Classroom Model to English Language Arts Education

Science.gov (United States)

Young, Carl A., Ed.; Moran, Clarice M., Ed.

2017-01-01

The flipped classroom method, particularly when used with digital video, has recently attracted many supporters within the education field. Now more than ever, language arts educators can benefit tremendously from incorporating flipped classroom techniques into their curriculum. "Applying the Flipped Classroom Model to English Language Arts…

CloudLM: a Cloud-based Language Model for Machine Translation

Directory of Open Access Journals (Sweden)

Ferrández-Tordera Jorge

2016-04-01

Full Text Available Language models (LMs are an essential element in statistical approaches to natural language processing for tasks such as speech recognition and machine translation (MT. The advent of big data leads to the availability of massive amounts of data to build LMs, and in fact, for the most prominent languages, using current techniques and hardware, it is not feasible to train LMs with all the data available nowadays. At the same time, it has been shown that the more data is used for a LM the better the performance, e.g. for MT, without any indication yet of reaching a plateau. This paper presents CloudLM, an open-source cloud-based LM intended for MT, which allows to query distributed LMs. CloudLM relies on Apache Solr and provides the functionality of state-of-the-art language modelling (it builds upon KenLM, while allowing to query massive LMs (as the use of local memory is drastically reduced, at the expense of slower decoding speed.

Basis of a formal language for facilitating communication among climate modelers

Energy Technology Data Exchange (ETDEWEB)

Elia, Ramon de [Climate Analysis Team, Consortium Ouranos, Montreal, QC (Canada); Universite du Quebec a Montreal, Centre ESCER, Montreal, QC (Canada)

2012-08-15

The objective of this work is to present the basis for a formal language that aims to express in a concise way some fundamental beliefs held within the climate research community. The expression of this set of beliefs takes the form of relations, conjectures or propositions that describe characteristics of different aspects of climate modeling. Examples are constructed using topics that are much discussed within the climate modeling community. The article first introduces, as elements of this formal language, models considered a priori (the model as a code or algorithm) or a posteriori (the model as output), and then presents different relations between these elements. The most important relation is that of dominance, which helps to define the superiority of one model over another based on which model a rational agent will choose. Various kinds of dominance are considered. Also presented in a formal language are propositions and conjectures relating to model development, model calibration and climate change ensemble projections, each of which are held with diverse levels of acceptance within the climate modeling community. In addition, the relevance of defining elements - models - whose existence is improbable, such as bug-free model versions, is discussed. Although the potential value of this language is shown, there remains a need to improve the definitions presented here, as some of them remain unsatisfying. Still, we believe that this attempt may help us not only communicate more clearly but also to better distinguish different schools of thought that currently exist within the community. (orig.)

WebWorkFlow : An Object-Oriented Workflow Modeling Language for Web Applications

NARCIS (Netherlands)

Hemel, Z.; Verhaaf, R.; Visser, E.

2008-01-01

Preprint of paper published in: MODELS 2008 - International Conference on Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science 5301, 2008; doi:10.1007/978-3-540-87875-9_8 Workflow languages are designed for the high-level description of processes and are typically not

Modeling Languages Refine Vehicle Design

Science.gov (United States)

2009-01-01

Cincinnati, Ohio s TechnoSoft Inc. is a leading provider of object-oriented modeling and simulation technology used for commercial and defense applications. With funding from Small Business Innovation Research (SBIR) contracts issued by Langley Research Center, the company continued development on its adaptive modeling language, or AML, originally created for the U.S. Air Force. TechnoSoft then created what is now known as its Integrated Design and Engineering Analysis Environment, or IDEA, which can be used to design a variety of vehicles and machinery. IDEA's customers include clients in green industries, such as designers for power plant exhaust filtration systems and wind turbines.

Model-based design languages: A case study

OpenAIRE

Cibrario Bertolotti, Ivan; Hu, Tingting; Navet, Nicolas

2017-01-01

Fast-paced innovation in the embedded systems domain puts an ever increasing pressure on effective software development methods, leading to the growing popularity of Model-Based Design (MBD). In this context, a proper choice of modeling languages and related tools - depending on design goals and problem qualities - is crucial to make the most of MBD benefits. In this paper, a comparison between two dissimilar approaches to modeling is carried out, with the goal of highlighting their relative ...

Modelling gesture use and early language development in autism spectrum disorder.

Science.gov (United States)

Manwaring, Stacy S; Mead, Danielle L; Swineford, Lauren; Thurm, Audrey

2017-09-01

Nonverbal communication abilities, including gesture use, are impaired in autism spectrum disorder (ASD). However, little is known about how common gestures may influence or be influenced by other areas of development. To examine the relationships between gesture, fine motor and language in young children with ASD compared with a comparison group using multiple measures and methods in a structural equation modelling framework. Participants included 110 children with ASD and a non-ASD comparison group of 87 children (that included children with developmental delays (DD) or typical development (TD)), from 12 to 48 months of age. A construct of gesture use as measured by the Communication and Symbolic Behavior Scales-Developmental Profile Caregiver Questionnaire (CQ) and the Autism Diagnostic Observation Schedule (ADOS), as well as fine motor from the Mullen Scales of Early Learning and Vineland Adaptive Behavior Scales-II (VABS-II) was examined using second-order confirmatory factor analysis (CFA). A series of structural equation models then examined concurrent relationships between the aforementioned latent gesture construct and expressive and receptive language. A series of hierarchical regression analyses was run in a subsample of 36 children with ASD with longitudinal data to determine how gesture factor scores predicted later language outcomes. Across study groups, the gesture CFA model with indicators of gesture use from both the CQ (parent-reported) and ADOS (direct observation), and measures of fine motor provided good fit with all indicators significantly and strongly loading onto one gesture factor. This model of gesture use, controlling for age, was found to correlate strongly with concurrent expressive and receptive language. The correlations between gestures and concurrent language were similar in magnitude in both the ASD and non-ASD groups. In the longitudinal subsample of children with ASD, gestures at time 1 predicted later receptive (but not

Conducting requirements analyses for research using routinely collected health data: a model driven approach.

Science.gov (United States)

de Lusignan, Simon; Cashman, Josephine; Poh, Norman; Michalakidis, Georgios; Mason, Aaron; Desombre, Terry; Krause, Paul

2012-01-01

Medical research increasingly requires the linkage of data from different sources. Conducting a requirements analysis for a new application is an established part of software engineering, but rarely reported in the biomedical literature; and no generic approaches have been published as to how to link heterogeneous health data. Literature review, followed by a consensus process to define how requirements for research, using, multiple data sources might be modeled. We have developed a requirements analysis: i-ScheDULEs - The first components of the modeling process are indexing and create a rich picture of the research study. Secondly, we developed a series of reference models of progressive complexity: Data flow diagrams (DFD) to define data requirements; unified modeling language (UML) use case diagrams to capture study specific and governance requirements; and finally, business process models, using business process modeling notation (BPMN). These requirements and their associated models should become part of research study protocols.

Design of plant safety model in plant enterprise engineering environment

International Nuclear Information System (INIS)

Gabbar, Hossam A.; Suzuki, Kazuhiko; Shimada, Yukiyasu

2001-01-01

Plant enterprise engineering environment (PEEE) is an approach aiming to manage the plant through its lifecycle. In such environment, safety is considered as the common objective for all activities throughout the plant lifecycle. One approach to achieve plant safety is to embed safety aspects within each function and activity within such environment. One ideal way to enable safety aspects within each automated function is through modeling. This paper proposes a theoretical approach to design plant safety model as integrated with the plant lifecycle model within such environment. Object-oriented modeling approach is used to construct the plant safety model using OO CASE tool on the basis of unified modeling language (UML). Multiple views are defined for plant objects to express static, dynamic, and functional semantics of these objects. Process safety aspects are mapped to each model element and inherited from design to operation stage, as it is naturally embedded within plant's objects. By developing and realizing the plant safety model, safer plant operation can be achieved and plant safety can be assured

Seamless Language Learning: Second Language Learning with Social Media

Science.gov (United States)

Wong, Lung-Hsiang; Chai, Ching Sing; Aw, Guat Poh

2017-01-01

This conceptual paper describes a language learning model that applies social media to foster contextualized and connected language learning in communities. The model emphasizes weaving together different forms of language learning activities that take place in different learning contexts to achieve seamless language learning. it promotes social…

Modelling the ICE standard with a formal language for information commerce

NARCIS (Netherlands)

Wombacher, Andreas; Aberer, K.

Automatizing information commerce requires languages to represent the typical information commerce processes. Existing languages and standards cover either only very specific types of business models or are too general to capture in a concise way the specific properties of information commerce

Building a genome database using an object-oriented approach.

Science.gov (United States)

Barbasiewicz, Anna; Liu, Lin; Lang, B Franz; Burger, Gertraud

2002-01-01

GOBASE is a relational database that integrates data associated with mitochondria and chloroplasts. The most important data in GOBASE, i. e., molecular sequences and taxonomic information, are obtained from the public sequence data repository at the National Center for Biotechnology Information (NCBI), and are validated by our experts. Maintaining a curated genomic database comes with a towering labor cost, due to the shear volume of available genomic sequences and the plethora of annotation errors and omissions in records retrieved from public repositories. Here we describe our approach to increase automation of the database population process, thereby reducing manual intervention. As a first step, we used Unified Modeling Language (UML) to construct a list of potential errors. Each case was evaluated independently, and an expert solution was devised, and represented as a diagram. Subsequently, the UML diagrams were used as templates for writing object-oriented automation programs in the Java programming language.

Conceptual Modeling in the Time of the Revolution: Part II

Science.gov (United States)

Mylopoulos, John

Conceptual Modeling was a marginal research topic at the very fringes of Computer Science in the 60s and 70s, when the discipline was dominated by topics focusing on programs, systems and hardware architectures. Over the years, however, the field has moved to centre stage and has come to claim a central role both in Computer Science research and practice in diverse areas, such as Software Engineering, Databases, Information Systems, the Semantic Web, Business Process Management, Service-Oriented Computing, Multi-Agent Systems, Knowledge Management, and more. The transformation was greatly aided by the adoption of standards in modeling languages (e.g., UML), and model-based methodologies (e.g., Model-Driven Architectures) by the Object Management Group (OMG) and other standards organizations. We briefly review the history of the field over the past 40 years, focusing on the evolution of key ideas. We then note some open challenges and report on-going research, covering topics such as the representation of variability in conceptual models, capturing model intentions, and models of laws.

Modelling the ICE standard with a formal language for information commerce

OpenAIRE

Wombacher, A.; Aberer, K.

2001-01-01

Automatizing information commerce requires languages to represent the typical information commerce processes. Existing languages and standards cover either only very specific types of business models or are too general to capture in a concise way the specific properties of information commerce processes. We introduce a language that is specifically designed for information commerce. It can be directly used for the implementation of the processes and communication required in information comme...

Using enterprise architecture to analyse how organisational structure impact motivation and learning

Science.gov (United States)

Närman, Pia; Johnson, Pontus; Gingnell, Liv

2016-06-01

When technology, environment, or strategies change, organisations need to adjust their structures accordingly. These structural changes do not always enhance the organisational performance as intended partly because organisational developers do not understand the consequences of structural changes in performance. This article presents a model-based analysis framework for quantitative analysis of the effect of organisational structure on organisation performance in terms of employee motivation and learning. The model is based on Mintzberg's work on organisational structure. The quantitative analysis is formalised using the Object Constraint Language (OCL) and the Unified Modelling Language (UML) and implemented in an enterprise architecture tool.

Refinement and verification in component-based model-driven design

DEFF Research Database (Denmark)

Chen, Zhenbang; Liu, Zhiming; Ravn, Anders Peter

2009-01-01

Modern software development is complex as it has to deal with many different and yet related aspects of applications. In practical software engineering this is now handled by a UML-like modelling approach in which different aspects are modelled by different notations. Component-based and object-o...... be integrated in computer-aided software engineering (CASE) tools for adding formally supported checking, transformation and generation facilities.......Modern software development is complex as it has to deal with many different and yet related aspects of applications. In practical software engineering this is now handled by a UML-like modelling approach in which different aspects are modelled by different notations. Component-based and object...

A model of language inflection graphs

Science.gov (United States)

Fukś, Henryk; Farzad, Babak; Cao, Yi

2014-01-01

Inflection graphs are highly complex networks representing relationships between inflectional forms of words in human languages. For so-called synthetic languages, such as Latin or Polish, they have particularly interesting structure due to the abundance of inflectional forms. We construct the simplest form of inflection graphs, namely a bipartite graph in which one group of vertices corresponds to dictionary headwords and the other group to inflected forms encountered in a given text. We, then, study projection of this graph on the set of headwords. The projection decomposes into a large number of connected components, to be called word groups. Distribution of sizes of word group exhibits some remarkable properties, resembling cluster distribution in a lattice percolation near the critical point. We propose a simple model which produces graphs of this type, reproducing the desired component distribution and other topological features.

An approach for activity-based DEVS model specification

DEFF Research Database (Denmark)

Alshareef, Abdurrahman; Sarjoughian, Hessam S.; Zarrin, Bahram

2016-01-01

Creation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers between the higher level mathematical models...... and their corresponding software specifications from both structural and behavioral aspects. Unlike structural modeling, developing models to specify behavior of systems is known to be harder and more complex, particularly when operations with non-trivial control schemes are required. In this paper, we propose specifying...... activity-based behavior modeling of parallel DEVS atomic models. We consider UML activities and actions as fundamental units of behavior modeling, especially in the presence of recent advances in the UML 2.5 specifications. We describe in detail how to approach activity modeling with a set of elemental...

The Illinois State Interdisciplinary Model for Teaching Languages for Business.

Science.gov (United States)

Varner, Carson H., Jr.; Whitcomb, Richard O.

This model combines in a team-taught course the study of business and a foreign language. The objective is to give business students a foreign language experience in a relatively brief time and also to offer them a business-oriented introduction to a culture other than their own. Students in business courses are preparing for a career in…

A Model of Competition Among More than Two Languages

Science.gov (United States)

Fujie, Ryo; Aihara, Kazuyuki; Masuda, Naoki

2013-04-01

We extend the Abrams-Strogatz model for competition between two languages (Abrams and Strogatz in Nature 424:900, 2003) to the case of n (≥2) competing states (i.e., languages). Although the Abrams-Strogatz model for n=2 can be interpreted as modeling either majority preference or minority aversion, the two mechanisms are distinct when n≥3. We find that the condition for the coexistence of different states is independent of n under the pure majority preference, whereas it depends on n under the pure minority aversion. We also show that the stable coexistence equilibrium and stable monopoly equilibria can be multistable under the minority aversion and not under the majority preference. Furthermore, we obtain the phase diagram of the model when the effects of the majority preference and minority aversion are mixed, under the condition that different states have the same attractiveness. We show that the multistability is a generic property of the model facilitated by large n.

A model for Social Communication And Language Evolution and Development (SCALED).

Science.gov (United States)

Catani, Marco; Bambini, Valentina

2014-10-01

In humans, brain connectivity implements a system for language and communication that spans from basic pre-linguistic social abilities shared with non-human primates to syntactic and pragmatic functions particular to our species. The arcuate fasciculus is a central connection in this architecture, linking regions devoted to formal aspects of language with regions involved in intentional and social communication. Here, we outline a new anatomical model of communication that incorporates previous neurofunctional accounts of language with recent advances in tractography and neuropragmatics. The model consists of five levels, from the representation of informative actions and communicative intentions, to lexical/semantic processing, syntactic analysis, and pragmatic integration. The structure of the model is hierarchical in relation to developmental and evolutionary trajectories and it may help interpreting clinico-anatomical correlation in communication disorders. Copyright © 2014 Elsevier Ltd. All rights reserved.

A Systematic Software, Firmware, and Hardware Codesign Methodology for Digital Signal Processing

Science.gov (United States)

2014-03-01

Division B.S., Fu-Jen Catholic University , 1979 M.S.E.E, California State University , Northridge, 1992 Submitted in partial fulfillment of the...Table 74. External trigger characteristics ......................................................................129 Table 75. DDC IP core...size weight and power UAV unmanned aerial vehicle UHF ultra-high frequency UML universal modeling language Verilog verify logic VHDL VHSIC

eSPEM - A SPEM Extension for Enactable Behavior Modeling

Science.gov (United States)

Ellner, Ralf; Al-Hilank, Samir; Drexler, Johannes; Jung, Martin; Kips, Detlef; Philippsen, Michael

OMG's SPEM - by means of its (semi-)formal notation - allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse description of their behavior. Concepts for a more fine-grained behavior model are considered out of scope of the SPEM standard and have to be provided by other standards like BPDM/BPMN or UML. However, a coarse granularity of the behavior model often impedes a computer-aided enactment of a process model. Therefore, in this paper we present eSPEM, an extension of SPEM, that is based on the UML meta-model and focused on fine-grained behavior and life-cycle modeling and thereby supports automated enactment of development processes.

Seamless Language Learning: Second Language Learning with Social Media

OpenAIRE

Wong, Lung-Hsiang; Sing-Chai, Ching; Poh-Aw, Guat

2017-01-01

This conceptual paper describes a language learning model that applies social media to foster contextualized and connected language learning in communities. The model emphasizes weaving together different forms of language learning activities that take place in different learning contexts to achieve seamless language learning. It promotes social interactions with social media about the learners’ day-to-day life using the targeted second or foreign language. The paper first identifies three ke...

Aproximación a una ontología para lenguajes de modelado gráfico

Directory of Open Access Journals (Sweden)

Marcela Naranjo

2009-05-01

Full Text Available UML, SysML y WebML son lenguajes de modelado gráfico (LMG similares que no se pueden interpretar conjuntamente, pues tienen diferencias en tipos de modelos y diagramas. En la literatura se encuentran técnicas que estudian las características de algunos LMG, pero se aplican sobre lenguajes particulares, sin considerar sus características comunes. En este artículo se propone el diseño e implementación de una ontología que resuma los principales conceptos y relaciones de los LMG, utilizando una metodología creada en la Universidad de Stanford. La ontología desarrollada responde 35 preguntas de competencia, de las cuales algunas se ejemplifican en el artículo./ UML, SysML, and WebML are graphical modeling languages (GML. Despite their similarities, these languages can not be jointly interpreted, since they exhibit different kinds of models and diagrams. Some studies for examining the features of some GML are proposed in the state of the art, but applied to individual languages, avoiding the common features among such languages. In this paper, we propose an ontology design and implementation for summarizing GML concepts and relations. We use a methodology created in the Stanford University. The developed ontology can successfully answer 35 competence questions, some of them exemplified in this paper.

Brain-computer interface with language model-electroencephalography fusion for locked-in syndrome.

Science.gov (United States)

Oken, Barry S; Orhan, Umut; Roark, Brian; Erdogmus, Deniz; Fowler, Andrew; Mooney, Aimee; Peters, Betts; Miller, Meghan; Fried-Oken, Melanie B

2014-05-01

Some noninvasive brain-computer interface (BCI) systems are currently available for locked-in syndrome (LIS) but none have incorporated a statistical language model during text generation. To begin to address the communication needs of individuals with LIS using a noninvasive BCI that involves rapid serial visual presentation (RSVP) of symbols and a unique classifier with electroencephalography (EEG) and language model fusion. The RSVP Keyboard was developed with several unique features. Individual letters are presented at 2.5 per second. Computer classification of letters as targets or nontargets based on EEG is performed using machine learning that incorporates a language model for letter prediction via Bayesian fusion enabling targets to be presented only 1 to 4 times. Nine participants with LIS and 9 healthy controls were enrolled. After screening, subjects first calibrated the system, and then completed a series of balanced word generation mastery tasks that were designed with 5 incremental levels of difficulty, which increased by selecting phrases for which the utility of the language model decreased naturally. Six participants with LIS and 9 controls completed the experiment. All LIS participants successfully mastered spelling at level 1 and one subject achieved level 5. Six of 9 control participants achieved level 5. Individuals who have incomplete LIS may benefit from an EEG-based BCI system, which relies on EEG classification and a statistical language model. Steps to further improve the system are discussed.

Aligning Grammatical Theories and Language Processing Models

Science.gov (United States)

Lewis, Shevaun; Phillips, Colin

2015-01-01

We address two important questions about the relationship between theoretical linguistics and psycholinguistics. First, do grammatical theories and language processing models describe separate cognitive systems, or are they accounts of different aspects of the same system? We argue that most evidence is consistent with the one-system view. Second,…

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

DEFF Research Database (Denmark)

Störrle, Harald

2013-01-01

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

Multimodal Languaging as a Pedagogical Model--A Case Study of the Concept of Division in School Mathematics

Science.gov (United States)

Joutsenlahti, Jorma; Kulju, Pirjo

2017-01-01

The purpose of this study is to present a multimodal languaging model for mathematics education. The model consists of mathematical symbolic language, a pictorial language, and a natural language. By applying this model, the objective was to study how 4th grade pupils (N = 21) understand the concept of division. The data was collected over six…

Issues for a Model of Language Planning.

Science.gov (United States)

Bamgbose, Ayo

1989-01-01

Examines the following issues as they relate to a model of language planning: (1) types of decisions (policy or implemental, higher- or lower-level, rational or arbitrary); (2) the planning mechanism; (3) the role of fact finding (prepolicy, preimplementation, and intraimplementation); (4) levels of planning; and (5) the nature of status versus…

Formal specification with the Java modeling language

NARCIS (Netherlands)

Huisman, Marieke; Ahrendt, Wolfgang; Grahl, Daniel; Hentschel, Martin; Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattoas

2016-01-01

This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It appears in a book about the KeY approach and tool, because JML is the dominating starting point of KeY style Java verification. However, this chapter does not depend on KeY, nor any

Applicability of the Compensatory Encoding Model in Foreign Language Reading: An Investigation with Chinese College English Language Learners.

Science.gov (United States)

Han, Feifei

2017-01-01

While some first language (L1) reading models suggest that inefficient word recognition and small working memory tend to inhibit higher-level comprehension processes; the Compensatory Encoding Model maintains that slow word recognition and small working memory do not normally hinder reading comprehension, as readers are able to operate metacognitive strategies to compensate for inefficient word recognition and working memory limitation as long as readers process a reading task without time constraint. Although empirical evidence is accumulated for support of the Compensatory Encoding Model in L1 reading, there is lack of research for testing of the Compensatory Encoding Model in foreign language (FL) reading. This research empirically tested the Compensatory Encoding Model in English reading among Chinese college English language learners (ELLs). Two studies were conducted. Study one focused on testing whether reading condition varying time affects the relationship between word recognition, working memory, and reading comprehension. Students were tested on a computerized English word recognition test, a computerized Operation Span task, and reading comprehension in time constraint and non-time constraint reading. The correlation and regression analyses showed that the strength of association was much stronger between word recognition, working memory, and reading comprehension in time constraint than that in non-time constraint reading condition. Study two examined whether FL readers were able to operate metacognitive reading strategies as a compensatory way of reading comprehension for inefficient word recognition and working memory limitation in non-time constraint reading. The participants were tested on the same computerized English word recognition test and Operation Span test. They were required to think aloud while reading and to complete the comprehension questions. The think-aloud protocols were coded for concurrent use of reading strategies, classified

UNCONSTRAINED HANDWRITING RECOGNITION : LANGUAGE MODELS, PERPLEXITY, AND SYSTEM PERFORMANCE

NARCIS (Netherlands)

Marti, U-V.; Bunke, H.

2004-01-01

In this paper we present a number of language models and their behavior in the recognition of unconstrained handwritten English sentences. We use the perplexity to compare the different models and their prediction power, and relate it to the performance of a recognition system under different

Formal models, languages and applications

CERN Document Server

Rangarajan, K; Mukund, M

2006-01-01

A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation. Sample Chapter(s). Chapter 1: Finite Array Automata and Regular Array Grammars (150 KB). Contents: Finite Array Automata and Regular Array Grammars (A Atanasiu et al.); Hexagonal Contextual Array P Systems (K S Dersanambika et al.); Con

Feature-based component model for design of embedded systems

Science.gov (United States)

Zha, Xuan Fang; Sriram, Ram D.

2004-11-01

An embedded system is a hybrid of hardware and software, which combines software's flexibility and hardware real-time performance. Embedded systems can be considered as assemblies of hardware and software components. An Open Embedded System Model (OESM) is currently being developed at NIST to provide a standard representation and exchange protocol for embedded systems and system-level design, simulation, and testing information. This paper proposes an approach to representing an embedded system feature-based model in OESM, i.e., Open Embedded System Feature Model (OESFM), addressing models of embedded system artifacts, embedded system components, embedded system features, and embedded system configuration/assembly. The approach provides an object-oriented UML (Unified Modeling Language) representation for the embedded system feature model and defines an extension to the NIST Core Product Model. The model provides a feature-based component framework allowing the designer to develop a virtual embedded system prototype through assembling virtual components. The framework not only provides a formal precise model of the embedded system prototype but also offers the possibility of designing variation of prototypes whose members are derived by changing certain virtual components with different features. A case study example is discussed to illustrate the embedded system model.

Language Recognition Using Latent Dynamic Conditional Random Field Model with Phonological Features

Directory of Open Access Journals (Sweden)

Sirinoot Boonsuk

2014-01-01

Full Text Available Spoken language recognition (SLR has been of increasing interest in multilingual speech recognition for identifying the languages of speech utterances. Most existing SLR approaches apply statistical modeling techniques with acoustic and phonotactic features. Among the popular approaches, the acoustic approach has become of greater interest than others because it does not require any prior language-specific knowledge. Previous research on the acoustic approach has shown less interest in applying linguistic knowledge; it was only used as supplementary features, while the current state-of-the-art system assumes independency among features. This paper proposes an SLR system based on the latent-dynamic conditional random field (LDCRF model using phonological features (PFs. We use PFs to represent acoustic characteristics and linguistic knowledge. The LDCRF model was employed to capture the dynamics of the PFs sequences for language classification. Baseline systems were conducted to evaluate the features and methods including Gaussian mixture model (GMM based systems using PFs, GMM using cepstral features, and the CRF model using PFs. Evaluated on the NIST LRE 2007 corpus, the proposed method showed an improvement over the baseline systems. Additionally, it showed comparable result with the acoustic system based on i-vector. This research demonstrates that utilizing PFs can enhance the performance.

The Utility of Cognitive Plausibility in Language Acquisition Modeling: Evidence From Word Segmentation.

Science.gov (United States)

Phillips, Lawrence; Pearl, Lisa

2015-11-01

The informativity of a computational model of language acquisition is directly related to how closely it approximates the actual acquisition task, sometimes referred to as the model's cognitive plausibility. We suggest that though every computational model necessarily idealizes the modeled task, an informative language acquisition model can aim to be cognitively plausible in multiple ways. We discuss these cognitive plausibility checkpoints generally and then apply them to a case study in word segmentation, investigating a promising Bayesian segmentation strategy. We incorporate cognitive plausibility by using an age-appropriate unit of perceptual representation, evaluating the model output in terms of its utility, and incorporating cognitive constraints into the inference process. Our more cognitively plausible model shows a beneficial effect of cognitive constraints on segmentation performance. One interpretation of this effect is as a synergy between the naive theories of language structure that infants may have and the cognitive constraints that limit the fidelity of their inference processes, where less accurate inference approximations are better when the underlying assumptions about how words are generated are less accurate. More generally, these results highlight the utility of incorporating cognitive plausibility more fully into computational models of language acquisition. Copyright © 2015 Cognitive Science Society, Inc.

Gaussian Process Regression (GPR) Representation in Predictive Model Markup Language (PMML).

Science.gov (United States)

Park, J; Lechevalier, D; Ak, R; Ferguson, M; Law, K H; Lee, Y-T T; Rachuri, S

2017-01-01

This paper describes Gaussian process regression (GPR) models presented in predictive model markup language (PMML). PMML is an extensible-markup-language (XML) -based standard language used to represent data-mining and predictive analytic models, as well as pre- and post-processed data. The previous PMML version, PMML 4.2, did not provide capabilities for representing probabilistic (stochastic) machine-learning algorithms that are widely used for constructing predictive models taking the associated uncertainties into consideration. The newly released PMML version 4.3, which includes the GPR model, provides new features: confidence bounds and distribution for the predictive estimations. Both features are needed to establish the foundation for uncertainty quantification analysis. Among various probabilistic machine-learning algorithms, GPR has been widely used for approximating a target function because of its capability of representing complex input and output relationships without predefining a set of basis functions, and predicting a target output with uncertainty quantification. GPR is being employed to various manufacturing data-analytics applications, which necessitates representing this model in a standardized form for easy and rapid employment. In this paper, we present a GPR model and its representation in PMML. Furthermore, we demonstrate a prototype using a real data set in the manufacturing domain.

A Language for Modeling Cultural Norms, Biases and Stereotypes for Human Behavior Models

National Research Council Canada - National Science Library

Solomon, Steven; van Lent, Michael; Core, Mark; Carpenter, Paul; Rosenberg, Milton

2008-01-01

.... The Culturally-Affected Behavior project seeks to define a language for encoding ethnographic data in order to capture cultural knowledge and use that knowledge to affect human behavior models...

An analytic solution of a model of language competition with bilingualism and interlinguistic similarity

Science.gov (United States)

Otero-Espinar, M. V.; Seoane, L. F.; Nieto, J. J.; Mira, J.

2013-12-01

An in-depth analytic study of a model of language dynamics is presented: a model which tackles the problem of the coexistence of two languages within a closed community of speakers taking into account bilingualism and incorporating a parameter to measure the distance between languages. After previous numerical simulations, the model yielded that coexistence might lead to survival of both languages within monolingual speakers along with a bilingual community or to extinction of the weakest tongue depending on different parameters. In this paper, such study is closed with thorough analytical calculations to settle the results in a robust way and previous results are refined with some modifications. From the present analysis it is possible to almost completely assay the number and nature of the equilibrium points of the model, which depend on its parameters, as well as to build a phase space based on them. Also, we obtain conclusions on the way the languages evolve with time. Our rigorous considerations also suggest ways to further improve the model and facilitate the comparison of its consequences with those from other approaches or with real data.

SBRML: a markup language for associating systems biology data with models.

Science.gov (United States)