Preprint 122
Distributed electronic archives, libraries and data bases
This preprint describes the concepts, architecture and implementation of our approach to creation of information systems of the semanticweb class [1]. In addition to the ideas and technology of semantic web, this approach is based on the refined notion of the information space and on the data scheme elaborated by the author for representation of realworld entities and relationships. The model is open and extendable, which allows a wide class of universal and special purpose systems to be created.

Preprint 121
Review of formal approaches for the uml and ocl languages
UML is a defacto standard language for the ObjectOriented analysis and design of information systems. This paper contains a review of basic formal approaches for the UML 1.x and OCL languages.

Preprint 120
C#program verification: translation from C#LIGHT into C#KERNEL
This paper presents C#light, an input language of the C#program verification system, and C#kernel, an internal language that is used in the threelevel scheme of verification. The algorithms of translation from C#light into C#kernel are considered.

Preprint 119
The category theoretical characterization of different equivalences for timed automata models
The timed extensions of a test equivalence and a weak barbed bisimularity are defined and developed for model of timed transition systems. This work is supported by Federal Agency of education, grant б043.16217.

Preprint 118
The automated building of sql queries for an object data
The problem of query generation arises in the context of a persistent layer implementation for an objectoriented application which utilizes a relational DBMS. Here we propose a set of software design solutions successfully approved in practice. These solutions cover the following aspects: flexibility of the objectrelational mapping, minimization of the quantity of database calls, independence from a SQL dialect, query parameterization and caching.

Preprint 117
Leonid Novak, Alexandre Zamulin
Algebraic semantics of xml schema
The semantics of the core features of XML Schema in terms of XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many sorted algebra whose sorts are sets of data type values and different kinds of nodes and whose operations are data type operations and node accessors. The values of some node accessors, such as "parent", "children" and "attributes", define a document tree with a definite order of nodes. The values of other node accessors help to make difference between kinds of nodes, learn the names, types and values associated with the corresponding document entities, etc., i.e., provide primitive facilities for a query language. As a result, a document can be easily mapped to its implementation in terms of nodes and accessors defined on them.

Preprint 115
Development of a suffix tree construction program in the predicate programming technology
A suffix tree provides the compact representation of the set of all substrings for some string of characters. The suffix trees are widely used for quick searching, data compression, etc. In the predicate programming framework, development of an efficient program of suffix tree construction based on the McCreight's algorithm [11] is described. The predicate program for this algorithm is a set of recursive computable definitions of predicates. For each predicate, the specification in the secondorder predicate calculus language is included. Mathematical proof of conclusion the right part of predicate definition from the predicate specification is provided for each predicate. The proof is based on the fragment of mathematical suffix tree theory included the notion system and eight lemmas. Equivalent optimizing sourcetosource transformations are applied to the predicate program. Result predicate program is transformed to efficient imperative one. The following transformations are applied: variable merging, replacement of tailrecursion by loop, substitution predicate definition instead of a predicate call, etc.

Preprint 114
Usl  the language of natural state machines
An approach to description of formal operational semantics of modern programming languages is proposed. The approach yields specifications of programming languages syntactically close to specifications in natural languages, but with a formal semantics. The approach is based on natural state machines, a new class of abstract machines. The language of natural state machines called USL is presented and its formal semantics is defined. A library of USL instructions destined for development of programming language semantics is outlined. The examples of application of the approach to the modern programming languages are given.

Preprint 113
Epi and monomorphism criteria in categories of realtime and concurrent models
The intention of the paper is to study properties of categories of Petri net based models with dense time. To this purpose we define categories of timed net processes, equipped with different semantics. In the categories, we formalize criteria of epi and monomorphisms. We also extract subcategories of timed net processes whose mophisms satisfy formalized conditions.

Preprint 112
A review of tools for static debugging of programs
Static debugger is a tool which analyzes and visualizes information collected as a result of the static analysis of program in order to localize errors in it. The purpose of this work is to review static debuggers on the following aspects: kinds of program analyses, specific features of displaying the program information, visualization and navigation. As it was possible to find out only two static debuggers other tools are also considered in this review: dynamic debuggers, static analyzers and data visualization tools.

Preprint 111
Analysis of information flow quality in modula2/oberon2 programs
This paper describes the static analysis of quality of Modula2/Oberon2 programs. It presents implementation of two criteria of information flow quality,namely, the criteria for being regular and confirmed. The criteria of information flow quality are implemented on the basis of data flow analysis. The information derived by analyzer is stored in the XMLformat. We have implemented a graphical interface that allows us to visualize information flows and the locations of their lowquality, as well as to provide additional flow information.

Preprint 110
Internal representation of functional programming system sisal 3.0
This work describes COM (Component Object Model) interface system, called Internal Representation IR1, representing Intermediate Form graph language IF1, created for System of Function Programming (SFP) SISAL 3.0 (successor of SISAL90 functional language). The way to use IR1 for describing SISAL 3.0 program module is shown. Nodes and compound nodes used by IF1 graph are presented along with description and basing of introduced differences in IF1 specification for some compound nodes. For nontrivial syntactic constructions of SISAL 3.0 language the way of their representation in IR1 is explained.

Preprint 109
Object approach to creation of standard for document workflow in internet environment
Данная работа посвящена обсуждению организации документооборота в среде Интернет. В работе вводится расширенное понятие документа, выбираются наиболее перспективные и надежные форматы документов и технологии доступа к ним, а также рассматриваются варианты взаимодействия документов в сети. Таким образом, в работе предлагается некоторый стандарт на организацию документооборота в среде Интернет.
