Search results for "computer.programming_language"
showing 10 items of 986 documents
Robotic-assisted minimally invasive esophagectomy (RAMIE) for esophageal cancer training curriculum—a worldwide Delphi consensus study
2021
Summary Background Structured training protocols can safely improve skills prior initiating complex surgical procedures such as robotic-assisted minimally invasive esophagectomy (RAMIE). As no consensus on a training curriculum for RAMIE has been established so far it is our aim to define a protocol for RAMIE with the Delphi consensus methodology. Methods Fourteen worldwide RAMIE experts were defined and were enrolled in this Delphi consensus project. An expert panel was created and three Delphi rounds were performed starting December 2019. Items required for RAMIE included, but were not limited to, virtual reality simulation, wet-lab training, proctoring, and continued monitoring and educa…
DSL Tool Development with Transformations and Static Mappings
2009
A tool development framework for domain-specific languages combining mapping and transformation based approaches is proposed in this research project. The combination of both approaches permits to use advantages and eliminate disadvantages as far as possible. First results are described including draft architecture for the framework implementing proposed ideas. A sketch of mapping definition facilities is presented. Initial implementation proposals are described as well. A template based graphical generation language Template MOLA for implementation algorithm description is introduced.
An ontological infrastructure for the automatic control of freight transport
2008
Currently, freight transport carried through a country or through different countries undergoes many delays due to merchandise controls. Merchandise control is only carried out at some border posts or when the authorities demand it. Such control can be an important problem since there are different laws for the same merchandise, according to the legislation of the country and even within the same country. Nowadays there are vocabularies or languages that describe concepts and structures of data related to transport, but the description is just syntactic, not semantic. Therefore the objective to be reached in this part of the research has been to develop a representation scheme of a particul…
UML Style Graphical Notation and Editor for OWL 2
2010
OWL is becoming the most widely used knowledge representation language. It has several textual notations but no standard graphical notation apart from verbose ODM UML. We propose an extension to UML class diagrams (heavyweight extension) that allows a compact OWL visualization. The compactness is achieved through the native power of UML class diagrams extended with optional Manchester encoding for class expressions thus largely eliminating the need for explicit anonymous class visualization. To use UML class diagram notation we had to modify its semantics to support Open World Assumption that is central to OWL. We have implemented the proposed compact visualization for OWL 2 in a UML style …
Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product…
2010
UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation and testing. But in high-tech companies, modeling activities are typically distributed across multiple sites and involve multiple partners in different countries, thus complicating model management. Today's UML modeling tools support sophisticated version management for managing parallel and distributed modeling. However, the literature does not provide a comprehensive set of industrial-level criteria to evaluate the version management capabilities of UML tools. This article's contributio…
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…
Transformations Between UML Diagrams
2003
The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same system are dependent and strongly overlapping. In this paper we study how this can be exploited for specifying transformation operations between different diagram types. We discuss various general approaches and viewpoints of model transformations in UML. The source and target diagram types for useful transformations are analyzed and given categories. The potentially most interesting transformation operations are discussed in detail. It is concluded that the transformation operations can automate a substantial p…