Centrum pro konceptuální modelování a implementace (CCMi)

Studujeme pokročilé metodiky konceptuálního modelování a jejich aplikace pro softwarové a podnikové inženýrství.

Více o nás

Činnost skupiny se dotýká těchto témat

Projekty

Towards Data Stewardship in ELIXIR: Training & Portal

Program
Projekty podpořené z ČR (pracovní kód k dodatečnému upřesnění)
Kód
LM2015047
Období
2017 - 2019
Popis
The project aims to develop training materials and software tooling to support data stewardship in the ELIXIR infrastructure.

Publikace

Towards Evolvable Documents with a Conceptualization-Based Case Study

Rok
2018
Publikováno
International Journal on Advances in Intelligent Systems. 2018, 11(3&4), 212-223. ISSN 1942-2679.
Typ
Článek
Anotace
Documents surround us in our everyday lives and affect us even without noticing it. Information technology brought an evolution to documents in terms of flexibility and efficiency in their composing, processing, and sharing. However, in these days, an electronic document lacks the evolvability and reusability of its parts. Maintaining the consistency across one or even several documents and their versions makes it a very complicated task. We encounter a similar problem in the software development domain where, however, effective principles and techniques have been developed and adopted. Incorporating modularity, design patterns, loose coupling, separation of concerns, and other principles are being successfully applied to achieve evolvability. Results are proven in decades by scientific research and countless practical applications. Hypothetically, such principles may be used also for documents in order to achieve reliable and easy-to-maintain documents. This paper presents our generic conceptualization leading to evolvable documents and which is applicable in any documentation domain based on related work in the electronic documents, as well as the evolvable software development domains. Advantages and core ideas of our conceptualization are then demonstrated in a case study - prototype design of OntoUML modelling language documentation. Finally, possible next steps for generic evolvable documents are proposed, as we perceive our contribution as the first step in the journey towards evolvable documents in the scientific point of view. The results from this paper can be used for further research and as the first boilerplate for designing custom evolvable documentation.

Exploring a Role of Blockchain Smart Contracts in Enterprise Engineering

Autoři
Skotnica, M.; Pergl, R.; Hornáčková, B.
Rok
2018
Publikováno
Advances in Enterprise Engineering XII. Cham: Springer International Publishing AG, 2018. p. 113-127. Lecture Notes in Business Information Processing. vol. 334. ISSN 1865-1356. ISBN 978-3-030-06096-1.
Typ
Stať ve sborníku
Anotace
Blockchain (BC) is a technology that introduces a decentralized, replicated, autonomous and secure databases. Smart contract (SC) is a transaction embedded to blockchain that contains executable code and its own internal storage, offering immutable execution and record keeping. Enterprise Engineering (EE) examines all aspects of organizations from business processes, informational and technical resources, to organizational structure. Therefore, blockchain and smart contracts have been subject of interest concerning the discipline of Enterprise Engineering (EE) and how they can be used together.

Všechny publikace

Affordance-Driven Software Assembling

Autoři
Pergl, R.; Kroha, P.; Dvořák, O.
Rok
2018
Publikováno
Advances in Enterprise Engineering XII. Cham: Springer International Publishing AG, 2018. p. 39-54. Lecture Notes in Business Information Processing. vol. 334. ISSN 1865-1356. ISBN 978-3-030-06096-1.
Typ
Stať ve sborníku
Anotace
Nowadays, the pace of technology innovation and disruption accelerates. This poses a challenge of transforming complex functionalities of enterprise systems to a new technological environment. In this paper, we explain how enterprise engineering tau-theory and beta-theory may help to manage the relationship between system function and its construction (F/C), thus facilitating changing technology challenges more rigorously and efficiently. We introduce the notion of Affordance-Driven Assembling (ADA) and its simplified version Objectified Affordance-Driven Assembling (O-ADA), which together with the so-called Semantic Descriptions represent a software-engineering approach enabling reasoning about users and their purposes versus components and their properties. Our experiments show that engineering methods based on these theories may increase reusability of code

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.

Ad-hoc Runtime Object Structure Visualizations with MetaLinks

