Checking consistency between message choreographies and their implementation models

Electronic Communications of the EASST

Volumn 35, Issue , 2010, Pages

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

^a SAP RESEARCH   (Germany)

Author keywords

Choreography; Industrial; Modeling; SOA

Indexed keywords

EID: 85032421568     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.35.566.689     Document Type: Conference Paper

References (13)

1. J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press, 2010. To appear. See also http://www.event-b.org
2. Gero Decker and Mathias Weske. Local enforceability in interaction Petri Nets. In Proceedings of the 5th International Conference on Business Process Manage-ment (BPM'07), volume 4714 of Lecture Notes in Computer Science, pages 305-319. Springer, 2007
3. Randy Heffner. Across all vertical industry groups, the majority of SOA users are expanding its use. Research report, Forrester Research, May 2009
4. Stefan Katker and Sabine Patig. Model-driven development of service-oriented business application systems. In Business Services: Konzepte, Technologien, Anwendun-gen, volume Band 1, pages 171-180. Osterreichische Computer Gesellschaft, 2009
5. Vitaly Kozyura and Andreas Roth. Generation of gluing invariants for checking local enforceability of message choreographies. In Michael Jastram, Linas Laibinis, Felix Losch, and Manuel Mazzara, editors, Proceedings of Deploy Technical Workshop 2009. Newcastle University, Technical Report, 2009
6. Vitaly Kozyura, Andreas Roth, and Wei Wei. Local enforceability and inconsumable messages in choreography models. In Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM). IEEE Computer Society, 2009
7. Michael Leuschel and Michael J. Butler. ProB: an automated analysis toolset for the B method. STTT, 10(2):185-203, 2008
8. OMG. Omg unified modeling language (omg uml), superstructure version 2.2
9. RODIN. http://www.event-b.org/. accessed 2010-04-08
10. R.J. van Glabbeek. The linear time-branching time spectrum. In in Proceedings of Theories of Concurrency: Unification and Extension (CONCUR'90). Springer, 1990
11. 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 Proceedings of the 21st IFIP Int. Conference on Testing of Communicating Systems (TEST-COM'09), LNCS. Springer, 2009
12. 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), pages 148-153. IEEE Computer Society, 2008
13. 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). IEEE Computer Society, 2009