Ing. Zdeněk Rybola, Ph.D.

Publikace

Towards OntoUML for Software Engineering: Experimental Evaluation of Exclusivity Constraints in Relational Databases

Rok
2018
Publikováno
Model and Data Engineering. Springer, Cham, 2018. p. 58-73. vol. 1. ISSN 0302-9743. ISBN 978-3-030-00855-0.
Typ
Stať ve sborníku
Anotace
Model-driven development approach to software engineering requires precise models defining as much of the system as possible. OntoUML is a conceptual modelling language based on Unified Foundational Ontology, which provides constructs to create ontologically well-founded and precise conceptual models. In the approach we utilize, OntoUML is used for making conceptual models of software application data and this model is then transformed into its proper realization in a relational database. In these transformations, the implicit constraints defined by various OntoUML universal types and relations are realized by database views and triggers. In this paper, we specifically discuss the realization of phase partitions of Phase types from the OntoUML model by exclusive associations and provide an experimental evaluation of this approach.

Towards OntoUML for Software Engineering: Optimizing Kinds and Subkinds Transformed into Relational Databases

Rok
2018
Publikováno
Enterprise and Organizational Modeling and Simulation. Springer, Cham, 2018. p. 31-45. ISSN 1865-1348. ISBN 978-3-030-00786-7.
Typ
Stať ve sborníku
Anotace
Model-driven development approach to software engineering requires precise models defining as much of the system as possible. OntoUML is a conceptual modelling language based on UFO, which provides constructs to create ontologically well-founded and precise conceptual models. In the approach we utilize, OntoUML is used for making conceptual models of software application data. Such a model is then transformed into its proper realization in a relational database, preserving all the implicit constraints defined by various types of universals and relations in the original OntoUML model. In this paper, we discuss possible optimizations of the transformation of Kinds and Subkinds – rigid sortal universal types, a backbone of OntoUML models.

Towards OntoUML for Software Engineering: Transformation of Kinds and Subkinds into Relational Databases

Rok
2017
Publikováno
COMSIS - Computer Science and Information Systems. 2017, 14(3), 913-937. ISSN 1820-0214.
Typ
Článek
Anotace
OntoUML is an ontologically well-founded conceptual modelling language that distinguishes various types of classifiers and relations providing precise meaning to the modelled entities. While Model-Driven Development is a wellestablished approach, OntoUML has been overlooked so far as a conceptual modelling language for the PIM of application data. This paper is an extension of the paper presented at MDASD 2016, where we outlined the transformation of Rigid Sortal Types – Kinds and Subkinds. In this paper, we discuss the details of various variants of the transformation of these types and the rigid generalization sets. The result of our effort is a complete method for preserving high-level ontological constraints during the transformations, specifically special multiplicities and generalization set meta-properties in a relational database using views, CHECK constraints and triggers.

Towards OntoUML for Software Engineering: Introduction to The Transformation of OntoUML into Relational Databases

Rok
2016
Publikováno
Enterprise and Organizational Modeling and Simulation. Wien: Springer, 2016. p. 67-83. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-319-49453-1.
Typ
Stať ve sborníku
Anotace
OntoUML is an ontologically well-founded conceptual modelling language that distinguishes various types of classifiers and relations providing precise meaning to the modelled entities. Efforts arise to incorporate OntoUML into the Model-Driven Development approach as the conceptual modelling language for the platform independent model of application data. This paper discusses the transformation of an OntoUML platform independent model into an implementation specific model of a relational database schema, while preserving the semantics of the OntoUML universal types.

Towards OntoUML for Software Engineering: Transformation of Anti-rigid Sortal Types into Relational Databases

Rok
2016
Publikováno
Model and Data Engineering 2016. Basel: Springer, 2016. p. 1-15. 1. ISSN 0302-9743. ISBN 978-3-319-45546-4.
Typ
Stať ve sborníku
Anotace
OntoUML is an ontologically well-founded conceptual modelling language that distinguishes various types of classifiers and relations providing precise meaning to the modelled entities. Efforts arise to incorporate OntoUML into the Model-Driven Development approach as a conceptual modelling language for the PIM of application data. In our previous research, we outlined our approach to the transformation of an OntoUML PIM into an ISM of a relational database. In a parallel paper, we discuss the details of the transformation of Rigid Sortal Types, while this paper is focused on the transformation of Anti-rigid Sortal Types.

Towards OntoUML for Software Engineering: Transformation of Rigid Sortal Types into Relational Databases

Rok
2016
Publikováno
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. New York: Institute of Electrical and Electronics Engineers, 2016. p. 1581-1591. ISBN 978-83-60810-90-3.
Typ
Stať ve sborníku
Anotace
OntoUML is an ontologically well-founded conceptual modelling language that distinguishes various types of classifiers and relations providing precise meaning to the modelled entities. Efforts arise to incorporate OntoUML into the Model-Driven Development approach as a conceptual modelling language for the PIM of application data. In a prequel paper, we have introduced and outlined our approach for a transformation of OntoUML PIM into a PSM of a relational database. In this paper, we discuss the details of various variants of the transformation of Rigid Sortal types of OntoUML.

Instance-Level Modelling and Simulation Revisited

