---
abstract: "Choreography models describe the communication protocols\r\nbetween services. Testing of service choreographies is an important task for the\r\nquality assurance of service-based systems as used e.g. in the context of\r\nservice-oriented architectures (SOA). The formal modeling of service\r\nchoreographies enables a model-based integration testing (MBIT) approach.\r\nWe present MBIT methods for our service choreography modeling approach\r\ncalled Message Choreography Models (MCM). For the model-based testing of\r\nservice choreographies, MCMs are translated into Event-B models and used as\r\ninput for our test generator which uses the model checker ProB."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - ~
  - ~
  - ~
  - leuschel@cs.uni-duesseldorf.de
  - ~
  - plagge@cs.uni-duesseldorf.de
  - ~
creators_name:
  - family: Wieczorek
    given: S.
    honourific: ''
    lineage: ''
  - family: Kozyura
    given: V.
    honourific: ''
    lineage: ''
  - family: Roth
    given: A.
    honourific: ''
    lineage: ''
  - family: Leuschel
    given: Michael
    honourific: ''
    lineage: ''
  - family: Bendisposto
    given: Jens
    honourific: ''
    lineage: ''
  - family: Plagge
    given: Daniel
    honourific: ''
    lineage: ''
  - family: Schieferdecker
    given: I.
    honourific: ''
    lineage: ''
data_type: ~
date: 2009
date_type: published
datestamp: 2009-09-07 08:16:40
department: ~
dir: disk0/00/00/01/46
divisions: []
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 146
event_dates: ~
event_location: ~
event_title: ~
event_type: ~
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/146/1/testcom_camera_ready.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: inpress
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2010-04-19 15:05:57
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: ~
producers_id: []
producers_name: []
projects: []
publication: 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009
publisher: Springer LNCS
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 24
series: ~
skill_areas: []
source: ~
status_changed: 2009-09-07 08:16:40
subjects:
  - deploy_tooldev
  - deploy_industrial_bus
  - deploy_tooldev_modela
  - deploy_tooldev_rodinplugins
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Applying Model Checking to Generate Model-based Integration Tests from Choreography Models
type: article
userid: 37
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>