DecSerFlow: Towards a Truly Declarative Service Flow Language

Dagstuhl Seminar Proceedings

Volumn 6291, Issue , 2006, Pages

  van der Aalst, W M P ^a   Pesic, M ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

flexibility; Service flows; temporal logic; web services; workflow management

Indexed keywords

COMPUTER CIRCUITS; FORMAL METHODS; PETRI NETS; SPECIFICATION LANGUAGES; WEB SERVICES; WEBSITES; WORKFLOW MANAGEMENT;

FLEXIBILITY; GRAPHICAL REPRESENTATIONS; PROCESS SPECIFICATION LANGUAGE; PROCESS SUPPORT; SERVICE FLOWS; SOFTWARE SOLUTION; WEBS SERVICES; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MANAGEMENTS;

TEMPORAL LOGIC;

EID: 85174318550     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification of Properties: An Approach based on Temporal Logic. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 130–147. Springer-Verlag, Berlin, 2005.
2. W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, N. Russell, H.M.W. Verbeek, and P. Wohed. Life After BPEL? In M. Bravetti, L. Kloul, and G. Zavattaro, editors, WS-FM 2005, volume 3670 of Lecture Notes in Computer Science, pages 35–50. Springer-Verlag, Berlin, 2005.
3. W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version). BPM Center Report BPM-05-25, BPMcenter.org, 2005.
4. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns. Distributed and Parallel Databases, 14(1):5–51, 2003.
5. W.M.P. van der Aalst and M. Pesic. Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware. BPM Center Report BPM-06-09, BPM Center, BPMcenter.org, 2006. http://www.BPMcenter.org/reports/2006/BPM-06-09.pdf.
6. W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128–1142, 2004.
7. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation, 2003.
8. M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, 2005.
9. M.B. Dwyer, G.S. Avrunin, and J.C. Corbett. Patterns in Property Specifications for Finite-State Verification. In ICSE’99: Proceedings of the 21st international conference on Software engineering, pages 411–420, Los Alamitos, CA, USA, 1999. IEEE Computer Society Press.
10. R. Gerth, D. Peled, M.Y. Vardi, and P. Wolper. Simple On-The-Fly Automatic Verification of Linear Temporal Logic. In Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pages 3–18, London, UK, 1996. Chapman & Hall, Ltd.
11. D. Giannakopoulou and K. Havelund. Automata-Based Verification of Temporal Properties on Running Programs. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE’01), pages 412–416. IEEE Computer Society Press, Providence, 2001.
12. K. Havelund and G. Rosu. Monitoring Programs Using Rewriting. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE’01), pages 135–143. IEEE Computer Society Press, Providence, 2001.
13. K. Havelund and G. Rosu. Synthesizing Monitors for Safety Properties. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), volume 2280 of Lecture Notes in Computer Science, pages 342–356. Springer-Verlag, Berlin, 2002.
14. G.J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, USA, 2003.
15. E.M. Clarke Jr., O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999.
16. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon. Web Services Choreography Description Language, Version 1.0. W3C Working Draft 17-12-04, 2004.
17. M. Pesic and W.M.P. van der Aalst. A Declarative Approach for Flexible Business Processes Management. In BPM 2006 Workshops: International Workshop on Dynamic Process Management (DPM 2006), Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2006.
18. A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In C. Bussler et al., editor, BPM 2005 Workshops (Workshop on Business Process Intelligence), volume 3812 of Lecture Notes in Computer Science, pages 163–176. Springer-Verlag, Berlin, 2006.
19. J. Snell. Automating business processes and transactions in Web services: An introduction to BPELWS, WS-Coordination, and WS-Transaction. http://www128.ibm.com/developerworks/webservices/library/ws-autobp/, June 2006.
20. P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Analysis of Web Services Composition Languages: The Case of BPEL4WS. In I.Y. Song, S.W. Liddle, T.W. Ling, and P. Scheuermann, editors, 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200–215. Springer-Verlag, Berlin, 2003.