[Concern-users] Article or whitepaper to describe ideas behind con:cern

[Andy D. <an...@ma...>]

I'm curious if anyone here is aware of an article or whitepaper that might 
describe some of the ideas behind con:cern?  At the moment, I'm attempting to 
absorb as much as possible via google translations (german to english), 
source code, and the examples.  This is a little challenging.  I understand 
basic ideas, but feel like I'm missing the "big picture", so to speak.

As an example, I keep running into something that clues me in to the fact that 
I'm probably not understanding pre/postconditions.  I'm looking at some 
example models and often see this kind of thing (as a postcondition in this 
case):

  ((genehmigt || !genehmigt) && entschieden)
     For the help of english speakers, here is the google translation:
  ((approved || !approved) && decided)

'genehmigt' (approved) is a boolean, no?  Then the test (genehmigt 
|| !genehmigt) will always be true, so why include it at all?  What am I 
missing here?

Also, one thing I'm beginning to infer is that because con:cern is subject 
based, it has no need for process instances.  For example, in OSWorkflow I 
would specifically instantiate an approval process.  There may be many 
"instances" of that one process in play at any given moment, all in various 
states.  Am I correct that con:cern is centered around subject instances, not 
process instances?  So, instead of instantiating a new approval process, I 
instead introduce a new subject instance (in an unapproved state) into 
con:cern, and it automatically begins the approval process for that new 
instance?

Thanks for any aid as I continue to wrap my mind around con:cern despite the 
language barrier. :)

  - Andy