Logo des Repositoriums

P048 - ISTA 2004 - Information Systems Technology and its Applications

https://dl.gi.de/handle/20.500.12116/29090
Auflistung nach:

Auflistung P048 - ISTA 2004 - Information Systems Technology and its Applications nach Erscheinungsdatum

Zu einem Punkt im Index springen:
1 - 10 von 21
  • Konferenzbeitrag
    Ontology-driven sub-query extraction for distributed autonomous information resources in UnIT-Net IEDI
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Ermolayev, Vadim; Keberle, Natalya; Shapar, Vladimir; Vladimirov, Vladimir
    The paper reports on the development of UnIT-Net1 Infrastructure for Electronic Data Interchange (IEDI). The main task of IEDI is to provide a uniform framework for authorized and secure information retrieval from heterogeneous, distributed, autonomous Information Resources (IRs) among the higher educational establishments and state bodies in Ukraine. The focus of the paper is the algorithm for ontology-driven sub-query extraction. The algorithm performs terminological mapping of an initial query in terms of domain ontology to the set of the sub-queries to different IRs in terms of respective IR ontologies. Mapping procedure is based on the raw mappings knowledge taken from mediator mapping ontology and the so called Late Binding technique for determining concepts. Finally, sub-queries are refined to become correct RDQL queries with respect to the specific IR. This algorithm will be used by IEDI mediator to decompose the user queries. Sub-queries will then be executed by the wrappers of the respective IRs. Initial proof-of-concept evaluation and the semi-formal proofs of ontologydriven sub-query extraction algorithm correctness are provided in the discussion part of the paper.
  • Konferenzbeitrag
    Business rule verbalization
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Halpin, Terry
    Business rules should first be specified at the conceptual level, using concepts and languages easily understood by the business domain experts who are best qualified to validate the rules. This paper focuses on the verbalization of static business rules (i.e. constraints and derivation rules that apply to individual states of the business), ignoring dynamic rules relating to state transitions and/or workflows. We propose desirable language criteria for rule verbalization, and orthogonal dimensions by which rule verbalizations may be classified, and illustrate these general qualities with a wide variety of business rule examples, using model fragments depicted graphically in Entity-Relationship, Object-Role Modeling and Unified Modeling Language notations.
  • Konferenzbeitrag
    Enterprise architecture modeling using agent paradigm
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Lamouchi, Olfa; Ramdane-cherif, Amar; Lévy, Nicole
    New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures, more efficient business processes, the ability to engage in new much more dynamic forms of global co-operation, and greatly improved interoperability. The focus of the work in this paper is the application of agent-oriented software development methodologies to architecture enterprise modeling as well as the management of the variability guided by a strategic cost/schedule/quality or benefit/value/risk goals. This study will be the first step of working towards enabling tool support for enterprise variability management, enterprise modeling, validating and deducting the consequences of constrains or feature interactions in enterprise organization.
  • Konferenzbeitrag
    Retrieval for text stream by random projection
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Oh'Uchi, Hirohito; Miura, Takao; Shioya, Isamu
    In this investigation we discuss powerful yet efficient retrieval mechanism for text stream such as news stream. Difficulty comes from the fact how to manage incremental information while keeping efficiency. Recently random projection has been paid much attention on dynamic dimensionality reduction. Here we show this novel technique is really useful for querying text stream in terms of cost and accuracy. We examine some experimental results and excellent efficiency in computation and memory usage.
  • Konferenzbeitrag
    Query graph visualizer: A collaborative querying system
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Fu, Lin; Goh, Dion Hoe-Lian; Foo, Schubert Shou-Boon; Supangat, Yohan
    Collaborative querying seeks to help users formulate an accurate query to a search engine by sharing expert knowledge or other users' search experiences. One approach to accomplish collaborative querying is to cluster related queries which are stored in query logs and use the related queries as recommendations to users. Here, the kernel step is to identify the similarity between queries. This paper describes a system that supports collaborative querying among its users. The system operates by clustering and recommending related queries to users using a hybrid query similarity identification approach. The system employs a graph approach to visualize the query recommendations.
  • Konferenzbeitrag
    Object relational mapping techniques for .Net framework
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Doroshenko, Anatoliy; Romanenko, Vlad
    The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to exploit powerful features of .Net as a managed objectoriented platform such as Common Type System, custom attributes and reflection. Such approach facilitates the development, can save efforts and serves as a solid ground for further improvements. An initial implementation of the framework has been developed and successfully used to build a business information system.
  • Konferenzbeitrag
    Periodic scheduling in on-demand broadcast system
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Prabhu, Nitin; Kumar, Vijay; Ray, Indrakshi
    Recent advances in mobile computing have enabled the deployment of broadcast based information systems such as, wireless internet, traffic information systems, etc. These systems are mainly pull-based and their performance very much depends on the broadcast schedule they use. In this paper we focus on on-demand broadcast system. We propose a new ondemand scheduling algorithm that takes scheduling decision at periodic interval, unlike previous algorithms that take decision after broadcasting every data item. This reduces the time client spends monitoring the broadcast channel for data items. We study its behavior with a detailed simulation study and show that our algorithm performs better than the pervious algorithms for on-demand systems.
  • Konferenzbeitrag
    Evidential paradigm and intelligent mathematical text processing
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Lyaletski, Alexander; Doroshenko, Anatoly; Paskevich, Andrei; Verchinine, Konstantin
    This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evidential paradigm is implemented in the form of System for Automated Deduction (SAD). The system is based on the methods of automated theorem proving and is intended for intelligent mathematical text processing. It proves mathematical theorems, verifies validity of self-contained mathematical texts and can be used for inference search in first-order sequent-based logic as well. For human-like representation of mathematical knowledge, SAD exploits an original formal language close to natural languages of scientific publications. Since the problem of automated text verification is of great importance for industrial applications (checking specifications, proving safety properties of network protocols, etc), the paper illustrates some principles and peculiarities of the evidential paradigm by means of exemplifying the verification of a part of a non-trivial mathematical text.
  • Editiertes Buch
  • Konferenzbeitrag
    A data transformation method based on schema mapping
    (Information systems technology and its applications, 3rd international conference ISTA'2004, 2004) Li, You; Liu, Dongbo; Zhang, Wwiming
    Schema mapping is an important approach to solve the problem of data integration. This paper introduces a research prototype called SDE, which is a system for managing and facilitating the complex tasks of heterogeneous data transformation and integration. We also present a data transformation method based on schema mapping techniques. By analyzing the mappings and schemas it can automatically fulfill the task of data transformation and guarantee that the target result satisfies the target structure and constraints. It allows users to view the other participants' information as an extension of its own information system, without concerning for heterogeneity.