×
曼纽尔·诺格拉;María V.Hurtado。;玛丽亚·路易莎·罗德里格斯;劳伦斯·钟;何塞·路易斯·加里多

使用OWL-DL和CPN对基于UML的协作过程进行本体驱动分析。 （英语） Zbl 1195.68111号

科学。计算。程序。 75，第8期，726-760（2010）.
概要：系统和组织建模的一个关键要素是建模业务流程，这些流程涉及组织内外不同团队的协作参与。最近，统一建模语言（UML）在协作业务建模中的使用越来越多，这得益于其丰富的结构和行为视图集的人性化可视化表示，尽管其语义不明确。与此同时，由于Web本体语言（OWL）的语义定义明确，它的使用也在兴起，因此可以进行自动分析和推理，尽管它不如UML符号人性化，也可能不如UML符号丰富，尤其是关于过程或活动。
在本文中，我们认为UML和OWL是互补的，并利用了它们的相对优势。我们通过一组映射规则在两者之间提供映射，允许在OWL本体中捕获UML活动图。这种映射导致了协作过程的形式化，也为后续使用有色Petri网（CPN）形式构建可执行模型奠定了基础。为此，我们还提供了从基于OWL的本体元素到CPN元素的适当映射。本文描述了抵押贷款发放系统的案例研究，以及我们的提案的潜在好处和局限性。

MSC公司：

68岁20岁 模拟（MSC2010）
68英里11 互联网主题
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）
90B70型 组织理论、运筹学中的人力规划

关键词：

OWL公司;过程建模;CSCW公司;CPN公司;过程分析;推理;任务建模;协作系统

软件：

汪汪叫;弹丸;旋转（swrl）;Proclets公司;Protege公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Noguera}等人，科学。计算。程序。75，第8号，726--760（2010；Zbl 1195.68111）
全文： 内政部

参考文献：

