资源描述：
《基于petri网b_s体系架构的在线评测系统建模与验证new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第29卷第10期计算机应用Vol.29No.102009年10月JournalofComputerApplicationsOct.2009文章编号:1001-9081(2009)10-2833-05基于Petri网B/S体系架构的在线评测系统建模与验证陈晓亮,宋文,陈东(西华大学数学与计算机学院,成都610039)(xhu_chenxl@163.com)摘要:在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提
2、出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。关键词:Petri网;在线评测;B/S架构;P/T系统;S_不变量中图分类号:TP311文献标志码:AModelingandverificationofonlinejudgesystemwithB/SbasedonPetrinetsCHENXiao2liang,SONGWen,CHENDong(SchoolofMathematicsandComputerEngineering,XihuaUniversity,ChengduSichuan610039,China)Abstract:Online
3、judgesystemisarepresentativesystemindynamictransactionprocessingundernetworkenvironment.Thepropertiesofstaticstructureanddynamicbehaviorwerenotconsideredbytheconventionaldesignmethodofsoftware.AhierarchicalmodelofonlinejudgewithB/SwasconstructedbyP/Tnets.Accordingtothefunction,someimpor
4、tantqualitieswerepresentedtoguaranteethecorrectnessofsystem.TheanalysisandverificationofthemodelareshownbyS_invariants.Keywords:Petrinet;onlinejudge;Browser/Server(B/S)architecture;Place/Transitionnet;S_invariant控特性,最后用S_不变技术对模型进行验证。0引言1基本概念Petri网采用可视化图形描述,但却被形式化的数学方法[5]所支持,是一种结构化的离散事件系
5、统(DiscreteEvent定义1设Ni=(Si,Ti;Fi),i∈{1,2}其中S1∩DynamicSystem,DEDS)描述工具。它既可以表达系统的静S2≠Á,T1∩T2=Á则称N=(S1∪S2,T1∪T2;F1∪F2)态结构,又可以描述系统的动态行为,特别适合于描述系统的为网N1和N2的共享合成网。记为N=N1CSN2。异步并发关系,能够模块化与层次化地描述与构建复杂的定理1[6]若i和i为网N的S_不变量,则i+i,z·1212DEDS。i1,z∈Z也是网N的S_不变量。在线评测系统(OnlineJudge,OJ)作为面向对象的模块化定义2在在线评测系统中
6、由浏览器输入的一组变量构的动态交互网络环境,是一个典型的多层次型离散事件系统。成系统的激励,用E表示。即{ID,password,a,Prob.ID,用户可以在线提交多种程序源代码,系统自动对源代码进行Prob,L,SP,parameter}其中a为操作类型,L为编译语言,SP编译和执行,并通过调用预先存储在数据库当中的测试数据,为源代码。判定用户程序的输出数据是否满足一定的逻辑条件,检验程定义3对于特定输入启动的系统,返回相应的系统缺序源代码的正确性。文献[1]作者用非形式化方法描述了省值构成激励的响应。记为Mi,i∈{1,2,3,⋯}ACMProgrammingC
7、ontest,CS3233Contest和CS1102Data定义4系统中既没有在输入变量又没有在输出变量中StructuresandAlgorithms三个著名的OJ系统模型,通过测试出现的内部变量构成系统的抑制,如时间变量t,T;空间变量数据描述了系统满足的需求。文献[2]作者是基于在线考试k,K等。其作用是进行相应的数据处理,作为激励响应的判断的工程应用,文中有针对性地提出了OJ的模块化设计方案。条件,且一旦响应,系统重置。文献[3]作者利用Struts框架的优势设计出OJ系统,并分析2模型的建立了Struts框架的请求2响应流程;文献[4]作
