Web Services Conversation Adaptation Using Conditional Substitution Semantics of Application Domain Concepts

Table 2

An example for operation substitution patterns.

Operation	Concepts	Scope	Conversion function	Substitution condition
PayOnline	Input: CreditCard; Input: Amount; Input: Currency	Payment	Payment.Method = Credit; Payment.Details = CreditCard.Details; Payment.Currency = Currency; Payment.CreditAmt = Amount	CreditCard.Details ≠ NULL; Amount >0; Currency ≠ NULL
	Output: Receipt	Confirmation	Receipt = Confirmation	Confirmation ≠ NULL