Those are the holy grail: 1) https://www.amazon.com/Object-Oriented-Modeling-Design-Rumbaugh/dp/8120310462 https://www.amazon.com/Object-Oriented-Modeling-Desi

Those are the holy grail: 1) https://www.amazon.com/Object-Oriented-Modeling-Design-Rumbaugh/dp/8120310462 https://www.amazon.com/Object-Oriented-Modeling-Design-Rumba... 2) https://www.amazon.com/OMT-Insights-Perspective-Object-Oriented-Programming/dp/0138469652 https://www.amazon.com/OMT-Insights-Perspective-Object-Orien... 1) https://www.amazon.com/Executable-UML-Foundation-Model-Driven-Architecture/dp/0201748045 https://www.amazon.com/Executable-UML-Foundation-Model-Drive... And the work of daniel Jackson from MIT : http://people.csail.mit.edu/dnj/ http://people.csail.mit.edu/dnj/ Look at this course, at the videos at the bottom: https://stellar.mit.edu/S/course/6/fa18/6.170/materials.html https://stellar.mit.edu/S/course/6/fa18/6.170/materials.html Jackson is also behind Alloy: https://mitpress.mit.edu/books/software-abstractions-revised-edition https://mitpress.mit.edu/books/software-abstractions-revised...