[ACM Press the 12th international ACM SIGPLAN symposium - Hagenberg, Austria (2010.07.26-2010.07.28)] Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 - Declarative workflows to efficiently manage flexible and advanced business processes

[ACM Press the 12th international ACM SI

✍ Demeyer, Romain; Van Assche, Maxime; Langevine, Ludovic; Vanhoof, Wim 📂 Article 📅 2010 🏛 ACM Press ⚖ 442 KB

In this work, we present a new constraint-based workflow definition language called Saturn, which uses Linear-time Temporal Logic (LTL) to express workflow constraints. A declarative approach to model business processes has recently been advocated as a viable complement to, or even replacement of, m