Menu
CS

Search

Persons

doc. Ing. Karel Richta, CSc.

All publications

Information Systems Development via Model Transformations

  • Authors: doc. Ing. Karel Richta, CSc., Pokorný, J., Richta, T.
  • Publication: Intelligent Information and Database Systems. Springer, 2018. p. 674-683. 1. vol. 1. ISSN 0302-9743. ISBN 978-3-319-75416-1.
  • Year: 2018
  • DOI: 10.1007/978-3-319-75417-8_63
  • Link: https://doi.org/10.1007/978-3-319-75417-8_63
  • Department: System Testing IntelLigent Lab
  • Annotation:
    Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of autonomous agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into Petri nets, and interpreted by the special Petri Nets Virtual Machines, which are installed on all nodes of the system.

Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling

  • Authors: Chlumecký, M., Buchtele, J., doc. Ing. Karel Richta, CSc.,
  • Publication: Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694.
  • Year: 2017
  • DOI: 10.1016/j.jhydrol.2017.08.025
  • Link: https://doi.org/10.1016/j.jhydrol.2017.08.025
  • Department: System Testing IntelLigent Lab
  • Annotation:
    The efficient calibration of rainfall-runoff models is a difficult issue, even for experienced hydrologists. Therefore, fast and high-quality model calibration is a valuable improvement. This paper describes a novel methodology and software for the optimisation of a rainfall-runoff modelling using a genetic algorithm (GA) with a newly prepared concept of a random number generator (HRNG), which is the core of the optimisation. The GA estimates model parameters using evolutionary principles, which requires a quality number generator. The new HRNG generates random numbers based on hydrological information and it provides better numbers compared to pure software generators. The GA enhances the model calibration very well and the goal is to optimise the calibration of the model with a minimum of user interaction. This article focuses on improving the internal structure of the GA, which is shielded from the user. The results that we obtained indicate that the HRNG provides a stable trend in the output quality of the model, despite various configurations of the GA. In contrast to previous research, the HRNG speeds up the calibration of the model and offers an improvement of rainfall-runoff modelling.

Impact of User’s Emotion on Software Adaptation

  • Department: Department of Computer Science, System Testing IntelLigent Lab
  • Annotation:
    The Adaptive Application Structure (AAS) software design resolves the problem with different users needs. It changes its structure based on the current context. Every user has different needs so it is quite challenging problem because the structure of application can be created with quite large number of options. The AAS-approach advantages are clear in form of flexible software design. Developer does not have to create different types of application based on users needs. This approach removes the problem of user modeling (e.g. Personas) for UI developers. As a resource of information about user we can use not only filled information or information about his behavior. We can use also context that will focus on his emotions while he uses the application. This paper considers emotions as a valid and important part of context-aware design.

Model Transformations via XSLT

  • Authors: Pavlát, J., doc. Ing. Karel Richta, CSc., Richta, T, Janoušek, V
  • Publication: DATESO 2017. Praha: CTU. Czech Technical University Publishing House, 2017. p. 43-55. ISBN 978-80-01-06138-1.
  • Year: 2017
  • Department: System Testing IntelLigent Lab
  • Annotation:
    Many present systems are conceived as a set of autonomous agents that communicate together in solving problems. Petri nets are commonly used for a specification of parallel systems. An interesting question is whether we can implement arbitrary system by a set of Petri nets agents. These agents could be specified by Petri nets, but such a description is not sufficiently userfriendly. Our idea is to define these agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each net of the resulting system is translated into a specific target representation called Petri Nets Byte Code (PNBC). These codes are interpreted by the special Petri Nets Virtual Machines (PNVM), which are installed on all nodes of the system, under the Petri Nets Operating System (PNOS). This paper deals with the one step of this process, which is an implementation of required transformations from workflow model into Petri nets with the help of XSLT.

Adaptive Application Structure Design for Java EE Applications

  • DOI: 10.1145/2987386.2987417
  • Link: https://doi.org/10.1145/2987386.2987417
  • Department: Department of Computer Science, System Testing IntelLigent Lab
  • Annotation:
    Adaptive Application Structure (AAS) is such a structure that adjusts itself based on the current context. It brings benefits to end users, as it adapts to their specific personal needs. While applications themselves are designed in a particular way by developers, each user is using a particular application differently. Unfortunately, development complexities rise, which necessarily reflects in the development and maintenance efforts increase. The main aim is to mitigate the efforts and to introduce a novel approach to design AAS. A framework to design ASS-based applications is considered and evaluated.

Usage of Aspect-Oriented Programming in Adaptive Application Structure

  • DOI: 10.1007/978-3-319-44066-8_22
  • Link: https://doi.org/10.1007/978-3-319-44066-8_22
  • Department: Department of Computer Science, System Testing IntelLigent Lab
  • Annotation:
    Adaptive Application Structure (AAS) is one that changes its structure based on the current context. It brings benefits to end users, cause everyone has its own needs. Also the applications is created in some way by developers, but each user is using the application in different way. In AAS-approach development difficulties appears caused by extended development and maintenance efforts. to implement. This paper considers the Aspect-Oriented Programming (AOP)-based approach for the AAS design.

Aspect-oriented User Interface Design for Android Applications

  • Department: Department of Computer Science
  • Annotation:
    This paper deals with the design of an effective Android framework that will allow a developer to create Android applications easily in a short time with the help of aspect-oriented approach. Our solution enables to deal with separated aspects like security, layout, input validation, data binding and presentation independently. Our presented framework is compared to conventional development approach of mobile applications and also is compared to the framework Aspect Faces that is also uses aspect-oriented approach, but is de-signed for Java EE applications. Each aspect of framework was tested and it was proven that our framework is effective in the following areas. It does not slow down the developed application according to the same application created with XML, it makes the code to be more readable, and it makes development faster, and reduces the number of code lines that developer has to write down.

