Formalization of UML Composition in OCL.
Hector Miguel ChavezWuwei ShenPublished in: ACIS-ICIS (2012)
Keyphrases
- uml class diagrams
- uml diagrams
- metamodel
- modeling language
- sequence diagrams
- tool support
- class diagram
- class diagrams
- software design
- constraint language
- unified modeling language
- uml profile
- object oriented
- model driven
- design patterns
- software development
- software engineering
- software systems
- music composition
- black box
- knowledge representation
- database design
- test cases
- formal model
- uml models
- software projects
- activity diagrams
- regression testing
- software engineers
- web service composition
- description language
- data sets
- xml schema
- life cycle
- software architecture
- petri net
- test set
- description logics
- data model
- web services