正确性保证的私有过程建模方法-电子学报.PDF

第１０期 电　　子　　学　　报 Ｖｏｌ．４６　Ｎｏ．１０ ２０１８年１０月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｏｃｔ．　２０１８ 正确性保证的私有过程建模方法 １，２ １，３ ２，４ １，２ １ １，２ 莫　启 ，笪　建 ，代　飞 ，朱　锐 ，林雷蕾 ，李　彤 （１云南大学软件学院，云南昆明６５００９１；２云南省软件工程重点实验室，云南昆明６５００９１； ３淮安开放大学信息工程系，江苏淮安２２３００１；４西南林业大学大数据与智能工程学院，云南昆明６５００９１） 　　摘　要：　私有过程是构建协同业务过程基础，其正确与否对业务协同实施产生直接影响．为此，提出了一种逐步 求精构建私有过程的方法．首先，定义私有过程，并将其控制流抽象为四种基本块，即顺序块、并发块、选择块及迭代 块；然后，针对四种基本块提出各自的精化规则，并以此为基础提出了私有过程构建方法；最后，从理论上证明了通过 该方法建立的私有过程具有工作流网特性且是正确的．通过对协同制造中供应链建模并与现有的、典型的方法对比分 析，结果表明：相对已有的工作，本文方法能够更加有效地对私有过程进行建模． 关键词：　私有过程；基本块；精化规则；接口一致性；正确性 中图分类号：　ＴＰ３１１　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１８）１０２５５１１０ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１８．１０．０３３ ＡＰｒｉｖａｔｅＰｒｏｃｅｓｓＭｏｄｅｌｉｎｇＡｐｐｒｏａｃｈＧｕａｒａｎｔｅｅｉｎｇＣｏｒｒｅｃｔｎｅｓｓ １，２ １，３ ２，４ １，２ １ １，２ ＭＯＱｉ ，ＤＡＪｉａｎ ，ＤＡＩＦｅｉ ，ＺＨＵＲｕｉ ，ＬＩＮＬｅｉｌｅｉ，ＬＩＴｏｎｇ （１ＳｃｈｏｏｌｏｆＳｏｆｔｗａｒｅ，ＹｕｎｎａｎＵｎｉｖｅｒｓｉｔｙ．Ｋｕｎｍｉｎｇ，Ｙｕｎｎａｎ６５００９１，Ｃｈｉｎａ； ２ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇｉｎＹｕｎｎａｎＰｒｏｖｉｎｃｅ，ＹｕｎｎａｎＵｎｉｖｅｒｓｉｔｙ．Ｋｕｎｍｉｎｇ，Ｙｕｎｎａｎ６５００９１，Ｃｈｉｎａ； ３ＤｅｐａｒｔｍｅｎｔｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，Ｈｕａｉ’ａｎＯｐｅｎＵｎｉｖｅｒｓｉｔｙ．Ｈｕａｉ’ａｎ，Ｊｉａｎｇｓｕ２２３００１，Ｃｈｉｎａ， ４ＳｃｈｏｏｌｏｆＢｉｇＤａｔａａｎｄＩｎｔｅｌｌｉｇｅｎｔＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｗｅｓｔＦｏｒｅｓｔｒｙＵｎｉｖｅｒｓｉｔｙ．Ｋｕｎｍｉｎｇ，Ｙｕｎｎａｎ６５００９１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｐｒｉｖａｔｅｐｒｏｃｅｓｓｅｓａｒｅｔｈｅｂａｓｉｓｆｏｒｂｕｉｌｄｉｎｇａｃｏｌｌａｂｏｒａｔｉｖｅｂｕｓｉｎｅｓｓｐｒｏｃｅｓｓ，ａｎｄｉｔｓｃｏｒｒｅｃｔｎｅｓｓｈａｓａｄｉｒｅｃｔ ｉｍｐａｃｔｏｎｔｈｅｂｕｓｉｎｅｓｓｃｏｌｌａｂｏｒａｔｉｏｎｉｍｐｌｅｍｅｎｔａｔｉｏｎ．Ｔｏｔｈｉｓｅｎｄ，ｗｅｐｒｏｐｏｓｅａｎａｐｐｒｏａｃｈｏｆｓｔｅｐｂｙｓｔｅｐｒｅｆｉｎｅｍｅｎｔｔｏｂｕｉｌｄ ａｐｒｉｖａｔｅｐｒｏｃｅｓｓ．Ｆｉｒｓｔ，ｗｅｄｅｆｉｎｅａｐｒｉｖａｔｅｐｒｏｃｅｓｓａｎｄａｂｓｔｒａｃｔｉｔｓｃｏｎｔｒｏｌｆｌｏｗｉｎｔｏｆｏｕｒｂａｓｉｃｂｌｏｃｋｓ，ｉ．ｅ．，ｓｅｑｕｅｎｔｉａｌ ｂｌｏｃｋ，ｃｏｎｃｕｒｒｅｎｔｂｌｏｃｋ，ｓｅｌｅｃｔｉｏｎｂｌｏｃｋ，ａｎｄｉｔｅ