nach oben

2013 | Buch

Kapitel lesen Erstes Kapitel lesen

Information Systems: Methods, Models, and Applications

4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

herausgegeben von: Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige

Verlag: Springer Berlin Heidelberg

Buchreihe : Lecture Notes in Business Information Processing

Enthalten in: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Einloggen, um Zugang zu erhalten

Über dieses Buch

This volume constitutes the proceedings of the 4th International United Information Systems Conference, UNISCON 2012, which was held in Yalta, Ukraine, during June 1-3, 2012. UNISCON 2012 was affiliated with the 8th International Conference on ICT in Education, Research, and Industrial Applications, ICTERI 2012.

The 14 full papers, four short papers, and three extended abstracts presented with a keynote speech were carefully reviewed and selected from 96 submissions. The topical sections covered are: data management; applications; modeling and semantics; and social issues in information systems.

Inhaltsverzeichnis

Frontmatter

Keynote

Business Process Management: A Holistic Management Approach

Abstract

BPM is a holistic management approach applied by organizations worldwide in different settings and scenarios to address complex requirements of their stakeholders. In this paper an introduction on existing methodologies on business process design and tools is provided and the BPMS paradigm as a generic life cycle approach is proposed for application of a meta modelling platforms to address current and future challenges in different BPM related settings. Categorization of the best practices according to the application context is provided by presenting corresponding cases.

Dimitris Karagiannis

Data Management

Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management

Abstract

We argue that several kinds of desirable semantic properties of data provided by information systems, such as their quality, trustworthiness, certainty, security or lack of riskiness, can be modeled and maintained by existing database integrity technology. As opposed to the usual requirement for conventional integrity constraints, formulas that model such properties may not always be perfectly satisfied. Therefore, it is necessary to be less rigorous about the satisfaction of such properties. That can be achieved by recently introduced techniques of inconsistency tolerance, in the fields of integrity checking, integrity repair and query answering. We support our argument by an extended example.

Hendrik Decker

Heuristics-Based Workload Analysis for Relational DBMSs

Abstract

Database systems are widely used in heterogeneous applications. However, it is difficult to decide which database management system meets requirements of a certain application best. This observation is even more true for scientific and statistical data management, because new application and research fields are often first observed in this domain. New requirements are often implied to data management while discovering unknown research and applications areas. That is, heuristics and tools do not exist to select an optimal database management system. We develop a decision support framework to support application-performance analyses on database management systems. We use mappings and merge workload information to patterns. We present heuristics for performance estimation to select the optimal database management system for a given workload. We show, these heuristics improve our decision framework by complexity reduction without loss of accuracy. Finally, we evaluate our heuristics considering standard database benchmarks.

Andreas Lübcke, Veit Köppen, Gunter Saake

Applications

Information Technology for the Decision-Making Process in an Investment Company

Abstract

This paper covers one of the directions of the Investment Company functioning, namely investments in business projects of the national economy. The information technology in order to justify and make investment decisions has been developed. This technology is the complex of models and techniques of analysis of the investment market conditions, formation of the investment policy, evaluation of effectiveness and risks of investment directions and projects, construction of investment portfolio. The implementation of the Decision Support System for the Investment Company is considered. Main functions and requirements of the system are presented. The software solution structure based on service-oriented architecture (SOA) is considered. The description of packages, interfaces and their interaction is described. The developed application is a complete solution for operating with the internal and external data of the Investment Company, obtaining the results of assessment and report generation.

Tetiana Zakharova, Valentyna Moskalenko

Long-Term Forecasting Technology of Macroeconomic Systems Development: Regional Aspect

Abstract

Conducting of effective public policy is impossible without the scientifically substantiated evaluation of taken decisions. Long-term modeling and forecasting is the tool that allows evaluating the impact of the ongoing reforms on macroeconomic systems’ development. This requires the processing of huge amount of diverse information. This article is devoted to modeling and long-term forecasting of regional macroeconomic systems’ development. The simulation model based on the method of system dynamics is proposed. The generalized forecasting technology, which includes simulation model setup, validation and long-term forecasting, is developed. The numerical experiments and the forecast of Kharkiv region development until 2025 were carried out on the basis of the suggested information technology.

