diff --git a/behavior/README.md b/behavior/README.md new file mode 100644 index 0000000000000000000000000000000000000000..994d4961a26ab556e8e8e989746c61ce860c27b1 --- /dev/null +++ b/behavior/README.md @@ -0,0 +1,7 @@ +The behavior directory/module collects all definitions and theories about system behavior (i.e., trace-based semantics). + +Any aspects related to system *modeling* (e.g., sporadic tasks, arrival curves, etc.) do *not* belong here and should go into the *model* directory/module instead. + +This is a work-in-progress directory and part of the larger Prosa restructuring effort. As parts in Prosa a changed to comply with the “new styleâ€, they are placed here. + +