Rok
2017
Publikováno
IWST '17: Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies. New York: ACM, 2017. ISBN 978-1-4503-5554-4.
Typ
Stať ve sborníku
Anotace
This paper describes an original method and a tool for an a posteriori analysis of a running object software system, specifically system's runtime structural properties. Highly context-dependent systems pose a challenge of understanding their runtime behaviour. The typical approach is to let the system run and manually observe its runtime properties, which is cognitively demanding and error-prone. Smalltalk, and Pharo in particular, focuses on providing live introspection and immediate feedback during the development. In our method, we take the advantage of these possibilities and combine them with the (relatively new) concept of metalinks as a way to hook into existing code without modifying it, and to set specific attributes to be observed. The result is an analysis tool focused on visualization of ad-hoc runtime structures -- that is, providing an analyst with a live view of the stepwise construction and runtime changes of a system based on a UML instance visualization. We demonstrate the tool on analyzing the construction loop of Pharo's Spec UI framework.

A DEMO Machine - A Formal Foundation for Execution of DEMO Models

Autoři
Skotnica, M.; Pergl, R.; Kervel, S. van
Rok
2017
Publikováno
Advances in Enterprise Engineering XI. Cham: Springer International Publishing, 2017. p. 18-32. ISSN 1865-1348. ISBN 978-3-319-57954-2.
Typ
Stať ve sborníku
Anotace
The discipline of enterprise engineering and the DEMO methodology provide enterprise designers with a formal techniques to design companies where competency, responsibility and authority is clearly defined. In such companies, process-based anomalies can be avoided and people tend to cooperate more effectively and contentedly. These techniques are so far mostly used just for business process modeling consultancy. DEMO-based software systems are needed to adopt and support these techniques in professional companies. This paper proposes a theoretical computation concept called DEMO Machine that provides us with formal foundations for a simulation of DEMO models. We demonstrate these formal foundations on a Volley Club example.

Converting DEMO PSI Transaction Pattern into BPMN: A Complete Method

Autoři
Pergl, R.; Skotnica, M.; Mráz, O.; Náplava, P.
Rok
2017
Publikováno
Advances in Enterprise Engineering XI. Cham: Springer International Publishing, 2017. p. 85-98. ISSN 1865-1348. ISBN 978-3-319-57954-2.
Typ
Stať ve sborníku
Anotace
The goal of this paper is to contribute to efforts of improving the Business Process Modelling (BPM) practice. We present an original method for converting 0enterprise ontology Design & Engineering Method for Organisations (DEMO) process models into a BPMN 2.0 notation. By this approach, we are able to mitigate certain methodological deficiencies of BPMN. The method exhibits the following qualities: Implementation of the complete transaction pattern formulated by the PSI-theory, correct managing of multiple child transaction instances, and executability of the resulting BPMN model.

Towards Modularity in Live Visual Modeling: A case-study with OpenPonk and Kendrick

Autoři
Blizničenko, J.; Pergl, R.; Papoulias, N.; Stinckwich, S.
Rok
2017
Publikováno
IWST '17: Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies. New York: ACM, 2017. ISBN 978-1-4503-5554-4.
Typ
Stať ve sborníku
Anotace
Aspects of live-programming that have originated with Lisp and Smalltalk systems have recently seen a renewed research and industrial interest due to their educational and productivity potential (Live workshops at ECOOP, ICSE, and SPLASH, live facilities for the .Net, Java, Python, and Swift platforms). Especially in the case of visual modeling and simulation tools that are used by experts outside Informatics (such as ecologists, biologists, economists, epidemiologists, ...), this constant-feedback loop that live-systems provide can ease the development and comprehension of complex systems, via truly explorable environments. Unfortunately, taking the domain of Epidemiology as a case-study, we observe that the visual component of such systems have no notion of modularity and thus exploration is limited only to small monolithic examples. In order to address this issue we propose a model for modular visual exploration. This model is based on an extension of the OpenPonk platform targeting the Kendrick epidemiological language. Through this model we were able to map the separation of concerns of the Kendrick DSL, in a live visual notation that supports modularity and exploration of part-whole hierarchies.

Analysing Functional Paradigm Concepts - The JavaScript Case

