dmss.html (view raw)
1
2<!doctype html>
3<html lang="en">
4<head>
5 <meta charset="utf-8">
6 <title>Documentation for the dmssproject Ecore meta-model</title>
7 <meta name="description" content="dmssproject Documentation">
8 <link rel="stylesheet" href="css/styles.css?v=1.0">
9 <style>
10 .details {
11 font-family: calibri;
12 color: black;
13 }
14
15 .invariant {
16 font-style: italic;
17 color: blue;
18 }
19
20 .cls {
21 background-color: LightGoldenRodYellow;
22 }
23
24 .abstract {
25 background-color: LightGrey;
26 }
27 </style>
28</head>
29<body>
30 <span class="details">
31 <p>Authors : <i>(censored for privacy reasons)</i></p>
32 <p>Last updated : 06/05/2019</p>
33 <p>Name: dmssproject</p>
34 <p>NS Prefix: dmssproject</p>
35 <p>NS URI: http://www.example.org/dmssproject</p>
36 </span>
37
38<span class="cls">EClass: Workflow</span>
39<p>Description: In this EClassifier we set the authors of the project and where the meta-model was last updated.</p>
40<ul>
41 <br/>
42 <li>(0...*) <b>actors</b> : Actor (Composition) </li>
43 <br/>
44 <li>invariant <b>SingleBeginTag</b> : <span class="invariant">
45 self.actors.tasks->selectByType(StartTask)->size() = 1</span></li>
46 <li>invariant <b>SingleEngTag</b> : <span class="invariant">
47 self.actors.tasks->selectByType(EndTask)->size() = 1</span></li>
48
49</ul>
50<span class="cls">EClass: Actor</span>
51<p>Description: In this EClassifier we have the Actor class and its attributes</p>
52<ul>
53 <li>(0...1) <b>name</b> : EString </li>
54 <br/>
55 <li>(1...*) <b>tasks</b> : Task (Composition) </li>
56 <li>(0...*) <b>information</b> : Information (Composition) </li>
57 <br/>
58
59</ul>
60<span class="abstract">EClass: Task</span> (abstract) <br/>
61<p>Description: In this EClassifier we have the Task class and its attributes</p>
62<ul>
63 <br/>
64 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
65 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
66 <br/>
67 <li>invariant <b>NoDestinationStart</b> : <span class="invariant">
68 self.succesor->selectByType(StartTask)->isEmpty()</span></li>
69 <li>invariant <b>NoSourceEnd</b> : <span class="invariant">
70 self.predecessor->selectByType(EndTask)->isEmpty()</span></li>
71 <li>invariant <b>NoSelfLink</b> : <span class="invariant">
72 not self.predecessor->includes(self) and not self.succesor->includes(self)</span></li>
73
74</ul>
75<span class="abstract">EClass: IntermediateTask</span> (abstract) <br/>
76<p>Description: In this EClassifier we have the IntermediateTask class and its attributes</p>
77<ul>
78 <li>(0...1) <b>name</b> : EString </li>
79 <br/>
80 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
81 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
82 <br/>
83
84</ul>
85<span class="cls">EClass: StartTask</span>
86<p>Description: In this EClassifier we have the Start Task class and its attributes</p>
87<ul>
88 <br/>
89 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
90 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
91 <br/>
92
93</ul>
94<span class="cls">EClass: EndTask</span>
95<p>Description: In this EClassifier we have the End Task class and its attributes</p>
96<ul>
97 <br/>
98 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
99 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
100 <br/>
101
102</ul>
103<span class="cls">EClass: UserTask</span>
104<p>Description: In this EClassifier we have the User Task class and its attributes</p>
105<ul>
106 <li>(0...1) <b>name</b> : EString </li>
107 <br/>
108 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
109 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
110 <li>(0...*) <b>attachedData</b> : Information </li>
111 <br/>
112
113</ul>
114<span class="cls">EClass: ServiceTask</span>
115<p>Description: In this EClassifier we have the Service Task class and its attributes</p>
116<ul>
117 <li>(0...1) <b>name</b> : EString </li>
118 <br/>
119 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
120 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
121 <li>(0...*) <b>producedData</b> : Information </li>
122 <br/>
123
124</ul>
125<span class="cls">EClass: SendMessageTask</span>
126<p>Description: In this EClassifier we have the Send Message Task class and its attributes</p>
127<ul>
128 <li>(0...1) <b>name</b> : EString </li>
129 <br/>
130 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
131 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
132 <li>(0...*) <b>requiredData</b> : Information </li>
133 <br/>
134 <li>invariant <b>SendSuccededByRecv</b> : <span class="invariant">
135 self.succesor.oclIsKindOf(RecvMessageTask)</span></li>
136 <li>invariant <b>SendRecvInDifferentActors</b> : <span class="invariant">
137 self.oclContainer() <> self.succesor.oclContainer()</span></li>
138
139</ul>
140<span class="cls">EClass: RecvMessageTask</span>
141<p>Description: In this EClassifier we have the Receive Message Task class and its attributes</p>
142<ul>
143 <li>(0...1) <b>name</b> : EString </li>
144 <br/>
145 <li>(0...1) <b>succesor#<i>predecessor</i></b> : Task </li>
146 <li>(0...1) <b>predecessor#<i>succesor</i></b> : Task </li>
147 <br/>
148
149</ul>
150<span class="abstract">EClass: Information</span> (abstract) <br/>
151<p>Description: In this EClassifier we have the Information class and its attributes</p>
152<ul>
153 <li>(0...1) <b>name</b> : EString </li>
154 <li>(0...1) <b>optional</b> : EBoolean </li>
155 <br/>
156 <br/>
157
158</ul>
159<span class="cls">EClass: Form</span>
160<p>Description: In this EClassifier we have the Form class and its attributes</p>
161<ul>
162 <li>(0...1) <b>name</b> : EString </li>
163 <li>(0...1) <b>optional</b> : EBoolean </li>
164 <br/>
165 <li>(0...*) <b>subfields</b> : Information </li>
166 <br/>
167
168</ul>
169<span class="cls">EClass: Text</span>
170<p>Description: In this EClassifier we have the Text class and its attributes</p>
171<ul>
172 <li>(0...1) <b>name</b> : EString </li>
173 <li>(0...1) <b>optional</b> : EBoolean </li>
174 <li>(0...1) <b>value</b> : EString </li>
175 <br/>
176 <br/>
177
178</ul>
179<span class="cls">EClass: Number</span>
180<p>Description: In this EClassifier we have the Number class and its attributes</p>
181<ul>
182 <li>(0...1) <b>name</b> : EString </li>
183 <li>(0...1) <b>optional</b> : EBoolean </li>
184 <li>(0...1) <b>value</b> : EInt </li>
185 <br/>
186 <br/>
187
188</ul>
189<span class="cls">EClass: Resource</span>
190<p>Description: In this EClassifier we have the Resource class and its attributes</p>
191<ul>
192 <li>(0...1) <b>name</b> : EString </li>
193 <li>(0...1) <b>optional</b> : EBoolean </li>
194 <li>(0...1) <b>uri</b> : EString </li>
195 <li>(0...1) <b>type</b> : ResourceType </li>
196 <br/>
197 <br/>
198
199</ul>
200<span class="cls">EENum: ResourceType</span> = { 0 : DOCUMENT, 1 : TEXT, 2 : PHOTO, 3 : VIDEO }
201<p>Description: EENum
202</p>
203
204
205</body>
206</html>