Autoři
Pergl, R.; Rybola, Z.; Sales, T.P.
Rok
2013
Publikováno
Enterprise and Organizational Modeling and Simulation. Berlin: Springer, 2013. p. 85-100. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-642-41637-8.
Typ
Stať ve sborníku
Anotace
Instance-level modelling is a sort of conceptual modelling that deals with concrete objects instead of general classes and types. Instance-level modelling approach o ers a rather innovative way for com- munication with domain experts extremely useful for them, as they can see their real data in the context of the given model. Various approaches were presented in the paper Instance-Level modelling and Simulation Using Lambda-Calculus and Object-Oriented Environments" at EOMAS 2011. The present paper is a sequel and it presents additional approaches we nd useful in practice: Fact-oriented modelling, OntoUML in combi- nation with OCL and the Alloy and Eclipse-based framework Dresden- OCL.We present key features of the various approaches and demonstrate them on a running example, we follow up with a discussion comparing these approaches. Notice that OntoUML combined with the Alloy is an original research achievement built on the research of OntoUML.

Possible Realizations of Multiplicity Constraints

Autoři
Rybola, Z.; Richta, K.
Rok
2013
Publikováno
COMSIS - Computer Science and Information Systems. 2013, 10(4), 1621-1646. ISSN 1820-0214.
Typ
Článek
Anotace
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.

Towards OntoUML for Software Engineering: From Domain Ontology to Implementation Model

Autoři
Pergl, R.; Rybola, Z.; Sales, T.P.
Rok
2013
Publikováno
Proceedings of MEDI 2013. Berlin: Springer, 2013. p. 249-263. LNCS. ISSN 0302-9743. ISBN 978-3-642-41365-0.
Typ
Stať ve sborníku
Anotace
OntoUML is a promising method for ontological modelling. In this paper, we discuss its possible use for software engineering.We propose a method of transformation of an ontological model into a softwareengineering object-oriented class model in UML and its instantiation. Our approach is based on the following best practices: pure objectoriented paradigm and approach of dividing state and identity as introduced in the Clojure programming language.

Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations

Autoři
Rybola, Z.; Richta, K.
Rok
2012
Publikováno
Federated Conference on Computer Science and Information Systems (FedCSIS 2012). New York: IEEE, 2012. pp. 1357-1364. ISBN 978-1-4673-0708-6.
Typ
Stať ve sborníku
Anotace
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

Autoři
Rybola, Z.; Richta, K.
Rok
2012
Publikováno
DATESO 2012. Praha: MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK, 2012. pp. 93-102. ISSN 1613-0073. ISBN 978-80-7378-171-2.
Typ
Stať ve sborníku
Anotace
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

Autoři
Rybola, Z.; Richta, K.
Rok
2012
Publikováno
Information Technologies - Applications and Theory 2012. Košice: Technical University of Košice, 2012. pp. 25-32. ISBN 978-80-971144-1-1.
Typ
Stať ve sborníku
Anotace
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.

Constraints for multiplicities of binary relationships

Autoři
Rok
2011
Publikováno
POSTER 2011 - 15th International Student Conference on Electrical Engineering. Praha: České vysoké učení technické v Praze, Fakulta elektrotechnická, 2011. pp. 1-5. ISBN 978-80-01-04806-1.
Typ
Stať ve sborníku
Anotace
Model Driven Development (MDD) or Model Driven Architecture (MDA) - a concept defined and presented by the Object Management Group (OMG) - are widely used terms nowadays. MDD defines techniques to develop software systems using variety of models together with a set of model transformations. MDD also defines several levels of models according to abstraction level - computation independent models (CIM), platform independent models (PIM), platform specific models (PSM) and implementation specific models (ISM). This paper deals with constraints for multiplicities of binary relationships. These contraints are defined on the PIM level using notation of UML class diagrams and Object Contraint Language (OCL) so automated tools can be used for transformations to PSM. Examples of such transformation to PSM for relational database are given to illustrate constraints' realization in PSM.

Realizace omezení pro násobnosti vztahů mezi entitami v relačních databázích

Autoři
Rybola, Z.; Richta, K.
Rok
2011
Publikováno
DATAKON 2011. Brno: Vysoké učení technické v Brně, 2011. pp. 93-102. ISBN 978-80-214-4329-7.
Typ
Stať ve sborníku
Anotace
Modelem řízený vývoj (Model Driven Development, MDD) prosazuje myšlenku tvorby řady modelů na různé úrovni abstrakce - výpočetně nezávislý model (CIM), platformově nezávislý model (PIM), platformově specifický model (PSM) a implementačně specifický model (ISM). Důležitou součástí MDD jsou transformace mezi jednotlivými modely - v dopředném směru od obecnějšího modelu ke konkrétnějšímu, i ve zpětném směru. To umožňuje automatizování vývoje ve formě generování kódu nebo validaci analytických a návrhových modelů. Při transformaci binárních vztahů z PIM do PSM je třeba uvažovat omezení daná násobností těchto vztahů. Tento příspěvek se zabývá definicí omezení pro násobnosti definované v PIM a způsoby jejich realizace na úrovni PSM v relačních databázích.

Transformation of Binary Relationships with Particular Multiplicity

Autoři
Rybola, Z.; Richta, K.
Rok
2011
Publikováno
DATESO 2011. Ostrava: VŠB - Technical University of Ostrava, 2011. p. 25-38. 1. ISSN 1613-0073. ISBN 978-80-248-2391-1.
Typ
Stať ve sborníku
Anotace
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

Autoři
Rybola, Z.; Richta, K.
Rok
2011
Publikováno
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.
Typ
Stať ve sborníku
Anotace
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.