Professional Documents
Culture Documents
TP 1
TP 1
Component camera = {
Port memorisation = {
}
rule regle2 = invariant size(self.PORTS) == 1;
rule regle3 = invariant forall P : Port in self.PORTS |
size(P.PROPERTIES) == 2;
}
Component Memory = {
Port memorisation = {
}
Port videostream = {
}
Component videoPlayer = {
Port videostream = {
}
Port videoPresented = {
}
Connector com-Memo = {
Role R1 = {
}
Role R2 = {
}
Connector Memo-video = {
Role R1 = {
}
Role R2 = {
//
prorpeiteé en uml 2 a verifier: tous les connecteurs sont des connecteurs binaire
et chaquue role doit etre attacher a un seul role