如何在 OCL 中实现 Luhn 算法答案

【问题标题】：How to implement the Luhn alorithm in OCL如何在 OCL 中实现 Luhn 算法
【发布时间】：2020-06-04 14:25:45
【问题描述】：

我正在尝试在 OCL 中找到 Luhn 算法来检查 ISIN 的有效性。谁能提供一个代码示例会很棒！

【问题讨论】：

我也需要，请写一份！

标签： ocl

【解决方案1】：

在有关 Luhns 算法 (https://de.wikipedia.org/wiki/Luhn-Algorithmus) 的德语 Wikipedia 文章中，您可以找到一个示例来计算 446-667-651 标识的值。下面的算法计算出正确的值 40。

let list = '446667651'.ToCharArray.strToInt in 
Sequence{1..list->size}
->Collect(i|
    if (list->size-i).Mod(2)=0 then 
        list.at(i) 
    else 
        (list.at(i)*2).Mod(9) 
    endif)
->Sum

也许您需要一些调整来计算 ISIN 的值。

【讨论】：

是的，经过一些调整，我得到了这个工作。谢谢
这个答案不是 OCL，它在函数调用上需要括号，并且没有 ToCharArray 或 strToInt 函数。 mod不是驼峰式。必须使用 ->. 调用 at() 的集合操作

【解决方案2】：

在纯 OCL 中使用来自 https://en.wikipedia.org/wiki/Luhn_algorithm 的示例

let s = Sequence{7,9,9,2,7,3,9,8,7,1} in
(Sequence{1..s->size()}
    ->collect(i | 
        let t = s->at(i) in
        if i.mod(2) = 1
        then t
        else let tt = 2 * t in tt.div(10) + tt.mod(10)
        endif)
    ->sum()*9)
.mod(10)

【讨论】：

【解决方案3】：

创建一个类：

   Attribute NextMult1Or2:Integer
   Method MultWith2Or1SumBiggerThan10(v:Integer):Integer
   Method GetCheckSum(input:String):Integer

第一种方法MultWith2Or1SumBiggerThan10：

let res=v*self.NextMult1Or2 in
(
  if self.NextMult1Or2=2 then
    self.NextMult1Or2:=1
  else
    self.NextMult1Or2:=2
  endif;
 if res>10 then
  res-9
 else
  res
 endif 
)

还有第二种方法GetCheckSum(input:String):Integer

self.NextMult1Or2:=2;
input.ToCharArray->collect(c|
  let i=Integer.Parse(c) in (
    self.MultWith2Or1SumBiggerThan10(i)  
  )
)->sum

要计算校验和 - 将除校验位以外的所有内容发送到 GetCheckSum - 校验位是 (((res+10) / 10).Truncate*10)-res（即与上面最接近的 10:th 的差异）

要检查一个序列，将包括校验位在内的所有内容发送到 GetCheckSum - 如果 res.Mod(10)= 0 已通过

【讨论】：

这个答案不是 OCL，它没有 ":=" 运算符，";"终止符属性或方法。
在标准 ocl 中没有“:=”和“;”正确的操作符 - 使用 MDriven Action 语言来介绍这些操作符。但是标准的 ocl 确实允许您调用没有副作用的函数@EdWillink
是的。这个问题特别要求 OCL 回答。