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.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 5–26
Abstract
In the mainstream categorical approach to typed (total) functional programming, datatypes are modelled as initial algebras and codatatypes as terminal coalgebras. The basic function definition schemes of iteration and coiteration are modelled by constructions known as catamorphisms and anamorphisms. Primitive recursion has been captured by a construction called paramorphisms. We draw attention to the dual construction of apomorphisms, and show on examples that primitive corecursion is a useful function definition scheme. We also put forward and study two novel constructions, viz., histomorphisms and futumorphisms, that capture the powerful schemes of course-of-value iteration and its dual, respectively, and argue that even these are helpful.
Journal:Informatica
Volume 10, Issue 1 (1999): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 3–4
Journal:Informatica
Volume 9, Issue 4 (1998), pp. 491–506
Abstract
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represent the component, we use external functions as a mechanism to support a pre-processing and perform the instantiation of the component. A user interface, the constituent of the reusable component, serves for transferring parameters for the instantiation. We deliver a formal syntax of the functions and examples of their semantics. We describe the design of the reusable component as a procedure of transferring of: a) the intrinsic characteristics for a given family of domain objects and b) features from a given VHDL model(s). Those features require to be re-coded and extended with new ones by means of the external functions introduced. To test a reusable component, we use pre-processing and modelling.