Local enforceability and inconsumable messages in choreography models

2009 4th South-East European Workshop on Formal Methods: Formal Methods for Web Services; Formal Methods for Agent-Based Systems, SEEFM 2009

Volumn , Issue , 2009, Pages 10-16

  Kozyura, Vitaly ^a   Roth, Andreas ^a   Wei, Wei ^a  

^a SAP RESEARCH   (Germany)

Author keywords

Inconsumable messages; Local enforceability; Message choreography; Software modeling; Software verification; Trace simulation

Indexed keywords

COMMUNICATION PROTOCOLS; EXPONENTIAL COMPLEXITY; FINITE STATE SYSTEMS; GLOBAL MODELS; LINEAR TIME; LOCAL MODEL; SERVICE COMPONENTS; SOFTWARE MODELING;

COMMUNICATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; INTERNET PROTOCOLS; MODEL CHECKING; WEB SERVICES;

FORMAL METHODS;

EID: 77953838723     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEEFM.2009.12     Document Type: Conference Paper

References (15)

1. Jeremy Bryans, John Fitzgerald, Alexander Romanovsky, and Andreas Roth, "Formal modelling and analysis of business information applications with fault tolerant middleware", in Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '09). 2009, pp. 68-77, IEEE Computer Society.
2. Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, and Ina Schieferdecker, "Viewpoints for modeling choreographies in service-oriented architectures", in Proceedings of the 8th IEEE/IFIP Conference on Software Architecture (WICSA'09). 2009, IEEE Computer Society.
3. Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, and Ina Schieferdecker, "Applying model checking to generate model-based integration tests from choreography models", in Proceedingsof the 21st IFIP Int. Conference on Testing of Communicating Systems (TESTCOM'09). 2009, LNCS, Springer.
4. Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, and Anis Charfi, "Precise steps for choreography modeling for SOA validation and verification", in Proceedings of the IEEE 4th International Symposium on Service-Oriented Software Engineering (SOSE'08). 2008, IEEE Computer Society.
5. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, and Arthur H. M. ter Hofstede, "Wofbpel: A tool for automated analysis of bpel processes.", in Proceedings of 3rd International Conference on Service- Oriented Computing (ICSOC 2005), Boualem Benatallah, Fabio Casati, and Paolo Traverso, Eds. 2005, vol. 3826 of Lecture Notes in Computer Science, pp. 484-489, Springer.
6. Stefan Kätker and Susanne Patig, "Model-driven development of service-oriented business application systems", in Wirtschaftsinformatik (1), Hans Robert Hansen, Dimitris Karagiannis, and Hans-Georg Fill, Eds. 2009, vol. 246 of books@ocg.at, pp. 171-180, Österreichische Computer Gesellschaft.
7. Nickolas Kavantzas, David Burdett, Greg Ritzinger, Tony Fletcher, Yves Lafon, and Charlton Barreto, "Web services choreography description language version 1.0", World Wide Web Consortium, Candidate Recommendation CR-ws-cdl-10-20051109, November 2005.
8. "Business process modeling notation (BPMN) specification 2.0", Submitted Draft Proposal V0.9. Available at http://www.omg.org/cgi-bin/doc?bmi/ 08-11-01.
9. Johannes Maria Zaha, Alistair P. Barros, Marlon Dumas, and Arthur H. M. ter Hofstede, "Let's dance: A language for service behavior modeling", in On the Move to Meaningful Internet Systems: Proceedings of OTM Confederated International Conferences 2006, Part I, 2006, vol. 4275 of Lecture Notes in Computer Science, pp. 145-162.
10. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled, Model checking, MIT Press, 2000.
11. Matt Kaufmann, J. Strother Moore, and Panagiotis Manolios, Computer-Aided Reasoning: An Approach, Kluwer Academic Publishers, 2000.
12. Gero Decker and Mathias Weske, "Local enforceability in interaction petri nets", in Proceedings of 5th International Conference on Business Process Management (BPM 2007), 2007, vol. 4714 of Lecture Notes in Computer Science, pp. 305-319.
13. Johannes Maria Zaha, Marlon Dumas, Arthur H. M. ter Hofstede, Alistair P. Barros, and Gero Decker, "Service interaction modeling: Bridging global and local views", in Proceedings of 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006, pp. 45-55.
14. Yonit Kesten, Nir Piterman, and Amir Pnueli, "Bridging the gap between fair simulation and trace inclusion", Information and Computation, vol. 200, no. 1, pp. 35-61, 2005.
15. Robin Milner, Communication and concurrency, Prentice- Hall, Inc., 1989.