Samenvatting stof 'Procesmodelleren' deeltoets A []
97 keer bekeken 4 keer verkocht
Vak
Procesmodelleren (INFOB1PROM)
Instelling
Universiteit Utrecht (UU)
Boek
Modeling Business Processes
Procesmodelleren staat bekend als een lastig toepassingsvak waar veel mee gestruggeled wordt met het begrijpen van de stof. Vaak is het de kunst om de stof in de hoorcolleges te vertalen naar iets wat je makkelijker kan begrijpen. Dat is precies wat ik met veel inspanning en energie heb gedaan, en ...
Samenvatting stof 'Procesmodelleren' deeltoets B [2023-2024]
Alles voor dit studieboek (2)
Geschreven voor
Universiteit Utrecht (UU)
Informatiekunde
Procesmodelleren (INFOB1PROM)
Alle documenten voor dit vak (3)
Verkoper
Volgen
semstroop
Ontvangen beoordelingen
Voorbeeld van de inhoud
PROCESMODELLEREN
S = states, A = actions, → =
transitions, Si = initial state, Ω = final
Labeled transition system, LTS:
states
Formal notation / formalization of LTSs
L = (S,A,→,Si, Ω)
S = {A,B,C,D,E,F,G}
A = {s,q,p,u,t}
→ = {(A,p,B),(A,s,C),(A,q,G),(B,u,D), etc.}
Si = A
Ω = {E}
Information about LTSs
- Allowed behaviour = what a lamp can and may do. For a lamp with states
on/off/broken, on-off-on-off is allowed behaviour, but on-on isn’t.
- Silent actions (notation: ==>) don’t have a label because they’re invisible from
the outside world.
- A subset of states (notation: ) is a livelock if from U only states within U
can be reached. A single state without any outgoing transitions is a deadlock.
- Graphs can have equivalent behaviour. Language equivalence can be a first
notion of this. Graphs can have different equivalence levels:
o Strong bisimulation: checks for isomorphism, which means that there is
a one-to-one correlation between the vertices (states/nodes) and arcs
(relations/edges) of graph A and the vertices and arcs of graph B. See
example below.
o Delay bisimulation: silent steps are allowed
o Weak bisimulation: silent steps on both sides of the graph-relation are
allowed
- Reflexive relation -> a state relates to itself (PS: a silent step is reflexive)
- Symmetric relation -> x relates to y and y also relates to x
- Transitive relation -> x can get to z via a long path, for example via y, but also
via a direct connection between x and z
When asked for the bijective function to prove isomorphism:
Also, all arcs of G can be mapped to the arcs of H.
F
All vertices in graph G can be mapped to the vertices in graph H
(f: VG → VH). The formula:
Conversely, all vertices in H can mapped to the vertices in G
, From text to LTS:
1. Consider what the possible states/places and objects are
2. Identify the initial state [DON’T FORGET THAT LITTLE ARROW!!!!]
3. Ask for each state: ‘what are the possible actions from this state?’ and ‘what
happens when I do this?’
4. Check if certain states and/or actions overlap. In that case, merge them.
5. Put circles on the final states, which are the states in which you’ll be happy if
the process ends there.
Eventually, you should meet all the requirements. Many different models are
possible. You can abstract away from certain things if there are not of big importance.
Below, you see a modeling example.
Example:
“The library has two members and the collection exists of two books. The members can
borrow these books and bring them back later (so those are the two possible actions). Model
this as LTS, assuming that the amount of books and members stays the same.”
- Initial state / Si: all books are still
in the library and nothing is
borrowed yet.
If you say that you have book ‘a’ and
book ‘b’ and that the two members
can borrow the books, you would get a model
looking like the one above. That’s too big, so you
have to abstract something away to make the
model smaller and better. You can do this by only
looking at the amount of books instead of the
individual books, which makes that you get the model on the right.
In this case, the individual books and not knowing who has borrowed what book is not a
big deal in this case, but when it is, you should go with the first model. In case that you
only have to know how many books the library has and how many are borrowed, you can
use an even more simplified model:
Which model you choose depends on what the purpose is / will be of your model. PS: also
define final states, also depending on what the purpose of your model is.
Voordelen van het kopen van samenvattingen bij Stuvia op een rij:
√ Verzekerd van kwaliteit door reviews
Stuvia-klanten hebben meer dan 700.000 samenvattingen beoordeeld. Zo weet je zeker dat je de beste documenten koopt!
Snel en makkelijk kopen
Je betaalt supersnel en eenmalig met iDeal, Bancontact of creditcard voor de samenvatting. Zonder lidmaatschap.
Focus op de essentie
Samenvattingen worden geschreven voor en door anderen. Daarom zijn de samenvattingen altijd betrouwbaar en actueel. Zo kom je snel tot de kern!
Veelgestelde vragen
Wat krijg ik als ik dit document koop?
Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.
Tevredenheidsgarantie: hoe werkt dat?
Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.
Van wie koop ik deze samenvatting?
Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper semstroop. Stuvia faciliteert de betaling aan de verkoper.
Zit ik meteen vast aan een abonnement?
Nee, je koopt alleen deze samenvatting voor €4,19. Je zit daarna nergens aan vast.
