From: Incremental stages of a semantic framework for automating the changes on long term composed services
Grammar | Explanation | Current composition | Change request |
---|---|---|---|
L → (S1.S2). ((S3.S4)*S5) | S1 = login | (op1/op2)/((op3/op4)*op6) | |
S1 → OP1 | S2 = book flight ticket | ||
S2 → OP2 | S3 = book cab | ||
S3 → OP3 | S4 = book hotel | ||
S4 → OP4 | S5 = weather services | (op1/op2)/((op3/op4)*op5) | |
S5 → OP5 | OP1 = get_credentials | ||
S6 → OP6 | OP2 = get_cust details | ||
OP3 = get_flightdetails | |||
OP4 = get_returndate | |||
OP5 = get_temperature |