Translation from Adapted UML to Promela for CORBA-Based Applications.
Jessica ChenHanmei CuiPublished in: SPIN (2004)
Keyphrases
- object oriented
- lightweight
- modeling language
- database design
- software systems
- query translation
- object oriented modeling
- formal methods
- machine translation
- software components
- cross language information retrieval
- information retrieval
- software engineering
- software development
- distributed systems
- statistical machine translation
- uml activity diagrams
- uml models
- uml class diagrams
- software architecture
- metamodel
- conceptual models
- conceptual modeling
- fault tolerance
- object management
- natural language processing
- unified modeling language
- class diagrams
- uml profile
- activity diagrams
- fault tolerant