|
|
Petri Nets Patterns Library
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It concludes with various usability of such formalism and in the second part of the thesis it indentifes useful and often repeated patterns of OOPN. These patterns are strongly inspired by classic programing languages, mainly by constructions concerning data manipulation and program flow control. Indentified patterns describes options for modelling these construction in OOPN.
|
|
|
Business Process Representation as RESTful Resources
Chernikava, Alena ; Kreslíková, Jitka (referee) ; Rychlý, Marek (advisor)
Almost every company in the world deals with business processes on a daily basis. And business can derive signi cant bene t from taking a formal approach. This means, that the business process is formally described (for example using Business Process Modeling Notation 2.0) and implemented in some Business Process Engine (BPE). The aim of the thesis is to design a general API (BP Orchestration Web Services) that does not depend on BPE for business process monitoring and manipulation. The main problem of current APIs is that they are not uni ed, do not provide enough exibility and are too tied to the one particular BPE. This thesis includes general information about work ow, about BPMN and basic principles of REST architectural style. Based on this knowledge problesms were formally stated and as a solution BP Orchestration Web Services were designed and implemented. Web Services allow to instantiate a process from abstract de nitions, monitor the state of the process and manipulate with the process (including advanced manipulations such as exchanging a sub-process in the running instance for some another compatible sub- process). The RESTful API was designed in a way to minimize the client implementation and restrict client’s knowledge about internal details. As part of the thesis a connector to BonitaBPM was implemented and integration with BonitaBPM was done.
|
|
|
Business Process Representation as RESTful Resources
Chernikava, Alena ; Kreslíková, Jitka (referee) ; Rychlý, Marek (advisor)
Almost every company in the world deals with business processes on a daily basis. And business can derive signi cant bene t from taking a formal approach. This means, that the business process is formally described (for example using Business Process Modeling Notation 2.0) and implemented in some Business Process Engine (BPE). The aim of the thesis is to design a general API (BP Orchestration Web Services) that does not depend on BPE for business process monitoring and manipulation. The main problem of current APIs is that they are not uni ed, do not provide enough exibility and are too tied to the one particular BPE. This thesis includes general information about work ow, about BPMN and basic principles of REST architectural style. Based on this knowledge problesms were formally stated and as a solution BP Orchestration Web Services were designed and implemented. Web Services allow to instantiate a process from abstract de nitions, monitor the state of the process and manipulate with the process (including advanced manipulations such as exchanging a sub-process in the running instance for some another compatible sub- process). The RESTful API was designed in a way to minimize the client implementation and restrict client’s knowledge about internal details. As part of the thesis a connector to BonitaBPM was implemented and integration with BonitaBPM was done.
|
|
|
Petri Nets Patterns Library
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It concludes with various usability of such formalism and in the second part of the thesis it indentifes useful and often repeated patterns of OOPN. These patterns are strongly inspired by classic programing languages, mainly by constructions concerning data manipulation and program flow control. Indentified patterns describes options for modelling these construction in OOPN.
|
guest ::
