没有合适的资源?快使用搜索试试~ 我知道了~
Petri网Baukasten:支持环境发展及使用方法
120《理论计算机科学电子札记》44卷第4期(2001年)网址:http://www.elsevier.nl/locate/entcs/volume44.html20页Petri网Baukasten:第二部分1J. Dehnert,M. Gaublsky,S. Lembke和H. Weber2柏林技术大学通信和软件技术研究所德国柏林摘要Petri网是30多年来研究人员感兴趣的主题。它们变得流行,因为它们允许计算结构的图形表示,并有一个正式的基础,允许正式证明的性质。然而,它们在工程中的使用仅限于相当少量的应用。实际中使用的许多图形符号与Petri网的图形表示非常相似,但没有利用Petri网存在的丰富理论。 这是反复归因于这样一个事实,即Petri网和相关的理论很难理解,用Petri网建模的实际问题往往需要特殊品牌的Petri网,这反过来又导致了各种不同的网类型。从现有类型的端口中找到正确的Petri网类型,找到相应的技术和工具,选择它们并将它们成功地应用于应用程序,这带来了一个问题,并阻止了它们的广泛使用。为了改善这种情况,一个Petri网Baukasten已开发的DFG研究组在柏林的ETRI网技术。 它的目的是在新的应用程序,包括理论和工具方面的使用Petri网的支持环境的发展。本文介绍了Petri网Baukasten的第二部分,它扩展了Petri网Baukasten的第一部分,记录为1999年的初始实现,通过为特定用户群提供接口,服务和数据,如应用程序开发人员,工具开发人员和Petri网专家。用户界面提供了Petri网概念和概念的直观表示。Petri网Baukasten通过用户特定的辅助服务支持不同的用户组在他们的特定工作中使用Petri网这些服务允许用户在各种现有类型中找到正确的Petri网类型,并支持它们的选择和使用。信息保存在相关数据库中。此外,援助服务部门维护这一数据库,以便跟踪理论、工具和应用领域的最新发展关键词:Petri网应用,Petri网辅助,Petri网分类,Petri网包卡斯特2000年1月,出版社dbyElsevierScienceB。 V. 在CCBY-NC-ND许可下开放访问。德纳特,加维斯基,林姆贝克,韦伯121ApplicationDeveloper查看共同碱基ExpertView工具开发人员视图1介绍在Petri网的漫长历史中,Petri网的世界已经发展成为由非常丰富的理论,各种各样的工具,以及在各个应用领域的许多这一巨大的变化是难以处理的各种人与Petri网,这导致在一个结构化的访问Petri网的强烈需求。 结构- 限制访问一直是“DFG-研究组etri网技术“的主要目标目的.它旨在支持Petri网专家,应用程序开发人员和工具开发人员使用Petri网的具体工作在[11,15]中已经表明,Petri网Baukasten是一种面向应用的Petri网技术,为系统开发提供了基于Petri网的技术。图1粗略地描绘了Petri网Baukasten的概念结构。图1.一、 Petri网的概念结构Petri网Baukasten分为不同的视图,即应用程序开发者视图,专家视图和工具开发者视图,它们通过所谓的公共库链接。公共基础(详情参见[4,17])由Petri网的分类和相应的概念组成,这些Petri网概念在特定视图中表示。它们涉及在一定的应用领域中使用Petri网概念,它们在Petri网理论中的形式化,以及它们作为Petri网工具的实现。1.本工作是H. Weber(Coordinator),H. Ehrig(均来自柏林技术大学)和W。 Reisig(Humboldt-Universit?atzuBerlin),由德国教育委员会(DFG)提供支持。2 电子邮件:dehnert,gaobrsky,lembkes,hweber@cs.tu-berlin.de德纳特,加维斯基,林姆贝克,韦伯122值得注意的是,Petri网Baukasten是在纯概念层面上给出的。具体观点和共同基础的内容,以及这些关系如何建立的方式,在概念层面上并不相关。因此,为了在实践中应用Petri网Baukasten,我们必须实现或安装3它,这可以通过各种方式来实现本文介绍了Petri网Baukasten的基本内容及其技术支持。已经有一个部分,所谓的初始实现,已经在[7]中记录。这一期只包含中等数量的低技术水平的数据,它既不允许交互式访问其内容,也不允许更改这是一个很大的缺点。因此,研究小组PETRI NET技术提出了一种先进的装置的Petri网包卡斯特在本文中,称为“第二分期付款”,这是在本文中记录。在与初始实现相比,第二部分提供了对公共基础内容和特定视图(包括动态更改4)的交互式访问。显然,第二次分期付款是在一个更高的技术水平,但全面实施是超出了研究小组PETRI网络技术。 第二部分包括数据库、服务操作该数据库,并为每个用户组提供显式访问权限通过特定的用户界面。可以通过服务来搜索或丰富数据库。扩充需要用户之间的某种合作,以维护Petri网Baukasten的概念结构。更确切地说,为了保持不同视图之间的对应关系,一个视图中的插入数据必须与其他视图的对应数据相关。不同的观点包括一个Petri网的概念,分别。公共库中的Petri网类型、专家视图中的形式化、应用程序开发人员视图中的面向应用程序的解释,以及在Tool开发视图中选择相应数据的知识不能指望单个用户,第二次分期付款还必须支持用户之间的合作。相互合作可包括讨论未决问题以及在不同用户群体内部和之间进行联合研究。因此,它是一个重要的手段,弥合不同的观点之间的差距,Petri网。与初始实现的另一个不同之处在于,第二部分侧重于一个特定的应用领域,即工作流程管理。工作流程管理在当今的商业生活中已经变得至关重要,有效地处理业务流程对公司的成功发展至关重要。工作流程管理包括业务流程的建模、分析和执行支持。Petri网在这些领域的适用性已经被广泛地研究和讨论,请参见3在以前关于Petri网的论文中,博卡斯滕这个新术语强调了这样一个事实,即它是一个系列故事的一部分[4]更确切地说,我们得到了一类分期付款的内容差异。 为了简洁起见,我们将此类视为一个单独的部分。德纳特,加维斯基,林姆贝克,韦伯123e. G. [1、3、6、13]。已经指出,Petri网非常适合于工作流程管理系统,因为它们具有直观的图形表示,良好的形式化基础,早期评估和验证,以及它们作为工作流程引擎的可能性。虽然开发时特别关注业务流程领域,但Petri网Baukasten的概念结构并不局限于一个特定的应用领域,但是也可以被采用到其它领域第二节简要回顾了Petri网的目的和概念,并对第二部分进行了概述。在第3、4和5节中,我们解释了它的几个组成部分,即用户界面、服务和数据库。在第6节中,我们提出了一个相应的软件体系结构的Petri网Baukasten。该架构基于上述组成部分,并包括软件实现所必需的附加功能。本文最后在第7节中以用户场景总结了第二次分期付款的好处2Petri网Baukasten在本节中,在回顾了Petri网Baukasten的目标和基本概念之后,我们将对第二部分进行粗略的调查2.1Petri网BaukastenPetri网Baukasten的主要目的是为Petri网的不同用户提供支持。这种支持是针对特定的应用领域提供的。作为应用领域,我们考虑所有领域的Petri网支持在这个领域的系统的发展,例如。G.生产自动化、控制系统、工作流程管理等。Petri网Baukasten使开发应用程序的工程师能够使用面向应用的Petri网概念解释。Petri网Baukasten支持应用程序开发人员找到并使用适当的基于Petri网的方法,Petri网技术或适合开发应用程序的Petri网类型。Petri网Baukasten不仅提供了有关处理Petri网概念的理论知识,而且还提供了实际的例子和工具支持。Petri网专家在他的工作中得到支持,以阐述和增强现有的形式化技术,以统一的方式定义新的类型和概念,以正式和建设性的方式陈述Petri网的所有变体的属性,在网类型之间传输结果,并使结果和概念可用于应用程序。最后,但并非最不重要的是,Petri网Baukasten使工具开发人员能够分发他们的工具,寻找合适的工具(也用于工具开发),以原型的方式将工具装配在一起,添加和更改工具和工具参考。德纳特,加维斯基,林姆贝克,韦伯124方法程序正式Petri网技术Petri网工具Petri网类型2.2Petri网的概念Petri网Baukasten的概念结构已经在图1中描述过了. Petri网Baukasten的中心概念是Petri网技术,如图2所示。这些都是作为一个一致的组合的Petri网类型,其形式化,方法的程序,和相应的工具。图二. Petri网技术一个Petri网类型是由其特征的半形式化描述。该描述使用了关于以下基本成分的Petri网概念:一种Petri网变体,如位置、变迁、标记等,涉及分析或结构化技术等可用的Petri网操作。Petri网类型在公共库中的Petri网分类中表示,并保持与其他视图的链接专家视图中给出了Petri网类型的形式化描述。对于每个特征,给出了数学形式化;在Petri网类的定义中捕获了基本成分。操作成分对应于Petri网操作的定义和结果在工具开发者视图中提供了一个工具,它实现了Petri网类型。 也就是说,它工作在Petri网,包括基本组成部分和操作特性的实现。如何在实际应用中使用特定的Petri网类型的方法过程在ApplicationDeveloper View中给出。它定义了开发活动的顺序,包括用于验证、结构化等的可用Petri网操作。如果只有部分的Petri网技术是可用的,我们说一个不完整的Petri网技术。在下面的章节中,添加缺失部分以及相应的链接称为完成虽然理想情况下每一个Petri网技术应该是完整的,但重要的是要考虑不完整的Petri网技术,因为Petri网Baukasten或进一步的研究和开发可能能够提供缺失的部分。但限制性更德纳特,加维斯基,林姆贝克,韦伯125»Petri网Baukasten «战略也是可能的。2.3第二批检验图3所示的Petri网Baukasten的第二部分大致由三部分组成:要提供的数据,用户和系统之间通信的用户界面,以及第三个对数据进行操作的中间层。我们将这些部分分别称为用户界面、数据库和服务。这些部分中的每一个在内部都是按顺序组织的以提高清晰度和可用性。这个内部结构是从Petri网Baukasten的概念结构中衍生出来的,如图1所示。也就是说,每个部分被子结构化为三个视图,这三个视图对应于其中一个视图(应用开发者视图、工具开发者视图和专家视图)。这种结构是由Petri网Baukasten(见2.1节)的一般目标来支持这些组中的每一个。我们为每个群体提供个人信息访问,因为我们可以专注于相关信息,这自然会对每个群体产生影响。TD-IE-IAD-IC-UI用户界面(一)AD-IE-ITD-IC-UIa-SE-ST-SC-SA-DBE-DBT-DB:应用程序开发人员界面:专家界面:工具开发者界面:通用用户界面:应用服务:专家服务:工具服务:常见服务:开发者数据库:专家数据库:工具数据库(工具箱)CB-DB:公共基础数据库图三. 第二次分期付款数据库第二次分期付款的内容存储在数据库中。与最初的实现相反,它不是固定的,但可能会动态地增加根据Petri网Baukasten的概念,它被分解为不同用户组和公共基础的特定数据T-SE-SC-S-a-S服务(S)T-DBE-DBA-DBCB-DB数据库(D)德纳特,加维斯基,林姆贝克,韦伯126公共库包含Petri网分类和Petri网概念以及到特定视图的数据的链接。原则上,我们可以从一个空的数据库开始,然后逐渐充实。为了方便起见,我们假设初始实现的数据作为其内容。有关数据库的更多详细信息,请参见第5节。服务在数据库上运行。我们区分了公共服务、应用服务、专家服务和工具服务,这些服务在第4节中进行了描述。基本上,存在根据输入参数查找数据的搜索服务维护服务修改数据库并触发(不同组的)用户之间的异步协作。这种合作是必不可少的维持的基本概念的Petri网Baukasten,描述在2.2节对于搜索服务,广告集允许的输入参数从数据库的内容中导出,并且因此也可以通过维护服务来改变。用户界面图3中的上半部分显示了用户界面。我们提供了一个通用的用户界面,从这里可以为任何不同的用户组、应用程序开发人员、专家和工具开发人员提供专门的界面。 每个专用接口都包含相应的服务以及非正式的描述。 搜索服务是由一组可接受的输入参数。此外,用户被告知,数据库的更改已由另一用户执行。他可以用特定于组的数据来完成这段数据,以保持Petri网Baukasten的基本概念。第3节描述了接口。3用户界面我们提供了一个通用的用户界面,从那里可以到达任何不同用户组、应用程序开发人员、专家和工具开发人员的专用界面每个特定的用户界面都提供一组单独的服务,可以访问与相应用户组相关的Petri网信息。这些服务在第4节中有更详细的描述。因此,实现了关注点的分离,从而使Petri网Baukasten更加面向需求和易于使用三个不同用户组中的一个的选择对应于特定用户的主要目标。如果他们的目标随着时间的推移而改变,他们可以相应地选择不同的访问。例如,用户可能首先对特定Petri网类型的正式开发感兴趣,然后对适当的Petri网工具的实现感兴趣。这个人应该首先作为Petri网专家使用Petri网Baukasten,然后作为工具开发人员。因此,人们首先使用Petri网专家用户界面,然后使用工具开发人员界面。具体的子界面通过公共用户界面到达,实现了用户根据角色的选择。公共用户界面的第二个任务是德纳特,加维斯基,林姆贝克,韦伯127数据库中的更改信息。如果添加了新的信息,所有用户都会被告知并要求完成数据,以保持Petri网Baukasten的基本概念特定用户组接口支持执行所选服务所需的参数输入和服务执行结果的表示。这些接口就其操作的服务而言是相当不同的,但它们的外观是统一的。可用的服务列在菜单中,参数的输入通过表单启用。此外,每个界面都有一个帮助功能,解释其特定功能。应用程序开发人员用户界面的明确描述可以在[17]中找到。其余的用户界面(如专家和工具开发人员用户界面)将在下面的部分中通过相应的服务进行隐式描述。4服务服务在用户界面中调用,并在数据库上操作。基本上,有两种不同的服务:搜索和维护服务。搜索服务允许对数据进行交互式访问。 他们根据输入参数完成查找所需数据的任务,并以适合个人用户偏好的方式呈现搜索结果。维护服务对于动态方面至关重要,因为它们执行数据库的修改(添加或删除)。 此外,它们还引发了不同群体用户之间的合作。我们区分了公共服务、应用服务、专家服务和工具服务。特定于组的服务使用公共服务来完成其任务。4.1应用服务Petri网Baukasten支持应用程序开发人员在基于Petri网的应用程序管理领域。可为以下任务提供支持:(i) 为了找到用于开发应用程序的适当的基于Petri网的方法(ii) 为了使用在应用程序的开发中最好的服务的Petri网技术,(iii) 为了找到适合应用的Petri网类型,(iv) 为了找到合适的工具,(v) 为应用程序开发人员提供示例解决方案。因此,我们定义了以下应用服务。前五项服务与上面列出的任务一一对应。最后一个服务是为了支持Petri网Baukasten的第二部分的动态使用而添加的。德纳特,加维斯基,林姆贝克,韦伯128Petri网方法选择该服务允许找到合适的基于Petri网Petri网方法在这样的搜索之后,应用程序开发人员可以访问关于每个被操作的Petri网方法的信息,如e。G.预期目标、涵盖的阶段、基础语言和技术以及支持工具。此外,他们可以在选择合适的Petri网方法之前参考方法指南。Petri网技术选择此服务允许找到合适的Petri网技术。应用程序开发人员指定Petri网技术所需的特性。这可以做到,除其他外,与关键字的帮助下,概述了预期的目标,应用领域和底层的Petri网类型。满足特定特征的Petri网技术自动确定并提供给应用程序开发人员。在应用程序开发人员从操作集中选择合适的Petri网技术之前,他们可能会使用一些关于它的Meta信息,例如,G.应用领域、目标、底层Petri网类型或其过程的要素。此外,他们可能会使用它的非正式描述,所谓的技术指南,或其正式的基础。最后但并非最不重要的是,它可以搜索一个合适的Petri网工具支持首选的Petri网技术。Petri网类型选择此服务实现了选择合适的Petri网类型,以满足特定应用程序开发过程的要求。有几种辅助方法可以找到合适的Petri网类型,例如通过应用方面检查表或通过Petri网分类导航。通过检查表,可以找到一种适合应用目的最相关方面的组合的Petri网类型。该服务确定该Petri网类型并将其提供给应用程序开发人员。与结果列表一起,提供了关于不同Petri网类型的更多信息,如e. G.预期的应用领域,可能的工具,非正式和正式的描述。这些信息最终促进了Petri网类型的选择。Petri网工具选择此服务支持应用程序开发人员选择合适的Petri网工具,该工具可以应用之前选择的Petri网技术,方法或类型。它还为应用程序开发者提供技术功能标准(例如,所需的操作系统、目的、可用性)和社会可评估标准(例如,G.使用成本)。这些信息使应用程序开发人员能够为他们的开发任务选择合适的工具或工具集。选择工具或工具组后,可从供应商处分别订购选择示例解决方案本服务旨在寻找适合满足特定应用程序开发要求的建议解决方案。德纳特,加维斯基,林姆贝克,韦伯129我是说。它使应用程序开发人员能够通过其目标,应用程序域及其底层Petri网类型找到合适的样本解决方案。在应用程序开发人员选择某个示例解决方案以将其集成到他们自己的应用程序开发中之前,他们可以使用关于它的信息,例如关于已解决问题或底层Petri网类型的信息,并且可以查阅所谓的解决方案指南以获得细节。A.维护通过此服务,可以向应用程序开发人员数据库添加新信息。这项服务可用于加强现有方法,增加新技术或为其他用户提供范例。它导致在应用程序数据库中添加给定的信息,并需要关于公共数据库上的半形式化描述的进一步信息。因此,添加了一种不完全Petri网技术,它通过下面讨论的公共服务Petri网技术完成来调用其他用户组的完成应用程序开发人员服务的更精确描述,它们的实现和上面介绍的术语可以在[17]中找到4.2专家服务Petri网Baukasten支持Petri网专家在Petri网领域进行研究。可为下列任务提供支助:(i) 阐述和加强现有的正式技术,(ii) 以统一的方式定义新的类型和概念,(iii) 以形式化和建设性的方式陈述Petri网的所有变体的属性(iv) 在网络类型之间传输结果,以及(v) 使结果和概念可用于应用。专家观点的基本结构和概念已在[10]中介绍。其中包括形式Petri网技术、变换、抽象Petri网框架和方案的描述。形式化Petri网技术是在公共基础中对Petri网类型的形式化,包括其基本组成部分和操作的形式化定义,如e。G.转换到其他形式的Petri网技术。一个抽象框架给出了一类形式Petri网技术的一般描述.所有的描述都是以结构化的方式给出的,即所谓的方案。相应地构造了以下服务,其中添加形式Petri网技术和添加转换服务调用公共服务Petri网技术完成。Search Formal Petri Net Technique该服务可查找包含给定Petri网概念的所有形式Petri网技术。它使用公共服务公共基础参数搜索。为了选择合适的Petri网概念,专家可以查阅Petri网概念词汇表搜索转换此服务是搜索形式Petri网的一个特例德纳特,加维斯基,林姆贝克,韦伯130技术,因为转换属于正式的Petri网技术。输入参数被限制到Petri网的概念有关transformation- tions。搜索抽象框架此服务包括搜索抽象Petri网框架和实例,这些框架由专家视图中的方案给出。可选输入参数指定所请求的方案。此服务不使用通用服务,因为这些方案专用于专家视图。搜索前提条件这是搜索抽象框架的特殊情况它侧重于该框架的形式参数的先决条件,这是作为搜索的结果搜索案例研究该服务的输入是关于某个问题的Petri网概念或该服务返回一组基于Petri网概念或解决问题的案例研究添加案例研究专家可以添加案例研究的描述,前提是所使用的形式Petri网技术已经存储在数据库中。此外,需要描述已解决问题的关键字作为输入。该服务添加了案例研究,并从正式的Petri网技术中创建了一个链接。E.维护以下服务属于维护服务:添加形式化Petri网技术该维护服务将形式化Petri网技术及其通过Petri网类型进行的半形式化描述添加到数据库中。 专家必须完成形式Petri的方案net技术。 此外,他必须使用已有的Petri网概念并可能定义新的概念来提供Petri网类型的半形式化描述。现有的Petri网概念的词汇表提供了帮助。公共服务Petri网类型插入,分别。链路构造将新定义的类型置于Petri网分类中,服务参数维护添加了新的Petri网概念。类似于搜索变换的加变换,这是加形式Petri网技术的一个特例。添加抽象框架专家为抽象Petri网框架或实例填充相应的方案,然后将添加前置条件类似于搜索前置条件,这是一种特殊情况添加抽象框架。上面列出的任务主要由以下服务支持:服务搜索形式Petri网技术支持任务(i)和任务(ii),因为专家可以使用现有的定义进行增强。服务搜索抽象框架还支持任务(i)和(ii)以及附加的任务(iii)和(iv)。添加案例研究服务支持任务v。德纳特,加维斯基,林姆贝克,韦伯1314.3工具服务工具开发人员的任务由工具开发人员视图支持,参见[18]。支持包括工具开发的各个方面:(i) 管理现有工具,(ii) 工具开发设施,以及(iii) 支持现有工具的扩展。因此,定义了以下工具服务Petri网工具选择此服务支持工具开发人员选择Petri网工具。它为工具开发人员提供了有关工具的相关信息,如功能范围、实现语言、底层编程概念、操作系统等。这些信息使工具开发人员能够比较现有的实现,从而找到可以增强或重用的工具或特定模块。大多数现有的Petri网工具都使用自己的Petri网输入格式。该服务提供了一个关于现有格式和现有转换脚本的搜索功能,这些转换脚本将它们相互转换。它还提供了工具开发人员与信息的当前结果有关的发展标准的交换格式的Petri网的基础上XML。设施为了构建原型,该服务使用Petri网内核(PNK)。PNK可以被认为是一个基础设施,为建立Petri网工具,通过提供标准功能和图形用户界面。PNK不限于特定的Petri网类型,而是由于参数化而覆盖所有相关的Petri网类型。它包括以下次级服务:• PNK支持实现新的算法,用于分析、仿真或验证。PNK提供解析器、图形界面等,使得工具开发者可以专注于新算法。• PNK带有基于XML的文件格式,该格式遵循Petri网标准交换格式• 有关网的信息可以通过一个简单的接口轻松访问,该接口反映了Petri网上的典型数学概念,如前置集和后置集。不需要特定软件技术的知识,使得没有经验的程序员能够在短时间内有效地使用界面。• PNK支持将独立开发的几种算法集成到一个工具中。这使得能够从可用算法的集合中定制特定的应用领域。• 新定义的Petri网类型的工具的实现是方便的-德纳特,加维斯基,林姆贝克,韦伯132T.维护该服务实现了一个工具管理组件,该组件将有关工具的信息存储在工具数据库中。管理是基于一个包含所有相关信息的工具,如电子表格。G.一般描述、底层Petri网类型、实现的Petri网操作、一些技术说明、有关许可证的信息和一些评估说明。类似于服务A.维护,该服务通过公共服务Petri网技术完成触发其他用户组完成Petri网技术。上面列出的任务主要由以下服务支持:服务Petri网工具选择,搜索Petri网输入序列和T.维护支持任务(i)。 主要支持任务(ii)和任务(iii) 服务设施。4.4共同事务共同事务在各项事务中发挥关键作用。它们不是由用户直接调用,而是由用户特定的服务间接调用。共同服务提供集成功能,例如:(i) 搜索公共基地,(ii) 提供共同的讨论平台,(iii) 注意整个数据库的一致性和连贯性更新。共同事务的定义如下:公共基本导航此服务便于搜索Petri网类型通过遍历公共库中的Petri网分类公共基本参数搜索此服务根据输入参数搜索Petri网类型Petri网技术完成这项服务关心一个一致的,如果可用的,完整的描述Petri网技术。对于Petri网技术的描述,来自所有不同视图的数据被组合。CommonBase提供了Petri网类型、应用程序开发人员视图一个Petri网方法论的程序,专家视图的形式化和工具开发者视图相应的工具或工具集。如果用户组的维护服务之一向其数据库或公共库添加了新内容,则调用服务Petri网技术完成这些信息发布给Petri网Baukasten的所有用户,并与请求相结合,以收集和建立与其他视图的链接Petri网类型插入此服务更新公共基础数据库。对于一个新的Petri网类型,生成一个具有相应属性和函数的新类,最后,它被链接到用户特定的视图。参数维护此服务关心所有广告的一致更新。德纳特,加维斯基,林姆贝克,韦伯133允许的输入参数。参数列表可以通过用户访问或通过搜索数据库内容自动链接构造在某些新数据被添加到数据库的情况下,调用此服务来检查此新信息与属于其他视图的数据之间的现有关系。这些关系通过插入链接而变得明确。上面列出的任务主要由以下服务支持:任务(i)由公共基础导航和公共基础参数搜索支持。服务Petri网技术完成实现任务(ii),其余的公共服务主要支持任务(iii)。5数据库该数据库包含通过Petri网Baukasten提供的所有数据。根据Petri网Baukasten的概念,它被子结构化为不同用户组和公共基础的特定数据5.1应用程序数据库应用数据库中提出的面向应用的Petri网观主要包括Petri网的开发方法、Petri网的描述技术和样例解。这些是通过它们的名称、它们的目标、它们的意图应用领域和面向应用的关键字来描述的。它们的非正式的面向应用程序的描述分别由称为方法指南、技术指南和解决方案指南的文档给出。应用数据库管理着若干工具库,分别支持Petri网开发方法和技术的应用。此外,应用程序域在应用程序数据库中起着中心作用。应用程序域的特征在于面向应用的方面,涉及所有相关实体和问题。此外,在数据库中管理使用Petri网来指定某个面向应用的方面的几种合适的表达手段因此,该数据库还包含面向应用的解释Petri网概念。此外,该数据库包含面向应用的词汇表,描述所有使用的应用特定概念。应用程序数据库的结构模型对应于Petri网Baukasten的应用程序开发者视图的结构模型,该结构模型在[17]中被描述为UML类图德纳特,加维斯基,林姆贝克,韦伯1345.2专家库专家数据库中提出的Petri网理论是基于抽象Petri网框架、形式Petri网技术、实现和变换的概念。我们使用这些概念的结构化表示方案,以获得一个统一的结构。专家数据库在其初始状态下包含[7]中初始实现的所有数据。此外,数据的服务添加方案和SearchAbstract帧提供。这包括基于一般技术的所有操作的定义和条件。 E. G.联合的构造技术基于分类推出,相应地,定义包含在专家数据库中。类似地,高级替换系统的定义[8]是基于规则的修改的结构化技术的基础5.3工具数据库(工具箱)该工具数据库包括所有的数据,这是特别相关的开发一个Petri网工具。这包括所有工具中的第一个,这些工具要么以可执行程序代码的形式物理地提供,要么以指向源代码的链接的形式虚拟地提供。此外,工具数据库保存了关于工具的使用和构造的所有可用信息。有关使用的信息包括手册、用户指南、工具文档以及有关所需操作系统、许可证、许可费或可用性的信息。对构建的支持包括源代码、源代码文档、编程指南以及有关Petri网和输入格式转换的现有输入格式的信息。5.4共同数据库公共数据库在其初始状态下包含初始实现[7]中所示的分类图的当前版本。每个Petri网类型及其属性都在UML的类符号中描述。不同Petri网类型之间的关系通过类图中的层次关系表示,如特化和泛化。 存储在公共数据库中的数据起着关键的作用,因为 它连接三个不同视图的数据6第二批建筑在本节中,我们描述了一个架构的Petri网Baukasten遵循的设计在前面的章节中描述。 它来源于图3中的第二批,考虑到实施细节。图3中所示的每个部分对应于架构中的一个元素。其他组件,如用户会话服务、用户数据库、德纳特,加维斯基,林姆贝克,韦伯135中间件技术用户数据库和API等对于软件实现来说很重要,但对于Petri网Baukasten来说并不特殊,因此它们在图3中没有对应物6.1体系结构该架构遵循经典的三分法,分为图形用户界面(GUI),功能层和数据存储库。Petri网Baukasten的体系结构如图4所示。它基于中间件技术,以支持不同服务器上的不同部分(GUI、服务和存储库)的分布。图形用户界面(GUI)服务协助服务专家服务应用服务工具-服务API用户会话服务E.Maintenance. 添加FPNtechniqe. .存储库图四、Petri网Baukasten的体系结构第一部分包含用户界面,该界面又细分为常见界面、专家界面、应用程序开发人员界面和工具开发人员-用户界面。具体的子界面通过公共用户界面实现,用户可以根据自己的角色进行选择用户界面和存储库通过服务相关联。服务分为辅助服务和用户会话服务。协助服务包括共同服务、应用程序服务、专家服务和电子数据A-DatabaseCB工具库用户数据APICBViewAPITDViewAPIEViewAPIADViewAPI中间件技术书签会话保存T.Maintenance登录服务设施Petri网工具选择Petri网类型选择A.Maintenance搜索抽象框架Petri网技术选型搜索转换搜索形式PN技术公共用户界面专家-UI应用开发者-UITooldeveloper-UIPetri网方法选择共同事务CB导航CB参数搜索PN技术完成参数维护环节建设德纳特,加维斯基,林姆贝克,韦伯136工具服务。这些服务中的每一个都分为搜索服务和维护服务。通过相应的用户界面调用来自专家、应用程序和工具服务的特定用户组服务用户不能直接访问通用服务,而是由其他辅助服务调用。在图4中,由于篇幅有限,我们只粗略描述了第4节中的一些服务。第4节描述了服务范围和示例。除了辅助服务之外,我们还考虑了用户会话服务。 该集合通过公共用户界面访问,并接管用户会话的管理和监督等任务。它包括登录和会话数据的安全和加载以及书签。通过应用程序编程接口(API)实现对存储库的访问. API是一个方便的接口,允许从存储库实现中抽象出来。所描述的体系结构的最后一部分是存储库。所有相关数据都在这里进行管理。有一个存储库保存第5节中讨论的PN数据。此外,我们考虑一个用户数据库,其中包含会话数据,书签,笔记等,这些数据元素在会话过程中生成,并存储和提供进一步使用。在[12,17]中,提出了应用程序开发人员视图的架构,它细化了图4中所示架构的应用程序开发人员特定部分。6.2执行状况到目前为止,该系统的一部分已经实现。Petri网分类作为公共基础的主要部分,使用Rational Rose实现。这种Petri网类型的层次顺序的第一个升级级别已经导出到Oracle数据库中。作为应用程序开发人员辅助的一部分,我们实现了一个服务,用于通过Petri网分类进行导航,以选择合适的Petri网类型。此服务访问Oracle数据库的导出数据。最后,但并非最不重要的是,Petri网内核产生的基础设施,开发Petri网工具已经实现了原型的水平,目前正在升级。7结论Petri网Baukasten的第二部分的好处是说明了一个用户场景,描述了在一个独特的应用环境中使用Petri网Baukasten场景已经在初始实现[7]中描述过。现在,它们可以更精确地描述为第二批分期付款明确提供的一系列作为本文的结论,我们为应用程序开发人员列出了一个特定的场景它描述了搜索德纳特,加维斯基,林姆贝克,韦伯137对于适合于特定工作流程方面建模的Petri网类型。公共用户界面是开放的,允许用户通过调用用户会话服务LoginService进行登录。在这里,系统识别用户,加载最后一次交互的状态,并询问他是否想继续作为应用程序开发人员的活动。在这种情况下,打开应用程序开发人员界面,并加载旧的会话数据应用程序开发人员现在可以 让我们假设他想选择一个适合某些工作流程方面的特定Petri网类型。他选择服务Petri网类型选择,该服务Petri网类型选择提供面向应用的检查表或通过Petri网分类的导航。 打开与建模相关的检查表,用户可以在功能、数据/文档、角色、资源和时间方面的组合之间进行选择。假设他想要对功能方面与资源和时间方面相结合的建模。他选择这些方面,这些方面被系统用作输入参数。该系统确定Petri网类型,其中包括所需的方面。所产生的列表,包括e. G.在[2,3,5,9]中讨论的Petri网类型在一个新的窗口中呈现。 为了方便选择的各种Petri网类型之间的一些更多的信息(非正式的,正式的描述所使用的Petri网类型,分析方法,工具支持,例子)的结果。假设我们的用户想要应用定性分析方法和性能评估。这减少了对基于随机Petri网的方法的选择,其中只有[5]中的方法提供工具支持。在选定一种Petri网类型后,系统为用户提供相关的数据和工具支持。在这个场景中,相关的辅助服务是Petri网类型选择。使用面向应用的方面的建模相关检查表来执行搜索,调用通过公共服务提供的搜索服务:公共基础参数搜索。访问的数据是存储在公共确认本工作是Weber(Coordinator),H. Ehrig(两人都来自柏林理工大学)和W. Reisi g(Humboldt-UniversitaützuBerlin),由德国研究委员会(DFG)支持。Petri网Baukasten的发展一直是一项重大任务,这是通过DFG研究小组成员之间的密切合作我们谨对富有成果的合作表示感谢。德纳特,加维斯基,林姆贝克,韦伯138引用[1] 阿尔斯特,W.M.P.van der,Petri网在工作流管理中的应用。电路、系统和计算机杂志8(1):21-66,1998年。[2] Aalst,W.M.P. van der,K.M. van Hee和G.J. Houben。工作流管理系统的高级Petri网建模。In G.德·米凯利斯,C. Ellis和G.张文,《Petri网及其相关形式化》,第二届计算机支持的协同工作研讨会,第31-50页,1994年。[3] 亚当,北卡罗来纳州,V uri和W-K.煌用Petri网建模和分析工作流智能信息系统杂志,工作流和过程管理特刊10(2):131[4] Dehnert,J.,Petri网的公共基础Baukasten,在Weber等人[16],第211[5] Dehnert,J.,A. Freiiienet,和A. Zimmermann,工作流建模和性能评估与有色随机Petri网,在将知识引入业务流程,美国人工智能协会(AAAI)春季研讨会系列2000研讨会,2000年,被接受为海报。[6] Deiters,W.,Gruhn和R.斯特里默DerFUNEST-ANGZUmintegriertenGescháftsprozeásmanagement,《世界新闻报》5(37):459-466,1995年[7] DFG研究集团佩特里NET 技术, 初步实现的1999年10月至1999年10月,柏林大学。[8] Ehrig,H.,M. Gaublsky和F. Parisi-Presicce,
下载后可阅读完整内容,剩余1页未读,立即下载
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
我的内容管理 收起
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
会员权益专享
最新资源
- Simulink在电机控制仿真中的应用
- 电子警察:功能、结构与抓拍原理详解
- TESSY 4.1 英文用户手册:Razorcat Development GmbH
- 5V12V直流稳压电源设计及其实现
- 江西建工四建来宾市消防支队高支模施工方案
- 三维建模教程:创建足球模型
- 宏福苑南二区公寓楼施工组织设计
- 福建外运集团信息化建设技术方案:网络与业务平台设计
- 打造理想工作环境:详尽的6S推行指南
- 阿里巴巴数据中台建设与实践
- 欧姆龙CP1H PLC操作手册:SYSMACCP系列详解
- 中国移动统一DPI设备技术规范:LTE数据合成服务器关键功能详解
- 高校竞赛信息管理系统:软件设计与体系详解
- 面向对象设计:准则、启发规则与系统分解
- 程序设计基础与算法解析
- 算法与程序设计基础概览
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)