Ausarbeitung

montiSecArcFE/src/test/resources/secarc/cds/CashDeskSystem.secarc

@@ -16,7 +16,6 @@ component CashDeskSystem {
 	port 
 		in Event newSale,
 		in Image barcode,
-		in String identifier,
 		in Event endSale,
 		out ProductData;
 		
@@ -26,23 +25,16 @@ component CashDeskSystem {
 		in Integer pin,
 		out Boolean validation;
 		
-	port
-		out Bill;
-		
 	component Store {
 
 		port
 			in String identifier,
-			out ProductData,
-			out PaymentAck;
-		
-		port
-			in SaleInformation;
+			out ProductData;
 
 	}
 	
 	component CashDesk cashDesk
-		[bdOut -> bank.bankData; saleInformation -> store.saleInformation];
+		[bdOut -> bank.bankData];
 	
 	component Bank;
 	

montiSecArcFE/src/test/resources/secarc/cds/fe/CashDesk.secarc

@@ -9,11 +9,9 @@ component CashDesk {
 	port 
 		in Event newSale,
 		in Image barcode,
-		in String identifier,
 		out String identifier,
 		in Event endSale,
 		in ProductData,
-		in PaymentAck,
 		out ProductData;
 		
 	port 
@@ -23,9 +21,5 @@ component CashDesk {
 		out BankData bdOut,
 		in PaymentAck paIn,
 		out Boolean validation;
-	
-	port
-		out SaleInformation,
-		out Bill;
 		
 }
\ No newline at end of file