UniKL Logo

Lehrgebiet Informationssysteme

FB Informatik

FB Informatik
 
LG IS
AG DBIS
AG HIS
Jobs / Tasks
Courses
Publications
Contact
Misc
Impressum
(C) AG DBIS
 

Test Case taDOM3+/0-taDOM3+-11-AC

taDOM3+ Lock Requests of executed Operation getNode(DeweyID) returns Node

The getNode operation returns the context node CO addressed by the passed deweyID.

Behavior specified with base operations:

  • readCO
Read Set = CO , Write Set =
  • LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-]

taDOM3+ Lock Requests of checked Operation getFragment(contextNode) executed on node AC

The getFragmentNodes operation returns a node list with all descendant nodes of the context node CO.

Bahavior specified with base operations:

  • readCO
  • readCS
  • readFC
  • readCH
  • readLC
  • readDC
  • readCA
  • readAS
  • readAX
  • readXS
  • useCOFCE
  • useCOLCE
  • useFCPSE
  • useFCNSE
  • useFCFCE
  • useFCLCE
  • useCHPSE
  • useCHNSE
  • useCHFCE
  • useCHLCE
  • useLCPSE
  • useLCNSE
  • useLCFCE
  • useLCLCE
  • useDCPSE
  • useDCNSE
  • useDCFCE
  • useDCLCE

Read and write sets for execution on AC:

Read Set = AC PA PS CO CS NS FC CH LC DC CA AS AX XS COPSE NSPSE FCPSE CHPSE LCPSE DCPSE PSNSE CONSE FCNSE CHNSE LCNSE DCNSE PAFCE COFCE FCFCE CHFCE LCFCE DCFCE PALCE COLCE FCLCE CHLCE LCLCE DCLCE , Write Set =
  • LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-] on AC

Operations must be compatible

CheckExisting LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-] on AC
Requested lock SR on AC compatible to existing lock IR.
Compatible
Test Case Ok