Integrating UML and OUN for Specification of Open Distributed Systems.

Wenhui Zhang Olaf Owe Einar Broch Johnsen Demissie B. Aredo

Published in: HCC (2001)

Keyphrases

specification language
open distributed systems
formal methods
state machine
sequence diagrams
uml diagrams
software engineering
formal specification
modeling language
metamodel
conceptual models
object oriented
activity diagrams
database design
management system
data model
conceptual model
software systems