Please enable JavaScript.
Coggle requires JavaScript to display documents.
Behavioural Modelling 1 (Fundamental of Behavioral Modelling (Concepts…
Behavioural Modelling 1
Fundamental of Behavioral Modelling
Concepts & Abstractions
Behavioral Modelling Languages
def of modelling constructs and rules used to document the reactive behavior of a system
Behavioral Model
def of states, events and state transition that describe the behavior of the system
Behavioral Model Instances
concrete behavior of a concrete "instance" of a system
Key Concept
State
period of time in which the system behave in a specific way
wait for the occurence of a defined event that triggers a set transition
Event
discrete incident in the world
occurence of an event is instantaneous (duration=0)
external event occur in the system environment. the system is expected to produce a reponse
temporal event is triggered when reaching a specific moment
State Transition
change in the state of a system
event triggers state transitions
modelling as state or event
depends on the modelling purpose and the desired level of abstraction
Finite Automata (DFA/NFA)
DFA
Q is a finite set of states
∑ is a finite set of input symbols
δ is a transition function that take as arguments a state
s
(from Q) and an input symbol
a
(from the set ∑) and return a state
s
' (from set Q)
q_0 start or initial state
F
set of final or accepting states
Partial vs Complete DFA
Partial DFA
for at least one state no transition is defined for at least one symbol of the input alphabet ∑
Complete DFA
for each state exactly one state is defined for each symbol of the input alphabet ∑