Session extends ContainsFunctions, ContainsOperations, ContainsWires, NamedElement, Scope

A user session, which is only accessible by a single user.

Every visitor to a web application is assigned a unique identifier in order to promote them to a user. If a Session is accessed by a user and no association exists between the users' unique identifier and the given Session, then a new relationship is created and stored as part of the InternetApplication. The current user now owns that Session. When this occurs, the onInit event for that Session is triggered.

If the current user restarts their web browser, the user will lose their unique identifier and will be demoted back into a visitor. Once a unique identifier has been lost, there is no way to regain access to a particular Session, and a new Session relationship will have to be defined. Sessions may also time out after a specified period of activity, and this period of activity should be configurable by the model developer.

An IAML model instance may contain any number of Sessions. The storage semantics for a Session are as follows: For a Value directly contained within a Session, any stored value is only accessible to the user that owns the containing Session. Once the Session ownership has been lost, any stored value is no longer accessible. Similarly, the values stored within a DomainIterator (including the current instance pointer) are only accessible to the current user.

[Session.html]

Examples

DomainInheritanceEditing.iaml (source)
- Creating a new instance of an inherited DomainType,accessible only within a Session. [DomainInheritanceEditing]
LoginHandlerInstanceMultiple.iaml (source)
- Restricting access to a Session with a LoginHandler (based on selecting a DomainType instance)that requires two valid Parameters. [LoginHandlerInstanceMultiple]
UserRolesLoginHandler.iaml (source)
- Restricting access to frames containedwithin a Session by enforcing user loginand checking the current user has a given Role. [UserRolesLoginHandler]

Implementation Notes

If a Session contains a LoginHandler of type"user", access to pages contained within it will need to login to the current session. [UserRolesLoginHandler]
If a Session contains an AccessControlHandler,it will check that the current user matches its access requirements. [UserRolesLoginHandler]
If a new instance of an inherited DomainType is created withina Session, then the modification of this instance is limited towithin the Session. [DomainInheritanceEditing]
The storage semantics for an Session follow the semantics of a normal Web session. [Parameters]

Inference Rules

A LoginHandler is generated for a Session that contains an AccessControlHandler. [users]
A Session will contain at least a single Frame. [sessions]
A parent SetWire connecting a Session-contained Frame to a ContainsOperations element outside of that Session, will call the 'init' Operation generated by each sub- SetWire when the Session is initialised. [set-wires]
A parent SetWire connecting a Session-contained VisibleThing to a ContainsOperations element outside of that Session, will call the 'init' Operation generated by each sub- SetWire when the Session is initialised. [set-wires]
Every 'init' Operation executed when a Session is initialised due to a SetWire between a Frame within that session, to another element outside of that session, will be provided the fieldValue of the source element as a Parameter. [set-wires]
Every 'init' Operation executed when a Session is initialised due to a SetWire between a VisibleThing within that session, to another element outside of that session, will be provided the fieldValue of the source element as a Parameter. [set-wires]
A parent SyncWire connecting a Session-contained Frame to a ContainsOperations element outside of that Session, will call the 'init' Operation generated by each sub- SyncWire when the Session is initialised. [sync-wires]
A parent SyncWire connecting a Session-contained VisibleThing to a ContainsOperations element outside of that Session, will call the 'init' Operation generated by each sub- SyncWire when the Session is initialised. [sync-wires]
Every 'init' Operation executed when a Session is initialised due to a SyncWire between a Frame within that session, to another element outside of that session, will be provided the fieldValue of the source element as a Parameter. [sync-wires]
Every 'init' Operation executed when a Session is initialised due to a SyncWire between a VisibleThing within that session, to another element outside of that session, will be provided the fieldValue of the source element as a Parameter. [sync-wires]
Accessible elements have an Event named onAccess. [events] [from Accessible]
A Scope protected by a Gate named 'XXX', with an outgoing ECARule named 'first' or 'last', will contain an ActivityPredicate named 'check XXX' to check that the Gate has been satisfied. [gate] [from Scope]
The 'check XXX' Function for a Gate, with an outgoing ECARule named 'first' or 'last', will be provided as a runtime SimpleCondition check to that Gate. [gate] [from Scope]
The 'check XXX' ActivityPredicate for a Gate, with an outgoing ECARule named 'first' or 'last', will be completed with the contents necessary to evaluate the flag Value. [gate] [from Scope]
Scopes have an Event named onInit. [sessions] [from Scope]
A SetWire connecting an CanBeSynced object to a DomainIterator will create sub- SetWires between every contained CanBeSynced object to every contained object within the contained DomainInstance which have matching names. [set-wires] [from CanBeSynced]
A SetWire connecting an DomainIterator to a CanBeSynced object will create sub- SetWires between every contained object within the contained DomainInstance to every contained CanBeSynced object which have matching names. [set-wires] [from CanBeSynced]
A SetWire connecting two objects will create sub- SetWires between every contained object within these parent objects which have matching names. [set-wires] [from CanBeSynced]
When a Changeable element is connected to an CanBeSynced element by a SetWire, the value of the source element will be provided as a Parameter to the updating ECARule. [set-wires] [from CanBeSynced]
When a CanBeSynced element is connected to an CanBeSynced element by a SetWire, the value of the source element will be provided as a Parameter to the updating ECARule. [set-wires] [from CanBeSynced]
When an InputTextField is connected to a CanBeSynced element by an instant SetWire, the value of the source element will be provided as a Parameter to the updating ECARule. [set-wires] [from CanBeSynced]
A SyncWire connecting an DomainIterator to a CanBeSynced object will create sub- SyncWires between every contained object within the contained DomainInstance to every contained CanBeSynced object which have matching names. [sync-wires] [from CanBeSynced]
A SyncWire connecting two objects will create sub- SyncWires between every contained object within these parent objects which have matching names. [sync-wires] [from CanBeSynced]
For elements connected by a SyncWire, the onAccess Event executing the 'init' Operation will only execute if the source fieldValue can be cast successfully. [casting] [from CanBeSynced]
For elements connected by a SyncWire, the onAccess Event will only call the 'validate' Operation if the relevant fieldValue is set. [casting] [from CanBeSynced]
When a CanBeSynced element is connected to an CanBeSynced element by a SyncWire, the value of the source element will be provided as a Parameter to the updating ECARule. [sync-wires] [from CanBeSynced]
When an InputTextField is connected to a CanBeSynced element by an instant SyncWire, the value of the source element will be provided as a Parameter to the updating ECARule. [sync-wires] [from CanBeSynced]