Database Architectures: Current State and Development

  • Authors: Pokorný, J., doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of DATA 2015. Porto: SciTePress - Science and Technology Publications, 2015. pp. 151-160. ISBN 978-989-758-103-8.
  • Year: 2015
  • Department: Department of Computer Science
  • Annotation:
    The paper presents shortly a history and development of database management tools in last decade. The movement towards a higher database performance and database scalability is discussed in the context to requirements of practice. These include Big Data and Big Analytics as driving forces that together with a progress in hardware development led to new DBMS architectures. We describe and evaluate them mainly in terms of their scalability. We focus also on a usability of these architectures which depends strongly on application environment. We also mention more complex software stacks containing tools for management of real-time analysis and intelligent processes.

Application and Relational Database Co-Refactoring

  • Authors: Macek, O., doc. Ing. Karel Richta, CSc.,
  • Publication: COMSIS - Computer Science and Information Systems. 2014, 11(2), 503-524. ISSN 1820-0214.
  • Year: 2014
  • DOI: 10.2298/CSIS130610033M
  • Link: https://doi.org/10.2298/CSIS130610033M
  • Department: Department of Computer Science
  • Annotation:
    A refactoring of application persistent objects affects not only the source code but the stored data as well. The change is usually processed in two steps: refactoring and data migration, which is ineffective and error prone. We provide a formal model for solution which is capable to migrate database according to a refactoring in the application code. The feasibility of the change and its data-secure processing is addressed as well.

Domain Specific Language Approach on Model-driven Development of Web Services

  • Authors: Nguyen, V., Qafmolla, X., doc. Ing. Karel Richta, CSc.,
  • Publication: Acta Polytechnica Hungarica. 2014, 11(8), 121-138. ISSN 1785-8860.
  • Year: 2014
  • DOI: 10.12700/APH.11.08.2014.08.7
  • Link: https://doi.org/10.12700/APH.11.08.2014.08.7
  • Department: Department of Computer Science
  • Annotation:
    As modern distributed and cloud architecture keep gaining their popularity, web services have become the programmatic backbones of more and more systems. Developing web services requires gathering information from different aspects. Model-driven engineering promises to ease the burden of development and promote reuse of web services by focusing more on a higher level of abstraction. Current approach of modeling web services using UML is not well-suited since UML is created for multiple disciplines and is not specific for web service development. With current growing scale of distributed systems, the challenge is not only in development but also integration and maintenance of web services. Introducing a domain specific language (DSL) for modeling of web services promises to become a novel approach and could be the solution to the current problem with web service modeling and development. This article outlines the analysis as well as the current state of the problem domain and introduces an approach to model-driven development of web services by implementing a domain specific language called SWSM (Simple Web Service Modeling). This approach aims to solve problems that UML could not effectively resolve and promote efficiency with a non-complex language facility for modeling and code generation of web services. Our best practices and observation during the design of SWSM are also presented.

Metamodel-based Generation of Web Content Management Systems

  • Authors: Qafmolla, X., Nguyen, V., doc. Ing. Karel Richta, CSc.,
  • Publication: International Journal on Information Technologies and Security. 2014, 2014(4), 17-30. ISSN 1313-8251.
  • Year: 2014
  • Department: Department of Computer Science
  • Annotation:
    The number of tools supporting Web content creation and management has massively grown in the last two decades. Most of these tools are too complex for practical usage and require strong understanding of the related technologies. We present a methodology for semi-automated generation of Web content management systems based on a generic metamodel. Its aim is to minimize the need of intervention by the technical user. To support the methodology we have developed proof-ofconcept tools that have been used for evaluation in real-world case studies. In this paper we also present these tools and the results of the evaluation process.

How can formalization of SOA help in finding solutions for IT systems

  • Authors: Skřivánek, Z., doc. Ing. Karel Richta, CSc.,
  • Publication: DATESO 2013. Ostrava: Dept.of Computer Science, FEECS, VŠB-TUO, 2013. pp. 70-79. ISBN 978-80-248-2968-5.
  • Year: 2013
  • Department: Department of Computer Science
  • Annotation:
    Service Oriented Architectures (SOA) are nowadays one of the most important styles in developing new information systems. SOA is attracting a lot of attention in industry as credible tool for managing large infrastructures. These systems divided into divisions have often complex models, which can contain mistakes or are informal. There are not enough current tools for testing semantic correctness of included services. Ways in research of solving such challenges are Model Driven Development (MDD) principles. We introduce the necessity of formalization of SOA in process of developing new systems and also integrating the legacy systems. We want to describe the ideas of how to achieve machine readable specifications using software tools which can then be used to verify the correctness of using the service along the required rules and its testing. We want to open two specific areas of research that is formalization of the transfer process between business and software design models and the formalization of the methods of integrating existing services.

Petri Nets versus UML State Machines

  • Authors: doc. Ing. Karel Richta, CSc., Kubátová, H., Richta, T.
  • Publication: SDOT 2013. Praha: Vysoká škola manažerské informatiky a ekonomiky, a.s., 2013. p. 1-7. ISBN 978-80-86847-66-5.
  • Year: 2013
  • Department: Department of Computer Science
  • Annotation:
    Petri nets are widely used for the specification of problems, in particular for describing concurrent systems. On the other hand, new versions of the UML specification precisely define the semantics of activity diagrams, and state machines, which can also be used to describe parallel systems. An interesting question is whether we can replace any Petri net machine by the state machine describing the same behavior, and vice versa.

