From: Emanuel Berg <embe8573@student.uu.se>
Subject: RTS graph and "temporal formulas"
Date: Wed, 21 Aug 2013 22:04:00 +0200
Date: 2013-08-21T22:04:00+02:00 [thread overview]
Message-ID: <87mwoastdi.fsf@nl106-137-194.student.uu.se> (raw)
I have an exam the 30th on RTS and there is one problem I cannot
solve, because there is nothing on this in the material, and the
teacher doesn't answer mails with questions.
I turn to you, not to solve the problem, but to explain what it
means - once there, I hope to solve it myself.
The problem involves a graph.
- there are states: circles with names (e.g., "B") and conditions
(x <= 10) (sometimes, the states do not have conditions)
- one state has a double circle: is this the initial state?
- there are edges between the states, that are directed: those
edges are tagged: sometimes with conditions (x < 5), sometimes
with assignments (x := 0), and sometimes with both (y < 0 and y
:= 0)
- the variables (x and y are "clocks")
What does it all mean?
Check out the graph here:
http://user.it.uu.se/~embe8573/2011.pdf
(Problem 7, the last one.)
They also mention "temporal formulas" to describe properties of
the system, that the graph is a model of. Do you know of a
resource, that describes the syntax and semantics of such
formulas?
Thanks :)
--
Emanuel Berg - programmer (hire me! CV below)
computer projects: http://user.it.uu.se/~embe8573
internet activity: http://home.student.uu.se/embe8573
next reply other threads:[~2013-08-21 20:04 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-21 20:04 Emanuel Berg [this message]
2013-08-21 20:11 ` RTS graph and "temporal formulas" dukeofpurl
2013-08-21 20:16 ` Emanuel Berg
2013-08-21 21:19 ` optikos
2013-08-21 22:50 ` Emanuel Berg
2013-08-21 23:33 ` optikos
2013-08-22 0:19 ` Emanuel Berg
2013-08-22 16:17 ` Dan'l Miller
2013-08-22 21:04 ` Emanuel Berg
2013-08-22 21:32 ` Dan'l Miller
2013-08-22 21:35 ` Emanuel Berg
2013-08-22 21:45 ` Dan'l Miller
2013-08-22 0:59 ` Adam Beneschan
2013-08-22 8:51 ` Georg Bauhaus
2013-08-22 15:42 ` Adam Beneschan
2013-08-22 15:58 ` Alan Jump
2013-08-22 18:34 ` Georg Bauhaus
2013-08-22 18:56 ` Adam Beneschan
2013-08-22 21:12 ` Georg Bauhaus
2013-08-22 21:11 ` Robert A Duff
2013-08-23 13:52 ` Shark8
2013-08-23 15:36 ` Robert A Duff
2013-08-23 17:09 ` Jeffrey Carter
2013-08-25 10:22 ` AdaMagica
2013-08-26 15:23 ` Adam Beneschan
2013-08-27 12:44 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox