DOI: 10.5281/zenodo.439597
title: Candc

description: We conducted a small user study to examine two high level<br>
research questions: [RC1] is C&C verification difficult<br>
to do manually, and [RC2] are witnesses for satisfaction/non-satisfaction<br>
helpful. The study included a two-pages introduction<br>
on C&C views to read, 3 verification questions (each<br>
presenting one C&C view), and 3 questions about the usefulness<br>
of a set of witnesses that was presented to the user,<br>
all referring to a common C&C model. Two of the views<br>
in the first 3 questions had 2 non-satisfaction reasons each.<br>
The questions of each group were presented to the users in<br>
a random order to avoid a bias due to learning effect.<br>
The study subjects were all CS graduate students or professional<br>
software engineers, all with some modeling background<br>
but no specific previous knowledge on our work on<br>
C&C views. No grades or other reward was involved. The<br>
study was anonymous and conducted online. We obtained<br>
complete set of answers from 17 subjects.

<br>
<strong>Attribute Information</strong>

For the user response:

| id                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |<br>
|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|<br>
| completed                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |<br>
| last page                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |<br>
| start language                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |<br>
| data started                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 |<br>
| date last action                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |<br>
| Component and connector (C&C) models are used in many application domains of software engineering. C&C views can be used to specify structural properties of C&C models, e.g., which component should be inside which component, which component should be connected to which component, in an expressive and intuitive way. An introduction to C&C models and C&C views is given in this PDF. All the tasks in the exercise are based on the same C&C model of a pump station (download the PDF here). Are you ready to start the exercise- |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[Yes, the C&C model satisfies the view.]                                                                                                                                                                                                                                                                                                                                |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Hierarchy Mismatch]                                                                                                                                                                                                                                                                                                                                     |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Component]                                                                                                                                                                                                                                                                                                                                      |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Interface Mismatch]                                                                                                                                                                                                                                                                                                                                     |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Connector]                                                                                                                                                                                                                                                                                                                                      |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[Yes, the C&C model satisfies the view.]                                                                                                                                                                                                                                                                                                                                |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Hierarchy Mismatch]                                                                                                                                                                                                                                                                                                                                     |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Component]                                                                                                                                                                                                                                                                                                                                      |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Interface Mismatch]                                                                                                                                                                                                                                                                                                                                     |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Connector]                                                                                                                                                                                                                                                                                                                                      |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[Yes, the C&C model satisfies the view.]                                                                                                                                                                                                                                                                                                                                |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Hierarchy Mismatch]                                                                                                                                                                                                                                                                                                                                     |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Component]                                                                                                                                                                                                                                                                                                                                      |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Interface Mismatch]                                                                                                                                                                                                                                                                                                                                     |<br>
| Does the C&C model of the pump station (same as before) satisfy this view-,Check either "Yes, ..." or check "No, ..." for ALL reasons for non-satisfaction you find.,[No, there is a Missing Connector]                                                                                                                                                                                                                                                                                                                                      |<br>
| Please rate your confidence that you correctly identified whether the C&C views were satisfied by the C&C model. Rate your confidence regardless of the reasons you identified.                                                                                                                                                                                                                                                                                                                                                              |<br>
| Please rate your confidence in finding all reasons for non-satisfaction.                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |<br>
| Consider the C&C model of the pump station (same as before) and the C&C view below:,The C&C model does not satisfy this C&C view. Here are two witnesses that demonstrate separate reasons for non-satisfaction:,First witness for non-satisfaction:,Second witness for non-satisfaction:,Do you find these witnesses helpful in understanding the verification result (non-satisfaction)-                                                                                                                                                   |<br>
| Consider the C&C model of the pump station (same as before) and the C&C view below:,The C&C model satisfies this C&C view. Here is a witnesses for satisfaction:,Do you find this witnesses helpful in understanding the verification result (satisfaction)-                                                                                                                                                                                                                                                                                 |<br>
| Consider the C&C model of the pump station (same as before) and the C&C view below:,The C&C model does not satisfy this C&C view. Here are four witnesses that demonstrate separate reasons for non-satisfaction.,First witness for non-satisfaction:,Second witness for non-satisfaction:,Third witness for non-satisfaction:,Fourth witness for non-satisfaction:,Do you find these witnesses helpful in understanding the verification result (non-satisfaction)-                                                                         |<br>
| Please note any comments you may have about C&C models, C&C views, and C&C witnesses.                                                                                                                                                                                                                                                                                                                                                                                                                                                        |<br>
| Total time                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |<br>
| Group time: Intro                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |<br>
| Question time: Intro                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         |<br>
| Group time: C&C Views Verification                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |<br>
| Question time: SAT1                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |<br>
| Question time: SAT2                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |<br>
| Question time: SAT3                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |<br>
| Question time: Correctness                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |<br>
| Question time: Completeness                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |<br>
| Group time: Helpful Witnesses                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |<br>
| Question time: Witness1                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |<br>
| Question time: Witness2                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |<br>
| Question time: Witness3                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |<br>
| Group time: Remarks                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |<br>
|                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              |<br>