Verifiable Aspect Composition in UML Models.

Eunjee Song Nathan V. Roberts

Published in: SSIRI (2008)

Keyphrases

uml models
object oriented
sequence diagrams
sufficient conditions
web service composition
video sequences
feature space
database systems
general purpose
written in natural language