Summary: Query Based UML Modeling
Validation and Verification of the System Model and Behavior for a
Hydraulic Crane
Denny Mathew
ENPM 643
Instructor: Dr. Mark Austin
Systems Engineering Process for a Hydraulic Crane
- Link Belt ATC 3200
- Requirements
- Systems Structure
- System Behavior
- Constraints
- System Allocation
- Verification
UML Query Tool
- Validation
- Query Modeling
Five Operational Phases of a Crane
- Pre-Start Initiation
- Handling and Attaching the Load

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

Collections: Engineering