blob: 1372c416b6c2c975e4da7dd21af5bcaed19dd608 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
/*****************************************************************************
* Copyright (c) 2010 CEA LIST.
*
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Sara TUCCI (CEA LIST) sara.tucci@cea.fr - Initial API and implementation
* Chokri MRAIDHA (CEA LIST) chokri.mraidha@cea.fr - Initial API and implementation
* David SERVAT (CEA LIST) david.servat@cea.fr - Initial API and implementation
*
*****************************************************************************/
package org.eclipse.papyrus.eastadl.requirements;
import org.eclipse.emf.common.util.EList;
import org.eclipse.uml2.uml.NamedElement;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Satisfy</b></em>'.
* <!-- end-user-doc -->
*
* <!-- begin-model-doc -->
* The Satisfy is a relationship metaclass, which signifies relationship between Requirements and an element intended to satisfy the Requirement.
*
* Semantics:
* The Satisfy metaclass signifies a satisfied requirement/satisfied by relationship between a set of Requirements and a set of satisfying entities, where the modification of the supplier Requirements may impact the satisfying client entities. The Satisfy metaclass implies the semantics that the satisfying client entities are not complete, without the supplier Requirement.
*
* Constraints:
* [1] The EAElement in the association satisfiedBy may not be a Requirement or RequirementContainer.
* [2] An element of type Satisfy is only allowed to have associations to either elements of type UseCase (see satisfiedUseCase) or elements of type Requirement (see satisfiedRequirement). Not both at the same time!
*
* Notation:
* A Satisfy relationship is shown as a dashed line with a arrowhead at the end that corresponds to the satisfied Requirement or UseCaseUseCase. The entity at the tail of the arrow (the satisfying EAElement or the satisfying ARElement) depends on the entity at the arrowhead (the satisfied Requirement or UseCaseUseCase).
*
* Extension:
* To specialize SysML::Satisfy, which extends Realization.
* <!-- end-model-doc -->
*
* <p>
* The following features are supported:
* <ul>
* <li>{@link org.eclipse.papyrus.eastadl.requirements.Satisfy#getSatisfiedRequirement <em>Satisfied Requirement</em>}</li>
* <li>{@link org.eclipse.papyrus.eastadl.requirements.Satisfy#getSatisfiedBy <em>Satisfied By</em>}</li>
* <li>{@link org.eclipse.papyrus.eastadl.requirements.Satisfy#getSatisfiedBy_path <em>Satisfied By path</em>}</li>
* <li>{@link org.eclipse.papyrus.eastadl.requirements.Satisfy#getSatisfiedUseCase <em>Satisfied Use Case</em>}</li>
* </ul>
* </p>
*
* @see org.eclipse.papyrus.eastadl.requirements.RequirementsPackage#getSatisfy()
* @model
* @generated
*/
public interface Satisfy extends RequirementsRelationship, org.eclipse.papyrus.sysml.requirements.Satisfy {
/**
* Returns the value of the '<em><b>Satisfied By</b></em>' reference list.
* The list contents are of type {@link org.eclipse.uml2.uml.NamedElement}.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* List of satisfied ADL use cases, which are satisfied by the client ADL entities or satisfied by the client AUTOSAR elements.
* {derived from UML::Dependency::client}
* <!-- end-model-doc -->
* @return the value of the '<em>Satisfied By</em>' reference list.
* @see org.eclipse.papyrus.eastadl.requirements.RequirementsPackage#getSatisfy_SatisfiedBy()
* @model transient="true" changeable="false" volatile="true" derived="true" ordered="false"
* @generated
*/
EList<NamedElement> getSatisfiedBy();
/**
* Returns the value of the '<em><b>Satisfied By path</b></em>' reference list.
* The list contents are of type {@link org.eclipse.uml2.uml.NamedElement}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Satisfied By path</em>' reference list isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Satisfied By path</em>' reference list.
* @see org.eclipse.papyrus.eastadl.requirements.RequirementsPackage#getSatisfy_SatisfiedBy_path()
* @model
* @generated
*/
EList<NamedElement> getSatisfiedBy_path();
/**
* Returns the value of the '<em><b>Satisfied Requirement</b></em>' reference list.
* The list contents are of type {@link org.eclipse.papyrus.eastadl.requirements.Requirement}.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* List of satisfied ADL requirements, which are satisfied by the client ADL entities.
* {derived from UML::DirectedRelationship::target}
* <!-- end-model-doc -->
* @return the value of the '<em>Satisfied Requirement</em>' reference list.
* @see org.eclipse.papyrus.eastadl.requirements.RequirementsPackage#getSatisfy_SatisfiedRequirement()
* @model transient="true" changeable="false" volatile="true" derived="true" ordered="false"
* @generated
*/
EList<Requirement> getSatisfiedRequirement();
/**
* Returns the value of the '<em><b>Satisfied Use Case</b></em>' reference list.
* The list contents are of type {@link org.eclipse.papyrus.eastadl.requirements.UseCase}.
* <!-- begin-user-doc -->
* <p>
* If the meaning of the '<em>Satisfied Use Case</em>' reference list isn't clear,
* there really should be more of a description here...
* </p>
* <!-- end-user-doc -->
* @return the value of the '<em>Satisfied Use Case</em>' reference list.
* @see org.eclipse.papyrus.eastadl.requirements.RequirementsPackage#getSatisfy_SatisfiedUseCase()
* @model ordered="false"
* @generated
*/
EList<org.eclipse.papyrus.eastadl.requirements.UseCase> getSatisfiedUseCase();
} // Satisfy
|
