Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study.
Geri GeorgJores BiemanRobert B. FrancePublished in: pUML (2001)
Keyphrases
- configuration management
- metamodel
- uml class diagrams
- uml diagrams
- modeling language
- tool support
- sequence diagrams
- class diagram
- class diagrams
- constraint language
- software systems
- network management
- software design
- version control
- software engineering
- unified modeling language
- case study
- object oriented
- development process
- design patterns
- mechanical properties
- database design
- software development
- software engineers
- model driven
- life cycle
- conceptual modeling