Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

Hello,
I have a question regarding Model-Based Design of Embedded Systems. In the DPN lecture, slide 57, what is the meaning of confluence here, and what do the symbols '*' and 'E' refer to?

in * TF "Information Systems" by (220 points)

1 Answer

0 votes
Given a DPN that works on channels x1,...,xn, the semantics is defined as a state transition system whose states are labeled with n streams, one for each variable x1,...,xn. If a node fires, it consumes values from some of these streams and adds values to other streams. If in some state, more than one node can fire, the question of confluence arises as discussed below.

We may formally define a relation s1->s2 that means that some nodes of the DPN fire and turn state s1 to state s2 by consuming and producing values for the streams in these states. Then, s1->*s2 mean that s2 can be reached from s1 by finitely many transitions, i.e., s1->s3->s4->...->s'->s2, and the epsilon means the reflexive closure of ->, i.e., x->εy means that either x=y or x->y holds.

A DPN is confluent iff for all x,y1,y2 with x->∗y1 and x->∗y2 there is a z with y1->∗ z and y2->∗z. Hence, it does not really matter whether we choose the firings x->∗y1 or the firings x->∗y2 since at the end, they can be joined into z.

See also pages 227 and the following in https://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf.
by (170k points)

Related questions

0 votes
1 answer
asked Jan 11, 2023 in * TF "Emb. Sys. and Rob." by piskandar (220 points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Jan 15, 2023 in * TF "Emb. Sys. and Rob." by lu (460 points)
0 votes
1 answer
Imprint | Privacy Policy
...