|
|
Vzájemný převod mezi XSEM PSM diagramy a jazykem Schematron
Benda, Soběslav ; Klímek, Jakub (advisor) ; Nečaský, Martin (referee)
In the present work we study possibilities in the area of automatic construction of Schematron schemas from a conceptual model for XML and possibilities in reverse-engineering of Schematron schemas. The work introduces the reader to conceptual schemas for XML and to rule-based validation of XML documents. Existing techniques for mutual conversions between XML schema languages and conceptual model are also included. The main part of the work is a design and implementation of a new method for deriving Schematron schemas from conceptual schemas for XML. This method allows to get XML schemas, which in some respects outperforms the possibilities of other popular schema languages.The work also discusses the issue of Schematron schema reverse-engineering and shows possibilities in the area and establishing basis for further research.
|
|
|
Profiling translation of conceptual schemas to XML schemas
Berka, Lukáš ; Nečaský, Martin (advisor) ; Holubová, Irena (referee)
In the present work we analyze the algorithm that was introduced in [4]. The algorithm performs a translation of a conceptual schema to an XML schema expressed in the XML Schema language. We look for limitations of the algorithm and try to discover parameters that can be potentially used to influence its behavior. We propose solutions to the most serious limitations. Also, we introduce a concept of a translation profiling. The concept is based on a configuration that contains a set of parameters. We modify the algorithm to use the user requirements specified in the configuration. Thanks to the improvements, the new algorithm works with the concept of XML Namespaces, uses XML Schema designs and also, focuses on an elimination of redundancy. The elimination of redundancy in an output of the algorithm is an important part of this work and we create a formal model that helps us to solve this task.
|
|
|
Conceptual Design of Web Forms
Kasarda, Ján
As complexity of web applications and software grows, benefits of applying modeling techniques for the development of such applications are increasing as well. In this work, we focus on modeling web forms which are an important part of current web applications. A short motivation example will demonstrate benefits of modeling web forms at the conceptual level. We will then summarize existing approaches to conceptual modeling based on UML and Model-Driven Architecture (MDA). We will present XForms. Finally, we will discuss how to model web forms at the conceptual level and how to translate conceptual schemas of web forms to XForms representation. Our approach is based on MDA principles. Firstly, a problem domain is modeled at the conceptual level. Secondly, each form representing a part of the domain is modeled independently of its representation in XForms. The last step is generating XForms representations of the modeled forms.
|
|
|
Modelování událostí na sémantickém webu
Hanzal, Tomáš ; Svátek, Vojtěch (advisor) ; Vacura, Miroslav (referee)
There are many ontologies and datasets on the semantic web that mention events. Events are important in our perception of the world and in our descriptions of it, therefore also on the semantic web. There is however not one best way to model them. This is connected to the fact that even the question what events are can be approached in different ways. Our aim is to better understand how events are represented on the semantic web and how it could be improved. To this end we first turn to the ways events are treated in philosophy and in foundational ontologies. We ask questions such as what sorts of things we call events, what ontological status we assign to events and if and how can events be distinguished from other entities such as situations. Then we move on to an empirical analysis of particular semantic web ontologies for events. In this analysis we find what kinds of things are usually called events on the semantic web (and what kinds of events there are). We use the findings from the philosophy of events to critically assess these ontologies, show their problems and indicate possible paths to their solution.
|
guest ::
