Outline ■Foreword 0 OO visual modeling and formal methods Specification of UML2.0 language ■Activity Modeling ■ State Machine Modeling Tian Zhang Nanjing University 2Tian Zhang @ Nanjing University 2 Outline „ Foreword ‰ OO visual modeling and formal methods ‰ Specification of UML2.0 language „ Activity Modeling „ State Machine Modeling