Possible Realizations of Multiplicity Constraints

  • Authors: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publication: COMSIS - Computer Science and Information Systems. 2013, 10(4), 1621-1646. ISSN 1820-0214.
  • Year: 2013
  • DOI: 10.2298/CSIS121210067R
  • Link: https://doi.org/10.2298/CSIS121210067R
  • Department: Department of Computer Science
  • Annotation:
    Model Driven Development (MDD) approach is often used to model application data and behavior by a Platform Independent Model (PIM) and to generate Platform Specific Models (PSMs) and even the source code by model transformations. However, these transformations usually omit constraints of the binary association multiplicities, especially the source class optionality constraint. This paper is an extended version of the paper ’Transformation of Special Multiplicity Constraints - Comparison of Possible Realizations’ presented at MDASD workshop at the FedCSIS 2012 conference. In this paper, we summarize the process of the transformation of a binary association from a PIM into a PSM for relational databases. We suggest several possible realizations of the source class optionality constraint to encourage the automatically transformation and discuss their advantages and disadvantages.We also provide experimental comparison of our suggested realizations to the common realization where this constraint is omitted.

Modeling and Evolution of XML Schemas

  • Authors: doc. Ing. Karel Richta, CSc., Klímek, J., Nečaský, M., Malý, J.
  • Publication: DATAKON 2012. Košice: Technical University of Košice, 2012. pp. 117-126. ISBN 978-80-553-1049-7.
  • Year: 2012
  • Department: Department of Computer Science
  • Annotation:
    The lecture is to provide information about XML data modeling, creating an abstract data model so that we can validate whether the documents are syntactically correct, whether they correspond to the schema documents, and can then be processed as a strongly typed. In addition, by publication of XML schema we can achieve greater standardization in the transfer of documents. Modeling XML schema is also useful for the necessary transformations of XML documents, if we need to change their structure. It is convenient to construct appropriate supporting tools.

Modeling of XML Schemas

  • Authors: doc. Ing. Karel Richta, CSc., Nečaský, M., Klímek, J., Malý, J.
  • Publication: Moderní databáze 2012. Praha: Komix, 2012. pp. 12-23. ISBN 978-80-905231-0-4.
  • Year: 2012
  • Department: Department of Computer Science
  • Annotation:
    The lecture is to provide information about XML data modeling, creating an abstract data model so that we can validate whether the documents are syntactically correct, whether they correspond to the schema documents, and can then be processed as a strongly typed. In addition, by publication of XML schema we can achieve greater standardization in the transfer of documents. Modeling XML schema is also useful for the necessary transformations of XML documents, if we need to change their structure.

Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations

  • Authors: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publication: Federated Conference on Computer Science and Information Systems (FedCSIS 2012). New York: IEEE, 2012. pp. 1357-1364. ISBN 978-1-4673-0708-6.
  • Year: 2012
  • Department: Department of Computer Science
  • Annotation:
    This paper deals with transformation of a binary relationship from Platform Independent Model (PIM) to Platform Specific Model (PSM) for relational database from the point of view of Model Driven Development (MDD). The paper summarizes the transformation of a binary relationship with multiplicity constraints and focus on problems of the current approach for such transformations. In this particular paper, we define a special OCL constraint for source entity parciality that is usually omitted during transformation. This constraint is easily transformable to PSM and can be transformed automatically with the model. We suggest three various possible realizations for the defined constraint. We also present some experiments to demonstrate that our approach with the special constraint is equivalent in execution time to the current approach of a binary relationship realization in a relational database while providing better consistency control. Finally, we generalize our proposed solution to be used for special multiplicity values used in PIM that cannot be enforced by the foreign key mechanism.

Using OCL in Model Validation According to Stereotypes

  • Authors: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publication: DATESO 2012. Praha: MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK, 2012. pp. 93-102. ISSN 1613-0073. ISBN 978-80-7378-171-2.
  • Year: 2012
  • Department: Department of Computer Science
  • Annotation:
    Model-Driven Development approach became popular in past years. Domain-specific profiles are defined for various domains and tools are used to transform models using these profiles to source code artifacts. However, rules need to be defined for the profile elements usage so the transformation can be effective and reliable. This paper deals with an approach of expressing these rules using special type of metamodel with UML class diagrams with the stereotypes defined in the profile - we call them constraint diagrams. Each class in this metamodel represent all classes in the model with the same stereotype. Using stereotyped associations, we can link classes with different stereotypes and restrict the usage of such stereotype only to relations between specific stereotyped classes in the model. OCL constraints can be generated from the constraint diagram to enable validation of the model according to the rules in the metamodel. This paper deals with the description of the constraint diagram creation and OCL constraints generation.

Validation of stereotypes' usage in UML class model by generated OCL constraints

  • Authors: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publication: Information Technologies - Applications and Theory 2012. Košice: Technical University of Košice, 2012. pp. 25-32. ISBN 978-80-971144-1-1.
  • Year: 2012
  • Department: Department of Computer Science
  • Annotation:
    The Model Driven Development approach became popular in the past years. Domain-specific profifies are defifined for various domains and tools are used to transform UML class models using these profifiles to source code artifacts. However, rules need to be defined for the profifile elements' usage so the transformation can be efffective and reliable. The paper deals with an approach of expressing these specific rules using a special type of meta-model using UML class diagram notation with the stereotypes defifined in the profile { we call them constraint diagrams. In these diagrams we can restrict usage of specific stereotypes according to the other connected stereotypes. OCL invariants can be generated from these diagrams that can be used to validate a model that uses the profifile. The approach is illustrated on an example of a UML profifile for J2EE and Flex application.

Exploring Dependencies in Java-Based Software Ecosystems

  • Authors: Procházka, A., Lungu, M., doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011. pp. 31-41. ISBN 978-80-214-4329-7.
  • Year: 2011
  • Department: Department of Computer Science
  • Annotation:
    Understanding the legacy of code in a software ecosystem is critical for the organization that is the owner of the ecosystem as well as for individual developers that work on particular systems in the ecosystem. Model driven development (MDD) and model driven architecture (MDA) techniques contain several important categories of information which cover this knowledge. One of them is description of how do projects or other modules of our software ecosystem depend on each other. Today we have many ways to describe these inter-project dependencies that help us maintain this information. There are two solutions in this case. Developers can describe the dependencies by hand. This can be painful and error prone process. Another solution is recovering the dependencies using some reverse-engineering process. This paper discusses a potential of Ecco technology for recovering inter-project dependencies from Java based software ecosystems.

Open Design Architecture for Round Trip Engineering

  • Authors: Beličák, M., Pokorný, J., doc. Ing. Karel Richta, CSc.,
  • Publication: Information Systems Development ISD 2009: Challenge of Practice and Theory in Web-based Information Services. Heidelberg: Springer, 2011. pp. 281-293. ISBN 978-1-4419-7205-7.
  • Year: 2011
  • DOI: 10.1007/978-1-4419-7355-9_24
  • Link: https://doi.org/10.1007/978-1-4419-7355-9_24
  • Department: Department of Computer Science
  • Annotation:
    This paper introduces a component design of application logic in special type of information system architecture called Open Design Architecture for Round Trip Engineering (ODARTE). This architecture supports model-driven development and integrates information system design with its executable form. It is possible to extract design anytime, modify it and load back to change the activity and behavior of information system. In this approach, the application logic represents solely functionality and can be described either by sequential model of Windows Workflow Foundation or by UML activity or interaction diagrams. This approach allows creation of flexible and modifiable meta-design of application logic. Finally, an experimental simulation is shown demonstrating the effect of proposal which relates to pilot version of runtime environment for ODARTE support.

Service-Oriented Architectures

  • Authors: Nečaský, M., Kusák, D., doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011. pp. 1-26. ISBN 978-80-214-4329-7.
  • Year: 2011
  • Department: Department of Computer Science
  • Annotation:
    The term "Service-Oriented Architecture" or SOA, is nowadays often used. It is an architectural approach to building corporate IT infrastructure, based on the concept of services. It seeks to mutual  "reconciliation" with the needs of the organization's IT infrastructure. The main benefit of SOA applications within the company should increase its flexibility and efficiency of its operation. The tutorial deals with the concept of SOA and application of this concept in practice. In the first part we describe the basic aspects of SOA. The next section introduces the methodology for creating SOA solutions, the business-driven development methodology. The main part of the tutorial, then the analysis phases of the life cycle of SOA solutions, ie, modeling, development, deployment in an organization, monitoring and eventually adaptation according to its changing needs.

Transformation of Binary Relationships with Particular Multiplicity

  • Authors: Rybola, Z., doc. Ing. Karel Richta, CSc.,
  • Publication: DATESO 2011. Ostrava: VŠB - Technical University of Ostrava, 2011. p. 25-38. 1. ISSN 1613-0073. ISBN 978-80-248-2391-1.
  • Year: 2011
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with one small step in the process of model driven development (MDD). This paper describes basic principles and restrictions for transformations of binary relationships and transformations of binary relationships with the particular multiplicity from PIM level into PSM level. The idea is illustrated on examples.

Transformation of relationships from UML/OCL to SQL

  • Authors: doc. Ing. Karel Richta, CSc., Rybola, Z.
  • Publication: ITAT 2011: Zborník príspevkov prezentovaných na konferencii ITAT. Košice: Univerzita P.J.Šafárika, 2011. pp. 31-37. ISBN 978-80-89557-01-1.
  • Year: 2011
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with one particular step in the process of model driven development (MDD). MDD sup- poses that the software development process is the sequence of model transformations from computation independent models (CIM) to platform independent models (PIM), plat- form specific models (PSM), and implementation specific models (ISM). Similar transformations can support reverse engineering processes. This paper describes principles and possibilities for transformations of the class model in UML with integrity constraints in OCL from PIM level into PSM level. The idea will be illustrated on examples.

Denotational Semantics of the XML-Lambda Query Language

  • Authors: Loupal, P., doc. Ing. Karel Richta, CSc.,
  • Publication: DATESO 2010. Praha: Matfyzpress, 2010. pp. 139-146. ISSN 1613-0073. ISBN 978-80-7378-116-3.
  • Year: 2010
  • Department: Department of Computer Science
  • Annotation:
    In this paper, we define formally the XML-Lambda Query Language, a query language for XML, that employs the functional data model. This research brought in the key idea of a func- tional query processing with a wide potential that was later proven by a simple prototype implementation.

Evaluation criteria for management of large communication networks

  • Authors: doc. Ing. Karel Richta, CSc., Vrana, I., Vrána, J.
  • Publication: Systémová integrace. 2010, 17(1), 7-17. ISSN 1210-9479.
  • Year: 2010
  • Department: Department of Computer Science
  • Annotation:
    This paper discusses aspects of how to compare suitability of different approaches for building and operating a system to support a telecommunication network configuration management. Proposed evaluation criteria will serve for comparison of main features and effectiveness of individual implementation methods considered for the network management. Applying these criteria can help to select such an implementation method, which enable reduction of errors, better exploitation of capacity of individual network elements and significant reduction of hardware costs.

Model Driven Development and its Teaching

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Informatika XXIII/2010. Brno: Mendelova zemědělská a lesnická univerzita v Brně, 2010. pp. 101-102. ISBN 978-80-7375-394-8.
  • Year: 2010
  • Department: Department of Computer Science
  • Annotation:
    One of the most cited abbreviations in the present time is MDA (Model Driven Architecture), or MDD (Model Driven Development), resp. MDE (Model Driven Engineering). The basic principle of this approach uses some model in the software development. The question is "Can it bring something?". And if yes, what and how it can be teached? The paper attempts to answer such questions.

