Project

General

Profile

Feature #3231

include all subcontracts for refinement

Added by Anonymous almost 3 years ago. Updated over 1 year ago.

Status:
Feedback
Priority:
Normal
Assignee:
-
Target version:
Start date:
12/11/2017
Due date:
% Done:

0%

Estimated time:

Description

Feature: verification of contract refinement (obviously only for composite components)

At present, for verifying the contract refinement only the sub-contracts specified for refinement are given to OCRA.
e.g., lets consider a contract Con on component C
contract Con
assume A
guarantee G
REFINEDBY C.Con1, C.Con2;

But we think that it is better for the ease fo the user to extend this feature with following:
"If no REFINEDBY contracts are specified then give all the sub-contracts, i.e. all the contracts of all the sub-components (only next level) to OCRA "

History

#1 Updated by Vivek Nigam over 2 years ago

  • Target version changed from AF3 2.13 RC1 (Feature Freeze) to AF3 2.14 RC1 (Feature Freeze)

#2 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

#3 Updated by Vivek Nigam over 1 year ago

  • Assignee changed from Vivek Nigam to Johannes Eder

to be rejected.

#4 Updated by Johannes Eder over 1 year ago

  • Status changed from New to Feedback
  • Assignee changed from Johannes Eder to Anonymous

@Sudeep: Is this implemented or can it be rejected?

Also available in: Atom PDF