Uploaded image for project: 'Scribble'
  1. Scribble
  2. SCRIBBLE-130

Protocol Role Parameters and introduced Roles are not checked and can be the same.

    Details

    • Steps to Reproduce:
      Hide

      Case 1: Same name act as a parameter and as an introduced role

      Steps
      1. Open Purchase.apr.
      2. Change:
      protocol Purchasing (role Buyer){
      Buyer introduces Seller;
      To
      protocol Purchasing (role Buyer, role Buyer1){
      Buyer introduces Seller;
      Buyer introduces Buyer1;
      3. run validate command
      Result: No error
      Expected Result: Validation should fail

      Case 2: A parameter role can introduce itself

      Steps
      1. Open Purchase.apr.
      2. Change:
      protocol Purchasing (role Buyer){
      Buyer introduces Seller;
      To
      protocol Purchasing (role Buyer){
      Buyer introduces Seller;
      Buyer introduces Buyer;
      3. run validate command
      Result: No error
      Expected Result: Validation should fail

      Show
      Case 1: Same name act as a parameter and as an introduced role Steps 1. Open Purchase.apr. 2. Change: protocol Purchasing (role Buyer){ Buyer introduces Seller; To protocol Purchasing (role Buyer, role Buyer1){ Buyer introduces Seller; Buyer introduces Buyer1; 3. run validate command Result: No error Expected Result: Validation should fail Case 2: A parameter role can introduce itself Steps 1. Open Purchase.apr. 2. Change: protocol Purchasing (role Buyer){ Buyer introduces Seller; To protocol Purchasing (role Buyer){ Buyer introduces Seller; Buyer introduces Buyer; 3. run validate command Result: No error Expected Result: Validation should fail

      Description

      The Protocol Guidelines states for the introduced role that: Such a role should not
      be declared as a parameter, since the endpoint capability to participate in the conversation is
      newly created in such cases. Currently, this is not fulfilled and leads to the following issues:
      1. Same name act as a parameter and as an introduced role (see case 1 in reproduction steps for details)
      2. A parameter role can introduce itself (see case 2 in reproduction steps for details)

        Gliffy Diagrams

          Attachments

            Activity

              People

              • Assignee:
                objectiser Gary Brown
                Reporter:
                rneykova Rumyana Neykova
              • Votes:
                0 Vote for this issue
                Watchers:
                0 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: