Studujeme pokročilé metodiky konceptuálního modelování a jejich aplikace pro softwarové a podnikové inženýrství.
Č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í)
Poskytovatel
Jiný tuzemský poskytovatel
Pracoviště
Řešitelé
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
Autoři
Rok
2018
Publikováno
International Journal on Advances in Intelligent Systems. 2018, 11(3&4), 212-223. ISSN 1942-2679.
Typ
Článek
Pracoviště
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.; Hornáčková, B.; Pergl, R.
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.
Affordance-Driven Software Assembling
Typ
Stať ve sborníku
Pracoviště
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
Autoři
Rok
2017
Publikováno
COMSIS - Computer Science and Information Systems. 2017, 14(3), 913-937. ISSN 1820-0214.
Typ
Článek
Pracoviště
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
Autoři
Uhnák, P.; Pergl, R.
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
Pracoviště
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
Pracoviště
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
Mráz, O.; Pergl, R.; Náplava, P.; Skotnica, M.
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
Pracoviště
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.
Investigating the Evolvability of Financial Domain Models
Autoři
Deryck, Marjolein; Dvořák, O.; De Bruyn, Peter; Verelst, Jan
Rok
2017
Publikováno
Advances in Enterprise Engineering XI. Cham: Springer International Publishing, 2017. p. 111-125. ISSN 1865-1348. ISBN 978-3-319-57954-2.
Typ
Stať ve sborníku
Pracoviště
Anotace
Evolvability is a characteristic dealing with change in Information Systems (IS). As the requirements evolve in time, the complexity of the system may increase. In turn, the ability to change it decreases. Consequently, the cost of a change can become unbearable. A domain model is an important abstraction covering key aspects of IS. Similarly to the IS it represents, it can suffer with the same evolvability issues. The goal of this paper is to assess combinatorial effects (CE) in a financial industry domain model, more specifically a domain model of financial risk management. It reveals difficulties related to identifying combinatorial effects in domain models in general and presents some insights on the nature of combinatorial effects on this level.
Towards Modularity in Live Visual Modeling: A case-study with OpenPonk and Kendrick
Autoři
Blizničenko, J.; Papoulias, N.; Pergl, R.; 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
Pracoviště
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
Autoři
Janeček, L.; Pergl, R.
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-56535-4.
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
Typ
Stať ve sborníku
Pracoviště
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
Autoři
Uhnák, P.; Pergl, R.
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
Pracoviště
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
Autoři
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
Pracoviště
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
Autoři
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
Pracoviště
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
Autoři
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
Pracoviště
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.; van Kervel, S.; Pergl, R.
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
Pracoviště
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
Typ
Stať ve sborníku
Pracoviště
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.
Empirical Study of Applying the DEMO Method for Improving BPMN Process Models in Academic Environment
Autoři
Náplava, P.; Pergl, R.
Rok
2015
Publikováno
Proceedings of the 17th IEEE Conference on Business Informatics. Piscataway: IEEE Operations Center, 2015. pp. 18-26. ISBN 978-1-4673-7340-1.
Typ
Stať ve sborníku
Anotace
Since 2009 approximately 500 business processes have been mapped and modelled at the Faculty of Electrical Engineering of the Czech Technical University in Prague. BPMN has been selected as the most suitable notation for the mapping purposes at the beginning of the project. The mapping has been done mostly by students from the Business Process Center of Excellence, a~part of Faculty's Dean's office since 2009. This paper contains results of an experiment focused on possibilities of improving quality of existing results using the DEMO methodology. Next, we were interested in ways of enhancing students' skills of process modelling to create unambiguous and consistent models as a "result of a~DEMO Bachelor course. Both students from the Center of Excellence and ordinary university students passed the DEMO Bachelor course of Enterprise Engineering Institute and their were given assignments of devising ontological analysis of the existing BPMN models. The results of the experiment are discussed in the paper, as well as considerations about future steps.
Enterprise Operational Analysis Using DEMO and the Enterprise Operating System
Autoři
Dudok, ED; Guerreiro, SG; Pergl, R.; van Kervel, SvK
Rok
2015
Publikováno
ADVANCES IN ENTERPRISE ENGINEERING IX. Berlin: Springer-Verlag, 2015. p. 3-18. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-319-19297-0.
Typ
Stať ve sborníku
Pracoviště
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
Autoři
Podloucký, M.; Pergl, R.
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
Pracoviště
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
Autoři
Podloucký, M.; Pergl, R.
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
Pracoviště
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.
Translating DEMO Models into Petri Net
Autoři
Vejražková, Z.; Meshkat, A.
Rok
2013
Publikováno
Enterprise and Organizational Modeling and Simulation. Berlin: Springer, 2013. pp. 57-73. Lecture Notes in Business Information Processing. ISSN 1865-1348. ISBN 978-3-642-41637-8.
Typ
Stať ve sborníku
Pracoviště
Anotace
The DEMO methodology presents a systematic way for developing an ontological model of an enterprise. Its profound theoretical foundation is suitable for modeling complex business processes in an enterprise. A major drawback of the DEMO methodology lies in its inability to simulate the created model in order to get insight into the model's behavior, conduct a performance analysis or be able to compare design options. In this paper, a method of translating the DEMO models into Petri net model, which is a suitable technique for process simulation, is proposed. The method includes an analysis of information needed to build a Petri net model. The method is comprised of a set of modeling constructs, supplemented with an overview of aspects that are included in DEMO models and information that would have to be added for performance analysis.
Rapid Application Prototyping for Functional Languages
Autoři
Podloucký, M.
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
Pracoviště
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
Pracoviště
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.; Sales, T.P.; Rybola, Z.
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
Pracoviště
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.; Sales, T.P.; Rybola, Z.
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
Pracoviště
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
Pracoviště
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
Pracoviště
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
Pracoviště
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
Richta, K.; Rybola, Z.
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
Pracoviště
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
Pracoviště
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
Pracoviště
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.
- +420777042249
- perglr@fit.cvut.cz
-
TH:A-935
TH:A-951
Ing. Michal Valenta, Ph.D.
Vedoucí Katedry softwarového inženýrství
- +420224359860
- michal.valenta@fit.cvut.cz
- TH:A-924
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