Advances, Systems and Applications
Reasoning assistance name | Assistance description | Reasoning scale | Operation scheduling | Precondition & parameter preparation | Reasoning steps |
---|---|---|---|---|---|
BASR | To assist in preparation of precondition and parameters for unsatisfied service operations | Single cloud (CSP) | None | Guided manual input | 1. For the unsatisfied SRParameters and SRPreConditions, list possible options based on current selected SRSubject and SRParameters, plus the real-time status of them; |
CCSR | To assist in multiple concurrent service operations of similar types | Multiple clouds (CSPs) | None | Manual input | 1. Get SRSubjects’ operations which have satisfied SRParameters; |
2. Filter the operations based on whether their preconditions fulfil the real-time SRSubject statuses; | |||||
3. Produce the operation lists for the applicable SRSubjects; | |||||
SCSR | To assist in automatic scheduled executions of a series of operations in a logical sequence | Single cloud (CSP) | Yes | Manual input | 1. Get SRSubjects’ operations which have satisfied SRParameters; |
2. For the operations, seek for those which have precondition SRPostCondition matches; | |||||
3. Compose these operations into sequenced chains by filtering | |||||
Them from their factorial combinations, according to the two-two sequenced connections; | |||||
4. Filter the operation chains based on whether the first operation’s preconditions fulfil the real-time SRSubject status; | |||||
Produce the operation lists for the applicable SRSubjects | |||||
IOSR | To assist in seeking possible service interactions by linking appropriate operations in a scheduled sequence | Multiple clouds (CSPs) | Yes | Automatic preparation | 1. For all SRSubjects’ operations, seek for those which have SROutcomes SRParameters (equivalence) matches; |
2. For all SRSubjects’ operations, seek for those which have SRPreCondition SRPostCondition matches; | |||||
3. Compose these operations into sequenced chains as long as their SRPostConditions and SRPreConditions are not contradictory, according to the two-two sequenced connections; | |||||
4. Filter the operation chains based on whether the first operation’s preconditions fulfil the real-time SRSubject status; | |||||
5. Produce the operation lists for the applicable SRSubjects |