1. OCL in EMF Ashwani Kr Sharma, SAP Labs India

3. What is OCL ?

4. When OCL ?

6. Each category requires different skills.

7. Each plumber may have a different repertoire of skills Business Rule: Each Job's assignee's skills include all the Job's category's requirements. ….

9. Ada/C/...

10. Magically inserted by proprietary code generator

11. UML 2.x Use a neutral specification language

12. The Object Constraint Language

13. State machine guards/actions

14. Class invariants

15. Operation bodies, pre/post conditions

18. The business rules are not captured.

19. Natural languages are ambiguous.

22. natural language error prone

23. formal language unapproachable to many

24. Specification (not Programming) Language

25. declarative, modeling language

26. side effect free, no model changes, atomic execution

28. OCL is a pure expression language OCL expression is guaranteed to be without side effect; it cannot change anything in the model Whenever an OCL expression is evaluated, it simply delivers a value.

29. Mathematical operators Infix: +, -, *, / and, or, xor, implies
=, <>, <, >, <=, >= , =, <> Prefix: not, - 4.0 * -5 'a' + 'b' Operators: mod, div, max, min, ... 4.max(5)

32. OCL in EMF EMF is based on eMOF, a variant of MOF standard from OMG OCL specification is part of UML specification and is implemented for EMF we well OCL statements specified as part of EMF Model or invoked directly from programming language e.g. java Contributed as part of Eclipse MDTCL MDTCL provides support to UML and EMF based models.

33. Eclipse MDTCL Original code contribution by IBM Java callable API Parse/evaluate OCL 1.x against Ecore meta-models Ecore or UML meta-models Example Interactive Console For OCL 2.0 as far possible Towards OCL 2.2 Example Xtext editors (Ecore only) OMG OCL 1.x EMFT/OCL 1.0 OMG OCL 2.0 MDT/OCL 1.2 OMG OCL 2.2 MDT/OCL 3.0

34. Validation History Use of OCL to define model validation EMF Validation Framework, Embed OCL in XML CDATA EMF, OCL EAnnotations Embed OCL in Eannotation, Genmodel to integrate Delegates, Embed OCL in EAnnotation EObject.eInvoke() for dynamic invocation OCLinEcore editor for semi-validated editing OMG OCL 1.x EMFT/OCL 1.0 OMG OCL 2.0 MDT/OCL 1.2 OMG OCL 2.2 MDT/OCL 3.0

36. Save As *.ecore

37. Loses formatting and comments

38. Save As *.oclinecore

39. Text file preserves comments

40. Useful for plain Ecore too:

41. Printable/reviewable text

43. OCL Collections Typed Collections partially reify multiplicities Collections are different to objects Navigation from a Collection uses -> [Navigation from an Object (OclAny) uses .] Collections have type parameters Collections have useful operations Collections have very useful iterations © SAP 2007 / Page 21

45. a = c a <> c

46. a->size() a->count(b)

47. a->excludes(b) a->excludesAll(c)

48. a->includes(b) a->includesAll(c)

49. a->isEmpty() a->notEmpty()

51. first(), last(), at(i : Integer), etc. for {ordered} collections

55. Other OCL Capabilities Other iterators, operations Tuples post statement Association Classes/Qualifiers @pre values Messages States

58. OMG's UML, OCL, QVT, ... specifications

59. OCL as the foundation of a transformation language

60. MOFM2T (Acceleo), QVT

62. For links to slides and to zip file comprising, model,edit,editor,diagram projects: use link: http://www.eclipsecon.org/summiteurope2010/sessions/?page=sessions&id=1710

63. Import ... Existing Projects from Archive

64. ESEExampleTree/model/People1.ecore

65. Run nested Eclipse, Import ESEExampleTree

66. ESEExampleTree/model/default.people_diagram