InformationSecurity/Policy_metadata.mch at main · JayashriGovindan/InformationSecurity · GitHub

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

/*
 * This file was generated by B4MSecure on Wednesday, November 22, 2023 at 3:14:53 PM CET
 * -
 * B4MSecure Eclipse IDE Integration (part of B4MSecure) version 2.0.5.202104011214
 * Please visit http://b4msecure.forge.imag.fr for further information
 */


MACHINE
    Policy_metadata

SETS

	ENTITIES = {  NO_CLASSES
	};

	Attributes = {  NO_ATTRIBUTES
	};

	AssociationRoles = {   NO_ASSOCIATION_ROLES
	};

	Operations = {  NO_OPERATIONS
	};

	KindsOfAtt 	= {public, private};
	Stereotypes = {readOp, modifyOp}

CONSTANTS

	constructorOf, destructorOf,
	AttributeOf, AttributeKind, getterOf, setterOf,
	AssoRoleOf, roleGetterOf, roleSetterOf,
	OperationOf, StereotypeOps


PROPERTIES

	constructorOf	: Operations >+> ENTITIES &
	constructorOf	= {} &

	destructorOf	: Operations >+> ENTITIES &
	destructorOf	= {} &

	AttributeOf		: Attributes --> ENTITIES &
	AttributeOf		= {} &

	AttributeKind	: Attributes --> KindsOfAtt &
	AttributeKind	= {} &

	getterOf		: Operations >+> Attributes &
	getterOf		= {} &

	setterOf		: Operations +-> Attributes &
	setterOf		= {} &

	AssoRoleOf		: AssociationRoles +-> ENTITIES &
	AssoRoleOf		= {} &

	roleGetterOf	: Operations >+> AssociationRoles &
	roleGetterOf	= {} &

	roleSetterOf	: Operations +-> AssociationRoles &
	roleSetterOf	= {} &

	OperationOf		: Operations --> ENTITIES &
	OperationOf		=
		{} \/
		{} \/
		{} \/
		{} \/
		{} &

	StereotypeOps	: Stereotypes <-> Operations &
	StereotypeOps	= {} &

	constructorOf /\ destructorOf = {} &
	setterOf /\ getterOf = {} &
	roleGetterOf /\ roleSetterOf = {}

END