新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> 软件工程、需求工程、系统工程,UML、MDA、模型驱动开发,面向对象软件工程、面向目标软件成功、面向场景的设计、敏捷
    [返回] 中文XML论坛 - 专业的XML技术讨论区计算机技术与应用『 软件工程论坛 』 → OCL简明描述 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 8401 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: OCL简明描述 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     pennyliang 帅哥哟,离线,有人找我吗?白羊座1979-4-7
      
      
      威望:8
      等级:大二期末(C++考了100分!)
      文章:266
      积分:1911
      门派:Lilybbs.net
      注册:2005/3/11

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给pennyliang发送一个短消息 把pennyliang加入好友 查看pennyliang的个人资料 搜索pennyliang在『 软件工程论坛 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看pennyliang的博客楼主
    发贴心情 OCL简明描述

    说道这个不得不提到Eiffel语言,我觉得实在是太精美了,该语言本身就支持了完备面向对象语义。
    对象的暴露的接口,是没有顺序限制的,比如interface1,interface2,这个和结构化编成不同,结构化编程,我们在写一个程序的时候,该程序的调用顺序已经存在,至少存在在我们的脑子里,而面向对象,是用名词描述符来描述方法的,强调的对象,方法的控制力上很弱,那么就必须要使用OCL来做进一步约束。举个例子
    some object
        接口1:获得时间
        接口2:获得金钱
        接口3:旅游
    很明显,类不需包含这样的语义,接口3,必须在接口1,接口2调用后才可以合法调用,而接口1和接口2的顺序不需要很严格,如果结构化编程很可能是这样。
    1)获得时间
    2)获得金钱
    3)旅游
    而OCL约束下的面向对象编程可能是这样
    getmoney()
    precondition ...
    postconditon own_money

    gettime()
    precondition ...
    postcondition own_time

    goout()
    percondition  own_time,own_money
    postcondition...


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/5/9 11:27:00
     
     xingshaomin 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:12
      积分:116
      门派:XML.ORG.CN
      注册:2006/4/29

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给xingshaomin发送一个短消息 把xingshaomin加入好友 查看xingshaomin的个人资料 搜索xingshaomin在『 软件工程论坛 』 的所有贴子 引用回复这个贴子 回复这个贴子 查看xingshaomin的博客2
    发贴心情 
    。。。。。。。。。。。。。。。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/10/13 22:55:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 软件工程论坛 』 的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/4 2:36:53

    本主题贴数2,分页: [1]

    管理选项修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    4,153.320ms