Store.secarc 938 Bytes
Newer Older
Paff's avatar
Paff committed
1
2
3
4
5
6
7
package secarc.seccds.fe;

// import message types
import secarc.seccds.msg.*;

component Store {
	
Paff's avatar
Paff committed
8
9
		accesscontrol on;
		autoconnect port;
Paff's avatar
Paff committed
10
11
		
		access stockManager, storeManager, cashier;
Paff's avatar
Paff committed
12
13
	
		trustlevel +1;
Paff's avatar
Paff committed
14
15

		port
Paff's avatar
Paff committed
16
			in String inIdentifier,
Paff's avatar
Paff committed
17
			out ProductData outPData;
Paff's avatar
Paff committed
18
19
20
21
		
		port
			in SaleInformation;
			
Paff's avatar
Paff committed
22
23
24
25
26
		connect storeServer.productData -> outPData;
			
		component StoreServer storeServer {
		
			autoconnect port;
Paff's avatar
Paff committed
27
28
29
		
			configuration confName;
			cpe "cpeName";
Paff's avatar
Paff committed
30
				
Paff's avatar
Paff committed
31
			port 
Paff's avatar
Paff committed
32
33
34
				in String inIdentifier,
				in SaleInformation,
				out ProductData;
Paff's avatar
Paff committed
35
					
Paff's avatar
Paff committed
36
			component (filter fString) FilterIdentifier filterIdentifier {
Paff's avatar
Paff committed
37
38
39
40
41
				port
					in String inIdentifier,
					out Identifier;
			}
				
Paff's avatar
Paff committed
42
			component DataProcessor dataProcessor {
Paff's avatar
Paff committed
43
44
45
46
47
48
49
				
				port 
					out ProductData,
					in Identifier,
					(filter fInformation) in SaleInformation filterInfo;
				
			}
Paff's avatar
Paff committed
50
51
			
			connect saleInformation -> dataProcessor.filterInfo;
Paff's avatar
Paff committed
52
					
Paff's avatar
Paff committed
53
54
		}

Paff's avatar
Paff committed
55
}