Search results for "Software engineering"
showing 10 items of 1151 documents
A Models-to-Program Information Systems Engineering Method
2021
The Model-Driven Development paradigm aims to represent all the information system features through models. Conceptual-Model Programming offers a similar approach, but with a focus on automatic code generation. Both approaches consider modeling and traceability of different abstraction levels, where each level can be tackled with different modeling methods. This heterogeneity introduces a challenge for the quality of the traceability and transformations among models, especially when aiming for automatic code generation. In this paper, we introduce a holistic conceptual-model programming method to generate code from different abstraction levels (from the problem space to the solution space),…
Towards a Concurrence Analysis in Business Processes
2020
This paper presents first steps towards a solution aimed to provide concurrent business processes analysis methodology for predicting the probability of incorrect business process execution. The aim of the paper is to (a) look at approaches to describing and dealing with the execution of concurrent processes, mainly focusing on the transaction mechanisms in database management systems, (b) present an idea and a preliminary version of an algorithm that detects the possibility of incorrect execution of concurrent business processes. Analyzing business process according to the proposed procedure allows to configure transaction processing optimally.
Transformation of the Software Testing Glossary into a Browsable Concept Map
2014
Authors propose a transformation method of the glossary “Standard glossary of terms used in Software Testing” created by ISTQB document into a basic concept map. By applying natural language processing techniques and analyzing the discovered relations between concepts the most essential aspects of the software testing domain are elicited and integrated. As the result a browsable concept map is created. Browsable concept map can be used as a learning support tool.
A generalized transitive closure for relational queries
1988
We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…
On solving separable block tridiagonal linear systems using a GPU implementation of radix-4 PSCR method
2018
Partial solution variant of the cyclic reduction (PSCR) method is a direct solver that can be applied to certain types of separable block tridiagonal linear systems. Such linear systems arise, e.g., from the Poisson and the Helmholtz equations discretized with bilinear finite-elements. Furthermore, the separability of the linear system entails that the discretization domain has to be rectangular and the discretization mesh orthogonal. A generalized graphics processing unit (GPU) implementation of the PSCR method is presented. The numerical results indicate up to 24-fold speedups when compared to an equivalent CPU implementation that utilizes a single CPU core. Attained floating point perfor…
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…
Identifying the Optimum Social Site that Could Serve eLearning Purposes: A Preliminary Analysis
2020
Nowadays, an increasingly attractive research domain is represented by the integration of eLearning systems with the Social Media tools. However, identifying the proper Social Media platform to serve educational purposes could be an extremely hard task, mainly due to the variations from platform to platform. Thus, the first aim of this article is to identify the optimum typology that could be successfully integrated with eLearning systems. Moving forward, a classification of the top 20 most popular Social Media sites at global level in terms of their main objectives will be required in order to asses a specific typology of each of this. Thereafter, we propose a preliminary model of comparis…
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…
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.