OCL and Model Driven Development

  • Department: Department of Computer Science
  • Annotation:
    Model Driven Development (MDD), or Model Driven Architecture (MDA) seems to be one of the frequently used buzzwords. The main principle is that we use heavily different models of the application during the development and maintenance. OMG association promotes the idea that work with model may bring many new possibilities. The model can be used to generate the data structure and the skeleton of solution. We can extract models of an existing system by the reverse engineering process to facilitate its understanding and treatment. We can perform various transformations above models, e.g. refactoring. Modeling is currently presented using UML (Unified Modeling Language). Correct models in UML diagrams have to be completed by precise descriptions of the various integrity constraints. For this purpose, the UML specification includes a special language called OCL (Object Constraint Language). The paper deals with the principles OCL language, illustrated on the examples.

On the Denotational Semantics of XML-Lambda

  • Authors: doc. Ing. Karel Richta, CSc., Loupal, P.
  • Publication: ITAT 2010 - Informačné Technologie - Aplikácie a Teória. Košice: Univerzita P. J. Šafárika, 2010. pp. 33-38. ISSN 1613-0073.
  • Year: 2010
  • Department: Department of Computer Science
  • Annotation:
    The article deals with the denotational semantics of a special query language called XML-Lambda, which is based on the simply typed lambda calculus. The exact semantics allows experimentation with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML-Lambda environment. The main advantage of our approach is the possibility of a query optimizations in the XML-Lambda intermediate form. It is much more easier than optimizations based on the offcial W3C semantics. XML-Lambda is a part of more complex XML-Lambda Framework which serves for experimenting with the tools for XML processing.

Reconstruction of OCL from SQL

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON 2010. Ostrava: Ostravská univerzita, 2010. pp. 1-10. ISBN 978-80-7368-424-2.
  • Year: 2010
  • Department: Department of Computer Science
  • Annotation:
    This paper discusses the possibilities of reconstruction of UML classes and OCL constraints from an existing SQL, as a contribution to the reverse engineering process in the model-driven development.

General Schema Editor

  • Authors: Karas, M., doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON 2009. Praha: Univerzita Karlova, Matematicko-fyzikální fakulta, 2009. pp. 135-144. ISBN 978-80-245-1568-7.
  • Year: 2009
  • Department: Department of Computer Science
  • Annotation:
    The main purpose of this paper is to describe a meta-model driven general schema editor. The meta-model consists of a set of possible elements and connections for a given type of schema. Each element and connection has some graphical image and can have attributes, which describes their properties. Models or schemas are built from these elements and connections. The editor has an ability to import and export models and meta-models data from/to XML (XMI) format. The editor is a part of a more complex CASE tool.

Integration of weakly heterogeneous semistructured data

  • Authors: Feuerlicht, G., Pokorný, J., doc. Ing. Karel Richta, CSc., Ruttananontsatean, N.
  • Publication: Information Systems Development (ISD2008). New York: Springer, 2009. pp. 69-78. Computer Science. ISBN 978-0-387-84809-9.
  • Year: 2009
  • DOI: 10.1007/b137171_8
  • Link: https://doi.org/10.1007/b137171_8
  • Department: Department of Computer Science
  • Annotation:
    While most business applications typically operate on structured data that can be effectively managed using relational databases, some applications use more complex semistructured data that lacks a stable schema. XML techniques are available for the management of semistructured data, but such techniques tend to be ineffective when applied to large amounts of heterogeneous data, in particular in applications with complex query requirements. In this paper we describe an approach that relies on the mapping of multiple semistructured data sets to object-relational structures and uses an object-relational database to support complex query requirements. We illustrate this approach using weakly heterogeneous oceanographic data.

Minimization of Teaching Load

  • Authors: Ing. Martin Komárek, doc. Ing. Karel Richta, CSc., Mlejnek, J.
  • Publication: Sborník abstraktů z mezinárodní odborné pedagogicky zaměřené konference Informatika XXII/2009. Brno: Konvoj, 2009, pp. 22-23. ISBN 978-80-7302-125-8.
  • Year: 2009
  • Department: Department of Computer Science
  • Annotation:
    Teaching courses with hundreds of students has special attributes. The main attribute are the great number of exercises, which are out of scope of the lecturer. This paper deals with methods and possibilities, how to minimize such teaching load. The paper deals with possibilities, how to minimize the teaching load without loose of quality. We discuss methods called "colloquiums", "atelierization" , and "team works". The paper makes an attempt to indicate possible solutions of problems of exhaustive teaching load in the huge courses. The presented principles are the outcome of experiments with the teaching of software engineering courses at the Faculty of Electrical Engineering of Czech Technical University in Prague.

Model Driven Development

  • Department: Department of Computer Science
  • Annotation:
    Basic principles of model driven development. Deals with the preconditions for direct development of solutions from models, and also for reverse engineering.

The BPM to UML Activity Diagram Transformation Using XSLT

  • Authors: Macek, O., doc. Ing. Karel Richta, CSc.,
  • Publication: Databases, Texts, Specifications, and Objects. Praha: ČVUT v Praze, 2009. p. 119-129. ISSN 1613-0073. ISBN 978-80-01-04323-3.
  • Year: 2009
  • Department: Department of Computer Science
  • Annotation:
    This article describes common problems with the transformation of a BPMN diagram to a Unified Modeling Language activity diagram.

