- KonferenzbeitragFormal modeling of communication traces(2003) Boroday, Sergiy; Hallal, Hesham; Petrenko, Alexandre; Ulrich, Andreas; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced by an instrumented system facilitating analysis, testing, and debugging. This paper presents a formal framework for the analysis of distributed system logs based on event trace concept. A partially ordered trace of events executed by a distributed system is modeled by a collection of communicating automata. We present an implementation of the analysis approach in SDL based on ObjectGEODE. A formalization of a property of an event trace, being a replica of another trace, is discussed.
- KonferenzbeitragReflective learning in large companies - can it work?(2003) Vladoiu, Mihaela-Monica; Matenciuc-Antonescu, Beatrice; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.A growing number of universities and companies are now becoming focused on promoting learning that is not merely instrumental. These aspirations refer to deep learning, transformational learning, critical learning, intentional learning, reflective learning and lifelong learning. Our primary goal is to present several ways in which lifelong reflective learning can be effectively and consciously promoted within large companies. The term reflection is used with two meanings. One would be the process by which an experience, in the form of thought, feeling or action is brought into consideration (while is happening or subsequently) and the other the creation of meaning and conceptualization from experience and the potentiality to look at things from another perspective (critical reflection). We propose the following solutions: modular classes, open engagement lectures, online live learning, virtual classrooms, action group learning, immersive e-learning applications, project-based e-learning and any valuable combination of these. As industrial experience shows, integration of these models and methods to create a learning and development program and to incorporate it in the daily working schedule provide a consistent solution for education in the long run.
- KonferenzbeitragEasily accessible GML-based geographic information system for multiple data server over the web(2003) Park, Soon-Young; Lee, Jae-Dong; Bae, Hae-Young; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.This paper has proposed GML-GIS, which is a prototype system for geographic information service over the Web based on GML (Geography Markup Language). This system generates geographic information into GML document by user requests through URL and provides them with various styles applied to the document on the Web browser. This proposed system converts geographic information of a spatial database into GML documents for interoperability of diverse GIS engine. The architecture of this system is composed of User Interface Module, CGI/Script Module, Application Schema Generator, GML Translator, XML Analyzer, and Documents Pool. By the usage of this system, general users can access easily geographic information of multiple data server with different data type by Web browser
- KonferenzbeitragUsing neighborhood information for automated categorization of web pages(2003) Panteleeva, Nadejda; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.In this paper we discuss several issues related to the influence of expansion of a Web document representation on quality of topical categorization of Web pages. We consider a Web page expansion by using text content of it's linking pages. We show that naive expansion can grab too much noise and essentially harm categorization results. We present the approach to automated pruning of linking Web pages. We report that using our approach in forming a Web page representation always leads to better results than traditional single Web page categorization.
- KonferenzbeitragEstimating content quality in the world wide web(2003) Mitlöhner, Johann; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.The World Wide Web is used by an increasing number of people as an everexpanding source of information on almost every topic imaginable. However, useful data is often buried in large quantities of low-quality content. Estimation of content quality is valuable for diverse applications, such as search result ranking and direction of crawlers. In this text an approach is described to automatically determine author identity of web pages and compile data on author reputation in order to better estimate the quality of new content. The results of preliminary studies are presented which show the viability of the author reputation approach.
- KonferenzbeitragSoftware agents for learning resources of digital library(2003) Milashenko, D. A.; Makovetskiy, S. D.; Boblovskiy, R. V.; Keleberda, I. N.; Lesna, N. S.; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.Software agent based on the learning resource in digital library development is described in this work. Using of distance learning technology standards and agent technologies provides ability of creation informationaleducational environment in the internet. IEEE 1484.12.1 “Standard for Learning Object Metadata” allows organizing common access to the educational materials on the learning resources. Agent technologies are a mechanism of such access and they create distributed network of learning resources in informational-educational environment in the internet.
- Editiertes BuchInformation systems technology and its applications(2003) Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.
- KonferenzbeitragAn integrated ontology development environment for data extraction(2003) Liddle, Stephen W.; Hewett, Kimball A.; Embley, David W.; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.Data extraction is a necessary technology to deal with the huge and growing collection of unstructured and semistructured information available on the World Wide Web. Ontology-based data extraction is a robust approach, but the construction of ontologies is a technical task requiring the services of a human expert. We present a Java-based tool for the graphical creation and testing of data extraction ontologies. This tool leverages standards such as Java and XML to provide a portable, extensible, maintainable, feature-rich environment. This tool reduces the burden on expert ontology developers and simplifies the task of ontology creation.
- KonferenzbeitragWhere ontology affects information systems(2003) Kaschek, Roland; Zlatkin, Sergiy; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.Nicola Guarino has coined the phrase ontology driven information systems. This phrase appears to offer ontology based help and guidance for information systems development. In this paper we try to understand better whether, why and where ontology affects information systems. We briefly discuss what kind of help we would appreciate and identify domains of knowledge in information systems development that according to our point of view could benefit from such help. We briefly discuss the following five domains: universes of discourse, information systems resources, information space use, customers, and human inference making.
- KonferenzbeitragTools for generation of natural inflected language processors(2003) Mishchenko, Nadiya; Doroshenko, Anatoly; Godlevsky, Mikhail; Liddle, Stephen W.; Mayr, Heinrich C.Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages processors (LPs) for the natural inflected languages. The tools are implemented in the LP generator DUAL, which allows for formal specification and reusability of developed components. The declarative language Dual is used to specify words, idioms, and their processing. The paper describes the automatic generation of dictionaries from their specifications in the Dual language and the reusability of software components, which facilitates fast construction of user-oriented software systems for processing of natural inflected languages. The LPs generated are intended for word-for-word translation of domain-specific texts in inflected languages and the generation of frequency lists of words and phrases used in statistical analysis of texts in inflected and analytical languages using Cyrillic or Latin alphabets.