Marina Grinchenko, Olga Cherednichenko, Igor Babych

Modeling and Semantics I

Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems

Abstract

The development process of web information systems nowadays improved a lot regarding effectiveness and tool support, but still contains many redundant steps for similar tasks. In order to overcome this, we use a model-driven approach to specify a web information system in an agile way and generate a full-fledged and runnable application from a set of models. The covered aspects of the system comprise data structure, page structure including view on data, page- and workflow within the system as well as overall application structure and user rights management. Appropriate tooling allows transforming these models to complete systems and thus gives us opportunity for a lightweight development process based on models. In this paper, we describe how we approach the page- and workflow aspect by using activity diagrams as part of the agile modeling approach MontiWIS. We give an overview of the defined syntax, describe the supported forms of action contents and finally explain how the behavior is realized in the generated application.

Dirk Reiß, Bernhard Rumpe

Towards Conceptualizing Quality-Related Stakeholder Interactions in Software Development

Abstract

The paper addresses the issue of organizing quality-related interaction between business stakeholders and software developers relying on established common vocabulary. It establishes a conceptual representation for the process of such interaction. This conceptualization is based on a set of notions representing software quality and its particular incarnations; they are used to define the activities of the interaction process. The process is conceptualized on two levels: a coarse-grained level defining the set of generic activities and the conditions of launching these activities and a fine-grained level describing particular interaction steps in detail. The conceptualization is expected to be shared as a part of upcoming ontology of stakeholder quality perception and assessment.

Vladimir A. Shekhovtsov, Heinrich C. Mayr, Christian Kop

Modeling and Semantics II

Agent-Based Implementation for the Discovery of Structural Difference in OWL-DL Ontologies

Abstract

Various knowledge-based information systems contain distinct knowledge representations reflecting different domains of interest and different viewpoints across domains of discourse. For efficient use of knowledge-based systems it is necessary to know semantic relations or alignment between different knowledge representations. One of the promising approaches is the use of intelligent software agents where agents communicate in order to align respective knowledge representations. The paper presents an approach for ontology alignment based on implementation of meaning negotiation between intelligent agents. In the approach, negotiation is conducted in iterative way. At each step agents compare ontological contexts and use propositional substitutions in order to reduce semantic distance between the contexts. The focus of the paper is the implementation of agents’ negotiation strategy.

Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok

Cognitive Modeling and Support for Ambient Assistance

Abstract

The aim of the Human Behavior Monitoring and Support (HBMS) project is to learn about the individual skills and behavioral knowledge of a person in order to support that person when needed. It is intended as a contribution to enable elderly people to live autonomously in their domestic environment as long as possible. The basic idea is to build a cognitive model of the behavior of a person while she/he is of sound mind and memory. In case of mental incapacitation this model will be used as a knowledge base for generating support information. The paper outlines the first results of the HBMS project with a focus on the investigative survey and the overall architecture of the chosen approach.

Judith Michael, Andreas Grießer, Tina Strobl, Heinrich C. Mayr

Social Issues in Information Systems

Architecture for Social Life Network to Empower People at the Middle of the Pyramid

Abstract

We have designed an architecture for a mobile based information system to empower people in the middle of the pyramid (MOP). MOPs is now half of the world’s population has only a mobile phone to get connected to the Internet. They need applications to enhance their livelihood activities. These applications need to provide information on rapidly changing dynamic situations such as fluctuations in market prices, prevailing supply and demand situation for their produce as well as more stable information such as information on seeds, pests, weather patterns, soil types etc. Our architecture is designed to provide dynamic information by aggregating micro-blogs, status updates and data from sensors. It also has connections to established data sources and websites to provide more stable information and tools for empowerment.

Athula Ginige, Tamara Ginige, Deborah Richards

Towards Quality Monitoring and Evaluation Methodology: Higher Education Case-Study

