Journal:Informatica
Volume 10, Issue 2 (1999), pp. 189–202
Abstract
In this paper the framework for business object modeling with focus on distributed enterprise is proposed. It is based on Business Object Architecture, UML and Catalysis method. Business Object Architecture is methodology bringing business semantics to component-based development – the next generation of object-oriented methodology. Basic modeling concepts are business objects, business processes and business rules. Process of business process modeling with Business Objects is described and generic modeling patterns are presented. The framework is illustrated via work effort process modeling.
Journal:Informatica
Volume 10, Issue 2 (1999), pp. 171–188
Abstract
This paper addresses the study of the speech intelligibility enhancement. The speech model, noise sources, perceptual aspects of speech, and performance evaluation are reviewed. The intelligibility enhancement system based on spectral subtraction technique is investigated. Spectral density estimation device based on the algorithm of smoothed periodograms is analysed. Determination of the silence intervals, efficiency of the silence intervals determination, and signal to noise ratio evaluation are discussed. Speech intelligibility enhancement device is described.
Journal:Informatica
Volume 10, Issue 2 (1999), pp. 161–170
Abstract
In this paper we consider parallel numerical integration algorithms for multi-dimensional integrals. A new hyper-rectangle selection strategy is proposed for the implementation of globally adaptive parallel quadrature algorithms. The well known master-slave parallel algorithm prototype is used for the realization of the algorithm. Numerical results on the SP2 computer and on a cluster of workstations are reported. A test problem where the integrand function has a strong corner singularity is investigated. A modified parallel integration algorithm is proposed in which a list of subproblems is distributed among slave processors.
Journal:Informatica
Volume 10, Issue 2 (1999), pp. 147–160
Abstract
All throughout the computer science community object-orientation is accepted as being built upon the same basic concepts that human beings use to apprehend reality. This misconception, as we think, is what we focus on in this paper. To show this we analyse two well-recognised object-oriented systems development methods. We try to pinpoint in what way these methods do not correspond to the way human beings apprehend reality in terms of objects. We show that the methods do not use the concepts of object or class in a manner that corresponds to the way human beings use them to apprehend reality. Furthermore the method-creators do not separate the notion of an object and its representation in a model. We also suggest a better adaptation of the searching-for-objects model based on how human beings apprehend reality. When analysing, one should focus on the purpose of the actions and the two different modes with which an object can be treated: present-at-hand and readiness-to-hand. This will increase the conformity between object-orientation and the way human beings apprehend reality.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 127–141
Abstract
An algorithm for updating the evidence in the Dempster-Shafer theory is presented. The algorithm is based on an idea of indices. These indices are used to code the process of reasoning under uncertainty (the combination of evidence)using the Dempster-Shafer theory. The algorithm allows to carry out the reasoning with updating the evidence in much more efficient way than using the original Dempster-Shafer theory. Updating the evidence is necessary among others in systems that are based on changing data – adaptive and distributed reasoning systems.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 109–126
Abstract
This article provides a brief introduction to an approach toward data conversion development. The article discusses activities in the area of conversion software development, as well as a model for the life cycle of this development process. Also analyzed is a possible method of tool support for the development process.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 89–108
Abstract
In this paper we present a method for preparation of technical drawings in the domain of electroplating lines. We treat the method as the combination of two tasks: configuration and document preparation. The proposed method combines the basic concepts of these domains: generic coding introduced in document preparation task and component oriented approach used in the configuration task. We show how both concepts are implemented in our configurator SyntheCAD.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 71–88
Abstract
One of the key issues in information systems is to provide a fast and reliable access to data. This is true for conventional databases and information systems as well as for spatial or multimedia ones. Main tools for such aim are indices, among others. Search and reasoning operations using indices and structured data require a specific support on logical and physical level. A years of research have resulted in a great variety of multidimensional data structures and indices (access methods also). This paper overviews recent trends in the area of multidimensional, spatial, temporal indices and data structures, discusses their principles and implementation issues. The special emphasis is given to research, multimedia and spatial information systems.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 45–70
Abstract
In the paper we examine data dependencies in the algorithm of back substitution in the problem of solving triangular systems of linear equations. The aim of the paper is to illustrate the structural blanks (SB) notation in consistency proof of data dependencies in loop programs. Data dependency semantics of programs is introduced and investigated. The introduced notation constitutes the theoretical basis of data dependencies in SB. Two structural modules – a sequential S-module and a parallel one – are examined.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 27–44
Abstract
CF-expressions are defined which generalize the regular one. It is established that so called pseudo-coiterating CF-expressions characterize the regular sets. The results are used to develop some more characterizations of the regular sets: the pseudo-coiterating D-graphs and the pseudo-coiterating pushdown automata (PDAs). An algorithm is presented for deciding whether a device of three mentioned types is pseudo-coiterating or not. Apparently, the pseudo-coiterating PDAs form the most large of classes of PDAs the solvability of the question of belonging to which was proved and which are known as characterizations of the regular sets.