['Amodel', 'are', 'proposed', 'for', 'modeling', 'data', '-', 'centric', 'Web', 'services', 'which', 'are', 'powered', 'by', 'relational', 'databases', 'and', 'interact', 'with', 'users', 'according', 'to', 'logical', 'formulas', 'specifying', 'input', 'constraints', ',', 'control', '-', 'flow', 'constraints', 'and', 'state', '/', 'output', '/', 'action', 'rules', '.']