Rok
2017
Publikováno
Recent Advances in Information Systems and Technologies. Berlin: Springer-Verlag, 2017. p. 882-891. ISSN 2194-5365. ISBN 978-3-319-56534-7.
Typ
Stať ve sborníku
Anotace
Hundreds of programming languages are available today and new ones are still emerging. Nevertheless, they are founded in several (old) paradigms. Knowing the essence of paradigms helps to orient one- self in this Babylon, which is challenging especially for the growing com- munity of programmers with no computer science background. In this paper we focus on functional paradigm, which has a raising attention both in new languages (like Clojure and ClojureScript) and a growing support in traditional languages (like C++ and Java). We do not discuss why this happens here, but we focus on analysing fundamental concepts in the functional paradigm and functional programming languages. We describe them and divide them into two categories: key principles and additional principles. Next, we apply this conceptual framework to anal- yse the ES5 and ES6 versions of JavaScript. We conclude that ES6 is a good step towards functional principles support. Also, the presented con- ceptual framework may be used for similar analyses of other languages.

Tackling the Flexibility-Usability Trade-off in Component-Based Software Development

Autoři
Pergl, R.; Kroha, P.; Dvořák, O.
Rok
2017
Publikováno
Recent Advances in Information Systems and Technologies. Berlin: Springer-Verlag, 2017. p. 861-871. ISSN 2194-5365. ISBN 978-3-319-56534-7.
Typ
Stať ve sborníku
Anotace
Increase flexibility, decrease usability” is a known trade-off influencing the effectiveness of reusing artefacts in many engineering disciplines. We claim that software development is influenced, too. The goal of this paper is to elaborate on flexibility and usability in component-based software development. It explains that equally flexible components can considerably differ in usability costs. Therefore, the architecture of components matters to evaluate final cost on building software. We propose a model of building components that can help to decrease costs on software development, while providing a demanded level of flexibility.

The OpenPonk Modeling Platform

Rok
2016
Publikováno
Proceedings of the 11th Edition of the International Workshop on Smalltalk Technologies. New York: ACM, 2016. ISBN 978-1-4503-4524-8.
Typ
Stať ve sborníku
Anotace
In this paper we present OpenPonk: a free, open-source, simple to use platform for developing tools for conceptual modeling: diagramming, DSLs, and algorithms operating on the models and diagrams, such as automatic layouting, model transformations, validations, etc. This project differentiates itself from the current efforts by providing completely free and open-source live development environment, which is simple to learn, use, and extend. There are already several plugins and extensions that bring several notations and algorithms, some of which are presented in this paper, alongside the overview of the core of the platform, and how they integrate with each other. We also present a comprehensive project case study utilizing OpenPonk.

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.

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 the Ontological Foundations for the Software Executable DEMO Action and Fact Models

Autoři
Skotnica, M.; Pergl, R.; van Kervel, S.
Rok
2016
Publikováno
Advances in Enterprise Engineering X. Basel: Springer, 2016. pp. 151-165. 1. ISSN 1865-1348. ISBN 978-3-319-39566-1.
Typ
Stať ve sborníku
Anotace
The discipline of enterprise engineering and the DEMO methodology enable a model-driven approach to enterprise software systems development. Apart from the graphical notation, the DEMO models may be fully specified in the DEMOSL language, which may become a basis for an workflow software system implementation. However, the current specification of DEMOSL has been designed mostly for the reasoning between human stakeholders. In this paper a formal calculation construct called a DEMO Machine is proposed and basic ontological foundations of this machine are elaborated based on the alignment with the theories of enterprise engineering, various ontological and formal quality criteria and the application of the Generic Systems Development Process for Model Driven Engineering (GSDP-MDE methodology).

Revisiting the BORM OR Diagram Composition Pattern

Rok
2015
Publikováno
Enterprise and Organizational Modeling and Simulation. Berlin: Springer, 2015. pp. 102-113. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-319-24625-3.
Typ
Stať ve sborníku
Anotace
This paper addresses the notion of process decomposition as a tool for managing process complexity in BORM Object Relation Diagram. It investigates the composition principle already present in ORD and shows it as ambiguous and mostly unsuitable for that purpose. Substantial changes to the original meta-model of ORD are proposed by introducing a new concept called tasks. The implications of introducing this new concept are then investigated, especially concerning decomposition of communications in a BORM process.

Enterprise Operational Analysis Using DEMO and the Enterprise Operating System

