Declarative Process Models
14 important questions on Declarative Process Models
How do you model in Declare?
Declare captures the notion of rules, in what ways can the rules be statisfied?
- Temporarily violated: the constraint is not fulfilled, but can still become fulfilled in the future
- Permanently violated: the constraint is violated and cannot become fulfilled anymore
What are finite state machines and which do exist? Draw.
There are different ones
- Initial state: the first state
- Non-accepting state: state in which it can be temporarily or permanently violated
- Accepting state: state in which the constraint is fulfilled/satisfied.
- Transition: change of state.
- Higher grades + faster learning
- Never study anything twice
- 100% sure, 100% understanding
For my 1st exam I got a C. Then, I started looking for ways to learn better and I came across Study Smart. Since then I have scored a A+, A, A- and another A. I highly recommend it to everyone who wants to hear it. I am so happy with it!!
I was struggling to finish all my first-year subjects for 3 years. Then I discovered Study Smart, which helped me to finish all of them within 3 months.
Because of StudySmart, things are going well in many ways. Before, I always had study stress and no time for anything. Now I feel calm and confident (because of the program). I used to score a B, now I usually score an A or A+.
Hey Chris, I really want to thank you very much for developing the platform, I usually got around C for my exams, now I scored an A+, an A and a A- !!
Since using Study Smart, my average has increased significantly. I even completed a statistics course with a A+ while I'm bad at statistics. I took on extra courses this year, because of Study Smart. Thanks so much!
Ever since I started studying with StudySmart I passed all my exams !!! No more re-sits!! At first, I was happy with a pass and now I only get good grades. Many thanks!
I aced all the courses I studied with Study Smart. For law, I first scored a D, and now an A! I’m 100% sure that I’ll pass all the courses I study with Study Smart.
I always thought I studied well. My grades were fine. I could never have imagined that applying these study skills would have such a huge and direct impact on my grades, my speed and the pleasure I have in learning.
For the first time, I finally feel totally confident about the way I learn. I have the perfect overview and make great progress in terms of speed and the grades I get. Thanks, Chris!
I immediately started to enjoy learning again, and my grades soared. All of a sudden, everything went better. I highly recommend Study Smart to all students..
Being able to create my materials online made the process of studying so much smoother and quicker. I no longer have to spend a huge amount of my time on creating my summaries.
At first, my notes were a mess. Now I use Study Smart to take my notes in a perfectly structured way. It helps me to save a lot of time and do other things I enjoy.
Students that study with Study Smart get better grades. The system applies all the learning methods in such a way that both well-performing students and students who struggle perform much better.
Hi Chris, I would like to thank you very much. Last year I scored C on a course, and this year I got an A+ thanks to your method! Thank you very much!
The largest effect is that my child is more enthusiastic about school! Every parent wants their children to be happy at school, Study Smart made it happen.
In high school, I failed several exams, and that has really changed now. I actually needed this tool very much back then. Since I started studying with StudySmart, I haven't had any D's. My average score is now an A and those are results I would have never had in the past
With my old method, I passed only 3 out of 8 courses. Since I started taking my notes digitally in Study Smart, I have passed all my courses on the first try. For me, StudySmart takes away the stress of wondering if I will pass or not.
Thanks to StudySmart, I passed all my exams, and with better grades than before! On top of that, I have mastered a very good study method now, which I am confident will help me earn my degree.
What three unary constraints exist? Explain and draw them.
- Absence (A, n): A can occur at most n-1 times
- Exactly (A, n): A has to occur exactly n times (Existence + Absence)
Note: in the roof of the house you see the init and last
- Init(A): activity A has to occur first
- End/Last(A): activity A has to occur as the last activity
Init and End/Last are position-related
Existence, Absence, and Exactly are numerosity-based
What binary constraints exist? Explain and draw.
- Co-existence(A, B): when A occurs, B has to occur and vice versa (also here is the number of A's and B's not important)
Note: these are position-agnostic
What alternating ordered constraints exist? Explain and draw.
- Alternate precedence(A, B): B can occur only after the next occurence of A
- Alternate succession(A, B): both Alternate response(A, B) and Alternate precedence(A, B) hold
What are easy things to memorize the different visualizations in Declare?
Precedence has a bullet at the end
Succession has a bullet both at the beginning and at the end
Existence is one line without an arrow
Simple is one line with an arrow top
Alternate has two lines with one arrow top
Chain has three lines with one arrow top
Choice has an (empty) bullet in the middle
Negatives have two vertical stripes in the middle and always two dots
What negatives constraints exist in Declare? Draw and explain.
- Not succession(A, B): after A, B cannot happen anymore
- Not chain succession(A, B): B cannot occur right after A
What are Declare models well-suited for?
- Global behavior/Long distance dependencies: chain constraints and executing something n times
- Negative constraints: explicitly specifying what is not allowed
What is an event log?
How does declare constraint mining work?
- Then check all pairs of activities for binary constraints
- You should eventually take the constraint(s) that are highest in the hierarchy that hold for all traces
- Then you have a final result, which can be multiple constraints
Note: in exam you will get no negatives
How does Declare Conformance Checking work?
What are the three Declare tools?
What is hybrid process modeling?
The both worlds are:
- Procedural process models (like petri nets or BPMN): for predetermined sequences, the process is roughly fixed upfront
- Declarative Process Models (like Declare): for flexible processes, where many blanks concerning behavior still need to be filled in
The question on the page originate from the summary of the following study material:
- A unique study and practice tool
- Never study anything twice again
- Get the grades you hope for
- 100% sure, 100% understanding