Abstract

Quality monitoring is a continuous function that uses the systematic data collection to provide management with indications of goals achievement. Higher education is considered in this paper. Problems of higher education quality monitoring are discussed. The reference model of quality monitoring and evaluation is suggested. Web mining is suggested as data collection method for higher education quality monitoring system. The architecture of higher education quality monitoring system is based on agent-oriented methodology.

Olga Cherednichenko, Olga Yangolenko

Selected ICTERI Papers

Validating OntoElect Methodology in Refining ICTERI Scope Ontology

Abstract

This research work is focused on the experimental validation of our OntoElect approach to ontology engineering in the case study of iterative refinement of the ICTERI Scope Ontology. OntoElect has been used for evaluating the commitment of the domain knowledge stakeholders to the ontological offering measured as positive and negative votes. The analysis of the measures allowed us answering the questions about the fitness of the ontological offering to the implicit requirements of the stakeholders as well as the completeness of the domain model with respect to their implicit expectations. The paper briefly presents the idea of OntoElect as a socially inspired approach for ontology engineering. It further describes the objectives and the set-up of our evaluation experiment. Finally it presents experimental results.

Olga Tatarintseva, Yuriy Borue, Vadim Ermolayev

Composition-Nominative Logics in Rigorous Development of Software Systems

Abstract

We provide motivation for composition-nominative approach and its main underlying principles. We give a brief introduction to the hierarchy of composition-nominative logics (CNL) and discuss possible applications of these logics in formal approaches for software development. CNL are algebra-based logics of partial predicates and functions. They are constructed in a semantic-syntactic style on the methodological basis, which is common with programming. Main attention in the paper is paid to the first-order CNL. The satisfiability problem for the first-order CNL is addressed. We show the reduction of the problem in hand to the satisfiability problem for classical first-order logic with function symbols. The reduction proposed requires extension of logic language and logic models with an infinite number of unessential variables. The method presented in the paper enables one to use existent satisfiability checking algorithms and tools for solving instances of the CNL satisfiability problem. Thus, many standard techniques developed for classical logics can be applied in CNL-based approaches for program reasoning.

Mykola S. Nikitchenko, Valentyn G. Tymofieiev

Adaptable Enterprise Information Systems Development Using Advanced Active Data Dictionary Framework

Abstract

Today management activities pose new challenges for corporate information systems. The rate of changing and dynamics is increasing in the course of time as well as complexity of tasks to be solved that requires adequate reactions from agent of management. In such conditions information systems have to have a set of characteristics such as versatility, flexibility, and scalability to effectively address the goals. The paper presents our ongoing work at a generic framework for developing flexible enterprise information systems based on the concept of the Advanced Active Data Dictionary (AADD). The framework allows construction of flexible enterprise applications for efficient solutions in various domains and broad range of management activities.

Maxim Davidovsky, Gennadiy Dobrovolsky, Olga Todoriko, Vladimir Davidovsky

The Model for Enhanced Variability Management Process in Software Product Line

Abstract

The paper presents a novel model for the process of managing software Variability – the ability of a software system or artefact to be extended, changed, customized or configured for use in a specific context – in Software Product Line (PL). The process pretends to be enhanced (i. e. consistent, scalable, traceable, visible and rational as for the decisions being made on Variability) to mitigate some its limitations. To this end the Model proposed composes: Management Functions uniformly combining all the actions on variability into single cycle like Doeming Plan-Do-Check-Act one; due quality Demands for the Functions; their Environment driven with another novel Model of Variability in PL. It consistently represents variability both in PL structure and artefacts across all PL development stages and stakeholders’ viewpoints along with the dedicated assessment submodel purposing at the decisions’ rationality. Presented sample Case Study with trial Workflow-based Configurator tool just developed in the Institute of Software Systems of NAS promises availability of the process constructed for efficient automated support.

Olga Slabospitskaya, Andrii Kolesnyk

Short Papers

Providing the Interactive Studying of the Students Which Is Controlled by Distance with Web-Portal E-olimp

