This demo presents an extension of a declarative language for specifying data-intensive Web applications. We demonstrate a scenario extracted from a real-life application, the Web...
Marco Brambilla, Stefano Ceri, Sara Comai, Marco D...
Over the last decade, the role of information technology in enterprises has been transforming from one of providing automation services to one of enabling business innovation. ITā...
Web applications have become complex and crucial for many ļ¬rms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
Carlo Bellettini, Alessandro Marchetto, Andrea Tre...
Abstract: Modern enterprises face the challenge to survive in an ever changing environment. One commonly accepted means to address this challenge and further enhance survivability ...
Stephan Aier, Sabine Buckl, Ulrik Franke, Bettina ...
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...