XML Query Evaluation Using a Lambda-Calculus Based Framework

  • Authors: Loupal, P., doc. Ing. Karel Richta, CSc.,
  • Publication: SOFSEM 2009. Heidelberg: Springer, 2009. pp. 1-13. ISBN 978-3-540-95890-1.
  • Year: 2009
  • Department: Department of Computer Science
  • Annotation:
    This paper describes a proposal for evaluating XPath and XQuery queries using a functional framework for XML - XML-lambda. Our approach is based on a language that utilizes a simply typed lambda-calculus enriched with tuples. In principle, input queries are transformed into an intermediate representation and subsequently evaluated inside a virtual machine. We also publish the result of an interim performance benchmark that compares our prototype implementation written in Java with other similar tools.

Evaluation of XPath Fragments Using Lambda Calculi

  • Authors: Loupal, P., doc. Ing. Karel Richta, CSc.,
  • Publication: Information Technologies - Applications and Theory. Košice: Univerzita P. J. Šafárika, 2008. pp. 73-76. ISBN 978-80-969184-9-2.
  • Year: 2008
  • Department: Department of Computer Science
  • Annotation:
    XML Path Language (XPath) is the most important standard for navigation within XML documents nowadays. In this paper we present the state of our current research that is focused on using a functional framework based on simply typed lambda calculi and a general type system - XML-Lambda - for description of semantics of a query language. With such formalism we are able to describe the semantics of all language constructs and evaluate XPath queries using the XML-Lambda virtual machine.

Formal Models of Object-Oriented Databases

  • Authors: doc. Ing. Karel Richta, CSc., Toth, D.
  • Publication: Objekty 2008. Žilina: Žilinská univerzita v Žiline, Fakulta riadenia a informatiky, 2008. pp. 204-217. ISBN 978-80-8070-927-3.
  • Year: 2008
  • Department: Department of Computer Science
  • Annotation:
    Common models of object-oriented databases. The paper seeks to formulate a common foundation of database systems based on category theory.

UML, alea iacta est

  • Authors: Benešovský, M., doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON 2008. Brno: Masarykova univerzita, 2008. pp. 100-122. ISBN 978-80-7355-081-3.
  • Year: 2008
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the UML from theoretical and practical point of view. Problems are illustrated mainly on examples.

XML Technology

  • Authors: Mlýnková, I., Nečaský, M., Pokorný, J., doc. Ing. Karel Richta, CSc., Toman, K., Toman, V.
  • Publication: Praha: Grada, 2008. ISBN 978-80-247-2725-7.
  • Year: 2008
  • Department: Department of Computer Science
  • Annotation:
    The book deals with the famiy of XML technology. Contains detailed description of the definition of XML structure, explains tools for XML data searching, querying, transformation, and compression.

CellStore: Educational and Experimental XML-Native DBMS

  • Authors: Pokorný, J., doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publication: Information Systems Development 2007. Galway: National University of Ireland, 2007. pp. 989-1000. ISBN 978-0-387-78577-6.
  • Year: 2007
  • Department: Department of Computer Science
  • Annotation:
    The paper presents the CellStore project whose aim is to develop XML-native database engine for both educational and research purposes. In the paper we discuss the basic concepts of the system and its top-level architecture. Then we discuss individual parts of the systems. The discussion is focused mainly on already finished and tested subsystems - low-level storage (we designed and implement own binary storage model) naive XQuery implementation, and transaction manager. We plan to extend the system in a way to be used as an experimental back-end for web-based application of Semantic web and specialized XML storages. The whole project is managed with focus on clear object-oriented design and test-driven development.

Object-Relational Database Design: Can Your Application Benefit From SQL:2003?

  • Authors: Pokorný, J., doc. Ing. Karel Richta, CSc., Feuerlicht, G.
  • Publication: Information Systems Development 2007. Galway: National University of Ireland, 2007. p. 975-988. ISBN 978-0-387-78577-6.
  • Year: 2007
  • Department: Department of Computer Science
  • Annotation:
    The object-relational database features were first specified in the SQL:1999 standard and then enhanced in SQL:2003. Support of these features in commercial DBMSs enables the implementation of complex data types and relationships that characterize modern database applications. We use an illustrative example to show that the object-relational implementation can provide significant benefits simplifying the resulting data structures and the implementation of database queries.

Languages XQuery and XPath

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Moderní databáze 2006. Praha: Komix, 2006. pp. 19-29. ISBN 80-239-7109-3.
  • Year: 2006

Optimalization in the Relational DBMS

  • Authors: Halaška, I., doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON 2006. Brno: Masarykova univerzita, 2006. pp. 21-40. ISBN 80-210-4102-1.
  • Year: 2006
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the possibilities how to optimize statement execution in the relational database management systems. We describe the role of optimizer in the process of creation SQL statement execution plan. The phases of statement analysis are described briefly, and the statement parsing is elaborated more precisely, especially FROM the point of possibilities in the decision of the best execution plan. In the paper we briefly describe cursor sharing, collecti-on of statistics, plan outlines, and SQL statement profiles. The paper is founded on the authors experience with the education of SQL statement tuning either at the university, or also in Oracle University courses.

Quo vadis, SE?

  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the discussion about the term "Software Engineering" and tries to define the correct meaning and to compare it with the other engineering disciplines.

The CellStore Project: Object-oriented Implementation of Native XML Database Management System

  • Authors: doc. Ing. Karel Richta, CSc., Valenta, M., Vraný, J.
  • Publication: Objekty 2006. Ostrava: Technická universita Ostrava - Vysoká škola báňská, 2006. pp. 51-64. ISBN 80-213-1568-7.
  • Year: 2006
  • Department: Department of Computer Science
  • Annotation:
    The paper delas with the CellStore project - an object-oriented Implementation of the native XML database management śystem, which is developed for research and educational purposes at the Dept.of Computer Science and Engineering of FEE CTU in Prague.

Novelties in the UML 2.0 Format

