Research on Workflow Model and Verification Method of Remote Sensing Data Processing.
Baojun QiaoSiyuan HeYing DuXianyu ZuoPublished in: ICCSE (1) (2022)
Keyphrases
- remote sensing
- verification method
- data processing
- workflow model
- business process
- business processes
- workflow systems
- temporal logic
- model checking
- workflow management
- remote sensing images
- multispectral
- change detection
- image processing
- image analysis
- data flow
- design methodologies
- data management
- remote sensing data
- high resolution
- data analysis
- remote sensing imagery
- satellite images
- hyperspectral
- satellite data
- fully integrated
- temporal constraints
- remote sensed images
- petri net
- land cover
- multi spectral images
- digital image analysis
- automatic image registration
- process model
- data collection
- earth observation
- pattern recognition
- case study