Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Table 4

Mapping of the task labels used in Table 3 with those in the SAP, IBM and AG datasets.

Queries	Labels	SAP	IBM	AG
𝑟1	𝑥1	Customer quotation processing	process.s0000009##s000001827.outputCriterion.s00000859	Z
𝑟2	𝑥1	Goods receipt	process.s00000275##s00002184.outputCriterion.s00000838	K
𝑟3	𝑥1,	Customer quotation processing,	process.s00000285##s00002171.outputCriterion.s00000743,	R,
	𝑥2	Sales order processing	process.r00000266##n00002468.outputCriterion.s00000773	S
𝑟4	𝑥1,	Subsequent acquisition	process.s00000247##s00002258.outputCriterion.s00000772,	A,
	𝑥2	Processing of asset acquisition	process.s00000266##s00002468.outputCriterion.s00000773	H
𝑟5	𝑥1,	Product structure management for variant products,	process.s00000265##s00002061.outputCriterion.s00000774,	M,
	𝑥2	Product structure management via CAD	process.r00000266##s00009387.outputCriterion.s00000721	R
𝑟6	𝑥1,	Subsequent acquisition,	process.s00000247##s00002258.outputCriterion.s00000772,	M,
	𝑥2	Processing of asset acquisition	process.s00000266##s00002468.outputCriterion.s00000773	N
𝑟7	𝑥1,	Customer quotation processing,	process.s00000285##s00002171.outputCriterion.s00000743,	X,
	𝑥2	Sales order processing	process.r00000266##n00002468.outputCriterion.s00000773	Y
	𝑥1,	Settlement account assignment,	process.s00000243##s00002261.outputCriterion.s00005267,	J,
𝑟8	𝑥2,	Periodic settlement,	process.r00000106##n00002617.outputCriterion.s00000704,	W,
	𝑥3	Contact release order	process.r00000231##n00006324.outputCriterion.s00001894	t