PROJECT PAPERGLOBAL SECURITY SYSTEM FOR CONTAINERIZED COMMERCEENSE623 System Validation and Verification Spring 2006Submitted to: Professor Mark AustinSubmitted by: Sana Shaikh and Jason SmithINDEX1 ACKNOWLEDGMENTS .................................................................................................................. 12 PROJECT DESCRIPTION ............................................................................................................... 22.1 OBJECTIVES ................................................................................................................................. 22.2 MOTIVATION................................................................................................................................ 42.3 FRAMEWORK, BOUNDARY, AND LIMITATIONS............................................................................. 53 TERMINOLOGY............................................................................................................................... 84 USE CASE ANALYSIS.................................................................................................................... 104.1 ACTOR DEFINITIONS .................................................................................................................. 104.2 USE CASE DIAGRAM .................................................................................................................. 134.3 USE CASES................................................................................................................................. 144.3.1 Use Case: Create Packing List............................................................................................. 154.3.2 Use Case: Release/Receive Package .................................................................................... 174.3.3 Use Case: Create Bill of Lading........................................................................................... 194.3.4 Use Case: Verify Container Integrity ................................................................................... 214.3.5 Use Case: Stuff Container .................................................................................................... 244.3.6 Use Case: Seal Container..................................................................................................... 264.3.7 Use Case: Store Container ................................................................................................... 284.3.8 Use Case: Receive container................................................................................................ 314.3.9 Use Case: Transport container............................................................................................. 344.3.10 Use Case: Submit Cargo Declaration.............................................................................. 364.3.11 Use Case: Screen Container............................................................................................ 384.3.12 Use Case: Inspect container ............................................................................................ 404.3.13 Use Case: Release Container .......................................................................................... 435 SCENARIOS AND ACTIVITY DIAGRAM.................................................................................. 465.1 BASIC SCENARIO........................................................................................................................ 465.2 HIGH LEVEL ACTIVITY DIAGRAM.............................................................................................. 506 SYSTEM REQUIREMENTS .......................................................................................................... 516.1 HIGH LEVEL REQUIREMENTS FROM USE CASES......................................................................... 516.2 SYNTHESIS AND BREAK DOWN OF HIGH LEVEL REQUIREMENTS............................................... 527 LABELLED TRANSITION SYSTEM ANALYSER .................................................................... 558 MSC ................................................................................................................................................... 579 MSC PLUG-IN.................................................................................................................................. 5810 VERIFICATION USING LTSA AND MSC PLUG-IN ................................................................ 5910.1 VERIFICATION METHODS USING LTSA....................................................................................... 6011 FUTURE WORK AND RECOMMENDATIONS......................................................................... 638. APPENDIX A – TRACEABILITY MATRIX................................................................................ 649. APPENDIX B: MSC DIAGRAMS.................................................................................................. 65A. HMSC DIAGRAM............................................................................................................................. 65B. BMSC DIAGRAMS ........................................................................................................................... 6610. APPENDIX C LTSA DIAGRAMS............................................................................................. 7212 APPENDIX D - REFERENCES...................................................................................................... 78Global Security System for Containerized CommercePage 1 of 781 AcknowledgmentsWe would like to thank those that have helped and supported us throughout this project. Most of all we would like to thank our project advisor, Dr. Mark Austin of the Department of Civil and Environmental Engineering and Institute for Systems Research at the University of Maryland. In particular, his excitement for our project and knowledge of LTSA inspired us. In addition, we’d like to thank LCDR Mike Dolan from the United States Coast Guard Headquarters Cargo & Facilities Division and LT Nichole Rodriguez from United States Coast Guard Sector Baltimore Prevention Department Waterways Management Division. We want to thank them both for their containerized commerce security system overview from their respective regulatory and field perspectives, for the contacts they provided us to get other perspectives, and for making the arrangements to see the