Computer Science – Software Engineering
Scientific paper
2011-08-09
EPTCS 60, 2011, pp. 19-35
Computer Science
Software Engineering
In Proceedings PACO 2011, arXiv:1108.1452
Scientific paper
10.4204/EPTCS.60.2
Service-based systems are software systems composed of autonomous components or services provided by different vendors, deployed on remote machines and accessible through the web. One of the challenges of modern software engineering is to ensure that such a system behaves as intended by its designer. The Reo coordination language is an extensible notation for formal modeling and execution of service compositions. Services that have no prior knowledge about each other communicate through advanced channel connectors which guarantee that each participant, service or client, receives the right data at the right time. Each channel is a binary relation that imposes synchronization and data constraints on input and output messages. Furthermore, channels are composed together to realize arbitrarily complex behavioral protocols. During this process, a designer may introduce errors into the connector model or the code for their execution, and thus affect the behavior of a composed service. In this paper, we present an approach for model-based testing of coordination protocols designed in Reo. Our approach is based on the input-output conformance (ioco) testing theory and exploits the mapping of automata-based semantic models for Reo to equivalent process algebra specifications.
Arbab Farhad
Changizi Behnaz
Kokash Natallia
Makhnist Leonid
No associations
LandOfFree
Input-output Conformance Testing for Channel-based Service Connectors does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Input-output Conformance Testing for Channel-based Service Connectors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Input-output Conformance Testing for Channel-based Service Connectors will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-69943