From 557ced9de67db306bc45b9a2ad275c8825e80e69 Mon Sep 17 00:00:00 2001 From: Maxime Lesourd Date: Tue, 4 Jun 2019 16:13:57 +0200 Subject: [PATCH] move readme to restructuring root --- restructuring/README.md | 9 +++++++++ restructuring/behavior/README.md | 7 ------- 2 files changed, 9 insertions(+), 7 deletions(-) create mode 100644 restructuring/README.md delete mode 100644 restructuring/behavior/README.md diff --git a/restructuring/README.md b/restructuring/README.md new file mode 100644 index 0000000..77d0dc7 --- /dev/null +++ b/restructuring/README.md @@ -0,0 +1,9 @@ +This is a work-in-progress directory and part of the larger Prosa restructuring effort. As parts in Prosa are changed to comply with the “new style”, they are placed here. + +The behavior directory collects all definitions and basic properties of system behavior (i.e., trace-based semantics). + +The model directory collects all definitions and basic properties of system models (e.g., sporadic tasks, arrival curves, scheduling policies etc.) + +# Remarks + +We have chosen and applied some renaming rules for sections and definitions, cf. arrival_sequence.v and sporadic.v. Basically, we try to consistenly use `Valid*` , `*Properties` for section names about a concept `*` and `respects_*`, `valid_*` for definitions about a system model `*`. diff --git a/restructuring/behavior/README.md b/restructuring/behavior/README.md deleted file mode 100644 index 994d496..0000000 --- a/restructuring/behavior/README.md +++ /dev/null @@ -1,7 +0,0 @@ -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. - - -- GitLab