Constraint-based invocation of stateful web services: The beep store (case study)

Shopping cart manipulations are a prime example of web services exhibiting stateful behaviour. The Beep Store is a web service synthesizing past work on the study and formalization of stateful interface constraints, and presenting many of the characteristics found in real-world web services, such as Amazon's and PayPal shopping carts.