BPMNOS::Model::ExpectedValueScenario Class Reference

A scenario identical to StaticScenario for expected value evaluation. More...

Detailed Description

ExpectedValueScenario is used with ExpectedValueDataProvider where:

• INITIALIZATION expressions use expected value functions
• DISCLOSURE is ignored (all values disclosed at time 0)
• COMPLETION is ignored (operators can be used to compute expected values during execution)

Definition at line 18 of file ExpectedValueScenario.h.

#include <ExpectedValueScenario.h>

Inheritance diagram for BPMNOS::Model::ExpectedValueScenario:

Public Member Functions
	ExpectedValueScenario (const Model *model, BPMNOS::number earliestInstantiationTime, BPMNOS::number latestInstantiationTime, const std::unordered_map< const Attribute *, BPMNOS::number > &globalValueMap)
Public Member Functions inherited from BPMNOS::Model::StaticScenario
	StaticScenario (const Model *model, BPMNOS::number earliestInstantiationTime, BPMNOS::number latestInstantiationTime, const std::unordered_map< const Attribute *, BPMNOS::number > &globalValueMap)
BPMNOS::number	getEarliestInstantiationTime () const override
	Method returning the time of the earliest instantiation.
bool	isCompleted (const BPMNOS::number currentTime) const override
	Method returning true if the currentTime exceeds the completion time.
std::vector< std::tuple< const BPMN::Process *, BPMNOS::Values, BPMNOS::Values > >	getCurrentInstantiations (const BPMNOS::number currentTime) const override
	Method returning a vector of all instances that are known to be instantiated at the given time.
std::vector< const InstanceData * >	getCreatedInstances (const BPMNOS::number currentTime) const override
	Method returning a vector of all instances that have been created until the given time.
std::vector< const InstanceData * >	getKnownInstances (const BPMNOS::number currentTime) const override
	Method returning a vector of all instances that have been created or are known for sure until the given time.
std::optional< BPMNOS::number >	getKnownValue (const Scenario::InstanceData *instance, const BPMNOS::Model::Attribute *attribute, const BPMNOS::number currentTime) const override
	Method returning a known value of an attribute.
std::optional< BPMNOS::number >	getKnownValue (const BPMNOS::number instanceId, const BPMNOS::Model::Attribute *attribute, const BPMNOS::number currentTime) const override
	Method returning a known value of an attribute.
std::optional< BPMNOS::Values >	getKnownValues (const BPMNOS::number instanceId, const BPMN::Node *node, const BPMNOS::number currentTime) const override
	Method returning all known values of new attributes.
std::optional< BPMNOS::Values >	getKnownData (const BPMNOS::number instanceId, const BPMN::Node *node, const BPMNOS::number currentTime) const override
	Method returning all known values of new attributes.
Public Member Functions inherited from BPMNOS::Model::Scenario
virtual	~Scenario ()=default
const Model *	getModel () const
	Method returning the model.
virtual void	setTaskCompletionStatus (const BPMNOS::number instanceId, const BPMN::Node *task, BPMNOS::Values status) const
	Store the completion status when a task enters BUSY state.
virtual BPMNOS::Values	getTaskCompletionStatus (const BPMNOS::number instanceId, const BPMN::Node *task) const
	Get the completion status for a task.
virtual void	initializeArrivalData (BPMNOS::number instanceId, const BPMN::Node *node, const Values &status, const Values &data, const Values &globals) const
	Initialize arrival data when a token arrives at an activity.

Friends
class	ExpectedValueDataProvider

Additional Inherited Members
Public Attributes inherited from BPMNOS::Model::Scenario
BPMNOS::Values	globals
std::map< std::pair< size_t, const BPMN::Node * >, BPMNOS::Values >	taskCompletionStatus
	Stored completion status per (instanceId, task)
const Model *	model
	Pointer to the BPMN model.
Static Public Attributes inherited from BPMNOS::Model::Scenario
static constexpr char	delimiters [] = {'^','#'}
	Delimiters used for disambiguation of identifiers of non-interrupting event subprocesses and multi-instance activities.
Protected Member Functions inherited from BPMNOS::Model::StaticScenario
Values	getKnownInitialStatus (const InstanceData *, const BPMNOS::number time) const override
	Method returning the initial status attributes for process instantiation.
Values	getKnownInitialData (const InstanceData *, const BPMNOS::number time) const override
	Method returning the initial data attributes for process instantiation.
void	addInstance (const BPMN::Process *process, const BPMNOS::number instanceId, BPMNOS::number instantiationTime)
void	setValue (const BPMNOS::number instanceId, const Attribute *attribute, std::optional< BPMNOS::number > value)
Protected Member Functions inherited from BPMNOS::Model::Scenario
Protected Attributes inherited from BPMNOS::Model::StaticScenario
std::unordered_map< size_t, InstanceData >	instances
BPMNOS::number	earliestInstantiationTime
BPMNOS::number	latestInstantiationTime

Constructor & Destructor Documentation

ExpectedValueScenario()

ExpectedValueScenario::ExpectedValueScenario	(	const Model *	model,
		BPMNOS::number	earliestInstantiationTime,
		BPMNOS::number	latestInstantiationTime,
		const std::unordered_map< const Attribute *, BPMNOS::number > &	globalValueMap )

Definition at line 5 of file ExpectedValueScenario.cpp.

Friends And Related Symbol Documentation

ExpectedValueDataProvider

friend class ExpectedValueDataProvider

friend

Definition at line 19 of file ExpectedValueScenario.h.

---

The documentation for this class was generated from the following files:

• model/data/src/ExpectedValueScenario.h
• model/data/src/ExpectedValueScenario.cpp