188宝金博页面版

  • 图案背景
  • 纯色背景
视图
标记
批注
批注本地保存成功，开通会员云端永久保存 去开通
97347294

上传于：2015-12-31

粉丝量：3

该文档贡献者很忙，什么也没留下。


  • 相关
  • 目录
  • 笔记
  • 书签

188宝金博页面版:更多相关文档

  • OCL-Constraints for UMM Business Collaborations

    星级： 10 页

  • 【精品】A proposal for a formal OCL semantics in IsabelleHOL

    星级： 16 页

  • 【精品】A Semantics for OCL Pre- and Postconditions

    星级： 13 页

  • 【精品】An OCL Extension for Low-coupling Preserving Contracts

    星级： 15 页

  • 【精品】An integrated metamodel for OCL types

    星级： 10 页

  • 【精品】New Type Checking Rules for OCL Expressions

    星级： 10 页

  • 【精品】坠落保护(OCL)

    星级： 24 页

  • Usage of OCL for design guidelines of modelsChristian He：为设计准则modelschristian他OCL的用法

    星级： 11 页

  • Usage of OCL for design guidelines of modelsChristian He

    星级： 11 页

  • [精品]OCL分立式功放电路

    星级： 4 页

暂无目录

点击鼠标右键菜单,创建目录

    暂无笔记

    选择文本，点击鼠标右键菜单，添加笔记

    暂无书签

    在左侧文档中，点击鼠标右键，添加书签

    188宝金博页面版: 【精品】Sugar for OCL

    下载积分： 900

    内容提示： Sugar for OCLJ¨ orn Guy S¨ u?Information Technology and Electrical EngineeringThe University of Queensland, St. Lucia, 4072, Australiajgsuess@itee. uq. edu. auAbstract. Examples of OCL use often do not exceed a few lines. Largerexamples are rare, because the concrete syntax of OCL is verbose andbased exclusively on ASCII encoding. This makes it easy to edit OCLin any environment, but hard to layout in a readable manner. A minorissue like presentation affects use in a major way. This paper proposesthree ...

    文档格式：PDF | 页数：12 | 浏览次数：10 | 上传日期：2015-12-31 22:41:13 | 文档星级：
    Sugar for OCLJ¨ orn Guy S¨ ußInformation Technology and Electrical EngineeringThe University of Queensland, St. Lucia, 4072, Australiajgsuess@itee. uq. edu. auAbstract. Examples of OCL use often do not exceed a few lines. Largerexamples are rare, because the concrete syntax of OCL is verbose andbased exclusively on ASCII encoding. This makes it easy to edit OCLin any environment, but hard to layout in a readable manner. A minorissue like presentation affects use in a major way. This paper proposesthree shorthand notations, or syntactic sugars, for laying out OCL inthe Latex, HTML, and Unicode encoding systems. To avoid splittingthe available OCL source code base any further, flavours are convertiblevia the base syntax. To allow benefit across the community, the repre-sentations are OCL version-independent. To support recognisability, therepresentations are visually very similar. To simplify reuse, definitionsare based on POSIX regular expressions and Unicode.1IntroductionWhile OCL today offers an substantial number of tools, its adoption as an indus-try standard is still limited. Usage issues due to language semantics and tooling,like the lack of modularisation, non-deterministic evaluation, the missing and in-sufficiently formalized transitive closure operation and collection flattening havebeen addressed successfully in the past[2,?] and seem to consolidate. OCL’s con-crete syntax still seems to be an impediment:Working with a UN-CEFACT group on the metamodel for the business lan-guage UMM[8], which is formalized as a UML profile, I had to introduce theworkgroup to the use of OCL. It turned out that even simple examples quicklyfilled the whiteboard. Points ofemphasis were hard to make, due to the expansivesyntax. Thus I resorted to short symbols, borrowed from math, logic or impro-vised in the process, but made clear that these were not standard compliant.After collecting the workshop notes, I found that most participants had adoptedthe shortened ad-hoc syntax and that those that had used it, had generally triedout more and different formalisation solutions, and hence come up with betterones on average, then those that had used the standard syntax.After this experience, I applied the shorthand to the OCL contained in mywork of creating a UML Profile for small-scale enterprise integration, to saveprint space. Section 4 shows two Well-formedness Rules from the UML 1.4.2

    阅读了该文档的用户还阅读了这些文档

    188宝金博页面版:关于我们

    188宝金博页面版:帮助中心

    188宝金博页面版:关注我们

    • 新浪微博

    关注188宝金博页面版公众号

    188宝金博页面版
    阅读
    APP
    阅读
    返回
    顶部
    188宝金博页面版官网登录在线平台入口（2026已更新）—江苏协昌电子科技股份有限公司