Formalization of UML Composition in OCL.
Hector Miguel ChavezWuwei ShenPublished in: Int. J. Softw. Innov. (2013)
Keyphrases
- uml diagrams
- uml class diagrams
- metamodel
- modeling language
- class diagram
- sequence diagrams
- software design
- class diagrams
- tool support
- constraint language
- unified modeling language
- knowledge representation
- software systems
- uml profile
- object oriented
- web service composition
- test cases
- development process
- petri net
- design patterns
- uml models
- data model
- software engineers
- black box
- conceptual modeling
- database design
- life cycle
- formal model
- intermediate representation
- web services composition
- model driven
- description logics
- service composition
- logical language
- learning environment
- knowledge base
- neural network
- databases