['We', 'have', 'proven', 'that', 'automatic', 'verification', 'of', 'LTL', '-', 'FO', 'properties', 'of', 'data', '-', 'centric', 'Web', 'services', 'under', 'input', '-', 'bounded', 'constraints', 'is', 'decidable', 'by', 'reducing', 'Web', 'services', 'to', 'data', '-', 'centric', 'Web', 'applications', '.']