Mgr. Martin Podloucký

Publikace

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.

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.