Concurrency and refinement in the UML.
Jim DaviesCharles CrichtonPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- software systems
- database design
- conceptual modeling
- modeling language
- concurrency control
- software engineering
- metamodel
- database systems
- object oriented
- data flow
- uml diagrams
- formal methods
- state machine
- software development
- uml models
- object oriented modeling
- uml class diagrams
- relational databases
- concurrency control protocols
- constraint language
- dynamic allocation
- class diagrams
- class diagram
- uml profile
- sequence diagrams
- query refinement
- transaction management
- transaction processing
- software architecture
- database applications
- database management systems
- source code
- data model