Optimize Decisions of Oracle 10g Optimizer

  • Authors: Halaška, I., doc. Ing. Karel Richta, CSc.,
  • Publication: DATAKON2005. Brno: VUT v Brně, 2005, pp. 371-384. ISBN 80-210-3813-6. Available from: http://www.datakon.cz
  • Year: 2005
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the optimization in Oracle database management system. The decision process can be supported be hints, common cursors, outline and statements profiles.

Active Databases and Rule Driven Databases

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Moderní databáze 2004. Praha: Komix, 2004, pp. 17-28. ISBN 80-239-2871-6.
  • Year: 2004
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the basic principles of active database management systems, presents examples of active database mangement systems and the example of usage of such systems for the solution of problems in an event driven environment.

Approximate Tree Embedding Problem - An Algebraic Approach

  • Authors: Snášel, V., Šeptáková, E., Hrazdil, I., doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publication: Proceedings of the First Twente Data Management Workshop. Twente: CTIT - Centre for Telematics and Information Technology, 2004. pp. 39-43. ISSN 0929-0672.
  • Year: 2004

Business Function Prototyping via XSLT

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: ISD 2003. New York: Kluwer Academic / Plenum Publishers, 2004. p. 209-221. ISBN 0-306-48554-0.
  • Year: 2004
  • Department: Department of Computer Science
  • Annotation:
    This paper will examine possible usage of XSLT language for business function modeling. The typical present application supposes some information stored inside a database. The state of any information system can also be described by a set of XML-documents. Any other XML-document can be the part of information processing. When we have such a set of XML-documents, we need to manipulate them for various business purposes, similarly as the usual business functions do with a database.

Business Function Prototyping via XSLT

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: ISD 2003. New York: Kluwer Academic / Plenum Publishers, 2004. pp. 209-221. ISBN 0-306-48554-0.
  • Year: 2004
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the method how to prototype business functions with the help of XSLT services. The function description is converted into XSL description and interpreted by XSLT processor, inbuild into Web browsers.

Business Functions Prototyping via XSLT

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Constructing the Infrastructure for the Knowledge Economy: Methods and Tools, Theory and Practice. New York: Kluwer Academic / Plenum Publishers, 2004. p. 209-221. ISBN 0-306-48554-0.
  • Year: 2004

Rules and Processes for Enterprise Information Systems Deployment

  • Department: Department of Computer Science
  • Annotation:
    The book describes rules for development and deployement of enterprise information systems, critical factors for success or failure in this field. The authors give hints for the process of IS deployment. The integral part of the book are templates of miscelaneous agreements and documents. The book also describes the basics of the univesal modeling language UML, which can be used in the documents.

The Family of XML formats

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: EurOpen - XXIV. konference. Praha: EuroOpen CZ, 2004, pp. 95-121. ISBN 80-86583-06-6.
  • Year: 2004
  • Department: Department of Computer Science
  • Annotation:
    The description of the XML-based family, representation of XML documents, DOM and SAX interface, the language XPath, the transformation tool XSL, the protocol SOAP, web services description in WSDL.

Deriving Database from UML/OCL Specification

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: AED 2003. Praha: Procesní inženýrství Ing. J. Novosad, 2003. pp. 1-7. ISBN 80-86059-35-9.
  • Year: 2003
  • Department: Department of Computer Science
  • Annotation:
    Článek se zabývá popisem postupu, jak ze specifikace v UML a OCL odvodit popis databáze. Jako příklad je použit převod diagramu tříd UML, včetně doplňujících specifikací v OCL, do relačního modelu.

Unified Modeling Language UML

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Systems Integration 2003. Praha: Česká silniční společnost, 2003. pp. 386-393. ISBN 80-245-0522-3.
  • Year: 2003
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the Unified Modeling Language UML and briefly describes the basic eight UML diagrams.

Web Services and WSDL

  • Department: Department of Computer Science
  • Annotation:
    Článek popisuje tzv. Webové služby a jednu aplikaci XML nazývanou WSDL (Web Services Description Language), která slouží pro popis těchto služeb.

Web Services Standards WSDL, UDDI

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Moderní databáze 2003. Praha: Komix, 2003, pp. 19-30. ISBN 80-239-0753-0.
  • Year: 2003
  • Department: Department of Computer Science
  • Annotation:
    The paper deals with the Web Services, and describes interrelated standards as WSDL (Web Services Description Language) and UDDI (Universal Description, Discovery and Integration).

A Comparison of Declarative and Procedual Constraints in Database Management Systems

  • Authors: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publication: Tvorba softwaru 2002. Ostrava: Tanger, 2002, pp. 5-12. ISBN 80-85988-74-7.
  • Year: 2002

Deriving Triggers from Integrity Constraint Specifications in the Database Management Systems

Deriving Triggers from UML/OCL Specification

  • Authors: doc. Ing. Karel Richta, CSc., Badawy, M.
  • Publication: ISD 2002. New York: Kluwer Academic / Plenum Publishers, 2002. pp. 305-316. ISBN 0-306-47698-3.
  • Year: 2002

Integrity Constraints Specification in the Tuple Relational Calculus

  • Authors: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of Workshop 2002. Praha: České vysoké učení technické v Praze, 2002, pp. 214-215. ISBN 80-01-02511-X.
  • Year: 2002

Mapping Integrity Constraints into Relational Model

  • Authors: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of Workshop 2002. Praha: České vysoké učení technické v Praze, 2002, pp. 370-371. ISBN 80-01-02511-X.
  • Year: 2002

Transformations Driven by XSLT

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Moderní databáze 2002. Praha: Komix, 2002, pp. 33-48. ISBN 80-238-8750-5.
  • Year: 2002

UML - Teorie a praxe I

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of Annual Database Conference DATAKON 2002. Brno: Masarykova univerzita, 2002, pp. 1-25. ISBN 80-210-2958-7.
  • Year: 2002

