Logical Reasoning with Object Diagrams in a UML and OCL Tool.
Khanh-Hoang DoanMartin GogollaPublished in: Diagrams (2018)
Keyphrases
- class diagram
- sequence diagrams
- uml diagrams
- logical reasoning
- unified modeling language
- uml class diagrams
- class diagrams
- software design
- tool support
- constraint language
- object oriented
- petri net
- modeling language
- uml models
- intermediate representation
- formal semantics
- design patterns
- d objects
- metamodel
- software tools
- object model
- complex objects
- software engineering
- multiple objects
- test cases
- moving objects
- software engineers
- data objects
- database design
- database systems
- production rules
- object detection
- software development
- requirements analysis
- xml schema
- graphical representation
- target object
- test suite
- artificial intelligence