没有合适的资源?快使用搜索试试~ 我知道了~
Object Constraint Language (OCL)_OCL语言
3星 · 超过75%的资源 需积分: 9 14 下载量 109 浏览量
2009-05-22
00:26:20
上传
评论 1
收藏 169KB PDF 举报
温馨提示
试读
54页
举例详细介绍ocl语言(法语版) 1.Pourquoi OCL ? Introduction par l'exemple 2. Les principaux concepts d'OCL 3.Exemple d'application sur un autre modèle
资源推荐
资源详情
资源评论
LIFL 1 Le langage de contraintes OCL
OCL:
Object Constraint Language
Le langage de contraintes d'UML
Eric Cariou
19/11/2003
LIFL 2 Le langage de contraintes OCL
Plan
1. Pourquoi OCL ? Introduction par l'exemple
2. Les principaux concepts d'OCL
3. Exemple d'application sur un autre modèle
4. Utilisation en pratique d'OCL lors d'un développement
logiciel
LIFL 3 Le langage de contraintes OCL
Exemple d'application
Application banquaire :
Des comptes banquaires
Des clients
Des banques
Spécification :
Un compte doit avoir un solde toujours positif
Un client peut posséder plusieurs comptes
Un client peut être client de plusieurs banques
Un client d'une banque possède au moins un compte dans
cette banque
Une banque gère plusieurs comptes
Une banque possède plusieurs clients
LIFL 4 Le langage de contraintes OCL
Diagramme de classe
Personne
int age
Banque
Compte
int solde
créditer(int)
débiter(int)
int getSolde()
1
*
*
*
1
*
clients
propriétaire
LIFL 5 Le langage de contraintes OCL
Manque de précision
Le diagramme de classe ne permet pas d'exprimer tout ce qui
est défini dans la spécification informelle
Exemple :
Le solde d'un compte doit toujours être positif ⇒ ajout
d'une contrainte sur cet attribut
Le diagramme de classe permet-il de détailler toutes les
contraintes sur les relations entre les classes ?
剩余53页未读,继续阅读
资源评论
- liuqi5672012-07-20首先没有看到是法语版,不懂! 不过资源还是不错的!
opnet_opnet
- 粉丝: 1
- 资源: 6
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功