Search results for "UniFi"

Modeling and Query Language for Hospitals

2013

So far the traditional process modeling languages have found a limited use in the hospital settings. One of the reasons behind this delay has been the lack of clear definition of the sequence of activities that are carried out in the hospital. We propose a new modeling language (as a profile of UML Class diagrams) that captures all the useful features from various UML diagrams and can be used in modeling of the hospitals. Based on the modeling language, we have developed an easy-to-perceive graphical query language, which allows the physicians to retrieve directly from the various hospital databases information they need to better understand the flow of clinical processes.

From UML Specification into FPGA Implementation

2014

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

From UML State Machine Diagram into FPGA Implementation

2013

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

A Notation for Modeling Jason-Like BDI Agents

2012

The design and development of a large Multi Agent System (MAS) is a complex and difficult activity where a proper modeling notation may offer a significant contribution to the formulation of the best solution. The support provided by a specific CASE tool can significantly contribute to make the chosen approach technically valid and it is also a fundamental element of a feasible development strategy. The present work reports a UML profile and the related graphical notation for describing a MAS based on the Jason meta model. Moreover a specific CASE tool has been developed for supporting MASs design and automatic code generation. The proposed notation is shown in details using a classical exa…

Reduction of UML Class Diagrams

2002

One and the same “real world” can be modeled by different UML class diagrams, which in such a case can be considered “intuitively equivalent”. A formalization of this “intuitive equivalence” of class diagrams is proposed. An algorithm is constructed that for two class diagrams determines if they model the same “real world”. This algorithm can be used in CASE tools to compare alternative models of a system, and for diagram “compression” to facilitate understanding of large diagrams.

Introducción a Más allá del Estado nacional de Habermas

1997

En 1989-1990 se produce la reunificación alemana. Con la reunificación, la nación, dividida tras la Segunda Guerra Mundial, recobra su normalidad después de cuarenta y cinco años de existencia anómala. Pero, ¿de qué normalidad se trata? Éste es el tema del presente libro que versa todo él sobre cuestiones de principio que se refieren al futuro del Estado nacional y en todo caso al futuro de un determinado Estado nacional del que seguramente depende en buena parte el futuro de Europa.

Mitterrand defiende una confederación europea basada en la democracia

1991

Maxwell-Dirac Theory and Occam's Razor: Unified Field, Elementary Particles, and Nuclear Interactions

2019

We introduce and use the space-time Clifford algebra, showing that only one fundamental physical entity is sufficient to describe the origin of electromagnetic fields, charges and currents: the electromagnetic four-potential. This simplified electromagnetic model turns out to be an improved understanding of electromagnetism. The obtained electromagnetic Lagrangian is the simplest possible relativistic Lagrangian formulation. Quantum mechanical relations follow naturally from this model, and we derive the electromagnetic formulation of the Dirac equation. The spinor field is shown to correspond to electromagnetic energy-momentum, and the complex-valued probability density is shown to corresp…

Unified Modeling Language

2005

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling lang…

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine

2005

Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…