{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T11:01:27Z”，“时间戳”：1649070087608}，“引用计数”：36，“发布者”：“世界科学出版社有限公司”，“问题”：“06”，“内容域”：{-“域”：[]，“交叉标记限制”：false}，”short集装箱运输”：[“国际J。信息。技术Dec.Mak。“]，”published-print“：{”date-parts“：[[2012,11]]}，”abstract“：”由于合作对学生的学习动机和学习成功有很大影响，学习环境中的合作工作已被证明是传统学习系统的成功延伸。最近的一项评估研究证实了我们的假设，即与独立工作的学生相比，在用户界面中以动作序列的形式合作构建密码协议中角色的学生更快地找到正确的解决方案。在这里，一个合作小组的学生通过在共享触摸屏上使用交互式建模工具对用户界面进行协作建模，以模拟加密协议。在本文中，我们描述了一种协作构造密码协议的扩展方法。使用形式化语言建模和重新配置用户界面，学生逐步描述协议，建模后续情况，从而对协议的操作进行建模。系统自动生成有色Petri网，该网与指定协议的现有动作逻辑相匹配，从而允许对构建过程进行形式验证。与简单的密码协议模拟相比，用户界面建模的形式化方法涵盖了更广泛的领域。尽管如此，本文仍试图研究在密码协议的合作学习环境中使用这种形式化建模方法，并为更复杂的学习场景奠定基础<\/jats:p>“，”DOI“：”10.1142\/s0219622012400172“，”type“：”journal-article“，”created“：{”date-parts“：[[2012,12]]，”date-time“：”2012-12T02:44:16Z“，”timestamp“：1355280256000}，”page“：TOCOLS“]，”前缀“：”10.1142“，“卷”：“11”，“作者”：[{“给定”：“BENJAMIN”，“家族”：“WEYERS”，“序列”：“第一”，“从属关系”：[}“名称”：“杜伊斯堡大学计算机与认知科学系，德国杜伊斯堡Lotharstr.63，47057”}]}，{“已知”：“WOLFRAM”，“家庭”：“LUTHER”，“顺序”：“附加”，“附属关系”：[{“名称“：”杜伊斯堡大学计算机与认知科学系。63，47057 Duisburg，Germany“}]}，{“given”：“NELSON”，“family”：“BALOIAN”，“sequence”：“additional”，“affiliation”：[{“name”：“Uni de Chile，Blanco Encalada 2120，Santiago，Chile”}]，“member”：“219”，“published-online”：{“date-parts”：[[2012,11]]}”，“reference”：[[{”key“：“rf1”，“volume-title”：“Mind and Society”，“作者“：”维果茨基·L。S.“，”year“：”1978“}，{“key”：”rf2“，”unstructured“：”J.\u00a0Savery和T.M.\u00a“Duffy，Designing Constructives Learning Enviroments，ed.B.G.\u00a-0Wilson（Education Technology Publications，Englewood Cliffs，Nueva Jersey，1996）\u00a/0pp.135\u2013148“}J.\u00a0Roschelle，CSCL:新兴范式的理论与实践，编辑T.\u00 a0Koschmann（Lawrence Erlbaum Associates，新泽西州马华，1996）\u00a 0pp。209\u2013248.“}，{”key“：”rf4“，”doi-asserted-by“：”publisher“，”doi“：”10.1142\/S021962201104373“}”，{“key”：“rf5”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/j.jvlc.2007.05.001”}，}”key:“rf8”，“volume-title”：“软件可视化：作为多媒体体验的编程”，“author”：“Stasko j.”，”年份：“1998”}，{“key”：“rf11”，“doi-asserted-by”：“publisher”，“DOI“：”10.1037\/0033-2909.100.3.349“}，{“key”：“rf12”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/j.future.2010.05.001”}，“key“：”rf13“，”DOI-assert-by“：”publisher“，11.654199“}，{”key“：”rf17“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1108\\17440080710834238“｝，｛“key”：“rf19”，“doi asserted by”：“publisher”，“doi”：“10.1016\\0142-694X（79）90023-1”｝，｛“key”：“rf20”，“volume title”：“Unterrichts Methoden”，“author”：“Meyer H.”，“year”：“2008”｝，｛“key”：“rf21”，“nonstructured”：“R.K.E.\u00a0Bellamy，Context and Conscious:Activity Theory and Human Computerinteraction，ed.B。A.u00a0Nardi（麻省理工学院出版社，马萨诸塞州剑桥，1996）。123\u2013146.“}，{”key“：”rf22“，”unstructured“：”R.R.\u00a0Nickerson，《分布式认知：心理和教育考虑》（剑桥大学出版社，1997）\u00a 0pp.229\u2013259.“}”，{“key”：“rf23”，“doi-asserted-by”：“publisher”，“doi”：“10.1037\/0022-0663.74.5.642”}，“key“:”rf24“，”doi-assert-by“：”publisher“，”doi“：”10.1142 \/S021962201104312“}，{“key”：“rf25”，“doi-asserted-by”：“publisher”，“doi”：“10.2307 \/1130391”}，}，“key“：”rf26“，”doi-assert-by“：”publisher“，”doi“：”10.1016 \/S0001-6918（01）90007-1“}”，{”key“:”rf27“，”doi-assertd-by“：”publisher“，”“doi“:”10.1016\/jvlc.2007.07.005“}，{“key”：“rf29”，“首页”：“745”，“卷”：“25”，“作者”：“Baloian N.”，“新闻标题”：“《国际工程教育杂志》“}，{“key”：“rf31”，“volume-title”：“机器学习的要素”，“author”：“Langley P.”，“year”：“1996”}，“key“：”rf34“，”doi-asserted-by“：”publisher“，”doi“：”10.1006\/ijhc.1998.0196“}“：”rf37“，”doi-asserted-by“：”publisher“，”DOI“：”10.1016\/j.matcom.2005.11.006“}，{”key“：”rf39“，”volume-title“：”Petri-Netze:Grundlagen und Anwendungen“，”author“：”Baumgarten B.“，”year“：”1996“}”，{“key”：“rf40”，“volume-tite”：“Petri-Net ze”，“author”：“Priese L.”，“year”：“2003”}，“”key：“rf41”，“DOI-asserted-by”：“publisher”，”DOI“：”10.1007\/978-3-642-60794-3“}，{”key“：”rf42“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1007\/s10009-007-0038-x“}，{“key”：“rf44”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1093\/生物信息学\/bti145”}，“key“：”rf46“，”DOI-assert-by“：”publisher jsc.2008.04.005“}，{”key“：”rf48“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1145\/3359657.3559659“｝，｛“key”：“rf52”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-540-40022-6_7”｝，｛“key”：“rf53”，“doi断言者”：“publisher”，“doi”：“10.1142\/S021962220900003405”｝，｛“key”：“rf54”，“doi断言者”：“publisher”，“doi”：“10.1142\/S021622009003375”｝，“容器标题”：[《国际信息技术与决策杂志》，“原标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S0219622012400172”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期部分”：[[2019,8,6]]，“日期时间”：“2019-08-06T17:25:02Z“，”timestamp“：1565112302000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S029622012400172”}}，“subtitle”：[]，“short title”：[]，“issued”：“：{”日期部分“：[[2012,11]]}，”published-print“：{“date-parts”：[[2012,11]]}}，“alternative-id”：[“10.1142\/S029622012400172”]，“URL”：“http://\/dx.doi.org\/10.1142\/S0219622012400172\”，“relation”：{}，”ISSN“：[“0219-6220”，“1793-6845”]，”ISSN-type“：[{”value“：”0219-6220\“，”type“print”}，{“value”：“1793-5845”“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2012,11]]}}