❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s ●✐✉s❡♣♣❡ ❈❛st❛❣♥❛✱ ◆✐❧s ●❡s❜❡rt✱ ▲✉❝❛ P❛❞♦✈❛♥✐ ❯♥✐✈❡rs✐té P❛r✐s ✼✱ ❯♥✐✈❡rs✐t② ♦❢ ●❧❛s❣♦✇✱ ❯♥✐✈❡rs✐tà ❞✐ ❯r❜✐♥♦ P❖P▲ ✷✵✵✽✱ ❙❛♥ ❋r❛♥❝✐s❝♦ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✶ ✴ ✶✹
Pr❡s❡♥t❛t✐♦♥ ♦✉t❧✐♥❡ ❈♦♥t❡①t ✶ ❆ ❝♦♥tr❛❝t ❧❛♥❣✉❛❣❡ ✷ ❘❡❧❛t✐♦♥s ❜❡t✇❡❡♥ ❝♦♥tr❛ts ✸ ❋✐❧t❡rs ✹ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✷ ✴ ✶✹
❲❡❜ s❡r✈✐❝❡ ❞✐s❝♦✈❡r② ❘❡❣✐str✐❡s ✭❯❉❉■✳✳✳✮ ❈♦♥t❛✐♥ ❞❡s❝r✐♣t✐♦♥s ✭❲❙❉▲✳✳✳✮ ❙❡✈❡r❛❧ ♣♦ss✐❜❧❡ s❡❛r❝❤ ❦❡②s✿ ◆❛♠❡ ❑❡②✇♦r❞s ✳✳✳ ❇❡❤❛✈✐♦✉r ✭❛✈❛✐❧❛❜❧❡ ✐♥t❡r❛❝t✐♦♥ ♣❛tt❡r♥s✮ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✸ ✴ ✶✹
❲❡❜ s❡r✈✐❝❡ ❞✐s❝♦✈❡r② ❘❡❣✐str✐❡s ✭❯❉❉■✳✳✳✮ ❈♦♥t❛✐♥ ❞❡s❝r✐♣t✐♦♥s ✭❲❙❉▲✳✳✳✮ ❙❡✈❡r❛❧ ♣♦ss✐❜❧❡ s❡❛r❝❤ ❦❡②s✿ ◆❛♠❡ ❑❡②✇♦r❞s ✳✳✳ ❇❡❤❛✈✐♦✉r ✭❛✈❛✐❧❛❜❧❡ ✐♥t❡r❛❝t✐♦♥ ♣❛tt❡r♥s✮ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✸ ✴ ✶✹
❆ ❢♦r♠❛❧ ❝♦♥tr❛❝t ❧❛♥❣✉❛❣❡ ❛❝t✐♦♥s✴❝♦❛❝t✐♦♥s ::= ☛ ❛ ❛ ❝♦♥tr❛ts ::= ✛ ✵ ( t❡r♠✐♥❛t✐♦♥ ) ( ❛❝t✐♦♥♣r❡✜① ) ☛✿✛ ✛ + ✛ ( ❡①t❡r♥❛❧ ❝❤♦✐❝❡ ) ✛ ✟ ✛ ( ✐♥t❡r♥❛❧ ❝❤♦✐❝❡ ) ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✹ ✴ ✶✹
❆ ❢♦r♠❛❧ ❝♦♥tr❛❝t ❧❛♥❣✉❛❣❡ ❛❝t✐♦♥s✴❝♦❛❝t✐♦♥s ::= ☛ ❛ ❛ ❝♦♥tr❛ts ::= ✛ ✵ ( t❡r♠✐♥❛t✐♦♥ ) ( ❛❝t✐♦♥♣r❡✜① ) ☛✿✛ ✛ + ✛ ( ❡①t❡r♥❛❧ ❝❤♦✐❝❡ ) ✛ ✟ ✛ ( ✐♥t❡r♥❛❧ ❝❤♦✐❝❡ ) ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✹ ✴ ✶✹
❊①❛♠♣❧❡ in: Logout in: Login �� �� [ValidLogin] in: Query �� �� ��� ��� out: ValidLogin �� �� �� �� �� �� out: Catalog [Accepted] �� �� out: InvalidLogin in: Purchase [InvalidPayment] out: Accepted [OutOfStock] out: InvalidPayment out: OutOfStock [InvalidLogin] ▲♦❣✐♥ ✿ ( ■♥✈❛❧✐❞▲♦❣✐♥ ✟ ❱❛❧✐❞▲♦❣✐♥ ✿ ◗✉❡r② ✿ ❈❛t❛❧♦❣ ✿ ( ▲♦❣♦✉t + P✉r❝❤❛s❡ ✿ ❆❝❝❡♣t❡❞ ✟ ■♥✈❛❧✐❞P❛②♠❡♥t ✟ ❖✉t❖❢❙t♦❝❦ )) ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✺ ✴ ✶✹
❊①❛♠♣❧❡ in: Logout in: Login [ValidLogin] in: Query �� �� �� �� ��� ��� out: ValidLogin �� �� �� �� �� �� out: Catalog �� �� [OutOfStock] out: InvalidLogin in: Purchase [InvalidPayment] out: Accepted out: InvalidPayment out: OutOfStock [InvalidLogin] [Accepted] out: Invoice ▲♦❣✐♥ ✿ ( ■♥✈❛❧✐❞▲♦❣✐♥ ✟ ❱❛❧✐❞▲♦❣✐♥ ✿ ◗✉❡r② ✿ ❈❛t❛❧♦❣ ✿ ( ▲♦❣♦✉t + P✉r❝❤❛s❡ ✿ ❆❝❝❡♣t❡❞ ✟ ■♥✈❛❧✐❞P❛②♠❡♥t ✟ ❖✉t❖❢❙t♦❝❦ )) ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✺ ✴ ✶✹
❋✐♥❞ ❛ s❡r✈✐❝❡ s✉✐t❛❜❧❡ ❢♦r ❛ ❣✐✈❡♥ ❝❧✐❡♥t ❚✇♦ ♣♦ss✐❜❧❡ ✇❛②s✿ ❉✐r❡❝t❧②✱ ❜② ❞❡✜♥✐♥❣ ❛ ❝♦♥tr❛❝t ❢♦r t❤❡ ❝❧✐❡♥t ✦ ❝♦♠♣❧✐❛♥❝❡ r❡❧❛t✐♦♥ ❙t❛rt✐♥❣ ❢r♦♠ ❛ ❦♥♦✇♥ s✉✐t❛❜❧❡ s❡r✈✐❝❡ ✦ s✉❜❝♦♥tr❛❝t r❡❧❛t✐♦♥ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✻ ✴ ✶✹
❋✐♥❞ ❛ s❡r✈✐❝❡ s✉✐t❛❜❧❡ ❢♦r ❛ ❣✐✈❡♥ ❝❧✐❡♥t ❚✇♦ ♣♦ss✐❜❧❡ ✇❛②s✿ ❉✐r❡❝t❧②✱ ❜② ❞❡✜♥✐♥❣ ❛ ❝♦♥tr❛❝t ❢♦r t❤❡ ❝❧✐❡♥t ✦ ❝♦♠♣❧✐❛♥❝❡ r❡❧❛t✐♦♥ ❙t❛rt✐♥❣ ❢r♦♠ ❛ ❦♥♦✇♥ s✉✐t❛❜❧❡ s❡r✈✐❝❡ ✦ s✉❜❝♦♥tr❛❝t r❡❧❛t✐♦♥ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✻ ✴ ✶✹
❋✐♥❞ ❛ s❡r✈✐❝❡ s✉✐t❛❜❧❡ ❢♦r ❛ ❣✐✈❡♥ ❝❧✐❡♥t ❚✇♦ ♣♦ss✐❜❧❡ ✇❛②s✿ ❉✐r❡❝t❧②✱ ❜② ❞❡✜♥✐♥❣ ❛ ❝♦♥tr❛❝t ❢♦r t❤❡ ❝❧✐❡♥t ✦ ❝♦♠♣❧✐❛♥❝❡ r❡❧❛t✐♦♥ ❙t❛rt✐♥❣ ❢r♦♠ ❛ ❦♥♦✇♥ s✉✐t❛❜❧❡ s❡r✈✐❝❡ ✦ s✉❜❝♦♥tr❛❝t r❡❧❛t✐♦♥ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✻ ✴ ✶✹
❘❡❧❛t✐♥❣ ❝❧✐❡♥t ❛♥❞ s❡r✈✐❝❡✿ ❝♦♠♣❧✐❛♥❝❡ ❈❧✐❡♥ts t♦♦ ❛r❡ ❞❡s❝r✐❜❡❞ ❜② ❝♦♥tr❛❝ts ❆ s♣❡❝✐❛❧ ❛❝t✐♦♥ ✦ r❡♣r❡s❡♥ts ❝❧✐❡♥t s✉❝❝❡ss ❉❡✜♥✐t✐♦♥ ♦❢ ❝♦♠♣❧✐❛♥❝❡ ✦ ♠✉st ❜❡ ❛✈❛✐❧❛❜❧❡ ✇❤❡♥❡✈❡r ♥♦ ♠♦r❡ ✐♥t❡r❛❝t✐♦♥ ✐s ♣♦ss✐❜❧❡ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✼ ✴ ✶✹
❘❡❧❛t✐♥❣ ❝❧✐❡♥t ❛♥❞ s❡r✈✐❝❡✿ ❝♦♠♣❧✐❛♥❝❡ ❈❧✐❡♥ts t♦♦ ❛r❡ ❞❡s❝r✐❜❡❞ ❜② ❝♦♥tr❛❝ts ❆ s♣❡❝✐❛❧ ❛❝t✐♦♥ ✦ r❡♣r❡s❡♥ts ❝❧✐❡♥t s✉❝❝❡ss ❉❡✜♥✐t✐♦♥ ♦❢ ❝♦♠♣❧✐❛♥❝❡ ✦ ♠✉st ❜❡ ❛✈❛✐❧❛❜❧❡ ✇❤❡♥❡✈❡r ♥♦ ♠♦r❡ ✐♥t❡r❛❝t✐♦♥ ✐s ♣♦ss✐❜❧❡ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✼ ✴ ✶✹
❘❡❧❛t✐♥❣ t✇♦ s❡r✈✐❝❡s✿ s✉❜❝♦♥tr❛❝t ■♥❢♦r♠❛❧ ❞❡✜♥✐t✐♦♥ ✛ ✖ ✜ ✿ ✏❛ ❝❧✐❡♥t ❞❡s✐❣♥❡❞ ❢♦r ❛ ✛ s❡r✈✐❝❡ ✇✐❧❧ ✇♦r❦ ✇✐t❤ ❛ ✜ ♦♥❡✳✑ ✜ ♠❛②✿ ✶ ❜❡ ♠♦r❡ ❞❡t❡r♠✐♥✐st✐❝✿ ❛ ✟ ❜ ✿ ❝ ✖ ❛ ■♥✈❛❧✐❞▲♦❣✐♥ ✟ ❱❛❧✐❞▲♦❣✐♥ ✖ ❱❛❧✐❞▲♦❣✐♥ ✷ ♦✛❡r ♠♦r❡ ❝❤♦✐❝❡s✿ ❛ ✖ ❛ + ❜ ✿ ❞ ▲♦❣♦✉t + P✉r❝❤❛s❡ ✖ ▲♦❣♦✉t + P✉r❝❤❛s❡ + ❙❛✈❡❋♦r▲❛t❡r ✸ ♦✛❡r ❧♦♥❣❡r ✐♥t❡r❛❝t✐♦♥ ♣❛tt❡r♥s✿ ❛ ✖ ❛ ✿ ❜ ✿ ❞ P✉r❝❤❛s❡ ✿ ❆❝❝❡♣t❡❞ ✖ P✉r❝❤❛s❡ ✿ ❆❝❝❡♣t❡❞ ✿ ■♥✈♦✐❝❡ ❈❛st❛❣♥❛✱ ●❡s❜❡rt ❛♥❞ P❛❞♦✈❛♥✐ ❆ t❤❡♦r② ♦❢ ❝♦♥tr❛❝ts ❢♦r ❲❡❜ s❡r✈✐❝❡s P❖P▲ ✷✵✵✽ ✽ ✴ ✶✹
Recommend
More recommend