Java创建线程主要有两种方式：继承Thread子类和实现Runnable接口。核心区别在于：1）继承Thread受限于Java单继承机制，而实现Runnable更灵活；2）Runnable方式天然支持多线程资源共享，Thread方式需要借助静态变量；3）Runnable实现任务与线程解耦，复用性更强。实际开发中推荐优先使用Runnable方式，因其规避了单继承限制，更便于资源共享和代码复用。两种

System.out.println("促销商品优惠后：" + service.calculateDiscount(DiscountStrategyEnum.PROMOTION, price));System.out.println("秒杀商品优惠后：" + service.calculateDiscount(DiscountStrategyEnum.SECKILL, price));3. 单例实

形式化方法是一套基于严格数学符号、逻辑推演的软件开发规范，用精确无二义的数学语言描述系统需求、架构、行为，替代自然语言模糊描述，多用于高可靠性软件（航空、金融、操作系统、嵌入式安全内核）开发。自然语言描述存在歧义、模糊、遗漏问题；形式化方法可以对系统做严格语法定义、逻辑推导、自动化验证，从设计阶段规避逻辑缺陷。