Search results for "Programming language"

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…

Domēnspecifisku rīku konfigurācijas valoda un tās realizācija

2014

Promocijas darbā ir izstrādāts konfigurators plaša profila DSML rīku definēšanai. Konfigurators balstās uz ideju, ka DSML definīciju var uzdot ar universālu metamodeli (UML klašu diagrammas formā), kura pēc tam konfiguratorā tiek apstrādāta, lai nodrošinātu rīka darbību. Turklāt nestandarta gadījumiem, kad esošās metamodeļa iespējas ir nepietiekošas, metamodelī ir realizēts paplašinājuma punktu mehānisms, kas ļauj pievienot rīkam specifiski transformāciju valodā noprogrammētu funkcionalitāti. Izstrādātais konfigurators ir pārbaudīts vairākos praktiskos lietojumos un apliecinājis savu efektivitāti.

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 …

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…

Embedding the Remote Application Control: Visual API for PDA Programming

2009

PDAs are more and more used as advanced adaptive HEI (human-environment interaction) interfaces, thus enabling their users to easily operate applications remotely running in pervasive computing scenarios. Based on a previous implementation, in this paper we discuss the development of a new set of .NET-compliant Application Programming Interfaces to be used within the Visual Studio IDE. Our main goal is to provide programmers with a set of components to be used with the common drag-and-drop operation, in order to embed a remote application control within an application running on the PDA and vice-versa. The interaction relies on ad-hoc communication protocols over a framework devoted to pair…

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…

2010

Research has noticed that imparting TDD-like testing to an early computing curriculum is challenging because it increases technical and cognitive load for the students. This paper addresses the challenge with a software-based solution constructed to facilitate the process of writing tests. The solution allows using a compact while efficient syntax for formulating tests, writing tests into JavaDoc comments, thus close to the source code that implements intended functionalities, and automates the generation of actual test code. The constructed solution -- the ComTest tool -- has now been used in four introductory level programming course offerings. The paper presents the tool and concludes wi…