[1] Van Der Aalst，W.M.P.：工作流网络的验证，计算机科学讲义1248，407-426（1997）
[2] W.M.P.van der Aalst，《业务流程分析趋势：从验证到流程挖掘》，载于：企业信息系统国际会议，ICEIS，Funchal，Madeira，葡萄牙，2007年6月12-16日
[3] Van Der Aalst，W.M.P。；巴塞尔梅斯，P。；埃利斯，C.A。；Wainer，J.：Proclets:轻量级交互工作流过程的框架，《国际合作系统杂志》10，第4期，443-481（2001）
[4] Van Der Aalst，W.M.P。；Hofstede，A.H.M.Ter:YAWL:另一种工作流语言，信息系统30，245-275（2005）
[5] Van Der Aalst，W.M.P。；Lassen，K.B.：《将非结构化工作流过程转换为可读的BPEL：理论与实现》，《信息软件技术》50，第3期，第131-159页（2008年）
[6] 巴德，F。；加尔文人，D。；Mcguineness，D。；Nardi，D。；Patel-Schneider，P.：描述逻辑手册（2003）·Zbl 1058.68107号
[7] J.Barjis，开发商业系统的可执行模型，摘自：第九届企业信息系统国际会议论文集，ICEIS 2007，葡萄牙马德拉，INSTICC，第5-13页
[8] Barjis，J.：《业务流程建模在软件系统设计中的重要性》，《计算机编程科学》71，第1期，第73-87页（2008年）·Zbl 1138.68036号 ·doi:10.1016/j.scico.2008.01.002
[9] 班加西，K。；马里兰州卡佩尔。；霍尔加多，J.A。；Mendoza，L.E.：通过转换UML-RT设计模型实现实时系统形式规范的方法论方法，《计算机编程科学》65，第1期，第41-56页（2007年）·兹比尔1109.68061 ·doi:10.1016/j.scico.2006.08.005
[10] Berardi，D。；Calvanee，D。；De Giacomo，G.：基于UML类图的推理，《人工智能》168，第1-2期，70-118（2005）·Zbl 1132.68747号 ·doi:10.1016/j.artint.2005.05.003
[11] J.de Bruijn，R.Lara，A.Poleres，D.Fensel，OWL DL vs.OWL flight:语义网络的概念建模和推理，摘自：第十四届万维网国际会议论文集，2005年5月10日至14日，日本千叶，ACM，纽约州纽约市，第623–632页
[12] D.Calvanee，G.De Giacomo，L.Lenzerini，描述逻辑中的标识约束和功能依赖，见：Proc。第17届国际人工智能联合会议，IJCAI 2001，西雅图，华盛顿州，2001，第155-160页
[13] 卡斯滕森，P.H。；Schmidt，K.：《计算机支持的合作工作：系统设计的新挑战》，619-636（2003）
[14] Christensen，S。；Kristensen，L.M。；Mailund，T.：状态空间探索的扫线方法，计算机科学2031讲义，450-464（2001）·Zbl 0978.68547号
[15] Christensen，S。；克里斯滕森，L.M。；Mailund，T.：定时Petri网的凝聚状态空间，计算机科学讲义2075，101-120（2001）·Zbl 0986.68076号
[16] CPN工具。www.daimi.au.dk/CPNtools网站/
[17] 戴塞尔，J。；Milijic，V。；Neumair，N.：控制器设计中的模型验证，Lncs 3098（2004）·Zbl 1088.93502号 ·doi:10.1007/b98282
[18] 设计/CPN。http://www.daimi.au.dk/设计CPN/
[19] 多尼尼，F.M。；Lenzerini，M。；Nardi，D。；纳特·W。；Schaerf，A.：描述逻辑的认知算子，人工智能100，第1-2期，225-274（1998）·Zbl 0906.68144号 ·doi:10.1016/S0004-3702（98）00009-5
[20] N.Drummond，A.Rector，R.Stevens，G.Moulton，M.Horridge，H.Wang，J.Seidenberg，《整理OWL：OWL中序列的模式》，收录于：第二届OWL经验和方向研讨会论文集，OWL-ED，2006年，美国乔治亚州雅典
[21] J.Evermann，Bunge高级本体模型的UML和OWL描述，软件和系统建模8（2）235-249
[22] J.M.Fernandes，J.B.Jorgensen，S.Tjell，《反应系统的需求工程：电梯控制器的有色petri网》，载于：APSE'C2007。doi:10.1109/APSEC.2007.81
[23] 加里多，J.L。；诺格拉，M。；González，M。；M.V.Hurtado。；罗德里格斯，M.L.：基于MDA的群件开发过程中计算独立模型的定义和使用，《计算机编程科学》66，25-43（2007）·Zbl 1115.68529号 ·doi:10.1016/j.scico.2006.10.008
[24] 加里多，J.L。；Gea，M.：用于合作系统建模的基于UML的符号的彩色Petri网形式化，Lncs 254516-28（2002）·Zbl 1035.68602号
[25] 加里多，J.L。；Gea，M。；罗德里格斯，M.L.：合作系统中的需求工程，226-244（2005）
[26] Gasevic，D。；Devedzic，V.：Petri网本体论，基于知识的系统19，220-234（2006）
[27] Gasevic，D。；Djuri博士。；Devedzic，V.：基于MDA的自动OWL本体开发，国际软件工具和技术转让杂志9，103-117（2007）
[28] 绿色，P。；Rosemann，M。；因杜斯卡，M。；Manning，C.：候选互操作性标准：本体论重叠分析，数据知识工程62，No.2，274-291（2007）
[29] W.Grosso，《保护公理语言和工具集》，PAL，2002年（2005年9月）：http://protege.stanford.edu/plugins/paltabs/paldocumentation/index.html
[30] 瓜里诺，N.：形式本体与信息系统，3-15（1998）
[31] 霍洛克斯，I。；美国萨特勒。；Tobies，S.：表达描述逻辑的实用推理，Lnai 1705，161-180（1999）·Zbl 0947.68134号
[32] I.Horrocks，U.Sattler，SHOQ（D）描述逻辑中的本体论推理，in：Proc。第17届国际人工智能联合会议，IJCAI 2001年，2001年，第199-204页
[33] 霍洛克斯，I。；库茨，O。；Sattler，U.：更具吸引力的SROIQ，57-67（2006）
[34] Jaekel，F.W。；佩里，N。；坎波斯，C。；Mertins，K。；Chalmeta，R.：企业建模支持的互操作性，Lncs 3762，552-561（2005）
[35] Jambalaya 2.6.0（2007年5月17日）。Jambalaya项目。更多信息请访问http://www.thechiselgroup.org/jambalaya
[36] Jensen，K。；Kristensen，L.M。；Wells，L.：并发系统建模和验证的有色Petri网和CPN工具，Sttt 9，213-254（2007）
[37] Jess：Java平台的规则引擎。可在http://herzberg.ca.sandia.gov/jess/
[38] Jonkers，H。；Lankhorst，M.M。；Van Buuren，R。；Hoppenbrouwers，S。；Bonsangue，M.M。；Van Der Torre，L.W.N.：企业架构建模概念，国际合作信息系统杂志13，257-287（2004）
[39] Y.Katz，B.Parsia，朝向OWL的非单调扩展，收录于：B.C.Grau，I.Horrocks，B.Parssia，P.Patel-Schneider（编辑），OWL经验和方向研讨会论文集，爱尔兰戈尔韦
[40] Knublauch，H。；弗格森，R.W。；诺伊，N.F。；Musen，M.：《protégéOWL插件：语义web应用程序的开放开发环境》，Lncs 3298，229-243（2004）
[41] Kristensen，L.M。；Jorgensen，J.B。；Jensen，K.：有色Petri网在系统开发中的应用，Lncs 3098，626-685（2004）·Zbl 1088.68664号 ·doi:10.1007/b98282
[42] 兰格，C.F.J。；Chaudron，M.R.V。；Muskens，J.：实践中：UML软件体系结构和设计描述，IEEE软件23，40-46（2006）
[43] 莱拉，I。；Juiz，C。；Puigjaner，R.：智能系统在线性能评估的性能相关本体和语义web应用，《计算机编程科学》61，27-37（2006）·Zbl 1092.68515号 ·doi:10.1016/j.scico.2005.11.003
[44] 马丁内斯，J。；Silva，M.：获取广义Petri网所有不变量的简单快速算法，Informatik fachbericte 52，301-310（1982）
[45] B.Motik，B.Cuenca Grau，U.Sattler，《猫头鹰中的结构化对象：表示和推理》，摘自：Proc。第17届万维网国际会议，2008年4月21日至25日，中国北京，WWW’08，ACM，纽约，纽约，第555–564页
[46] Noguera，M。；M.V.Hurtado。；Garrido，J.L.：基于本体论的方案，支持业务流程中的合作建模，Lncs 4277，863-872（2006）
[47] OASIS，面向服务的体系结构参考模型1.0，委员会规范1，2006年8月2日。http://www.oasis-open.org/committees/tc_home.php？wg_abbrev=soa-rm（毫米）
[48] OASIS，Web服务业务流程执行语言2.0版，OASIS标准，2007年4月11日。http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
[49] OMG，元对象工具（MOF）核心规范，2.0版。OMG规范，正式/06-01-01。可在http://www.omg.org/docs/formal/06-01-01.pdf
[50] OMG，OCL 2.0规范，2.0版。OMG可用规范（OCL 2.0 FTF便利文件），ptc/2005-06-06。最新版本位于http://www.omg.org/docs/ptc/05-06-06.pdf
[51] OMG，本体定义元模型，OMG采用规范，OMG文档编号：ptc/2007-09-09。网址：http://www.omg.org/docs/ptc/07-09-09.pdf
[52] OMG，统一建模语言：上层结构，版本2.1.1（带变更条），正式/2007-02-03。http://www.omg.org/cgi-bin/doc？正式/07-02-03
[53] 欧阳，C。；Verbeek，E。；Van Der Aalst，W.M.P。；Breutel，S。；杜马，M。；Hofstede，A.H.M.Ter:WS-BPEL中控制流的形式语义和分析，计算机编程科学67，162-198（2007）·Zbl 1122.68073号 ·doi:10.1016/j.scico.2007.03.002
[54] OSOA，SCA服务组件体系结构，组件模型规范，SCA 1.00版，2007年3月15日
[55] Pahl，C.：网络服务模型驱动架构的分层本体建模，Lncs 374888-102（2005）
[56] 罗素，N。；Van Der Aalst，W.M.P。；Hofstede，A.H.M.Ter；Wohed，P.：关于UML 2.0活动图对业务流程建模的适用性，APCCM’06：第三届亚太概念建模会议论文集53，95-104（2006）
[57] ScriptRules。可在http://www.hansschevers.nl/scriptRules.htm
[58] Sirin，E。；巴西娅，B。；Cuenca-Grau，B。；Kalyanpur，A。；Katz，Y.：Pellet:一个实用的OWL-DL推理器，《web语义杂志》第5期，第2期（2007年）
[59] W3C，《定义语义网上的N元关系》，W3C工作组说明，2006年4月12日。http://www.w3.org/TR/swbp-n-ary关系/
[60] W3C，OWL网络本体语言指南，W3C建议，2004年2月10日。http://www.w3.org/TR/owl-guide/
[61] W3C，OWL web本体语言语义和抽象语法，W3C建议书，2004年2月10日。http://www.w3.org/TR/owl-guide/
[62] W3C，OWL网络本体语言参考，W3C推荐标准，2004年2月10日，http://www.w3.org/TR/owl-ref/#OWLDL
[63] W3C，OWL-S:web服务的语义标记，W3C成员提交，2004年11月22日。http://www.w3.org/Submission/OWL-S/
[64] W3C，RDF词汇描述语言1.0:RDF模式，W3C推荐标准，2004年2月10日。http://www.w3.org/TR/rdf-schema/
[65] W3C，SWRL:结合OWL和RuleML的语义web规则语言，W3C成员提交，2004年5月21日。http://www.w3.org/提交/SWRL/
[66] W3C，Web服务描述语言（WSDL）2.0版第0部分：引言，W3C推荐标准，2007年6月26日。http://www.w3.org/TR/wsdl20-primer
[67] W3C，XSL转换（XSLT）1.0版，W3C建议，1999年11月16日。http://www.w3.org/TR/xslt
[68] 徐军，库塞拉，用有色Petri网建模软件系统的执行体系结构，in：：Proc。1998年10月12日至16日在新墨西哥州圣达菲举行的1998年WOSP’98第一届软件与性能国际研讨会，第70-75页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。