Abstract

In this paper we review studying informational technologies of the interactive education which is controlled by distance. We were proposed to create and apply WEB-portal (www.e-olimp.com.ua) for realization of distant interactive educational studying. We explain that using of given Web-portal will permit to extend the received informational technologies on other disciplines and specialties will help to save finances on establishment and refreshing the educational, educational and methodological literature routing its location in corresponding web-books on it.

Borys Lyashenko, Sergiy Zhykovskyy, Svitlana Postova

A Template-Based Method to Create Efficient and Customizable Object-Relational Transformation Components

Abstract

We describe a method to create object-relational transformation components by using the code generation system to automatically generate a persistence layer based on the database structure. A text template engine is used to generate SQL queries, business classes and APIs to access data from the application code. Provided default implementations are sufficient to quickly obtain a working persistence layer. However the real power of proposed solution lies in extensive customization capabilities. Therefore the developed system provides a high developer productivity because of automation, as well as high performance and flexibility due to the possibility of customization. Performance measurements demonstrate the high efficiency of the generated code, both in terms of execution speed and code size.

Igor Lihatsky, Anatoliy Doroshenko, Kostiantyn Zhereb

Are Anti-goals Needed in Systems Design?

Abstract

I report on a study into enhancing communication privacy in virtual worlds. That study used steganography as guiding idea. Its approach could easily be adapted to work for further virtual worlds. Liability and cost issues, however, might make the related providers oppose to inhabitants of their world practice it. I try to conceptualize the underlying problem in terms of systems development. Then I raise the question if these aspects of computerized systems need to be considered more careful and to be addressed by software processes.

Roland Kaschek

Model and Tools for Multi-dimensional Approach to Requirements Behavior Analysis

Abstract

Requirements modeling and analysis (RMA) are important and weak-formalized activities in the whole requirements engineering framework. In this paper an advanced approach to RMA is proposed, which provides multi-dimensional estimation of requirements in appropriate attribute spaces, with respect to their both static features and dynamic behavior. The given test-case shows a complex requirements behavior and visualizes requirements modeling process, in order to support decision making in software development.

Mykola Tkachuk, Irina Martinkus

Extended Abstracts

A Layered Architecture Approach for Large-Scale Data Warehouse Systems

Abstract

A proper architecture is significant to cope with complex requirements of today’s large-scale Data Warehouses. We compare the assignment of so-called reference architectures with an architecture of dedicated layers to satisfactorily face those requirements. Moreover, we point out additional expenses and resulting advantages of this layered approach.

Thorsten Winsemann, Veit Köppen, Andreas Lübcke, Gunter Saake

Towards Medical Screening Information Technology: The Healthgrid-Based Approach

Abstract

The main task of medical information technologies is the processing of distributed electronic medical information. The solution of this task is based on the patients’ electronic medical records. The paper is devoted to data analysis for early disease detection and defining risk groups in population. The architecture of healthgrid-based medical information system is suggested. Formalization of domain area based on screening ontology is proposed.

Karina Melnik, Olga Cherednichenko, Vitaliy Glushko

Knowledge-Oriented Approach to Requirements Engineering in Ambient-Assisted Living Domain

Abstract

This paper sketches HBMS(Human Behavior Monitoring and Support), an Ambient Assisted Living (AAL) approach deriving cognitive behavioral models from individual behavioral processes and using this knowledge “learned” to compensate individual memory gaps. In the context of HBMS individual behavioral processes represent the requirements to customize an individual assistive system.

Volodymyr Bolshutkin, Claudia Steinberger, Mykola Tkachuk

Backmatter

Titel: Information Systems: Methods, Models, and Applications
herausgegeben von: Heinrich C. Mayr
Christian Kop
Stephen Liddle
Athula Ginige
Verlag: Springer Berlin Heidelberg
Electronic ISBN: 978-3-642-38370-0
Print ISBN: 978-3-642-38369-4
DOI: https://doi.org/10.1007/978-3-642-38370-0