An Approach for the Specification and Verification of Hadoop-MapReduce Workflow.
Mayssa BessifiAhlem Ben YounesLeila Ben AyedPublished in: COMPSAC (2022)
Keyphrases
- cloud computing
- mapreduce framework
- formal verification
- map reduce
- distributed computing
- asynchronous circuits
- open source
- data intensive
- formal methods
- model checking
- data analytics
- workflow model
- petri net
- formal specification
- protocol specification
- workflow systems
- exception handling
- petri net model
- workflow specification
- business process
- colored petri nets
- data flow
- high level
- data management
- business processes
- control flow
- big data
- specification language
- workflow management systems
- efficient implementation
- verification method
- web services
- temporal constraints
- workflow management
- distributed systems
- data analysis
- signature verification
- bpel ws
- high performance data mining
- data sets