4. El juicio reflexivo estético sobre lo bello: Kant
4.3. Sentimientos estéticos, moralidad y humanización
.decision = rejected]
R R [Acceptance .decision = rejected]
R3 R3
R3 R3 [accepted or rejected]
R
<<coop. specific input>>
NOT With completeness check AND With switch to participant ECR id
<<coop. specific input>>
With switch to participant ECR id
1st loop iteration)
Receive Request_ECR_acceptance
Receive Notify_ECR_decided
IS3 Protocol Specification: public view of participant
Send
<<cooperation specific input>>
With completeness check
<<cooperation specific input>>
With completeness check
[true]
.decision = rejected]
R [Acceptance .decision = rejected]
R R
[Acceptance .decision = rejected]
R R R [
.decision = rejected]
Receive Request_ECR_acceptance
Receive Notify_ECR_decided
IS3 Protocol Specification: public view of participant
Send
<<cooperation specific input>>
With completeness check
<<cooperation specific input>>
With completeness check
[true]
.decision = rejected]
R [Acceptance .decision = rejected]
R R
[Acceptance .decision = rejected]
R R R [
.decision = rejected]
R R [Acceptance .decision = rejected]
R3 R3
R3 R3 [accepted or rejected]
R
<<coop. specific input>>
NOT With completeness check AND With switch to participant ECR id
<<coop. specific input>>
With switch to participant ECR id
1st loop iteration)
Figure 41: IS3 Protocol Specification: public view of participant
A.3.4 ECR Interaction Scenario 4 Protocol Specification
In the following two diagrams, the public view for coordinator and participant for IS4 is first of all specified first without any special cases. The subsequent two diagrams contain a specifi-cation for special cases.
ECM Recommendation Part 1 – ECR
Appendix A: ECR Interaction Scenario Protocol Specifications
Note: The first message for a participant not requesting the ECR may be Notify_ECR_-rolled_back_to_analysis or Notify_ECR_canceled. This may occur if there is no early notification of the ECR (Notification of ECR creation = FALSE) and cancel or rollback takes place before Request_ECR_details is sent.
Receive
KindOfSubdialog = elem)
« Concurrent »
Receive Respond_ECR_comments (Respond_Message_Header.
KindOfSubdialog = elem) [continue]
[false]
[true]
elem elem
[else]
<<cooperation specific input>>
With coordinator requesting confirmation
[false]
[true]
<<cooperation specific input>>
With coordinator requesting comments
[false]
IS4 Protocol Specification: public view of coordinator (without special cases)
<<decision input>>
<<coop. spec. input>>
With Notification of ECR creation
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
Send Notify_ECR_Update
[true]
[false]
Realizationas endlessloop! Branchterminatesafter completionof mainpath Realizationas endlessloop! Branchterminatesafter completionof mainpath
main_path
joinSpec = main_path Send
KindOfSubdialog = elem)
<<cooperation specific input>><<decision input>>
Request_ECR_comments.KindOfSubdialog IN Kinds of Subdialogs AND (Request_ECR_comments.KindOfSubdialog<>
“COMMERCIAL_COMMENTS”
OR NOT With estimation based approval
OR NOT ECR_Classification.description<>”estimation based approval”) Kinds of Subdialogs≡{
“GENERAL_COMMENTS”, …}
[(Change request trig-gered by participant) AND (Coord-triggerable IN Kind of IS2 Support)]
[(NOT Change requesttriggeredbyparticipant)AND (coord-triggerableIN Kind of IS4Support)]
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
Receive
KindOfSubdialog = elem)
« Concurrent »
Receive Respond_ECR_comments (Respond_Message_Header.
KindOfSubdialog = elem) [continue]
KindOfSubdialog = elem)
« Concurrent »
Receive Respond_ECR_comments (Respond_Message_Header.
KindOfSubdialog = elem) [continue]
[false]
[true]
elem elem
[else]
<<cooperation specific input>>
With coordinator requesting confirmation
[false]
[true]
<<cooperation specific input>>
With coordinator requesting comments
[false]
IS4 Protocol Specification: public view of coordinator (without special cases)
<<decision input>>
<<coop. spec. input>>
With Notification of ECR creation
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
Send Notify_ECR_Update
[true]
[false]
Realizationas endlessloop! Branchterminatesafter completionof mainpath Realizationas endlessloop! Branchterminatesafter completionof mainpath
main_path
joinSpec = main_path Send
<<cooperation specific input>>
With coordinator requesting confirmation
[false]
[true]
<<cooperation specific input>>
With coordinator requesting comments
[false]
IS4 Protocol Specification: public view of coordinator (without special cases)
<<decision input>>
<<coop. spec. input>>
With Notification of ECR creation
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
Send Notify_ECR_Update
[true]
[false]
Realizationas endlessloop! Branchterminatesafter completionof mainpath Realizationas endlessloop! Branchterminatesafter completionof mainpath
main_path
joinSpec = main_path Send
KindOfSubdialog = elem)
<<cooperation specific input>><<decision input>>
Request_ECR_comments.KindOfSubdialog IN Kinds of Subdialogs AND (Request_ECR_comments.KindOfSubdialog<>
“COMMERCIAL_COMMENTS”
OR NOT With estimation based approval
OR NOT ECR_Classification.description<>”estimation based approval”) Kinds of Subdialogs≡{
“GENERAL_COMMENTS”, …}
[(Change request trig-gered by participant) AND (Coord-triggerable IN Kind of IS2 Support)]
[(NOT Change requesttriggeredbyparticipant)AND (coord-triggerableIN Kind of IS4Support)]
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
Figure 42: IS4 Protocol Specification: public view of coordinator (without special cases)
Send Respond_ECR_
IS4 Protocol Specification: public view of participant ( without special cases )
Receive
KindOfSubdialog = elem)
« Concurrent »
[continue]
KindOfSubdialog = elem) [rejected]
<<cooperation specific input>>
With coordinator requesting confirmation
<<cooperation specific input>>
With coordinator requesting confirmation [accepted]
<<cooperation specific input>>
With coordinator requesting comments
Receive Request_ECR_details
Send Respond_ECR_details
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
[true]
Realizationas endlessloop! Branchterminatesafter completionof mainpath Realizationas endlessloop! Branchterminatesafter completionof mainpath
Receive
joinSpec = main_path
<<coop.spec.
<<cooperation specific input>><<decision input>>
Request_ECR_comments.KindOfSubdialog IN Kinds of Subdialogs AND (Request_ECR_comments.KindOfSubdialog <>
“COMMERCIAL_COMMENTS ” OR NOT With estimation based approval
OR NOT ECR_Classification.description <>”estimation based approval ”)
Send Notify_ECR_
comment_repetition_desired (Notify_Message_Header.
KindOfSubdialog = elem) Kinds of Subdialogs≡{
“GENERAL_COMMENTS ”, …}
[(Change request trig-gered by participant) AND (Coord-triggerable IN Kind of IS2 Support)]
[(NOT Change requesttriggeredbyparticipant) AND (coord-triggerableIN Kind of IS4Support)]
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
Send Respond_ECR_
IS4 Protocol Specification: public view of participant ( without special cases )
Receive
KindOfSubdialog = elem)
« Concurrent »
[continue]
IS4 Protocol Specification: public view of participant ( without special cases )
Receive
KindOfSubdialog = elem)
« Concurrent »
[continue]
KindOfSubdialog = elem) [rejected]
<<cooperation specific input>>
With coordinator requesting confirmation
<<cooperation specific input>>
With coordinator requesting confirmation [accepted]
<<cooperation specific input>>
With coordinator requesting comments
Receive Request_ECR_details
Send Respond_ECR_details
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
[true]
Realizationas endlessloop! Branchterminatesafter completionof mainpath Realizationas endlessloop! Branchterminatesafter completionof mainpath
Receive
KindOfSubdialog = elem) [rejected]
<<cooperation specific input>>
With coordinator requesting confirmation
<<cooperation specific input>>
With coordinator requesting confirmation [accepted]
<<cooperation specific input>>
With coordinator requesting comments
Receive Request_ECR_details
Send Respond_ECR_details
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
[true]
Realizationas endlessloop! Branchterminatesafter completionof mainpath Realizationas endlessloop! Branchterminatesafter completionof mainpath
Receive
joinSpec = main_path
<<coop.spec.
<<cooperation specific input>><<decision input>>
Request_ECR_comments.KindOfSubdialog IN Kinds of Subdialogs AND (Request_ECR_comments.KindOfSubdialog <>
“COMMERCIAL_COMMENTS ” OR NOT With estimation based approval
OR NOT ECR_Classification.description <>”estimation based approval ”)
Send Notify_ECR_
comment_repetition_desired (Notify_Message_Header.
KindOfSubdialog = elem) Kinds of Subdialogs≡{
“GENERAL_COMMENTS ”, …}
[(Change request trig-gered by participant) AND (Coord-triggerable IN Kind of IS2 Support)]
[(NOT Change requesttriggeredbyparticipant) AND (coord-triggerableIN Kind of IS4Support)]
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
<<decision input>>
<<coop.spec. input>>
Change request trig-gered by participant, Kind of IS4 Support
Figure 43: IS4 Protocol Specification: public view of participant (without special cases)
ECM Recommendation Part 1 – ECR
Appendix A: ECR Interaction Scenario Protocol Specifications
Send
KindOfSubdialog = elem)
« Concurrent »
Receive Respond_ECR_comments (Respond_Message_Header .
KindOfSubdialog = elem) [continue]
[false]
[true]
elem elem
[else]
<<cooperation specific input>>
With coordinator requesting confirmation
[false]
[true]
[true]
[false]
IS4 Protocol Specification: public view of coordinator ( with special cases)
<<decision input>> Rollback ECR to
Analysis Rollback ECR to
Analysis Rollback ECR to
Commenting Rollback ECR to
Commenting Rollback ECR to
Analysis Rollback ECR to
Analysis Rollback ECR to
Commenting Rollback ECR to
Commenting
<<coop. spec. input>>
With incomplete details
<<decision input>>
Request_ECR_details . MsgHeader.IsComplete
AND NOT
<<coop. spec. input>>
With incomplete details
Receive
<<coop. spec. input>>
With Notification of ECR creation
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<decisioninput>> ECR_acceptance.decision<<decisioninput>> ECR_acceptance.decision<<decisioninput>> Acceptance.decision
<<decision input>>
Request_ECR_details.MsgHeader.IsComplete AND NOT <<coop. spec. input>>
With incomplete details
<<decision input>>
Respond_ECR_details . MsgHeader.IsComplete
AND NOT
<<coop. spec. input>>
With incomplete details
<<coop.spec.
<<coop. spec. input>>
With incomplete details
<<decision input>>
Request_ECR_details . MsgHeader.IsComplete
AND NOT
<<coop. spec. input>>
With incomplete details
Receive
<<coop. spec. input>>
With Notification of ECR creation
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<decisioninput>> ECR_acceptance.decision<<decisioninput>> ECR_acceptance.decision<<decisioninput>> Acceptance.decision
<<decision input>>
Request_ECR_details.MsgHeader.IsComplete AND NOT <<coop. spec. input>>
With incomplete details
<<decision input>>
Respond_ECR_details . MsgHeader.IsComplete
AND NOT
<<coop. spec. input>>
With incomplete details
<<coop.spec.
with MsgHeader.isComplete =TRUE refers to Request_ECR_details with
MsgHeader.isComplete =TRUE
[true]
<<cooperation specific input>>
With coordinator requesting comments
Receive Notify_ECR_
comment_repetition_desired (Notify_Message_Header .
KindOfSubdialog = elem)
<<cooperation specific input>><<decision input>>
Request_ECR_comments.KindOfSubdialog IN Kinds of Subdialogs
AND (Request_ECR_comments.KindOfSubdialog <>
“COMMERCIAL_COMMENTS ” OR NOT With estimation based approval
OR NOT ECR_Classification.description <>”estimation based approval ”)
Kinds of Subdialogs≡{
“GENERAL_COMMENTS ”, …}
Figure 44: IS4 Protocol Specification: public view of coordinator (with special cases)
Send Respond_ECR_
IS4 Protocol Specification: public view of participant (with special cases )
Receive Notify_ECR_rejected
Receive Request_ECR_comments (Request_Message_Header.
KindOfSubdialog = elem)
« Concurrent »
[continue]
KindOfSubdialog = elem) [rejected]
<<cooperation specific input>>
With coordinator requesting confirmation
[true]
[false]
<<cooperation specific input>>
With coordinator requesting comments
<<cooperation specific input>>
With coordinator requesting confirmation
[true]
[false]
<<cooperation specific input>>
With coordinator requesting comments
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<decisioninput>> ECR_acceptance.decision<<decisioninput>> ECR_acceptance.decision<<decisioninput>> Acceptance.decision
<<postcondition>>
Respond_ECR_details with MsgHeader.isComplete=TRUE
refers to Request_ECR_details with MsgHeader.isComplete=TRUE AND NOT <<coop. spec. input>>
With incomplete details
<<decision input>>
Request_ECR_details.
MsgHeader.IsComplete AND NOT
<<coop. spec. input>>
With incomplete details
<<decision input>>
Request_ECR_details.
MsgHeader.IsComplete AND NOT
<<coop. spec. input>>
With incomplete details
<<decision input>>
Respond_ECR_details.
MsgHeader.IsComplete AND NOT
<<coop. spec. input>>
With incomplete details
Send
<<coop. spec. input>>
With Notification of ECR creation
[true]
[false]
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<coop. spec. input>>
With Notification of ECR comment repetit.
<<decisioninput>> ECR_acceptance.decision<<decisioninput>> ECR_acceptance.decision<<decisioninput>> Acceptance.decision
<<postcondition>>
Respond_ECR_details with MsgHeader.isComplete=TRUE
refers to Request_ECR_details with MsgHeader.isComplete=TRUE AND NOT <<coop. spec. input>>
With incomplete details
<<decision input>>
Request_ECR_details.
MsgHeader.IsComplete AND NOT
<<coop. spec. input>>
With incomplete details
<<decision input>>
Request_ECR_details.
MsgHeader.IsComplete AND NOT
<<coop. spec. input>>
With incomplete details
<<decision input>>
Respond_ECR_details.
MsgHeader.IsComplete AND NOT
<<coop. spec. input>>
With incomplete details
Send Notify_ECR_
comment_repetition_desired (Notify_Message_Header.
KindOfSubdialog = elem)
<<cooperation specific input>><<decision input>>
Request_ECR_comments.KindOfSubdialog IN Kinds of Subdialogs
AND (Request_ECR_comments.KindOfSubdialog <>
“COMMERCIAL_COMMENTS ” OR NOT With estimation based approval
OR NOT ECR_Classification.description <>”estimation based approval”)
Kinds of Subdialogs≡{
“GENERAL_COMMENTS ”, …}
Figure 45: IS4 Protocol Specification: public view of participant (with special cases)
ECM Recommendation Part 1 – ECR
Maintenance Form
Maintenance Form
If you find an error or other changes that should be made to this publication, please complete this form and return it to the proper address below.
Name of Submitter: Date:
Company:
Company Address:
Phone: Fax: E-mail:
CHANGE REQUEST (Use additional sheets if necessary) Page Number of Change:
Document Currently Reads:
Recommended Changes/Should Read:
Recommended Additions:
Reason for Change:
Signature of Submitter:
Submit this Change Request by email to [email protected] or to your organization at one of the addresses listed below:
Automotive Industry Action Group
26200 Lahser Road, Suite 200 Phone: (248) 358-3570
Southfield, MI 48034 Fax: (248) 358-3253
USA Web: www.aiag.org
Odette International Limited Forbes House
Halkin Street Phone: +44 207 344 0277
London SW1X 7DS Fax: +44 207 245 6093
UK Web: www.odette.org
Japan Automobile Manufacturer’s Association, Inc. (JAMA) Otemachi Building, 6-1
Otemachi 1-chome Chiyoda-ku Phone: +81 3-5405-6130
Tokyo 100-0004 Fax: +81 3-5405-6136
Japan Web: www.jama.or.jp
ProSTEP iViP Association
Dolivostr. 11 Phone: +49 6151 9287-336
64293 Darmstadt Fax: +49 6151 9287-326
Germany Web: www.prostep.org
VDA ECM Recommendation - Part 1 (ECR) V2.0.3.doc