Lecture "Software engineering - Lecture 10: Specifying systems" has contents: Use of UML for ODP system specifications, use of UML for ODP system specifications, UML object constraint language. | SOFTWARE ENGINEERING Lecture 10 Specifying Systems MBA Course Notes Dr. ANH DAO NAM 1 Software Engineering Slides are from Ivan Marsic, Thomas E. Potok and Bryan Wood, modified by Anh Dao Nam Textbooks: Bruegge & Dutoit: Object-Oriented Software Engineering: Using UML, Patterns and Java, Third Edition, Prentice Hall, 2010. Miles & Hamilton: Learning UML , O’Reilly Media, 2006. Interesting source: Bryan Wood , UML for ODP system specifications, lecture notes Japanese Association of Healthcare Information System Industry (JAHSI) of a Japanese Hospital Information Reference Enterprise Model European research projects: . COMBINE - investigating the organisation and process for componentbased system development Industrial Practice OMG UML profile for Enterprise Distributed Object Computing (EDOC) 2 Topics Use of UML for ODP system specifications UML State Machine Diagrams State Activities: Entry, Do, and Exit Activities Composite States and Nested States Concurrency UML Object Constraint Language (OCL) OCL Syntax OCL Constraints and Contracts 3 Use of UML for ODP system specifications - | ISO/IEC 19793 A standard covering: • definition of a set of UML profiles for expressing a system specification in terms of ODP viewpoint specifications • relationships between the resultant ODP viewpoint specifications • relationships between a system specification using ODP viewpoint specifications and the OMG • Model Driven Architecture 4 Modelling concepts Interpretation concepts entity, abstraction, system, architecture Basic modelling concepts object, action, environment (of an object), interface, activity, location (in space/time) Specification concepts composition/decomposition (of objects), type (of an ), template, role .