Using Metadata to Information Transfer

  • Authors: doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publication: Proceedings of Workshop 2002. Praha: České vysoké učení technické v Praze, 2002, pp. 182-183. ISBN 80-01-02511-X.
  • Year: 2002

Using XSL in IS Development

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: New Perspectives on Information Systems Development: Theory, Methods, and Practice. New York: Kluwer Academic / Plenum Publishers, 2002. p. 309-319. ISBN 0-306-47251-1.
  • Year: 2002

Using XSLT for IS Simulation

  • Authors: doc. Ing. Karel Richta, CSc., Long, P.
  • Publication: DATESO 2002. Ostrava: VŠB-TUO, 2002, pp. 66-78. ISBN 80-248-0080-2.
  • Year: 2002

Declarative Constraints and Triggers in Database Systems

  • Authors: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publication: ICPR 2001. Praha: České vysoké učení technické v Praze, 2001, pp. 12-21.
  • Year: 2001

Generation of Object-Oriented Databases from Relational Databases

  • Authors: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of Workshop 2001. Praha: České vysoké učení technické v Praze, 2001, pp. 150-151. ISBN 80-01-02335-4.
  • Year: 2001

Integrity Enforcement in a Database Using Constraints and Triggers

  • Authors: Badawy, M., doc. Ing. Karel Richta, CSc.,
  • Publication: ICPR 2001. Praha: České vysoké učení technické v Praze, 2001, pp. 1-12.
  • Year: 2001

Types in XML and XML-schemas

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: DATESO'01 - Proceedings of Workshop on Databases, Texts, Specifications, and Objects. Praha: České vysoké učení technické v Praze, 2001, pp. 20-32. ISBN 80-01-02376-1.
  • Year: 2001

Using XML and XSL to Express Formal Semantics

Using XSL in IS Development

XML-schemas

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Moderní databáze 2001. Praha: Komix, 2001, pp. 22-33. ISBN 80-238-7046-7.
  • Year: 2001

Formats XML and XSL

HTML in XML = XHTML

Transformation of UML Models into XML

  • Authors: Bisová, V., doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of Challenges 2000 ADBIS-DASFAA. Praha: MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK, 2000. pp. 33-45. ISBN 80-85863-56-1.
  • Year: 2000

Why XML?

XML and Semistructured Data

  • Authors: Pokorný, J., doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of DATASEM 2000. Brno: Masarykova univerzita, 2000, pp. 47-63. ISBN 80-210-2428-3.
  • Year: 2000

XSL = Tool for XML Prezentation

Compiler Construction

  • Authors: Melichar, B., Češka, M., Ježek, K., doc. Ing. Karel Richta, CSc.,
  • Publication: Praha: Czech Technical University in Prague, 1999. ISBN 80-01-02028-2.
  • Year: 1999

Specification-Driven Maintenance of Integrity Constraints

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Evolution and Challenges in System Development. New York: Kluwer Academic / Plenum Publishers, 1999, pp. 271-280. ISBN 0-306-46053-X.
  • Year: 1999

XML and XSL

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: OBJEKTY 1999. Praha: Česká zemědělská univerzita (ČZU), 1999, pp. 25-38. ISBN 80-213-0552-5.
  • Year: 1999

Development of Software Engineering Educational Model at CTU Prague

Formal Specifications in Software Development

Introduction to Software Engineering

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of ACM Summer School on Software Architecture in Practice. New York: ACM, 1998, pp. 1-50. ISBN 0-201-19930-0.
  • Year: 1998

OBJ3 and LEGO as Specification Tools

  • Authors: doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publication: Workshop 98. Praha: České vysoké učení technické v Praze, 1998, pp. 209-210.
  • Year: 1998

OBJ3 and LEGO As Tools for The Specification of Functional Model

  • Authors: doc. Ing. Karel Richta, CSc., Valenta, M.
  • Publication: Tvorba softwaru'98. Ostrava: Tanger, 1998, pp. 147-157. ISBN 80-86122-15-8.
  • Year: 1998

Specification-Driven Development of Integrity Constraints

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Proceedings of VII. Int. Conf. on Information Systems Development'98. New York: Plenum Publishing Corporation, 1998, pp. 1-11.
  • Year: 1998

Formal Specification & CASE Systems

  • Authors: doc. Ing. Karel Richta, CSc., Vlk, T.
  • Publication: Proceedings of Sixth International Conference on Information Systems Development '97. New York: Plenum Publishing Corporation, 1997. pp. 313-325. ISBN 0-306-45693-1.
  • Year: 1997

Searching in Large Libraries of Objects

Black Hole in the Middle Case Tools

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Workshop 96. Praha: České vysoké učení technické v Praze, 1996, pp. 241-242.
  • Year: 1996

Object-Oriented Methodics

Peripheral Interfacing to PC

  • Department: Department of Computer Science
  • Annotation:
    The book deals with the methods and possibilities how to connect devices to PC. It describes hardware solutions, and also device drivers.

Splendour and Misery of CASE Systems

Quo Vadis, CASE?

Stepwise Development Using VDM

  • Authors: doc. Ing. Karel Richta, CSc., Vlk, T.
  • Publication: Workshop 95. Praha: České vysoké učení technické v Praze, 1995, pp. 245-246.
  • Year: 1995

Algebraic Specification

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: CTU Seminar 94. Praha: České vysoké učení technické v Praze, 1994, pp. 61-62.
  • Year: 1994

CASE and Formal Specification

OBJ Specification Prototyping

  • Authors: doc. Ing. Karel Richta, CSc.,
  • Publication: Workshop 93. Praha: České vysoké učení technické v Praze, 1993, pp. 117-118.
  • Year: 1993

Operating System CP/M

Responsible person Ing. Mgr. Radovan Suk