Constraints

"A Session can only contain one LoginHandler" [Checks.chk]
"Some of the ECARules defined for this trigger may not be executed, as an unconditional navigation will occur due to the priority order, halting ECARule execution" [Checks.chk] [from ActionEdgeSource]
"You should not have a contained Property named 'fieldValue', unless it is contained within the fieldValue containment feature" [Checks.chk] [from ContainsValues]

Inherited Attributes

generatedRule : EString (optional)
To assist in debugging, this attribute may be populated with the name of the model completion rule that created this element. More extensive traceability support may be provided in the future.
id : EString (optional)
A unique identifier for this model element. Should be globally unique.
isGenerated : EBoolean (optional)
Set to true if the current element has been generated.
name : EString (optional)
A non-unique string that names a given object.
overridden : EBoolean (optional)
If a GeneratesElements is overridden, then this element will not generate any elements directly.
overriddenNames : EString (optional)
When applying model completion, no NamedElements with these names will be generated by this element.

Inherited Children

accessHandlers : [0...*] AccessControlHandler
A list of contained AccessControlHandlers.
conditionEdges : [0...*] SimpleCondition
A list of contained SimpleConditions.
constraintEdges : [0...*] ConstraintEdge
A list of contained ConstraintEdges.
ecaRules : [0...*] ECARule
A list of contained ECARules.
entryGate : [0...1] Gate
A user accessing this Scope must first satisfy this Gate before its contents can be accessed.
exitGate : [0...1] Gate
Once this Scope has been accessed, a user must satisfy this Gate before the user may leave a Frame within this scope.
extendsEdges : [0...*] ExtendsEdge
A list of contained ExecutionEdges.
functions : [0...*] Function
A list of contained Functions.
iterators : [0...*] DomainIterator
A list of contained DomainIterators.
loginHandlers : [0...*] LoginHandler
A list of contained LoginHandlers.
messages : [0...*] Message
A list of contained Messages.
onAccess : [0...1] Event
This Event is executed whenever it is accessed, which may occur many times within a single request.
onInit : [0...1] Event
This Event is triggered once when this Scope is initialised.
operations : [0...*] Operation
A list of contained Operations.
parameterEdges : [0...*] Parameter
A list of contained Parameters.
parameters : [0...*] QueryParameter
Runtime HTTP GET parameters of the current URL may be accessed as QueryParameters.
providesEdges : [0...*] ProvidesEdge
A list of contained ProvidesEdges.
requiresEdges : [0...*] RequiresEdge
A list of contained RequiresEdges.
schemaEdges : [0...*] SchemaEdge
A list of contained SchemaEdges.
scopes : [0...*] Scope
A Scope can contain many children Scopes through a containment hierarchy.
selectEdges : [0...*] SelectEdge
A list of contained SelectEdges.
values : [0...*] Value
A list of contained Values.
wires : [0...*] Wire
A list of contained Wires.

Session extends ContainsFunctions, ContainsOperations, ContainsWires, NamedElement, Scope

Examples

Implementation Notes

Inference Rules

Constraints

Attributes

Inherited Attributes

Children

Inherited Children

References

Inherited References

Extensions

Inherited Extensions