Model driven development of digital libraries-Validation, analysis and code generation

Keyphrases

• Model-driven Development 100%
• Digital Libraries 100%
• Code Generation 100%
• Validation Analysis 100%
• Library Validation 100%
• Modeling Environment 33%
• Service Behavior 33%
• Model States 33%
• Petri Nets 33%
• Further Analysis 33%
• Formal Construction 33%
• Formal Validation 33%
• Simulation Capability 33%
• Model-based Approach 33%
• Code Generator 33%
• Domain-specific Visual Languages 33%
• User Interface 33%
• State Machine 33%
• Metamodel 33%
• Behavioral Model 33%

Computer Science

• Digital Libraries 100%
• model-driven development 100%
• Code Generation 100%
• Modeling Environment 33%
• State Machine Model 33%
• Visual Language 33%
• Code Generator 33%
• Petri Net 33%
• User Interfaces 33%
• Driven Approach 33%
• Service Behavior 33%