����Petri��B/S��ϵ�ܹ�����������ϵͳ��ģ����֤
������1 ,����1 ,�¶�2
1. ������ѧ 2.
Modeling and verification of online judge system with B/S based on Petri nets
ժҪ ��������ϵͳ���Կ������绷���£�ʵ�ֶ�̬�������һ���д���Ե�ϵͳ����Դ�ͳ�������ƽ�ģ�������Ѽ��ϵͳ��̬�ṹ�������Ͷ�̬��Ϊ�ķ���������P/T����һ��B/S�ܹ�����������ϵͳ���ģ�͡����ϵͳ���ܣ�����˱�֤ϵͳ������ȷ��Ӧ���е���Ҫ���ʣ��̶���S_��������������˷�������֤��
�ؼ�� ��
Petri�� ,
�������� ,
B/S�ܹ� ,
P/Tϵͳ ,
S_������
Abstract ��Online judge system is a representative system in dynamic transaction processing under network environment. The properties of static structure and dynamic behavior were not considered by the conventional design method of software. A hierarchical model of online judge with B/S was constructed by P/T nets. According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
Key words ��
Petri net
online judge
Browser/Server ��B/S�� architecture
Place/Transition net
S_invariant
�ո�����: 2009-04-16
��������: 2009-10-28
�������: ���������ӵ�Petri��Ľṹ�����о�
ͨѶ����:
������
E-mail: xhu_chenxl@163.com
[1]
��ƽ ������ �Ͻ�. Ŀ���֪�¼���Ļ��е���ͻ���Ʋ��� [J]. �����Ӧ��, 2014, 34(2): 610-614.
[2]
������ ���ξ�. �����ƶ�Agent���ƶ��Ƽ���ϵͳ�������� [J]. �����Ӧ��, 2013, 33(05): 1276-1280.
[3]
������ ���� ��Զ��. ����Լ���Ż���Petri��ɴ��Է��� [J]. �����Ӧ��, 2013, 33(04): 1128-1131.
[4]
������ ���� ����. ����Petri����п�ϵͳ��ʽ���������� [J]. �����Ӧ��, 2013, 33(04): 1132-1135.
[5]
Ī��ƽ ������ ������ ����. �����ƻ�Petri��ı��Ա任 [J]. �����Ӧ��, 2012, 32(11): 3071-3074.
[6]
��ʽ�� ����Խ. ������Petri���Web�����ģ�� [J]. �����Ӧ��, 2012, 32(08): 2328-2337.
[7]
��� ʷ��ɽ ���˽�. ����Petri��Ľ��蹤����Ŀʵʩ�ι�������ģ����� [J]. �����Ӧ��, 2011, 31(10): 2828-2831.
[8]
�ƹ��� ������ �ű�. ������չʱ�����Petri��Ĵֲ����繥��ģ�� [J]. �����Ӧ��, 2011, 31(08): 2146-2151.
[9]
�Ʋ��� ������ ������ Ī��ƽ. Petri������Ķ�̬�����о� [J]. �����Ӧ��, 2011, 31(06): 1641-1644.
[10]
������ ������ �Ž�. �ദ���������㷨ʵ�ּ���Petri��ģ����� [J]. �����Ӧ��, 2011, 31(04): 938-941.
[11]
������ �ƹ���. ���ڴֲڱ�Ҷ˹���ĵ����繥������ [J]. �����Ӧ��, 2011, 31(03): 784-789.
[12]
������ �ƹ���. ���ڴ����Թ���ģ�͵�������в���� [J]. �����Ӧ��, 2010, 30(11): 3046-3050.
[13]
���� ���Ŀ� ������ ������ ��ɺ. ���ڶ�Agent��Ӧ��ЭͬPetri��ģ��Эͬ��� [J]. �����Ӧ��, 2010, 30(10): 2567-2571.
[14]
���� ������ ������ ֣��. Java���������ݴ�ģ�ͷ��������� [J]. �����Ӧ��, 2010, 30(10): 2741-2744.
[15]
������ ���� ��ѩ��. ���ߴ���������ģ�͵���ʽ����ģ��������� [J]. �����Ӧ��, 2010, 30(07): 1722-1724.