Autoři
Pergl, R.; Dudok, ED; Guerreiro, SG; van Kervel, SvK
Rok
2015
Publikováno
ADVANCES IN ENTERPRISE ENGINEERING IX. Berlin: Springer-Verlag, 2015. pp. 3-18. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-319-19297-0.
Typ
Stať ve sborníku
Anotace
Monitoring and analyzing the operation of enterprises is a key capability of Governance, Risk, and Compliance (GRC) solutions and is rele- vant for high-risk organizations, such as financial services. The potential of state-of-the-art process mining (data-driven process analysis) is limited by quality issues with transactional data registration and extraction. A novel approach is proposed to address these challenges: the Enterprise Operational Analysis (EOA) founded in DEMO and the Enterprise Operating System (EOS). The EOS is a software system based on enterprise engineering, and stores, interprets, and executes DEMO models as native source code. The EOS pro- vides workflow-like capabilities and supports EOA. Combining the EOS with state-of-the-art process mining offers the following advantages: guaranteed completeness of analysis, elimination of ‘mining’ for events, facilitating process conformance checking, analysis on various levels of granularity from various perspectives. It enables enterprises to systematically analyze, improve and deploy business procedures. A professional business case is analyzed.

The Prefix Machine – a Formal Foundation for the BORM OR Diagrams Validation and Simulation

Rok
2014
Publikováno
Enterprise and Organizational Modeling and Simulation. Berlin: Springer, 2014. pp. 113-131. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-662-44859-5.
Typ
Stať ve sborníku
Anotace
Business Object Relation Modelling (BORM) is a method for systems analysis and design that utilises an object oriented paradigm in combination with business process modelling. BORM’s Object Relation Diagram (ORD) is successfully used in practice for object behaviour analysis (OBA). OBA has found its firm place for visualisation and simulation of processes, however several ontological flaws were identified and there seems to be missing a strong formal foundation that would enable correct reasoning about the models. In this paper, we propose a sound formal foundation for BORM’S ORD. Based on this formal foundation (which we call “the prefix machine”), we get not only to a precise behaviour specification, but it also offers some interesting means of process analysis.

Towards Formal Foundations for BORM ORD Validation and Simulation

Rok
2014
Publikováno
Proceedings of the 16th International Conference on Enterprise Information Systems. Porto: SciTePress - Science and Technology Publications, 2014. pp. 315-322. ISBN 978-989-758-028-4.
Typ
Stať ve sborníku
Anotace
Business Object Relation Modelling (BORM) is a method for systems analysis and design that utilises an object oriented paradigm in combination with business process modelling. BORM’s Object Relation Diagram (ORD) is successfully used in practice for object behaviour analysis (OBA). We, however, identified several flaws in the diagram’s behaviour semantics. These occur mostly due to inconsistent and incomplete formal specification of the ORD behaviour. In this paper, we try to amend this gap by introducing so called input and output conditions, which we consider to be the most important first step towards a sound formal specification of the ORD.

Rapid Application Prototyping for Functional Languages

Autoři
Rok
2013
Publikováno
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems. Los Alamitos: IEEE Computer Society, 2013. pp. 963-969. ISSN 2325-0348. ISBN 978-1-4673-4471-5.
Typ
Stať ve sborníku
Anotace
This work addresses the problem of automated graphical user interface generation for functional programs in relation to rapid application prototyping. First an analysis of current state in the field of automated GUI generation is performed. Based on the analysis, the concept of functionally structured user interface (FSUI) is introduced. Meta-data system for code annotation is then specified for the Clojure programming language and a transformation from this system to FSUI data model is implemented. Finally, a graphical layer for displaying the actual interface is implemented in Clojure.

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.

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.

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.

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.

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 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.

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.

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.

Jak to u nás vypadá

Kontaktní osoby

doc. Ing. Robert Pergl, Ph.D.

Ing. Michal Valenta, Ph.D.

Vedoucí Katedry softwarového inženýrství

Kde nás najdete?

Centrum pro konceptuální modelování a implementace
Katedra softwarového inženýrství
Fakulta informačních technologií
České vysoké učení technické v Praze

Místnost TH:A-951 (Budova A, 9. patro)
Thákurova 7
Praha 6 – Dejvice
160 00

Za obsah stránky zodpovídá: doc. Ing. Štěpán Starosta, Ph.D.