| Vol-180 © 2006 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# ISIM '06
9th International Conference on Information Systems Implementation and Modelling

### Proceedings of the 9th International Conference on
Information Systems Implementation and Modelling
Přerov, Czech Republic, April 25-27, 2006.

Edited by

### Jaroslav Zendulka *

* Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

## Table of Contents

1. First Pages

   ### Invited papers

2. Practical Software Development with XPrince
   Jerzy Nawrocki
3. Is Enterprise Application Integration still a Multi-million Investment Burden for Company?
   Daniel Kutac

   ### Development Methodologies and Tools

4. Towards Generation of Textual Requirements Descriptions
   Petr Kroha, Philipp Gerber, Lars Rosenhainer
5. An Operating System Model with the Process Control at the Level of Programming Statements
   Juraj Stefanovic

   ### Reuse, Design Patterns, Object-Oriented Design

6. Design Patterns for Role-Based Access Control
   Martin Lason, Roman Szturc
7. Dealing with Unstable Domains in Product-Line Architecture Development
   Valentino Vranic, Vladimir Marko

   ### UML-Based Development

8. A Domain-Specific Language for Visualizing Modeling Languages
   Gergely Mezei, Tihamer Levendovszky, Hassan Charaf

   ### Process-Oriented Models

9. Business Process Modeling based on UML Activity Diagrams
   Michal Radecky, Ivo Vondrak
10. Spemmet - A Tool for Modeling Software Processes with SPEM
    Tuomas Mäkilä, Antero Järvi

    ### Formal Specifications

11. The Formal Approach to Problem Domain Modeling Within Model Driven Architecture
    Erika Asnina
12. Formalization of Two-Hemisphere Model Driven Approach in the framework of MDA
    Natalya Pavlova, Oksana Nikiforova

    ### Software Validation And Verification

13. Software Quality Metamodel for Requirement, Evaluation and Assessment
    Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz
14. Towards Verification of Systems of Asynchronous Concurrent Processes
    Marek Rychly

    ### Information Retrieval

15. Extracting Information from Web Content and Structure
    Dalibor Fiala, Roman Tesar, Karel Jezek, Francois Rousselot
16. Sentence Compression for the LSA-based Summarizer
    Josef Steinberger, Karel Jezek
17. Composition of Methods in Document Clustering
    Kristof Csorba, Istvan Vajk
18. Web Services Customization : A Composition Based Approach
    Yacine Sam, Omar Boucelma, Mohand-Saïd Hacid

    ### Web-Based Information Systems

19. Predicting the Performance of ASP.NET Web-Based Information Systems with Optimized Algorithms
    Agnes Bogardi-Meszöly, Tihamer Levendovszky, Hassan Charaf

    ### Ontology-Based Models, The Semantic Web

20. Ontology based knowledge management for organizational learning
    Budinska, Gatial, Nguyen, Laclavik, Balogh, Forgac, Mokris, Ciglan, Babik, Hluchy
21. Corporate Memory: A framework for supporting tools for acquisition, organization and maintenance of information and knowledge
    Marek Ciglan, Marian Babik, Michal Laclavik, Ivana Budinska, Ladislav Hluchy

submitted by Vladimir Bartik and Jaroslav Zendulka, May 15, 2006