The paper deals with one small step in the process of model driven development (MDD) or model dri... more The paper deals with one small step in the process of model driven development (MDD) or model driven architecture (MDA) widely used terms nowadays. MDD denes techniques to develop software systems using variety of models together with a set of transformations. MDD species several levels of models depending on abstraction ranging from computation independent models (CIM) to platform independent models (PIM) into platform specic models (PSM), and implementation specic models (ISM). Many CASE tools provide automated support for generating more specic models from more abstract ones e.g. PSM or ISM from PIM. This task is referred to as forward engineering. Many tools also provide automated support for generating more abstract models from more specic ones e.g. PIM from PSM or ISM. This task is referred to as reverse engineering. Some tools also support round-trip engineering, which involves both forward and reverse engineering steps such that software artifacts (model and code) become synchronized. However, these tools need exact transformation rules to be dened for such transformations. 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.
This paper deals with the transformation of binary relationships from Platform Independent Model ... more This paper deals with the transformation of binary relationships from Platform Independent Model (PIM) in UML to Platform Specific Model (PSM) for relational databases from the point of view of Model Driven Development (MDD). The paper summarizes the transformation of a binary relationship with multiplicity constraints and focuses on problems of the current approach for such transformations. In this paper, we deal with the source class optionality that is usually omitted during the transformation. We propose three various possible realizations for the optionality constraint to be used in the transformation of a PIM to a PSM. We also present some experiments to demonstrate that our approach to the optionality constraint realization is equivalent in execution time to the current approach of omitting this constraint during the transformation while providing better consistency control. Finally, we generalize our proposed solution to be used for special multiplicity values used in a PIM.
Model Driven Development (MDD) approach is often used to model application data and behavior by a... more 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 c...
... << back. Projektování programových systémů. Basic information. Original title: ... more ... << back. Projektování programových systémů. Basic information. Original title: Projektování programových systémů. Title in English: Projecting of Program Systems. Authors: Jiří Sochor,Karel Richta. Edition: Praha, 169 pp., 1994. Publisher: FEL ČVUT Praha. Further information. ...
Proceedings of the International Conference on Research in Adaptive and Convergent Systems - RACS '16, 2016
Adaptive Application Structure (AAS) is such a structure that adjusts itself based on the current... more 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.
DATESO 200 , the annual international workshop on current trends in Databases, Information Retrie... more DATESO 200 , the annual international workshop on current trends in Databases, Information Retrieval, Specifications and Object Oriented Programming, was held on - April 200 in Desná - Černá Říčka, Czech Republic. The DATESO workshops aim for strenghtening ...
In this paper, we define formally the XML- Query Lan- guage, a query language for XML, that emplo... more In this paper, we define formally the XML- Query Lan- guage, a query language for XML, that employs the functional data model. We describe its fundamental principles including the abstract syntax and denotational semantics. The paper basically aims for outlin- ing of the language scope and capabilities.
Communications in Computer and Information Science, 2016
Adaptive Application Structure (AAS) is one that changes its structure based on the current conte... more 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.
využívají různé modely. Sdružení OMG propaguje myšlenku, že práce s modelem může přinést mnoho no... more využívají různé modely. Sdružení OMG propaguje myšlenku, že práce s modelem může přinést mnoho nových možností. Model může být použit pro generování struktury dat a kostry řešení, reverzním inženýrstvím lze získat model existujícího systému pro jeho snazší pochopení, či úpravy. Nad modelem lze provádět různé transformace, refaktorizace apod. Pro modelování se v současnosti nejvíce využívá standard UML (Unified Modeling Language [9]). Aby však byl model dostatečně úplný, je třeba doplnit diagramy v UML přesnými popisy různých integritních omezení. Pro tento účel obsahuje notace UML speciální jazyk nazvaný OCL (Object Constraint Language [7]). Tento příspěvek se zabývá možnostmi rekonstrukce OCL z existujícího SQL, jako příspěvek k reverznímu inženýrství pro modelem řízený vývoj.
Abstract. The article deals with the denotational seman-tics of a special query language called X... more Abstract. The article deals with the denotational seman-tics of a special query language called XML-Lambda (abbreviated as XML-), which is based on the simply typed lambda calculus. The exact semantics allows experimenta-tion with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML- en-vironment. The main advantage of our approach is the pos-sibility of a query optimizations in the XML- intermedi-ate form. It is much more easier than optimizations based on the official W3C semantics. XML- is a part of more complex XML- Framework which serves for experiment-ing with the tools for XML processing. 1
This talk focuses on retrieval models and methods for the document-centric view on XML and their ... more This talk focuses on retrieval models and methods for the document-centric view on XML and their evaluation within the INEX initiative. INEX has studied two types of tasks so far:
The paper deals with one small step in the process of model driven development (MDD) or model dri... more The paper deals with one small step in the process of model driven development (MDD) or model driven architecture (MDA) widely used terms nowadays. MDD denes techniques to develop software systems using variety of models together with a set of transformations. MDD species several levels of models depending on abstraction ranging from computation independent models (CIM) to platform independent models (PIM) into platform specic models (PSM), and implementation specic models (ISM). Many CASE tools provide automated support for generating more specic models from more abstract ones e.g. PSM or ISM from PIM. This task is referred to as forward engineering. Many tools also provide automated support for generating more abstract models from more specic ones e.g. PIM from PSM or ISM. This task is referred to as reverse engineering. Some tools also support round-trip engineering, which involves both forward and reverse engineering steps such that software artifacts (model and code) become synchronized. However, these tools need exact transformation rules to be dened for such transformations. 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.
This paper deals with the transformation of binary relationships from Platform Independent Model ... more This paper deals with the transformation of binary relationships from Platform Independent Model (PIM) in UML to Platform Specific Model (PSM) for relational databases from the point of view of Model Driven Development (MDD). The paper summarizes the transformation of a binary relationship with multiplicity constraints and focuses on problems of the current approach for such transformations. In this paper, we deal with the source class optionality that is usually omitted during the transformation. We propose three various possible realizations for the optionality constraint to be used in the transformation of a PIM to a PSM. We also present some experiments to demonstrate that our approach to the optionality constraint realization is equivalent in execution time to the current approach of omitting this constraint during the transformation while providing better consistency control. Finally, we generalize our proposed solution to be used for special multiplicity values used in a PIM.
Model Driven Development (MDD) approach is often used to model application data and behavior by a... more 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 c...
... << back. Projektování programových systémů. Basic information. Original title: ... more ... << back. Projektování programových systémů. Basic information. Original title: Projektování programových systémů. Title in English: Projecting of Program Systems. Authors: Jiří Sochor,Karel Richta. Edition: Praha, 169 pp., 1994. Publisher: FEL ČVUT Praha. Further information. ...
Proceedings of the International Conference on Research in Adaptive and Convergent Systems - RACS '16, 2016
Adaptive Application Structure (AAS) is such a structure that adjusts itself based on the current... more 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.
DATESO 200 , the annual international workshop on current trends in Databases, Information Retrie... more DATESO 200 , the annual international workshop on current trends in Databases, Information Retrieval, Specifications and Object Oriented Programming, was held on - April 200 in Desná - Černá Říčka, Czech Republic. The DATESO workshops aim for strenghtening ...
In this paper, we define formally the XML- Query Lan- guage, a query language for XML, that emplo... more In this paper, we define formally the XML- Query Lan- guage, a query language for XML, that employs the functional data model. We describe its fundamental principles including the abstract syntax and denotational semantics. The paper basically aims for outlin- ing of the language scope and capabilities.
Communications in Computer and Information Science, 2016
Adaptive Application Structure (AAS) is one that changes its structure based on the current conte... more 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.
využívají různé modely. Sdružení OMG propaguje myšlenku, že práce s modelem může přinést mnoho no... more využívají různé modely. Sdružení OMG propaguje myšlenku, že práce s modelem může přinést mnoho nových možností. Model může být použit pro generování struktury dat a kostry řešení, reverzním inženýrstvím lze získat model existujícího systému pro jeho snazší pochopení, či úpravy. Nad modelem lze provádět různé transformace, refaktorizace apod. Pro modelování se v současnosti nejvíce využívá standard UML (Unified Modeling Language [9]). Aby však byl model dostatečně úplný, je třeba doplnit diagramy v UML přesnými popisy různých integritních omezení. Pro tento účel obsahuje notace UML speciální jazyk nazvaný OCL (Object Constraint Language [7]). Tento příspěvek se zabývá možnostmi rekonstrukce OCL z existujícího SQL, jako příspěvek k reverznímu inženýrství pro modelem řízený vývoj.
Abstract. The article deals with the denotational seman-tics of a special query language called X... more Abstract. The article deals with the denotational seman-tics of a special query language called XML-Lambda (abbreviated as XML-), which is based on the simply typed lambda calculus. The exact semantics allows experimenta-tion with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML- en-vironment. The main advantage of our approach is the pos-sibility of a query optimizations in the XML- intermedi-ate form. It is much more easier than optimizations based on the official W3C semantics. XML- is a part of more complex XML- Framework which serves for experiment-ing with the tools for XML processing. 1
This talk focuses on retrieval models and methods for the document-centric view on XML and their ... more This talk focuses on retrieval models and methods for the document-centric view on XML and their evaluation within the INEX initiative. INEX has studied two types of tasks so far:
Uploads
Papers by Karel Richta