Added infos about validations rules in semaphore docu.

Signed-off-by: Raphael Weber <raphael.weber@vector.com>

plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile

diff --git a/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile b/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile
index e66ea03..9295d9f 100644
--- a/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile
+++ b/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile
@@ -221,3 +221,8 @@
 | priority ceiling | true/false |
 | waiting behavior | active/passive |
 | access type | request = exclusive, release |
+
+*(validation-rule)  _Semaphore_: The _initialValue_ must not be greater than the _maxValue_!
+*(validation-rule)  _Semaphore_: The _initialValue_ must be 0 for _Resource_, _Spinlock_, or _Mutex_!
+*(validation-rule)  _Semaphore_: The _maxValue_ must be 1 for _Spinlock_ or _Mutex_!
+*(validation-rule)  _Semaphore_: The _priorityCeilingProtocol_ must be _false_ for _CountingSemaphore_!

plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_sw.textile

diff --git a/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_sw.textile b/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_sw.textile
index 1713c7a..16415c4 100644
--- a/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_sw.textile
+++ b/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_sw.textile
@@ -270,8 +270,10 @@
 table(minimal){padding:10px; border:1px solid black; background:#f8f8f8}. 
 |_. Name |_. Description |
 | __SemaphoreAccess__ | Represents an access of a Semaphore. The type of access is defined using the __SemaphoreAccessEnum__ values. The __Semaphore__ itself is set as a reference to an existent one. |
-| __access__ | Defines the type of access (request, exclusive, release). |
-| __waitingBehaviour__ | Defines if the process is blocking the core when it waits (active) or not (passive). |
+| __access__ | Defines the type of access (request, exclusive, release). Note that for spinlocks and mutexes, a request access is always exclusive, so __request__ means the same as __exclusive__ in these cases. |
+| __waitingBehaviour__ | Defines if the process is blocking the core when it waits (active) or not (passive). Note that for spinlock accesses, only active waiting can be used. |
+
+*(validation-rule)  _SemaphoreAccess_: The _waitingBehaviour_ can only be _active_ if the accessed semaphore is a spinlock!
 
 
 h4. Mode Label Access
@@ -284,6 +286,7 @@
 
 *(validation-rule)  _ModeLabelAccess_: The _value_ string must be a valid element of the corresponding _Mode_!
 
+
 h4. Custom Event Trigger
 
 The __Custom Event Trigger__ references an event of type __Custom Event__. The execution of a __Custom Event Trigger__ entry triggers the corresponding event that can be observed by an __Event Stimulus__.