Composition invariant precludes other_context in Persistent Composition

Description

Remove Composition Invariant = Is_persistent_validity: is_persistent implies context = Void.

Environment

N/A

Activity

Show:

Thomas Beale June 24, 2016 at 11:16 AM

I've now moved SPECRM-26, which addresses this, into Release-1.0.4

Pablo Pazos June 22, 2016 at 2:25 PM

I agree to remove the constraint and add a explanation to the specs where it is recommended (or more common) to use or not use the context for persistent compose, so implementers have some kind of guidance (less constraints = more freedom points = interpretation dependency = might lead to implementation issues).

Diego Bosca June 17, 2016 at 12:03 PM

If the need is there, I agree we should relax the invariant

Heath Frankel May 11, 2015 at 11:38 PM

I support removal of the invariant, we are currently forced to use event compositions for facility based persistent compositions.

Ian McNicoll April 22, 2015 at 12:07 PM

Probably the simplest solution is to relax the Invariant but one other approach is to add another episode_persistent category which instructs the implementer to use persistent-type commit strategy but without removing context.

Done

Details

Reporter

Components

Affects versions

Priority

Created December 13, 2011 at 11:34 AM
Updated November 5, 2018 at 5:06 PM
Resolved November 5, 2018 at 5:06 PM